Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs

Java was designed as a secure language that supports running untrusted code as part of trusted applications. For safety reasons, Java therefore defines a memory model that prevents undefined behavior in multi-threaded programs even if the programs are not correctly synchronized. Because of the poten... View More