tw.log

http://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

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

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0