[concurrency-interest] What can an incorrectly synchronized read see?

jingguo yao yaojingguo at gmail.com
Wed Sep 28 22:05:02 EDT 2016


Aleksey:

Your reasoning is much more formal. Thanks.

2016-09-28 18:55 GMT+08:00 Aleksey Shipilev <shade at redhat.com>:

> On 09/28/2016 12:47 PM, Bobrowski, Maciej wrote:
> > Right, so the only invalid execution in any possible sequencing is
> > the (1, 0) which was the main question of this post, correct?
>
> Correct. I wanted to show how to apply spec to arrive to this result,
> and you get the collateral results for free too :)
>
> NB: Mental trap: believing that arriving to the same result as
> specification validates the alternative reasoning. (It might, though,
> but you have to show that alternative reasoning gives correct answers
> for all other cases too and/or has the clear boundaries where it applies)
>
> Thanks,
> -Aleksey
>
>
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest
>
>


-- 
Jingguo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20160929/3ecb9f5f/attachment.html>


More information about the Concurrency-interest mailing list