Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model
PODC '20: ACM Symposium on Principles of Distributed Computing Virtual Event Italy August, 2020（2020）
摘要
High-performance software transactional memory (STM) implementations rely on nuanced use of synchronization variables to coordinate speculative accesses to program data. We discuss some consequences of the C++ memory model on STM, identify an easy-to-fix implementation error, and describe an unavoidable formal race condition that occurs in an important class of STM algorithms.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要