トランザクショナルメモリの原子性セマンティクスの微妙さ

トランザクショナルメモリは、プログラマが原子性を持って実行される必要があるプログラムの領域を指定できることにより、マルチスレッドプログラミングをシンプルにする大きな可能性を秘めています。トランザクショナルメモリの実装は、これらのトランザクションを楽観的に同時実行し、高いパフォーマンスを得ることができます。本研究は、トランザクションにその力を与えるのと同じ原子性の保証が、より狭い原子性の範囲を仮定して書かれたプログラムに予期しない深刻な悪影響を与えることを示しています。私たちは四つの貢献を行います：（1）ロックベースのクリティカルセクションをトランザクションに直接変換すると、正しいプログラムでもデッドロックが発生する可能性があることを示します。（2）トランザクショナルコードと非トランザクショナルコードの相互作用を説明するために、強い原子性と弱い原子性という用語を導入します。（3）弱い原子性の下で正しいコードが強い原子性の下でデッドロックする可能性があることを示します。（4）トランザクショナルコードを逐次合成することもデッドロックを引き起こす可能性があることを示します。これらの観察は、トランザクションがロックベースのクリティカルセクションよりも厳密に安全であるという直感、強い原子性が弱い原子性よりも厳密に安全であるという直感、トランザクションが常に合成可能であるという直感を無効にします。