The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++.
Nathan ChongTyler SorensenJohn WickersonPublished in: CoRR (2017)
Keyphrases
- computational power
- formal semantics
- database
- logic programming
- memory requirements
- computing power
- power consumption
- correctness criterion
- memory usage
- transactional data
- memory space
- memory size
- semantic information
- memory subsystem
- read write
- multithreading
- credit card
- random access
- main memory
- conceptual model
- data mining
- databases