Quiescent consistency

[Martim Carbone]

Hi,

I have a question about quiescent consistency. In section 3.3, the shared counter from chapter 1 is given as an example of a quiescently-consistent object. However, as the authors point out in Chapter 1, the counter's implementation is flawed, since the read+increment operation is not done atomically.

Is the Chapter 3 reference assuming that the counter does use an atomic read+increment operation?

I'd also be curious to know about other examples of quiescent consistency being used in actual systems.

Thanks,

Martim