last day (16 days later) » 

Wandering Logic
Wandering Logic
11:18 AM
Hi @hengxin
With reference to
1
A: Linearizability and Serializability in context of Software Transactional Memory

Wandering LogicYour definition of serializability is correct, and equivalent to the definition of Guerraoui and Kapalka that you quote. Guerraoui and Kapalka's definition, like yours, requires all the instructions inside transaction $T_k$ to appear to execute and to execute in order. That is: the end result i...

You wrote
> It seems that we have different understanding of Linearizability. In your answer, you have used the term "atomically" several times. Does it mean "all-or-none" or "instantaneously"?
By atomic I think I mean "instantaneously from the perspective of other threads and transactions."
Or perhaps, more accurately, "in any legal serialization of the program a group of instructions will be called atomic if those instructions are grouped together in the serialization, not interleaved with any other instructions."
You are probably right that we have different understandings of linearizability.
 

  last day (16 days later) »