Dresden TM Compiler (DTMC) is the VELOX research-oriented compiler, supports a subset of the VELOX C/C++ API and the VELOX C/C++ ABI specification, which is sufficient for doing meaningful research and for compiling most of the VELOX Applications.

DTMC is based on LLVM. It transforms an application with transaction statements into an application that contains proper calls to an STM for all accesses in transactional code.

DTMC consists of a modified llvm-gcc that can parse transaction statements. The transformation of the transactional code is still performed by an LLVM compiler pass (an improved version of Tanger).

VELOX Release Download Release Date
Release 3 25.02.2011
Release 2 01.09.2010