JWormBench - Benchmark for transactional synchronization