[concurrency-interest] On A Formal Definition of 'Data-Race'
yankee.sierra at gmail.com
Sat Apr 13 23:04:19 EDT 2013
Is "this.shared" a non-volatile long or double? If so, how would it not be
racy? And if not, isn't there precedent to declare it a benign race (rather
than not a race at all)?
On Sat, Apr 13, 2013 at 9:42 PM, thurstonn <thurston at nomagicsoftware.com>wrote:
> Before I answer fully, let me ask you about another variant of the program:
> Thread 1 Thread 2
> this.shared = 10 local = this.shared
> Is this "racy"? Clearly there is no explicit happens-before. But, at
> in my reading of the (your) definition that I quoted in my OP, it wouldn't
> qualify as a data-race.
> View this message in context:
> Sent from the JSR166 Concurrency mailing list archive at Nabble.com.
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Concurrency-interest