Quote: with memory coherence, legal transformations are not closed under composition; i.e., downstream components can produce an illegal reordering of memory references; prohibits bytecode transformations
Topic: managing shared memory
Topic: code optimization by code rewrite
Quotation Skeleton
[Under the Java memory model] the set of legal transformations on Java … reasoning about … [a] downstream component … [that] produces an illegal reordering of the memory …
Google-1Google-2