[concurrency-interest] On A Formal Definition of 'Data-Race'

ys 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
> least
> 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:
> http://jsr166-concurrency.10961.n7.nabble.com/On-A-Formal-Definition-of-Data-Race-tp9408p9413.html
> Sent from the JSR166 Concurrency mailing list archive at Nabble.com.
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20130413/766cc634/attachment.html>


More information about the Concurrency-interest mailing list