The semantics of transactions and weak memory in x86, Power, ARM, and C++.
Nathan ChongTyler SorensenJohn WickersonPublished in: PLDI (2018)
Keyphrases
- computational power
- power consumption
- memory usage
- databases
- memory subsystem
- correctness criterion
- multithreading
- formal semantics
- main memory
- logic programming
- data structure
- transaction management
- database
- transaction processing
- credit card
- computing power
- transaction model
- transaction data
- database systems
- memory size
- read write
- neural network