線形化可能性
#分散システム
英語だと linearizability
https://en.wikipedia.org/wiki/Linearizability
元論文: https://cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf
Herlihyさんが導入した言葉らしい。
locality
linearizability は local property である (local property を満たす、ではない模様)
各オブジェクトが linearizable であれば、全体も linearizable である
nonblocking
linearizability は nonblocking property である
real-time