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

Kirk Pepperdine kirk at kodewerk.com
Thu Apr 18 05:30:27 EDT 2013

I get this... I do it also... I simply tell them that I'm lying up front.. but then I add, it's a useful lie to help with understanding.

On 2013-04-17, at 5:58 PM, Brian Goetz <brian at briangoetz.com> wrote:

>> 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.
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest

More information about the Concurrency-interest mailing list