JavaPathfinder v6.0 (rev 652+) - (C) RIACS/NASA Ames Research Center ====================================================== system under test application: Tsp.java arguments: map4 2 ====================================================== search started: 22/03/12 07:41 tsp-2 1896 Minimum tour length: 4 TspSize:4 Minimum tour:0 - 1 - 2 - 3 - 0 ************************* REPORT ********************** tsp-2 2215 Minimum tour length: 4 TspSize:4 Minimum tour:0 - 1 - 2 - 3 - 0 ************************* REPORT ********************** tsp-2 2323 Minimum tour length: 4 TspSize:4 Minimum tour:0 - 1 - 2 - 3 - 0 ************************* REPORT ********************** tsp-2 2977 Minimum tour length: 4 TspSize:4 Minimum tour:0 - 1 - 2 - 3 - 0 ************************* REPORT ********************** ========potential races======== (static field) field: static int TspSolverWithError.TourStackTop thread id: 1 (Thread-1) instruction: TspSolverWithError.get_tour(TspSolverWithError.java:473) READ [(15582)] ] instruction: TspSolverWithError.get_tour(TspSolverWithError.java:473) WRITE [(15582)] ] thread id: 2 (Thread-2) instruction: TspSolverWithError.get_tour(TspSolverWithError.java:473) READ [(15595)] ] instruction: TspSolverWithError.get_tour(TspSolverWithError.java:473) WRITE [(15595)] ] ============================ monitor id 15582 TspSolverWithError monitor id 15595 TspSolverWithError (static field) field: static int TspSolverWithError.MinTourLen thread id: 1 (Thread-1) instruction: TspSolverWithError.set_best(TspSolverWithError.java:128) READ [(368)] ] instruction: TspSolverWithError.visit_nodes(TspSolverWithError.java:560) READ [()] ] instruction: TspSolverWithError.visit_nodes(TspSolverWithError.java:555) READ [()] ] instruction: TspSolverWithError.set_best(TspSolverWithError.java:122) READ [(368)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:393) READ [(453, 15582)] ] instruction: TspSolverWithError.set_best(TspSolverWithError.java:133) WRITE [(368)] ] instruction: TspSolverWithError.visit_nodes(TspSolverWithError.java:544) READ [()] ] thread id: 2 (Thread-2) instruction: TspSolverWithError.set_best(TspSolverWithError.java:128) READ [(368)] ] instruction: TspSolverWithError.visit_nodes(TspSolverWithError.java:560) READ [()] ] instruction: TspSolverWithError.visit_nodes(TspSolverWithError.java:555) READ [()] ] instruction: TspSolverWithError.set_best(TspSolverWithError.java:122) READ [(368)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:393) READ [(453, 15595)] ] instruction: TspSolverWithError.set_best(TspSolverWithError.java:133) WRITE [(368)] ] instruction: TspSolverWithError.visit_nodes(TspSolverWithError.java:544) READ [()] ] ============================ monitor id 368 java.lang.Class monitor id 453 java.lang.Integer monitor id 15582 TspSolverWithError monitor id 15595 TspSolverWithError object id: 76545181 (76545181) field: int PrioQElement.priority thread id: 1 (Thread-1) instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:407) WRITE [(453, 15582)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:407) READ [(453, 15582)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:393) READ [(453, 15582)] ] thread id: 2 (Thread-2) instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:407) WRITE [(453, 15595)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:407) READ [(453, 15595)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:393) READ [(453, 15595)] ] ============================ monitor id 453 java.lang.Integer monitor id 15582 TspSolverWithError monitor id 15595 TspSolverWithError (static field) field: static int TspSolverWithError.Done thread id: 1 (Thread-1) instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:384) READ [(453, 15582)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:462) WRITE [(453, 15582)] ] thread id: 2 (Thread-2) instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:384) READ [(453, 15595)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:462) WRITE [(453, 15595)] ] ============================ monitor id 453 java.lang.Integer monitor id 15582 TspSolverWithError monitor id 15595 TspSolverWithError (static field) field: static int TspSolverWithError.PrioQLast thread id: 1 (Thread-1) instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:405) READ [(453, 15582)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:411) READ [(453, 15582)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:408) READ [(453, 15582)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:390) READ [(453, 15582)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:408) WRITE [(453, 15582)] ] thread id: 2 (Thread-2) instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:405) READ [(453, 15595)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:411) READ [(453, 15595)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:408) READ [(453, 15595)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:390) READ [(453, 15595)] ] instruction: TspSolverWithError.find_solvable_tour(TspSolverWithError.java:408) WRITE [(453, 15595)] ] ============================ monitor id 453 java.lang.Integer monitor id 15582 TspSolverWithError monitor id 15595 TspSolverWithError ======== sumary ======== 1 >Potential race for field TspSolverWithError.TourStackTop write: [Thread-1] TspSolverWithError.get_tour read: [Thread-2] TspSolverWithError.get_tour < 2 >Potential race for field TspSolverWithError.MinTourLen write: [Thread-1] TspSolverWithError.set_best read: [Thread-2] TspSolverWithError.visit_nodes < 3 >Potential race for field TspSolverWithError.MinTourLen write: [Thread-1] TspSolverWithError.set_best read: [Thread-2] TspSolverWithError.find_solvable_tour < ====================================================== results no errors detected ====================================================== statistics elapsed time: 00:00:05 states: new=75, visited=13, backtracked=36, end=4 search: maxDepth=52, constraints hit=0 choice generators: thread=74 (signal=0, lock=8, shared ref=43), data=0 heap: new=16952, released=333, max live=15916, gc-cycles=86 instructions: 219854 max memory: 110MB loaded code: classes=103, methods=1536 ====================================================== search finished: 22/03/12 07:42