中編はコチラRead Set、Write Setはキャッシュライン単位の管理で、L1キャッシュで他のプロセサからのアクセスをチェックすると書かれている。これを実現するためには、L1データキャッシュのタグを拡張する必要がある。それぞれのキャッシュラインのタグにRead SetかWrite Setかの識別ビットを付け、かつ、それがどのトランザクション開始命令に対応するのかが判別できるようにする必要がある。HaswellのTSXでは、トランザクション