TMJava with the conjunction of Deuce make up the VELOX Java Compiler. TMJava support language extensions for TM and outputs Java source code with annotations for Deuce, which consists of an agent that instruments the code at load time and produces Java bytecode with TM support for the Deuce Runtime. It is possible for some applications to compile directly with Deuce by using annotations instead of TM language extensions; however, by the end of the VELOX Project, we plan that VELOX Applications will use TMJava/Deuce together.

The TMJava compiler supports language extensions similar to those of C++, although simpler (the C++ programming model is much more complex than Java). It refactors the code to produce classes with the proper annotations for the Deuce agent, which performs the actual transactification process.
VELOX Release Download Release Date
Release 3 25.02.2011
Release 2 01.09.2010