Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization ∗

The Java memory model provides strong behavior guarantees for data-race-free executions. However, it provides very weak guaran-tees for racy executions, leading to unexpected, unintuitive behav-iors. This paper focuses on how to provide a memory model, called statically bounded region serializability (SBRS), that is substan-tially stronger than the Java memory model. Our prior work intro-duces SBRS, as well as compiler and runtime support for enforcing SBRS called EnfoRSer. EnfoRSer modifies the dynamic compiler to insert instrumentation to acquire a lock on each object accessed by the program. For most programs, EnfoRSer’s primary run-time cost is executing this instrumentation at essentially every memory access. This paper focuses on reducing the run-time overhead of enforc-ing SBRS by avoiding instrumentation at every memory access tha