[concurrency-interest] On A Formal Definition of 'Data-Race'
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