A simple deterministic algorithm for guaranteeing the forward progress of transactions

作者：

Highlights：

• A remarkably simple algorithm can guarantee the forward progress of transactions.

• The algorithm supports irrevocable transactions.

• The algorithm is suitable for hardware or software transactional-memory systems.

• The algorithm can be used as a locking protocol.

摘要

Highlights•A remarkably simple algorithm can guarantee the forward progress of transactions.•The algorithm supports irrevocable transactions.•The algorithm is suitable for hardware or software transactional-memory systems.•The algorithm can be used as a locking protocol.

论文关键词：Algorithm,Contention manager,Deadlock,Forward progress,Mutual exclusion,Ownership array,Proof,Synchronization,Transaction

论文评审过程：Received 13 October 2015, Accepted 28 October 2015, Available online 21 December 2015, Version of Record 11 January 2016.

论文官网地址：https://doi.org/10.1016/j.is.2015.10.013