[concurrency-interest] Why is happens-before order a partial order?

thurstonn thurston at nomagicsoftware.com
Sat Oct 7 10:52:13 EDT 2017


Ok, thanks.

For those following along, it's probably covered by:

17.4.7. Well-Formed Executions 
"The happens-before order is given by the transitive closure of
synchronizes-with edges and program order"







--
Sent from: http://jsr166-concurrency.10961.n7.nabble.com/


More information about the Concurrency-interest mailing list