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

Vitaly Davidovich vitalyd at gmail.com
Mon Apr 15 09:41:30 EDT 2013


Yes this is racy; it may be benign but that depends on context.  If you
have reader/writer of shared memory with no explicit synch or HB, it's a
race by (informal) definition.
On Apr 13, 2013 9:51 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/20130415/40a5e122/attachment.html>


More information about the Concurrency-interest mailing list