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内で、割り当てられたフラグメントの一部をヒープに返却するコードが存在するが、どうするか？
    • 最初期の実装に関しては、返却フラグメントの管理は旧実装と互換にしておくべき

_ [SAD]LLVM/flangの状況

前回のコンパイル試験の続報

ports/devel/flang 7.0-g20191020によるコンパイル試験結果

• -gを付けるとcommon blockの処理で内部エラーが発生する
• src/tfefun_math.f
  • F90-S-0155-Intrinsic not supported in initialization: spacing
    • 初期化式に即値引数なspacing elemental functionが使えない
• src/tfefun.f
  • F90-S-0038-Symbol, atan, has not been explicitly declared
  • F90-S-0074-Illegal number or type of arguments to asinh - keyword argument x
  • F90-S-0074-Illegal number or type of arguments to acosh - keyword argument x
  • F90-S-0074-Illegal number or type of arguments to atanh - keyword argument x
  • F90-S-0038-Symbol, atan, has not been explicitly declared
    • 数学関数(asinh, acosh, atanh)が実数版・複素数版ともに未実装
    • atanの2引数版が未実装(ISO Fortran 2008以降で規格入り)
      • atan2と同一なので置き換え可能
• src/tfwrite.f
  • F90-S-0038-Symbol, fgetc, has not been explicitly declared
    • GNU拡張fgetcが未実装
• src/gamma.f
  • F90-S-0155-Intrinsic not supported in initialization: spacing

_ [SAD]LLVM/flang対応

r5592で基本的には対応完了

• -g付きだとcommon blockでコンパイルエラー
  • https://github.com/flang-compiler/flang/issues/671
• Tkinterをbuild時にlinkしようとするとシステム側のTcl/Tkと混線してlinkに失敗する
  • flang driverがlinkerに渡す引数から渡された-Lオプションより先に設定されるlibrary search pathに/usr/local/libを含むため
    • WORKAROUND
      • extension module版を使う
      • flang driverにパッチを当てる
      • SAD側のTcl/Tk libraryの名前を変える (r5593にて実装)
        • libtkVER.soの別名を用意して、リンク時にはそれを使う

_ [SAD]LLVM/flang VS GNU Fortran

同一機材(Ryzen Threadripper 2950X)上での比較

• Revision 5593
• オプションは、-O3 -fno-omit-frame-pointer