Why does JMM mention sequential consistency (SC)?

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Why does JMM mention sequential consistency (SC)?

Valentin Kovalenko
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?

_______________________________________________
Concurrency-interest mailing list
[hidden email]
http://cs.oswego.edu/mailman/listinfo/concurrency-interest
Loading...