Orz日記 by Akio Morita

_ [SAD]SAD heapの再構成案

amorita branch側では、mmap(2)経由の割付をrlistから切り離したので、rlist上のheap割付がMIになれば、rlistの表現範囲内までは環境非依存に動作可能になるはず

再実装案としては、rlist類をpointerに切り替えて、SAD側のheapを連続なmalloc領域としてrealloc(3)する際にrlist類をリベースする。SADへの新規ページ割り当ては、realloc(3)で延長されたrlistスロットを割り当てる。

• メリット
  • rlistの表現域 16GiBまでは環境非依存に動く
• デメリット
  • realloc(3)する際に仮想アドレスが変更された場合、memcpy(3)が走る
    • VMページ単位で割り当てている場合、カーネルの助けが有れば削減出来るが、libc側のみの実装の場合にはcopy overheadが生じる
  • 暗黙のheap allocator呼び出しを挟むと rlist類の仮想アドレスが変更される可能性がある
    • rlist類を所謂volatile修飾で保護する必要があるが、ISO Fortran的にはどうするべきか？

• 必要な道具
  • pfalloc.f相当のインターフェース
  • 返却されたフラグメントの管理構造
    • 効率化のためには、2^nな短いフラグメントはフリーブロックをビットマップ管理する方がよい(アドレス->管理様式のマップも必要)
    • SAD内で、割り当てられたフラグメントの一部をヒープに返却するコードが存在するが、どうするか？
    • 最初期の実装に関しては、返却フラグメントの管理は旧実装と互換にしておくべき