https://twitter.com/kinaba のログ (twilog の方が便利です。)
| あとらんた。のりかえだるい | |
| ホテルついたー！ | |
| @niha28 ついにホテルについてPCつけてついっとを立ち上げついったーのTLにおいついたー！ | |
| shinhさんもアメリカなのか。ほんとだ、むちむち王国って書いてある | |
| @natsutan しますね！部屋の暖房の温度調整が華氏でビビっている心をいやしてくれました。えーと1.8かけて32足すんだっけ… | |
| Visibly Pushdown Languages というのの話をさっき空港で出会った森畑さんに聞いたのだが割と面白そうだった。FSTTCSで聞いたSynchronizationの話すごく関連ありそうだなーと思って読み直したらイントロの2文目で既に触れられてた。ちゃんと読め俺 | |
| Nested Word ってこれのことかー http://www.cs.uiuc.edu/homes/madhu/vpa/ 。こうまとまってるページがあると分野の様子一覧しやすくて素晴らしいな。誰かTree Transducerでこういうの頼む | |
| おきたー。 | |
| @koizuka おはよーございます | |
| 今年は住井さんいらっしゃらないのでしたっけか。恒例のリアルタイム実況がないと寂しいなあ。会場にネットあったら自分でやってみるか。「難しくてよくわからない」連発しそうだけど | |
| http://www.cs.ucsd.edu/popl/09/program.html タイトルチェックちゅう | |
| First や Second じゃなくて Third というのがタイトルに出てくる論文はなんだか無性にかっこいい | |
| Alex Simpson さん知らなかったのだけど http://homepages.inf.ed.ac.uk/als/Research/ 大変面白そうな研究が連発されている。これは期待 | |
| @ranha あと３時間半ではじまるぽい | |
| 今年の most influential paper award ってどれだろう http://www.cs.princeton.edu/~appel/popl99/program.html | |
| ネットつながったー＠会場。しかし微妙に不安定だなあ | |
| 流量多くてウザかったらremoveしてくださいということで適当に実況を始める | |
| あとで日記にもまとめます | |
| [POPL] Language Constructs for Transactional Memory | |
| [POPL] 例:deque pushLeft(){ do { StartTx(); TxWrite(), TxWrite(), TxWrite(), TxWrite() } while( !commitTx() ); } | |
| [POPL] atomic { Elem e = new Elem(); e.right = this.leftEnd.right; e.left=... } をさっきのみたいのにコンパイルする | |
| [POPL] というと単純だけど、atomicの中のI/O,例外はどうする？フィールドの変化のsemanticsは？とうとう色々デザインオプションが | |
| [POPL] トラディショナルには "Atomic Blocks are transactions" | |
| [POPL] あなざーあぷろーち "Atomic blocks are locks" | |
| [POPL] "atomic" のセマンティクスを "transactional memory" という言葉に頼らず定義する | |
| [POPL] どっかのスレッドがatomicに入ったらそこだけが動ける、のと同じ、になる"strong semantics" | |
| [POPL] atomic{ if(x_shared){x=100;} } ||| atomic{x_shared=false;}x++; が、バージョン管理によるTM実装だとstrong semanticsに沿わないようなことがあるよ | |
| TMって書かれるとチューリングマシンと読んでしまう俺がいる | |
| 全部聴き終わってからまとめる方がいいような気がしてきたなー。話がどこに向かってんのかわからん | |
| わりと当たり前の結論しか出てない気がする...speculation should not be revealed by the limplentation て言われても。そりゃそうだろ | |
| static separation/violation freedom/dynamic separation/strong atomicity/strong separation | |
| [POPL] 質問by B. Pierce / 「個人的にTMに関して次にやりたいfuture directionは」「Hardware Acceleration関係の色々。GCバリアとTMの絡みとか」 |