ソフトウェアトランザクショナルメモリ - Wikipedia

計算機科学において、ソフトウェアトランザクショナルメモリ（英: software transactional memory, STM）は、データベーストランザクションに似た並行性制御機構であり、並列計算を行う際の共有メモリへのアクセス法である。この機構はロックベースの同期を用いた並行性制御の代替手段として機能し、ノンブロッキングな方法で実装される物もある。ここでいうトランザクションとは、共有メモリに対する一連の読み出しと書き込みを実行するコードを意味する。論理的にはこれらの読み出しと書き込みは、時間的なある一点で行われ、他のトランザクションからはその間の状態は見えない。トランザクションを行うためにハードウェアにサポートさせるアイデア(ハードウェアトランザクショナルメモリ)は、1986年に Tom Knight により論文と特許として出された。そのアイデアを普及させたのが Maurice H

[iR3]

ふむふむ “STM においては、この問題は単純に解決できる。あるトランザクション中における2つの操作を単にラップしてアトミックな操作としてくっつけてしまえばよいのである。”

[escape_artist]

勉強になる。

[fumokmm]

共有メモリへのアクセスにトランザクションの考え方を。

[golden_eggg]

scala2.9でリリース予定の機能

[uk-ar]

2005年に、Tim Harris、Simon Marlow、Simon Peyton Jones そして Maurice Herlihy によって STM が Concurrent Haskell 上に構築された。これは任意のアトミックな操作をより大きなアトミックな操作に合成することができる。この役に立つ考えはロ

[katzchang]

software transactional memory, STM

[h-hirai]

via http://www.kt.rim.or.jp/%7ekbk/zakkicho/09/zakkicho0909c.html#D20090922-5

[aufheben]

トランザクションと楽観的排他制御をサポートしたメモリ、って理解でいいのかな?

[mogwaing]

software transactional memory

[nanakoso]

マルチスレッドの排他処理にトランザクションを