作者: J. Cutler , M. Olszewski , J.G. Steffan
DOI: 10.1109/PACT.2007.42
关键词: Transaction processing 、 Programming language 、 Correctness 、 Transactional memory 、 Programming paradigm 、 Operating system 、 Computer science 、 Code (cryptography) 、 Deadlock 、 Software transactional memory 、 Software
摘要: … novel STM system that uses dynamic binary-rewriting (DBR) … , as well as static and dynamic shared libraries. Concurrent … of indirect control instructions such as returns, indirect jumps, …