Victor Bushkov, Dmytro Dziuma, Panagiota Fatourou, and Rachid Guerraoui. 2018. The PCL Theorem: Transactions cannot be Parallel, Consistent, and Live. J. ACM 66, 1, Article 2 (February 2019), 66 pages. https://doi.org/10.1145/3266141
 
 

@article{10.1145/3266141,

author = {Bushkov, Victor and Dziuma, Dmytro and Fatourou, Panagiota and Guerraoui, Rachid},

title = {The PCL Theorem: Transactions Cannot Be Parallel, Consistent, and Live},

year = {2018},

issue_date = {February 2019},

publisher = {Association for Computing Machinery},

address = {New York, NY, USA},

volume = {66},

number = {1},

issn = {0004-5411},

url = {https://doi.org/10.1145/3266141},

doi = {10.1145/3266141},

journal = {J. ACM},

month = {dec},

articleno = {2},

numpages = {66},

keywords = {Transactional memory, disjoint-access-parallelism, snapshot isolation, processor consistency, obstruction-freedom, lower bounds, weak adaptive consistency, universal constructions}

}