The basic idea behind linearizability is that every concurrent history is equivalent, in the following sense, to some sequential history.[The Art of Multiprocessor Programming 3.6.1 : Linearizability] ("followin