[[ thread-safe.org ]]

Output for Data Race Example

Starting to check tso.examples.SimpleDeadlock
Trying random seed 1

==== Found a thread safety violation! ====
Sequential prefix:
final tso.examples.SimpleDeadlock var0 = new tso.examples.SimpleDeadlock();
var0.m1();
var0.m1();
var0.m1();
var0.m1();
var0.m1();

Concurrent suffixes:

var0.m1();
var0.m2();

vs.

var0.m1();
var0.m2();

deadlock encountered:
  thread id=0,name=main,status=WAITING,priority=5,lockCount=0,suspendCount=0
  thread id=1,name=Thread-1,status=BLOCKED,priority=5,lockCount=0,suspendCount=0
  thread id=2,name=Thread-2,status=BLOCKED,priority=5,lockCount=0,suspendCount=0

Done after 4 seconds
Download a test that triggers the problem