starting JPF on class: javax.realtime.test.traffic.Main search started Running under JPF Choice mode is deterministic Resource type PriorityInheritance Car 0, priority 6, heading north going straight Car 1, priority 2, heading south going left Car 2, priority 8, heading east going left Simulation starts at time (0 ms, 0 ns) under mode deterministic (0 ms, 0 ns) Car 0, priority 6, heading north going straight approaches intersection (0 ms, 0 ns) Car 0, priority 6, heading north going straight starts seize of Southeast (currently not held) (0 ms, 0 ns) Car 0, priority 6, heading north going straight gets Southeast (0 ms, 0 ns) Car 0, priority 6, heading north going straight starts seize of Northeast (currently not held) (0 ms, 0 ns) Car 0, priority 6, heading north going straight gets Northeast (0 ms, 0 ns) Car 0, priority 6, heading north going straight proceeds (0 ms, 0 ns) Car 0, priority 6, heading north going straight begins hold of (16868 ms, 511266 ns) including (16666 ms, 666666 ns) hold time and (201 ms, 844600 ns) active phase time (0 ms, 0 ns) Car 1, priority 2, heading south going left approaches intersection (0 ms, 0 ns) Car 1, priority 2, heading south going left starts seize of Northwest (currently not held) (0 ms, 0 ns) Car 1, priority 2, heading south going left gets Northwest (0 ms, 0 ns) Car 1, priority 2, heading south going left releases Northwest (0 ms, 0 ns) no one waiting for Northwest (0 ms, 0 ns) Car 1, priority 2, heading south going left starts seize of Northeast (currently held by Car 0, priority 6, heading north going straight) (0 ms, 0 ns) Car 1, priority 2, heading south going left waits for Northeast held by Car 0, priority 6, heading north going straight (0 ms, 0 ns) RealtimeThread 0 (priority 0) begins hold of (5101 ms, 35600 ns) including (5000 ms, 0 ns) hold time and (101 ms, 35600 ns) active phase time (5101 ms, 35600 ns) RealtimeThread 0 (priority 0) returns from hold of (5101 ms, 35600 ns) (5101 ms, 35600 ns) *** RealtimeThread 0 terminates; 3032153 instructions executed total run time (0 ms, 265100 ns), (5101 ms, 35600 ns) duration (30 real milliseconds) (5101 ms, 35600 ns) Car 2, priority 8, heading east going left approaches intersection (5101 ms, 35600 ns) Car 2, priority 8, heading east going left starts seize of Southwest (currently not held) (5101 ms, 35600 ns) Car 2, priority 8, heading east going left gets Southwest (5101 ms, 35600 ns) Car 2, priority 8, heading east going left releases Southwest (5101 ms, 35600 ns) no one waiting for Southwest (5101 ms, 35600 ns) Car 2, priority 8, heading east going left starts seize of Southeast (currently held by Car 0, priority 6, heading north going straight) (5101 ms, 35600 ns) >>>> Car 0, priority 6, has priority increased to 8 (5101 ms, 35600 ns) Car 2, priority 8, heading east going left waits for Southeast held by Car 0, priority 8, heading north going straight (16868 ms, 511266 ns) Car 0, priority 8, heading north going straight returns from hold of (16868 ms, 511266 ns) (16868 ms, 511266 ns) Car 0, priority 8, heading north going straight halfway through (16868 ms, 511266 ns) Car 0, priority 8, heading north going straight releases Southeast (16868 ms, 511266 ns) <<<< Car 0, priority 8, has priority reduced to 6 (16868 ms, 511266 ns) Southeast is given to Car 2, priority 8, heading east going left (16868 ms, 511266 ns) Car 0, priority 6, heading north going straight begins hold of (16968 ms, 890266 ns) including (16666 ms, 666666 ns) hold time and (302 ms, 223600 ns) active phase time (16868 ms, 511266 ns) Car 2, priority 8, heading east going left gets Southeast (16868 ms, 511266 ns) Car 2, priority 8, heading east going left starts seize of Southwest (currently not held) (16868 ms, 511266 ns) Car 2, priority 8, heading east going left gets Southwest (16868 ms, 511266 ns) Car 2, priority 8, heading east going left proceeds (16868 ms, 511266 ns) Car 2, priority 8, heading east going left begins hold of (12600 ms, 703900 ns) including (12500 ms, 0 ns) hold time and (100 ms, 703900 ns) active phase time (29469 ms, 215166 ns) Car 2, priority 8, heading east going left returns from hold of (12600 ms, 703900 ns) (29469 ms, 215166 ns) Car 2, priority 8, heading east going left one third through (29469 ms, 215166 ns) Car 2, priority 8, heading east going left releases Southwest (29469 ms, 215166 ns) no one waiting for Southwest (29469 ms, 215166 ns) Car 2, priority 8, heading east going left begins hold of (12600 ms, 705700 ns) including (12500 ms, 0 ns) hold time and (100 ms, 705700 ns) active phase time (33837 ms, 401532 ns) Car 0, priority 6, heading north going straight returns from hold of (16968 ms, 890266 ns) (33837 ms, 401532 ns) Car 0, priority 6, heading north going straight exits (33837 ms, 401532 ns) Car 0, priority 6, heading north going straight releases Northeast (33837 ms, 401532 ns) Northeast is given to Car 1, priority 2, heading south going left (33837 ms, 401532 ns) *** Car 0 terminates; 8074150 instructions executed total run time (402 ms, 542400 ns), (33837 ms, 401532 ns) duration (22061 real milliseconds) (33837 ms, 401532 ns) Car 0 with cost limit (300 ms, 0 ns) had actual cost (402 ms, 542400 ns) (33837 ms, 401532 ns) *** car cost overrun handler invoked *** (33837 ms, 401532 ns) Car 1, priority 2, heading south going left gets Northeast (33837 ms, 401532 ns) Car 1, priority 2, heading south going left starts seize of Northwest (currently not held) (33837 ms, 401532 ns) Car 1, priority 2, heading south going left gets Northwest (33837 ms, 401532 ns) Car 1, priority 2, heading south going left proceeds (33837 ms, 401532 ns) Car 1, priority 2, heading south going left begins hold of (50101 ms, 510900 ns) including (50000 ms, 0 ns) hold time and (101 ms, 510900 ns) active phase time (42069 ms, 920866 ns) Car 2, priority 8, heading east going left returns from hold of (12600 ms, 705700 ns) (42069 ms, 920866 ns) Car 2, priority 8, heading east going left two thirds through (42069 ms, 920866 ns) Car 2, priority 8, heading east going left starts seize of Southwest (currently not held) (42069 ms, 920866 ns) Car 2, priority 8, heading east going left gets Southwest (42069 ms, 920866 ns) Car 2, priority 8, heading east going left releases Southeast (42069 ms, 920866 ns) no one waiting for Southeast (42069 ms, 920866 ns) Car 2, priority 8, heading east going left begins hold of (12600 ms, 920900 ns) including (12500 ms, 0 ns) hold time and (100 ms, 920900 ns) active phase time (54670 ms, 841766 ns) Car 2, priority 8, heading east going left returns from hold of (12600 ms, 920900 ns) (54670 ms, 841766 ns) Car 2, priority 8, heading east going left exits (54670 ms, 841766 ns) Car 2, priority 8, heading east going left releases Southwest (54670 ms, 841766 ns) no one waiting for Southwest (54670 ms, 841766 ns) *** Car 2 terminates; 11096028 instructions executed total run time (503 ms, 438300 ns), (49569 ms, 806166 ns) duration (24064 real milliseconds) (54670 ms, 841766 ns) Car 2 with cost limit (300 ms, 0 ns) had actual cost (503 ms, 438300 ns) (54670 ms, 841766 ns) *** car cost overrun handler invoked *** (83938 ms, 912432 ns) Car 1, priority 2, heading south going left returns from hold of (50101 ms, 510900 ns) (83938 ms, 912432 ns) Car 1, priority 2, heading south going left one third through (83938 ms, 912432 ns) Car 1, priority 2, heading south going left releases Northwest (83938 ms, 912432 ns) no one waiting for Northwest (83938 ms, 912432 ns) Car 1, priority 2, heading south going left begins hold of (50201 ms, 257000 ns) including (50000 ms, 0 ns) hold time and (201 ms, 257000 ns) active phase time (134140 ms, 169432 ns) Car 1, priority 2, heading south going left returns from hold of (50201 ms, 257000 ns) (134140 ms, 169432 ns) Car 1, priority 2, heading south going left two thirds through (134140 ms, 169432 ns) Car 1, priority 2, heading south going left starts seize of Southeast (currently not held) (134140 ms, 169432 ns) Car 1, priority 2, heading south going left gets Southeast (134140 ms, 169432 ns) Car 1, priority 2, heading south going left releases Northeast (134140 ms, 169432 ns) no one waiting for Northeast (134140 ms, 169432 ns) Car 1, priority 2, heading south going left begins hold of (50100 ms, 903200 ns) including (50000 ms, 0 ns) hold time and (100 ms, 903200 ns) active phase time (184241 ms, 72632 ns) Car 1, priority 2, heading south going left returns from hold of (50100 ms, 903200 ns) (184241 ms, 72632 ns) Car 1, priority 2, heading south going left exits (184241 ms, 72632 ns) Car 1, priority 2, heading south going left releases Southeast (184241 ms, 72632 ns) no one waiting for Southeast (184241 ms, 72632 ns) *** Car 1 terminates; 14117603 instructions executed total run time (503 ms, 258200 ns), (184241 ms, 72632 ns) duration (33108 real milliseconds) (184241 ms, 72632 ns) Car 1 with cost limit (300 ms, 0 ns) had actual cost (503 ms, 258200 ns) (184241 ms, 72632 ns) *** car cost overrun handler invoked *** (184241 ms, 72632 ns) Car 1 with deadline (75000 ms, 0 ns) had run time (184241 ms, 72632 ns) (184241 ms, 72632 ns) *** car deadline miss handler invoked *** (184241 ms, 72632 ns) Simulation ends ==================================================================== *** Resource utilization statistics: *** Northeast: busy 72% of elapsed time Northwest: busy 27% of elapsed time Southeast: busy 50% of elapsed time Southwest: busy 13% of elapsed time Thread life times Car 0, priority 6, heading north going straight: life time (33837 ms, 401532 ns), 0% wait time, average priority 6.127739982164608 Car 1, priority 2, heading south going left: life time (184241 ms, 72632 ns), 18% wait time, average priority 2.0 Car 2, priority 8, heading east going left: life time (49569 ms, 806166 ns), 21% wait time, average priority 8.0 RealtimeThread 0 (priority 0): life time (5101 ms, 35600 ns), 0% wait time, average priority 0.0 +++ Execution ends after 41399 true milliseconds +++ *** Path statistics *** 14130187 instructions executed with total cost (1413 ms, 18700 ns) 3370 objects created; 3379 released -9 objects in existence 40 threads started; 5 terminated 88 classes loaded ACONST_NULL 607 ICONST_0 3706 LCONST_0 358 DCONST_0 12 BIPUSH 1175 SIPUSH 11 LDC 934 LDC_W 163 LDC2_W 1400288 ILOAD 2500 LLOAD 182 DLOAD 105 ALOAD 1534 ILOAD_0 73 ILOAD_1 2801708 ILOAD_2 592 ILOAD_3 1935 LLOAD_0 10 LLOAD_1 496 LLOAD_2 9 LLOAD_3 694 ALOAD_0 1421866 ALOAD_1 6829 ALOAD_2 3257 ALOAD_3 1491 AALOAD 1320 CALOAD 612 ISTORE 1539 LSTORE 352 DSTORE 22 ASTORE 1242 DSTORE_1 59 DSTORE_2 1400008 DSTORE_3 22 ASTORE_0 2 ASTORE_1 299 ASTORE_2 1679 ASTORE_3 410 IASTORE 32 AASTORE 88 CASTORE 236 POP 371 DUP 3674 DUP_X1 159 IADD 590 LADD 98 DADD 61 LSUB 392 LSUB 66 DSUB 10 IMUL 18 LMUL 18 DMUL 77 LDIV 18 DDIV 1400024 ISHL 104 LSHR 157 IUSHR 104 IAND 52 LAND 1 IXOR 156 LXOR 1 IINC 1401880 I2L 1 I2D 1400018 L2D 102 D2I 12 D2L 8 I2S 12 LCMP 562 IFEQ 846 IFNE 786 IFLT 331 IFGE 197 IFGT 31 IFLE 1609 IF_ICMPEQ 567 IF_ICMPNE 100 IF_ICMPLT 1400125 IF_ICMPGE 238 IF_ICMPGT 48 IF_ICMPLE 335 IF_ACMPEQ 41 IF_ACMPNE 224 GOTO 2573 IRETURN 2285 LRETURN 907 DRETURN 63 ARETURN 4496 RETURN 5916 GETSTATIC 1128 PUTSTATIC 61 GETFIELD 1410273 PUTFIELD 6802 INVOKEVIRTUAL 8244 INVOKESPECIAL 4875 INVOKESTATIC 1864 INVOKEINTERFACE 1034 NEW 1642 NEWARRAY 447 ANEWARRAY 18 ARRAYLENGTH 173 ATHROW 6 CHECKCAST 396 INSTANCEOF 249 MONITORENTER 498 MONITOREXIT 498 IFNULL 581 IFNONNULL 2477 *** Individual thread costs *** Car 0(1): (402 ms, 683100 ns) Car 1(2): (503 ms, 468100 ns) Car 2(3): (503 ms, 579000 ns) RealtimeThread 0(4): (0 ms, 330500 ns) *** Overall execution statistics *** 0 states processed 0 backtracks 276 GCs begun; 276 ended state backtracked; cost now (1413 ms, 19100 ns); instruction count now 14130191 state advanced; cost now (0 ms, 975600 ns); instruction count now 9756 state backtracked; cost now (0 ms, 976500 ns); instruction count now 9765 state advanced; cost now (0 ms, 975500 ns); instruction count now 9755 state backtracked; cost now (0 ms, 976200 ns); instruction count now 9762 state advanced; cost now (0 ms, 920700 ns); instruction count now 9207 state backtracked; cost now (0 ms, 921600 ns); instruction count now 9216 state advanced; cost now (0 ms, 920600 ns); instruction count now 9206 state backtracked; cost now (0 ms, 921300 ns); instruction count now 9213 state advanced; cost now (0 ms, 916700 ns); instruction count now 9167 state backtracked; cost now (0 ms, 917600 ns); instruction count now 9176 state advanced; cost now (0 ms, 916600 ns); instruction count now 9166 state backtracked; cost now (0 ms, 917300 ns); instruction count now 9173 state advanced; cost now (0 ms, 912700 ns); instruction count now 9127 state backtracked; cost now (0 ms, 913600 ns); instruction count now 9136 state advanced; cost now (0 ms, 912600 ns); instruction count now 9126 state backtracked; cost now (0 ms, 913300 ns); instruction count now 9133 search finished =================================== ------------------------------------ thread stacks Thread: main at javax.realtime.test.traffic.Main.(javax\realtime\test\traffic\Main.java:110) at javax.realtime.test.traffic.Main.main(javax\realtime\test\traffic\Main.java:21) ------------------------------------ end thread stacks +++ Execution ends after 41449 true milliseconds +++ *** Path statistics *** 9126 instructions executed with total cost (0 ms, 912600 ns) 729 objects created; 466 released 263 objects in existence 3 threads started; 1 terminated 67 classes loaded ACONST_NULL 204 ICONST_0 347 LCONST_0 39 DCONST_0 3 BIPUSH 183 SIPUSH 11 LDC 117 LDC2_W 18 ILOAD 314 LLOAD 4 DLOAD 1 ALOAD 262 ILOAD_0 23 ILOAD_1 345 ILOAD_2 30 ILOAD_3 81 LLOAD_0 1 LLOAD_1 22 LLOAD_3 16 ALOAD_0 1481 ALOAD_1 253 ALOAD_2 158 ALOAD_3 142 AALOAD 48 CALOAD 134 ISTORE 295 LSTORE 2 ASTORE 56 DSTORE_1 1 ASTORE_1 12 ASTORE_2 37 ASTORE_3 28 IASTORE 32 AASTORE 66 POP 43 DUP 346 DUP_X1 31 IADD 126 DADD 1 LSUB 85 IMUL 18 DMUL 1 No Errors Found =================================== ISHL 46 IUSHR 46 IAND 23 LAND 1 IXOR 69 LXOR 1 IINC 152 L2D 2 LCMP 21 IFEQ 101 IFNE 32 IFLT 10 IFLE 11 IF_ICMPEQ 58 IF_ICMPNE 18 IF_ICMPLT 23 IF_ICMPGE 22 IF_ACMPNE 12 GOTO 63 IRETURN 117 LRETURN 12 DRETURN 1 ARETURN 100 RETURN 453 GETSTATIC 51 PUTSTATIC 48 GETFIELD 451 PUTFIELD 655 INVOKEVIRTUAL 259 INVOKESPECIAL 374 INVOKESTATIC 96 INVOKEINTERFACE 16 NEW 125 NEWARRAY 10 ANEWARRAY 17 ARRAYLENGTH 29 ATHROW 6 CHECKCAST 18 INSTANCEOF 15 MONITORENTER 18 MONITOREXIT 18 IFNULL 37 IFNONNULL 72 *** Individual thread costs *** *** Overall execution statistics *** 88 states processed 96 backtracks 293 GCs begun; 293 ended