可私有化安全的事务内存（扩展版）
分布式、并行与集群计算
2019-08-09 v1
摘要
事务内存(TM)通过让程序员将特定代码块指定为原子性，来简化并发应用的开发。使用TM的程序员通常希望在同一数据的事务内和事务外均可访问，并倾向于其程序具有强原子语义，即事务相对于非事务访问可视为原子执行。由于对任意程序保证此类语义代价过高，研究者建议仅对特定无数据竞争(DRF)程序保证之，尤其是遵循私有化惯用法者：从某时刻起，各线程一致认为某给定对象可非事务访问。本文表明，Dalessandro等人提出的Transactional DRF(TDRF)的一种变体适用于一类可私有化安全TM，其允许使用私有化惯用法。我们证明，若此类TM满足我们称为私有化安全不透明性的条件，且使用该TM的程序在强原子语义下为TDRF，则该程序确实具有此种语义。我们还提出一种证明私有化安全不透明性的方法，将证明此推广归约为证明通常的不透明性，并将该方法应用于基于两阶段锁定的TM以及TL2的私有化安全版本。最后，我们确立私有化安全的固有代价：证明若一个TM对TDRF程序保证强原子语义，则其不可能同时具备进展性与不可见读。
引用
@article{arxiv.1908.03179,
title = {Privatization-Safe Transactional Memories (Extended Version)},
author = {Artem Khyzha and Hagit Attiya and Alexey Gotsman},
journal= {arXiv preprint arXiv:1908.03179},
year = {2019}
}
备注
Extended version of a paper from DISC'19 (International Symposium on Distributed Computing). arXiv admin note: substantial text overlap with arXiv:1801.04249