真夜中の並行処理トーク

へいこうしょりはおもしろいなぁというおはなしです。
33
kumagi @kumagi_bot

http://labs.oracle.com/scalable/pubs/index.html 何このページ秘密の花園過ぎる。最高峰のConcurrent論文がスライド付きで読み放題やで…!はてぶ0件とかどうかしてる…!

2011-01-23 21:47:19
kumagi @kumagi_bot

IBM paper: STM is a “Research Toy” EPFL paper: STM is not just a Research Toy ほんと面白いなこの人たち。

2011-01-23 21:19:06
kumagi @kumagi_bot

Our current focus: single-chip, multicore systems of next few years. だと…数年以内にマルチコアのHTMチップを出すよと言ってるように見えるんだが…!

2011-01-23 21:53:13
kumagi @kumagi_bot

'How scalable is “scalable enough”?' これ切実な問題なんだろうなぁ。lock-freeなSTM作ったらスケーラビリティは高いかもしれないけれどスループットは低下するだろう。そのへんの見積りがつねにぐぬぬなのがOracle社内なのだと思う。

2011-01-23 21:55:05
kumagi @kumagi_bot

これを1日1本のペースで和訳して紹介資料を作ってくれて、それの視聴が月間500円のサービスがあったら間違いなく自分は申込むけど、そのサービスが成立するには600人ほど定期購読してくれる人が必要だと思う。そんなに居る気がしない。

2011-01-23 21:59:06
kumagi @kumagi_bot

super-SNZIって響きがかっこいいな…!

2011-01-23 22:27:54
kumagi @kumagi_bot

ハードウェア実装のSNZIはえええええwww super付いてるやつは相対的にそんなにすごくはならない。

2011-01-23 22:32:43
SKS rep @repeatedly

D言語はメッセージパッシングな方向に行ってるので,STM is a toyサイドです.

2011-01-23 22:33:21
SKS rep @repeatedly

sharedオブジェクトへのアクセスが常にSTMになるようになれば…!

2011-01-23 22:33:41
kumagi @kumagi_bot

@repeatedly 共有メモリのたたき出すパフォーマンスの素晴らしさを舐めてる言語はいずれ不思議な力によって死ぬことになる

2011-01-23 22:35:12
SKS rep @repeatedly

@kumagi_bot 共有メモリはいい,けどSTMテメーは駄目だ

2011-01-23 22:37:51
kumagi @kumagi_bot

ハードウェアによって適したSTMの実装は異なるので、動的リンクの形でSTMを提供することで再コンパイルなしで最適・最新なSTMを使えるようにするよう考えている。と。さすが過ぎる。

2011-01-23 22:38:20
SKS rep @repeatedly

STMなんて遅くなるものいらぬ!

2011-01-23 22:38:56
kumagi @kumagi_bot

@repeatedly 場合によっては世界で一番高速なB木や二分木の実装がSTM以外ありえない状況すらありえるというのに…!そこをO(log n)だからいいとか言ってSkipListで代用するとメモリ使用量の異常さで死ぬことになる!

2011-01-23 22:41:59
kumagi @kumagi_bot

でもSTMの実用性に関しては議論がまだ続いてるところで「並列度を高めたいアルゴリズムのプロトタイピングには工数削減効果はある」という論文がPPoPPに出てたのが去年だっけか。

2011-01-23 22:44:30
SKS rep @repeatedly

@kumagi_bot え,それってどういう状況? > B木や二分木の実装がSTM以外ありえない

2011-01-23 22:44:40
Nobuyuki Kubota @nobu_k

@repeatedly 俺も @kumagi_bot に完全に同意。STM以外で書きたくないw

2011-01-23 22:45:41
SKS rep @repeatedly

まぁこうやって煽っておくと,concurrentについて勉強しなくても後々高速道路に乗れるというね.

2011-01-23 22:46:41
Nobuyuki Kubota @nobu_k

並列に使える木の実装はマジで鬼畜過ぎて・・・

2011-01-23 22:48:31
kumagi @kumagi_bot

@repeatedly 複数のスレッドから共有したいO(log n)操作のデータ構造があって、通常の木をSingle Giant Lockで共有したらスケーラビリティが足りないという状況になったときどういう選択を取るかっていうと細粒度ロックかSTMかという…!

2011-01-23 22:48:40
SKS rep @repeatedly

前にも言った気がしますがD言語がSTMを捨ててメッセージパッシングで共有メモリの問題を回避しようとしているのは,STMを実装できる人がいないからで,自信がある人は書けばすぐ標準ライブラリ入りになるかdruntime入りになると思います.なので我こそはという人は是非 #d_lang

2011-01-23 22:51:00