generated at
linearizability
Atomic transaction
consistency model
ACID
Read-copy-update (RCU)
Read-modify-write
Time of check to time of use

googlelinearizability
image linearizability
define linearizability
wikipedia linearizability
weblio linearizability
kotobank linearizability
jisho linearizability