[concurrency-interest] Relativity of guarantees provided by volatile
zhong.j.yu at gmail.com
Tue Aug 21 21:04:14 EDT 2012
On Tue, Aug 21, 2012 at 6:40 PM, Boehm, Hans <hans.boehm at hp.com> wrote:
>> From: Marko Topolnik [mailto:mtopolnik at inge-mark.hr]
>> Actually there is already a provision in the JMM (in the original
>> paper, at least) that prevents a busy-waiting loop whose condition
>> involves a volatile read to forever read a stale value. There can be
>> only a finite number of such read actions.
> My own feeling is that (under the right safety conditions), it's OK to collapse a bounded, "short" sequence of volatile reads into one, but not an unbounded number.
You guys make sense. For every action, there are only finite number of
actions that can be ordered before it.
More information about the Concurrency-interest