更新 2014年5月21日作成 2011年3月25日

真夜中のSTMトーク

某ピーFIさんの白熱したお話が聞けました。

STM 並行制御トランザクショナルメモリ

kumagi
5442
2
0
15
0

前へ 1 ・・ 3 4

Hideyuki Tanaka @tanakh

@nobu_k SunがGHCにお金出して超並列という話もあったのですが…。残念です。

2011-03-25 02:35:45

SKS rep @repeatedly

@tanakh ラムダでこれだけ紛糾してますから，新しくSTM向けの構文 & 変数の型を導入するのはかなり厳しそうですね

2011-03-25 02:36:26

Hideyuki Tanaka @tanakh

@repeatedly そうですね。まあ入れられなくはないし、研究はされているけど、現実的には入らないだろうというところでしょうか。

2011-03-25 02:37:30

SKS rep @repeatedly

Clojureではuse :macro io!でIO操作を抑制できるのか

2011-03-25 02:40:21

Hideyuki Tanaka @tanakh

@repeatedly へえ、そんなのがあるのですか。コンパイル時に検出できるのですか？

2011-03-25 02:41:05

SKS rep @repeatedly

ClojureとかHaskellのサンプルソース見てたらなんとなくイメージがつかめてきた

2011-03-25 02:41:39

SKS rep @repeatedly

@tanakh サンプルによるとシンボルが見つからない，っていう例外が投げられているのでそうじゃないですかね

2011-03-25 02:43:22

Hideyuki Tanaka @tanakh

@repeatedly なるほど。それは良さそうですね。

2011-03-25 02:43:48

SKS rep @repeatedly

STMだとブロック内はオブジェクトの所有権とそれに対する操作のcommit周りのコストが増えるだけで，処理はシングルスレッド的に出来るから色々と楽になる感じだな．

2011-03-25 02:47:31

SKS rep @repeatedly

やっぱり実際のコードを見るのが大事だな

2011-03-25 02:49:53

SKS rep @repeatedly

まぁどっちにしろ今はD言語コミュニティ的にはSTMに取り組む余力がないから，まだ寝かせていても良さそうだ．もっと基盤から攻めて行かないと．

2011-03-25 02:50:43

SKS rep @repeatedly

STM = Super TaMa

2011-03-25 02:57:06

SKS rep @repeatedly

ま，とりあえずkumagi先生がBoost.STMを実装してくれるのを期待しよう

2011-03-25 03:01:21

Nobuyuki Kubota @nobu_k

@repeatedly つ http://bit.ly/h5oRRp

2011-03-25 03:02:01

SKS rep @repeatedly

@nobu_k kumagi先生ならこれを越えるものを…

2011-03-25 03:02:42

Nobuyuki Kubota @nobu_k

@repeatedly たしかに！

2011-03-25 03:03:39

SKS rep @repeatedly

さっきのTBoost.STMってもしかしてサンプルはPDFの中だけにしかない？サンプルコードがサイトに見当たらない…

2011-03-25 03:04:32

SKS rep @repeatedly

Middleware Transactional Memory

2011-03-25 03:18:53

前へ 1 ・・ 3 4

いま話題のタグ