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

thurstonn thurston at nomagicsoftware.com
Sat Apr 13 21:42:01 EDT 2013

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.

More information about the Concurrency-interest mailing list