ThomasKrieger

Some Data Races

2

Hi, I want to use testng together with vmlens to test concurrent java programs. Running testng with the following empty testclass: ```java package com.anarsoft.agent.performance; import org.testng.annotations.Test; public class TestNG {...

Data Races org.h2.jdbc.JdbcConnection

7

There is a data race in ``` public Savepoint setSavepoint() throws SQLException { try { int id = getNextId(TraceObject.SAVEPOINT); debugCodeAssign("Savepoint", TraceObject.SAVEPOINT, id, "setSavepoint()"); checkClosed(); CommandInterface set = prepareCommand( "SAVEPOINT "...

Memory Ordering ACQUIRE_RELEASE, PLAIN and Opaque not supported

1

Acquire + release needs to check if a field was accessed through the acquire release object or not. So normal: Thread A a.i = 0 Thread A release a Thread...

Enable Constructor Tracing

4

Enable the tracing inside the constructor. This requires to change the byte code transformation inside agent-runtime. See ClassTransformerAllTest for a starting point