Orz日記 by Akio Morita

_ [SAD]tfefundef crash

tfefundef@src/tfefun.f冒頭のget_func_id(ia1)にて、SEGVするケースを発見した

     irtc=0
     narg=isp-isp1
     it1=itastk(1,isp1)
     ia1=itastk(2,isp1)
1    if(it1 .eq. ntfoper)then
       if(ia1 .gt. mtfend .and. get_func_id(ia1) .ge. 1000)then
         call tfefunref(isp1,itx,iax,vx,.true.,irtc)
         if(irtc .eq. 0 .and.
    $         itx .eq. ntfreal .and. iax .ne. 0)then
           call tfclrtparaed
         else
           if(irtc .eq. 0)then
             irtc=itfmessageexp(999,'General::invset',it1,ia1,0.d0)
           endif
         endif
         go to 6900
       elseif(ia1 .eq. mtfatt)then
         call tfatt(isp1,itx,iax,vx,.false.,irtc)
         go to 6900
       else

発生ケースでは、it1が ntfoperにも関わらず ia1が無効なポイントをさしている。 ただし、itastk(2, isp1)は健全な状態で、後続のコードでit1がntfsymbolのケースで、Symbolの参照先がOperatorになっている場合にitastk(*, isp1)とit1を書き換えて、go to 1で再帰するケースで発生する

また、当該コードで、call tfclrtparaedに達するケースは、LINE(tfline)がパラメータブロックの参照をiax経由で返してくる場合で、LINE[...] = valの代入式の左辺値評価を行うケースに相当する。従って、tfefunrefを呼び出す事前条件はもう少し限定出来ると思われる(左辺値参照の伝搬を制限するケースでは、isp1にLINEが来ていないケースの評価が省略できるはず…)

ifブロック内で、General::invsetを返す条件に irtc == 0(tffunrefの評価が成功している)を要求しているのも謎なので要解析

_ [SAD][EPICS]TkinterのDynamic Loading対応について

Tk_CreateFileHandler wrapperに関して、Tkinterのloading前に登録手続きのQeueingサポートを必要と考えていたが、Tcl/Tkのインタプリタインスタンスの生成(Packages/TkinterCore.n)と関係なくlibtkがバインドされていれば十分であることが分かった。

従って、バックエンドモジュールであるSAD/Tkinter.soがロード済みで有れば十分である。

builtinの場合を考えると、sadDefFunc_EPICSCA時点ではLibrary@Requireは要求出来ないので、SADScriptインタープリタからの関数評価で初期化シングルトンeca_initが走ったタイミングで、必要なbackend moduleを要求すれば良い

実際に、ポーリングを走らせる段階ではTkWait/TkSenseを評価したタイミングで、Packages/Tkinter.nがロードされTkイベントループ内からTkinter backendに登録済みの eca_fd_callbackが起動される

必要なものをまとめると

• =eca_initからSAD/Tkinter.soのロードを要求する=src/sim/sad_tcltk.cからロードを要求する
  • ロード済みか判定する手続きが必要
  • =feature_requireするのが簡単？=src/sim/sad_tcltk.c内ならポインタテーブルの初期化状態で判定出来る
    • Tkinter.soでfeature_provideしておく
• Tkinter.so内のTclCreateInterpが使うsadXlib_SetNewDisplayホックのバックエンドがSAD/Xlib.so'内にあるので、必要ならこれもchain loadする必要がある
  • =依存性のメカニズムは、Tkinter.soのケースと同じで良い=src/sim/sad_xlib.c側でロード処理を行う

_ [SAD][FreeBSD]SADのSocketサポートとipv6_ipv4mappingについて

CPUS lpqの件で取り上げたnet.inet6.ip6.v6only sysctl変数であるが、net.inet6.ip6.v6only=1(ipv6_ipv4mapping="NO")な運用下では、TCPOpen[0]で生成するServer Side TCP SocketがIPv6専用となり、IPv4で接続してくるクライアントからの接続を受けられなくなる。

TCPOpen[0]が返すポート番号で再度TCPOpen[port]を実行すると、TCP/IPv4ポートが空いていれば割り当てる事が出来る。

ただし、現行のTCPAcceptは単一のSocketのみを受け付けるので、SelectUnit/PollでIPv6/IPv4ソケットを待ち、要求が有ったソケットからTCPAcceptするという処理が必要となる

TCPOpen・TCPAcceptに手を加えて、プロトコル毎のソケットをリストで返す案もあるが、TCPOpen[0]が返すソケットをそのままSelectUnit/Pollに流し込むコードで後方互換性が破壊される。 また、TCPAcceptでBlocking Waitさせるケースでは、TCPAccept内部でselect/pollでBlockingさせることが必要となり面倒が増える

TCPAcceptによるSocket Listのサポートは後方互換性を破壊しないので実装すべきである

影響範囲

• SADInspect
  • TCPOpen[0]で得たSocketをTCPAccept[]でBlocking Waitしている
• Network/StreamIO library
  • StreamServerでの待受ポートの作成時 TCPOpen[Port]形式を使っている
  • Server Socketと TkCreateFileHandlerに登録している
  • Server Socketを他の接続Socketと共にPollUnitする際にPrepend[]で繋げている
  • SuperKEKBの運転に影響が出る

Network/StreamIO libraryに関しては、早急に対策が必要

• Server Socketを生成する部分を生のTCPOpenをラップしたHelper関数を用意する
  • Helper関数内で複数回TCPOpenして全てのプロトコルのSocketを生成する
• Server Socket変数をSocketのリストとして取り扱う様に改訂する
  • PollUnitの結果からFirst/Restを取る操作を行っているので、可変長にする必要がある