Concurrency control
Transaction processing
Computing
Data management
System software
Transactional memory
Benchmark
Lock
Parallel computing
Linearizability
Consistency model