関数型言語Part IV
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
450:デフォルトの名無しさん 05/11/19 16:19:08 何この差ｗｗｗｗｗ http://sourceforge.net/softwaremap/trove_list.php?form_cat=160 C++ 16669 Java 16645 C 15876 PHP 12092 Perl 6187 . . . LISP 323 451:デフォルトの名無しさん 05/11/19 18:22:43 Ruby 398（ ´,_ゝ｀）ﾌﾟｯ Visual Basic .NET 289(*≧∇≦)ﾉ☆ ｷﾞｬﾊﾊ ﾌﾟｷﾞｬｰ 452:デフォルトの名無しさん 05/12/15 08:10:46 誰か STM(software transaction memory) とはどーいうものか 教えてくれぬか 453:デフォルトの名無しさん 05/12/15 09:53:20 >>452 マルチスレッドプログラミングで、スレッド間の(mutableな)共有変数を扱うとき、 コードの特定の部分が他のスレッドに割り込まれることなく(つまり、atomicに)実行されてほしいことがある。 STMの考え方は、その部分で起こった共有変数への読み書きを局所的なログに保存しておいて、 その部分が終了したときまとめてメモリに反映するというもの。 最後に不整合が見付かった場合、ログを捨てて最初からやり直す。 こういうとき普通はロックを使うんだけど、ロックにはいくつか問題がある。 例えば、共有変数を扱う二つの(副作用のある)関数A,Bがあったとして、 A,Bともに正しくロックを使っていたとしても、「Aを呼び、次にBを呼ぶ」ことをatomicに行う 関数を書くには、AとBの抽象化を破壊してどの変数をロックすべきかを調べないといけない。 STMはこの問題を解決する。 http://www.research.microsoft.com/%7Esimonpj/papers/stm/index.htm 俺はこれの前半を読んだだけだから、変なことを言ってたら突っ込んでくれ。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5385日前に更新/172 KB
担当:undef