Software Thread Level Speculation for the Java Language and Virtual Machine Environment

Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS behaviour are now well established. Software and virtual machine TLS designs, however, require adherence to high level language semantics, and this can impose many additional constraints on TLS behaviour, as well as open up new opportunities to exploit language-specific information. We present a detailed design for a Java-specific, software TLS system that operates at the bytecode level, and fully addresses the problems and requirements imposed by the Java language and VM environment. Using SableSpMT, our research TLS framework, we provide experimental data on the corresponding costs and benefits; we find that exceptions, GC, and dynamic class loading have only a small impact, but that concurrency, native methods, and memory model concerns do play an important role, as does an appropriate, language-speci...

• Type: Conference
• Year: 2005
• Where: LCPC
• Authors: Christopher J. F. Pickett, Clark Verbrugge
• Keywords: Correct Tls Behaviour, LCPC 2005, TLS Behaviour, TLS Designs