The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++.
Nathan ChongTyler SorensenJohn WickersonPublished in: USENIX Annual Technical Conference (2019)
Keyphrases
- computational power
- database
- power consumption
- memory space
- limited memory
- memory usage
- databases
- correctness criterion
- multithreading
- formal semantics
- memory requirements
- transaction processing
- transaction management
- main memory
- logic programming
- memory subsystem
- distributed database systems
- operational semantics
- database operations
- transaction model
- semantic information
- transactional data
- power dissipation
- robotic arm
- database systems