[concurrency-interest] Why does JMM mention sequential consistency (SC)?

Valentin Kovalenko valentin.male.kovalenko at gmail.com
Wed Jun 7 14:28:13 EDT 2017

Just to clarify my thoughts and question:
JMM defines "conflicting access" just to define "data race". "data race" is
defined just to introduce a criterium for and a concept of "correctly
synchronized program" which, in turn, is only used to say that executions
of such a program is SC. But SC itself adds nothing useful for Java
programmer besides what JMM guarantees anyway. So three concepts
(conflicting access, data race, correctly synchronized program) seem to be
introduced in JMM for nothing?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20170607/d1ed1555/attachment.html>

More information about the Concurrency-interest mailing list