Implementing and verifying release-acquire transactional memory in C11.

Sadegh Dalvandi Brijesh Dongol

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

transactional memory
speculative execution
computing systems
real time
database systems
response time
low cost
parallel programming