netail.net

_ AOSD４日目（本会議２日目） ▲

ドイツの人で，steamloomというDynamic AspectサポートVM環境を作ってる人たちが，動的スライスをまじめに実装したツールデモをやっていた．見たかぎり，完成度はそれなりに高そう．

動的スライスを選んだ理由は，omniscient debugging という実行時情報を全部保存するアプローチで元々研究をしているためか，Dynamic Deploy ができるアスペクト指向プログラムの実行環境なので動的スライスでないと（たぶん）ちゃんとした結果が出せないためか，どちらが直接の動機なのかは不明．

あとで少し聞いてみたら，けっこう開発工数はかかっているらしい．

メモリと実行時間がたくさん必要（例題でもMB単位のメモリ，実行時間が3〜25倍必要）というのがネックなものの，まだデータ構造の最適化などはしてないから，もうちょっと良くなるかもしれないとは言っていた．

また，動くものがあるので，実際にどのようにスライスを使えば（どこを基点にするか，intersectionとかunionを使うか，など）問題解決に役立つか調べられるし，問題の解決のためにどの範囲を解析する必要があるか，とか分かればもっと軽くなるかもしれない．

ツールも公開するし論文も publish するよ，と言っていたので楽しみ．

今回のバンケットは，料理はビュッフェ式だったけど，手品ショーとか付いて豪華だった．UBCの人々とか，同じテーブルにいた合気道やってるドイツ人とかと知り合いになった．