STMにまつわる用語メモ（すごく自信ない） - Software Transactional Memo

Strongly/Weakly Atomic トランザクション中で読み書きしている値が非トランザクションから読みだしても同じ値を読めるかどうか、という物。HTM(Hardware Transactional Memory)はキャッシュラインの拡張なだけあって、非トランザクションからでも普通に読み出せる。こういうのはStrongly Atomicと呼ぶ。STMは大半がWeakly Atomicのはずなんだけど時々例外があるのでよく分からない。 Opacity ゾンビトランザクションを発生させない工夫。STMはデータベースのトランザクションと異なりアトミックブロック内には原理上いくらでも好きなコードが書けてしまうので無限ループやゼロ除算やひょっとしたらIOだって起こりうる。これらに対してアトミックブロックを監視付きのサンドボックス化することなく、そもそも非一貫な値を読まないように制御する仕組み