POPL 2012/エアPOPL/関連発言ごった煮
-
xhl_kogitsune
- 3503
- 0
- 0
- 0
-
- いいね！0
Dave Herman
@littlecalculist
Word to the wise: even when attending the ballet, tights are still not pants.
2012-01-29 12:29:07
Dave Herman
@littlecalculist
Counting the number of other people in jeans. @lisasilveria is still convinced we're under-dressed. #bumpkins
2012-01-29 12:43:16
Ikegami Daisuke
@ikegami__
"Template meta-programming for Haskell" で ML です : http://t.co/lvRw7Imm : #mlnagoya
2012-01-29 13:08:19
Ikegami Daisuke
@ikegami__
agda2-mode があたらしくなって incremental syntax highlighting ついたらしい、あとで試す : https://t.co/NLHxFThU
2012-01-29 13:27:20
cohost.org/acfoltzer
@acfoltzer
@carloangiuli will do once I have more time. It's in rough shape at the moment wrt reification, etc
2012-01-29 13:37:20
Ikegami Daisuke
@ikegami__
*** Exception: ExitFailure 1 ひさしぶりに見たぞ、これどうやってデバグしたらいいのだ
2012-01-29 13:54:53
tsushima
@crossquare
バンケット前に少し休もう！とホテルに戻って来たら、寝てしまった。深夜 12 時なう‥さすがにバンケット終わってるよね ;;
2012-01-29 14:06:48
Yutaka OIWA
@yoiwa_j
I'm at 成田国際空港 (Narita International Airport (NRT)) (三里塚御料牧場1-1, 成田市) w/ 16 others http://t.co/XaJBDAeL
2012-01-29 15:10:56
病気の美少女
@lyrical_logical
lockset algorithm の理解のために（そんな難しいものでもないけど）Eraser の論文ざっと眺めてる。
2012-01-29 19:00:54
病気の美少女
@lyrical_logical
happened before によるチェックは順序が重要になるので、繰り返しテストしてやらないと false negative でまくる。
2012-01-29 19:07:33
病気の美少女
@lyrical_logical
lockset algorithm はそれを何とかしましょうということで Eraser ではじめて用いられた手法らしい。簡単に言うと、共有変数へのアクセス時に、現在スレッドが持ってるロックの集合と、各共有変数毎に管理されてるロックの集合の積を取っていく。空集合になったら何か不味い
2012-01-29 19:11:00
病気の美少女
@lyrical_logical
lockset algorithm は happened before によるトレースの解析とかとは逆に false positive が多い。その例として、初期化（普通これはロックされない）と、途中からリードオンリーになる場合と、リードライトロックの場合が挙げられている。
2012-01-29 19:17:01
病気の美少女
@lyrical_logical
ようは実行順序とかの関係でロックが必要ないケースというのはあって、現実にそういったコートは書かれている。Eraser では、異なるスレッドから触られたタイミンクでロックの集合をはじめて作るようにして初期化に対する false alarm の問題に対応している。
2012-01-29 19:23:41
病気の美少女
@lyrical_logical
途中でリードオンリーになる問題は、ロック集合の積はリードもライトもとるけど、空集合になったときの警告はライトの時だけするようにして解決する。
2012-01-29 19:28:36
病気の美少女
@lyrical_logical
しかしレース怖いからレース検出の話に食いついたけど検査機のこといくら勉強しても、レースのないコードの書き方は学べない気がしてきましたね…！ボクはそこが知りたいのに。今時明示的なロックによる同期とかしてんじゃねーよってことかもしれないけど。
2012-01-29 19:41:45