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

Brian Goetz brian at briangoetz.com
Wed Apr 17 11:58:37 EDT 2013


> Hmm, let me quote:
> "A program that accesses a mutable variable from multiple threads without
> synchronization is a broken program" -- sound familiar?
> Clearly String#hashCode() qualifies, and yet all agree that it *is*
> "correct"

Yes, sometimes when teaching, you have to say things that are only 
99.99% correct so that people will get the message clearly.

The folks on this list live in that remaining .01%.  Mostly so that the 
rest of the world doesn't have to.



More information about the Concurrency-interest mailing list