JavaPathfinder v6.0 (rev 652+) - (C) RIACS/NASA Ames Research Center ====================================================== system under test application: TwoStage/Main.java arguments: 11 7 ====================================================== search started: 26/02/12 23:24 ========potential races======== object id: 1935850 (1935850) field: int TwoStage.Data.value thread id: 2 (Thread-2) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 3 (Thread-3) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 4 (Thread-4) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 5 (Thread-5) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 6 (Thread-6) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 7 (Thread-7) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 8 (Thread-8) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 9 (Thread-9) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 10 (Thread-10) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 11 (Thread-11) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 12 (Thread-12) instruction: TwoStage.TwoStage.A(TwoStage.java:36) WRITE [(343)] ] thread id: 13 (Thread-13) instruction: TwoStage.TwoStage.B(TwoStage.java:48) READ [(343)] ] thread id: 14 (Thread-14) instruction: TwoStage.TwoStage.B(TwoStage.java:48) READ [(343)] ] thread id: 15 (Thread-15) instruction: TwoStage.TwoStage.B(TwoStage.java:48) READ [(343)] ] thread id: 16 (Thread-16) instruction: TwoStage.TwoStage.B(TwoStage.java:48) READ [(343)] ] thread id: 17 (Thread-17) instruction: TwoStage.TwoStage.B(TwoStage.java:48) READ [(343)] ] thread id: 18 (Thread-18) instruction: TwoStage.TwoStage.B(TwoStage.java:48) READ [(343)] ] thread id: 19 (Thread-19) instruction: TwoStage.TwoStage.B(TwoStage.java:48) READ [(343)] ] ============================ monitor id 343 TwoStage.Data object id: 1935851 (1935851) field: int TwoStage.Data.value thread id: 2 (Thread-2) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 3 (Thread-3) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 4 (Thread-4) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 5 (Thread-5) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 6 (Thread-6) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 7 (Thread-7) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 8 (Thread-8) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 9 (Thread-9) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 10 (Thread-10) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 11 (Thread-11) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 12 (Thread-12) instruction: TwoStage.TwoStage.A(TwoStage.java:28) WRITE [(342)] ] instruction: TwoStage.TwoStage.A(TwoStage.java:36) READ [(343)] ] thread id: 13 (Thread-13) instruction: TwoStage.TwoStage.B(TwoStage.java:45) READ [(342)] ] instruction: TwoStage.TwoStage.B(TwoStage.java:44) READ [(342)] ] thread id: 14 (Thread-14) instruction: TwoStage.TwoStage.B(TwoStage.java:45) READ [(342)] ] instruction: TwoStage.TwoStage.B(TwoStage.java:44) READ [(342)] ] thread id: 15 (Thread-15) instruction: TwoStage.TwoStage.B(TwoStage.java:45) READ [(342)] ] instruction: TwoStage.TwoStage.B(TwoStage.java:44) READ [(342)] ] thread id: 16 (Thread-16) instruction: TwoStage.TwoStage.B(TwoStage.java:45) READ [(342)] ] instruction: TwoStage.TwoStage.B(TwoStage.java:44) READ [(342)] ] thread id: 17 (Thread-17) instruction: TwoStage.TwoStage.B(TwoStage.java:45) READ [(342)] ] instruction: TwoStage.TwoStage.B(TwoStage.java:44) READ [(342)] ] thread id: 18 (Thread-18) instruction: TwoStage.TwoStage.B(TwoStage.java:45) READ [(342)] ] instruction: TwoStage.TwoStage.B(TwoStage.java:44) READ [(342)] ] thread id: 19 (Thread-19) instruction: TwoStage.TwoStage.B(TwoStage.java:45) READ [(342)] ] instruction: TwoStage.TwoStage.B(TwoStage.java:44) READ [(342)] ] ============================ monitor id 342 TwoStage.Data monitor id 343 TwoStage.Data object id: 129656466 (129656466) field: TwoStage.TwoStage TwoStage.TwoStageThread.ts thread id: 0 (main) instruction: TwoStage.TwoStageThread.(TwoStageThread.java:13) WRITE [()] ] thread id: 2 (Thread-2) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 3 (Thread-3) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 4 (Thread-4) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 5 (Thread-5) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 6 (Thread-6) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 7 (Thread-7) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 8 (Thread-8) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 9 (Thread-9) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 10 (Thread-10) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 11 (Thread-11) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] thread id: 12 (Thread-12) instruction: TwoStage.TwoStageThread.run(TwoStageThread.java:17) READ [()] ] ============================ object id: 129656468 (129656468) field: TwoStage.TwoStage TwoStage.ReadThread.ts thread id: 0 (main) instruction: TwoStage.ReadThread.(ReadThread.java:10) WRITE [()] ] thread id: 13 (Thread-13) instruction: TwoStage.ReadThread.run(ReadThread.java:14) READ [()] ] thread id: 14 (Thread-14) instruction: TwoStage.ReadThread.run(ReadThread.java:14) READ [()] ] thread id: 15 (Thread-15) instruction: TwoStage.ReadThread.run(ReadThread.java:14) READ [()] ] thread id: 16 (Thread-16) instruction: TwoStage.ReadThread.run(ReadThread.java:14) READ [()] ] thread id: 17 (Thread-17) instruction: TwoStage.ReadThread.run(ReadThread.java:14) READ [()] ] thread id: 18 (Thread-18) instruction: TwoStage.ReadThread.run(ReadThread.java:14) READ [()] ] thread id: 19 (Thread-19) instruction: TwoStage.ReadThread.run(ReadThread.java:14) READ [()] ] ============================ ======== sumary ======== 1 >Potential race for field TwoStage.Data.value write: [Thread-2] TwoStage.TwoStage.A read: [Thread-3] TwoStage.TwoStage.A < 2 >Potential race for field TwoStage.TwoStageThread.ts write: [main] TwoStage.TwoStageThread. read: [Thread-2] TwoStage.TwoStageThread.run < 3 >Potential race for field TwoStage.ReadThread.ts write: [main] TwoStage.ReadThread. read: [Thread-13] TwoStage.ReadThread.run < ====================================================== results no errors detected ====================================================== statistics elapsed time: 00:00:05 states: new=1651, visited=6748, backtracked=8365, end=11 search: maxDepth=38, constraints hit=0 choice generators: thread=1651 (signal=0, lock=2, shared ref=0), data=0 heap: new=477, released=33689, max live=436, gc-cycles=8399 instructions: 330407 max memory: 73MB loaded code: classes=84, methods=1329 ====================================================== search finished: 26/02/12 23:24