JavaPathfinder v6.0 (rev 652+) - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: TwoStage/Main.java
arguments:   11 7 

====================================================== search started: 3/20/12 1:56 AM

====================================================== error #1
gov.nasa.jpf.listener.PreciseRaceDetector
race for field TwoStage.Data@156.value
  Thread-11 at TwoStage.TwoStage.A(TwoStage.java:36)
"  : getfield
  Thread-12 at TwoStage.TwoStage.A(TwoStage.java:28)
"  : putfield


====================================================== snapshot #1
thread TwoStage.TwoStageThread:{id:11,name:Thread-11,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  owned locks:TwoStage.Data@157
  call stack:
	at TwoStage.TwoStage.A(TwoStage.java:36)
	at TwoStage.TwoStageThread.run(TwoStageThread.java:17)

thread TwoStage.TwoStageThread:{id:12,name:Thread-12,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  owned locks:TwoStage.Data@156
  call stack:
	at TwoStage.TwoStage.A(TwoStage.java:28)
	at TwoStage.TwoStageThread.run(TwoStageThread.java:17)

thread TwoStage.ReadThread:{id:13,name:Thread-13,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread TwoStage.ReadThread:{id:14,name:Thread-14,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread TwoStage.ReadThread:{id:15,name:Thread-15,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread TwoStage.ReadThread:{id:16,name:Thread-16,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread TwoStage.ReadThread:{id:17,name:Thread-17,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread TwoStage.ReadThread:{id:18,name:Thread-18,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread TwoStage.ReadThread:{id:19,name:Thread-19,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:


====================================================== results
error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for field TwoStage.Data@156.value   Thread-11..."

====================================================== statistics
elapsed time:       00:29:46
states:             new=3827359, visited=16302228, backtracked=20129513, end=72
search:             maxDepth=127, constraints hit=0
choice generators:  thread=3827358 (signal=0, lock=1421966, shared ref=1734895), data=0
heap:               new=477, released=19495082, max live=436, gc-cycles=20129586
instructions:       243065625
max memory:         224MB
loaded code:        classes=84, methods=1329

====================================================== search finished: 3/20/12 2:25 AM