starting JPF on class: javax.realtime.test.traffic.Main search started Running under JPF Choice mode is pseudorandom 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 pseudorandom 3 choices available for next event: ((0 ms, 0 ns), 6, Car 0, priority 6, heading north going straight) ((0 ms, 0 ns), 2, Car 1, priority 2, heading south going left) ((0 ms, 0 ns), 0, RealtimeThread 0 (priority 0)) selecting ((0 ms, 0 ns), 2, Car 1, priority 2, heading south going left) (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 starts seize of Northeast (currently not held) (0 ms, 0 ns) Car 1, priority 2, heading south going left gets Northeast (0 ms, 0 ns) Car 1, priority 2, heading south going left proceeds (0 ms, 0 ns) Car 1, priority 2, heading south going left begins hold of (50202 ms, 166700 ns) including (50000 ms, 0 ns) hold time and (202 ms, 166700 ns) active phase time 2 choices available for next event: ((0 ms, 0 ns), 6, Car 0, priority 6, heading north going straight) ((0 ms, 0 ns), 0, RealtimeThread 0 (priority 0)) selecting ((0 ms, 0 ns), 0, RealtimeThread 0 (priority 0)) (0 ms, 0 ns) RealtimeThread 0 (priority 0) begins hold of (5000 ms, 428200 ns) including (5000 ms, 0 ns) hold time and (0 ms, 428200 ns) active phase time (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 releases Southeast (0 ms, 0 ns) no one waiting for Southeast (0 ms, 0 ns) Car 0, priority 6, heading north going straight starts seize of Northeast (currently held by Car 1, priority 2, heading south going left) (0 ms, 0 ns) >>>> Car 1, priority 2, has priority increased to 6 (0 ms, 0 ns) Car 0, priority 6, heading north going straight waits for Northeast held by Car 1, priority 6, heading south going left (5000 ms, 428200 ns) RealtimeThread 0 (priority 0) returns from hold of (5000 ms, 428200 ns) (5000 ms, 428200 ns) *** RealtimeThread 0 terminates; 3038380 instructions executed total run time (0 ms, 271600 ns), (5000 ms, 428200 ns) duration (2304 real milliseconds) (5000 ms, 428200 ns) Car 2, priority 8, heading east going left approaches intersection (5000 ms, 428200 ns) Car 2, priority 8, heading east going left starts seize of Southwest (currently not held) (5000 ms, 428200 ns) Car 2, priority 8, heading east going left gets Southwest (5000 ms, 428200 ns) Car 2, priority 8, heading east going left starts seize of Southeast (currently not held) (5000 ms, 428200 ns) Car 2, priority 8, heading east going left gets Southeast (5000 ms, 428200 ns) Car 2, priority 8, heading east going left proceeds (5000 ms, 428200 ns) Car 2, priority 8, heading east going left begins hold of (12801 ms, 989200 ns) including (12500 ms, 0 ns) hold time and (301 ms, 989200 ns) active phase time (17802 ms, 417400 ns) Car 2, priority 8, heading east going left returns from hold of (12801 ms, 989200 ns) (17802 ms, 417400 ns) Car 2, priority 8, heading east going left one third through (17802 ms, 417400 ns) Car 2, priority 8, heading east going left releases Southwest (17802 ms, 417400 ns) no one waiting for Southwest (17802 ms, 417400 ns) Car 2, priority 8, heading east going left begins hold of (12600 ms, 714400 ns) including (12500 ms, 0 ns) hold time and (100 ms, 714400 ns) active phase time (30403 ms, 131800 ns) Car 2, priority 8, heading east going left returns from hold of (12600 ms, 714400 ns) (30403 ms, 131800 ns) Car 2, priority 8, heading east going left two thirds through (30403 ms, 131800 ns) Car 2, priority 8, heading east going left starts seize of Southwest (currently not held) (30403 ms, 131800 ns) Car 2, priority 8, heading east going left gets Southwest (30403 ms, 131800 ns) Car 2, priority 8, heading east going left releases Southeast (30403 ms, 131800 ns) no one waiting for Southeast (30403 ms, 131800 ns) Car 2, priority 8, heading east going left begins hold of (12600 ms, 920000 ns) including (12500 ms, 0 ns) hold time and (100 ms, 920000 ns) active phase time (43004 ms, 51800 ns) Car 2, priority 8, heading east going left returns from hold of (12600 ms, 920000 ns) (43004 ms, 51800 ns) Car 2, priority 8, heading east going left exits (43004 ms, 51800 ns) Car 2, priority 8, heading east going left releases Southwest (43004 ms, 51800 ns) no one waiting for Southwest (43004 ms, 51800 ns) *** Car 2 terminates; 8068795 instructions executed total run time (502 ms, 747000 ns), (38003 ms, 623600 ns) duration (13509 real milliseconds) (43004 ms, 51800 ns) Car 2 with cost limit (300 ms, 0 ns) had actual cost (502 ms, 747000 ns) (43004 ms, 51800 ns) *** car cost overrun handler invoked *** (50202 ms, 166700 ns) Car 1, priority 6, heading south going left returns from hold of (50202 ms, 166700 ns) (50202 ms, 166700 ns) Car 1, priority 6, heading south going left one third through (50202 ms, 166700 ns) Car 1, priority 6, heading south going left releases Northwest (50202 ms, 166700 ns) no one waiting for Northwest (50202 ms, 166700 ns) Car 1, priority 6, heading south going left begins hold of (16867 ms, 995366 ns) including (16666 ms, 666666 ns) hold time and (201 ms, 328700 ns) active phase time (67070 ms, 162066 ns) Car 1, priority 6, heading south going left returns from hold of (16867 ms, 995366 ns) (67070 ms, 162066 ns) Car 1, priority 6, heading south going left two thirds through (67070 ms, 162066 ns) Car 1, priority 6, heading south going left starts seize of Southeast (currently not held) (67070 ms, 162066 ns) Car 1, priority 6, heading south going left gets Southeast (67070 ms, 162066 ns) Car 1, priority 6, heading south going left releases Northeast (67070 ms, 162066 ns) <<<< Car 1, priority 6, has priority reduced to 2 (67070 ms, 162066 ns) Northeast is given to Car 0, priority 6, heading north going straight (67070 ms, 162066 ns) Car 1, priority 2, heading south going left begins hold of (50101 ms, 281300 ns) including (50000 ms, 0 ns) hold time and (101 ms, 281300 ns) active phase time (67070 ms, 162066 ns) Car 0, priority 6, heading north going straight gets Northeast (67070 ms, 162066 ns) Car 0, priority 6, heading north going straight releases Northeast (67070 ms, 162066 ns) no one waiting for Northeast (67070 ms, 162066 ns) Car 0, priority 6, heading north going straight starts seize of Southeast (currently held by Car 1, priority 2, heading south going left) (67070 ms, 162066 ns) >>>> Car 1, priority 2, has priority increased to 6 (67070 ms, 162066 ns) Car 0, priority 6, heading north going straight waits for Southeast held by Car 1, priority 6, heading south going left (117171 ms, 443366 ns) Car 1, priority 6, heading south going left returns from hold of (50101 ms, 281300 ns) (117171 ms, 443366 ns) Car 1, priority 6, heading south going left exits (117171 ms, 443366 ns) Car 1, priority 6, heading south going left releases Southeast (117171 ms, 443366 ns) <<<< Car 1, priority 6, has priority reduced to 2 (117171 ms, 443366 ns) Southeast is given to Car 0, priority 6, heading north going straight (117171 ms, 443366 ns) *** Car 1 terminates; 11104222 instructions executed total run time (503 ms, 465300 ns), (117171 ms, 443366 ns) duration (32246 real milliseconds) (117171 ms, 443366 ns) Car 1 with cost limit (300 ms, 0 ns) had actual cost (503 ms, 465300 ns) (117171 ms, 443366 ns) *** car cost overrun handler invoked *** (117171 ms, 443366 ns) Car 1 with deadline (75000 ms, 0 ns) had run time (117171 ms, 443366 ns) (117171 ms, 443366 ns) *** car deadline miss handler invoked *** (117171 ms, 443366 ns) Car 0, priority 6, heading north going straight gets Southeast (117171 ms, 443366 ns) Car 0, priority 6, heading north going straight starts seize of Northeast (currently not held) (117171 ms, 443366 ns) Car 0, priority 6, heading north going straight gets Northeast (117171 ms, 443366 ns) Car 0, priority 6, heading north going straight proceeds (117171 ms, 443366 ns) Car 0, priority 6, heading north going straight begins hold of (16868 ms, 928966 ns) including (16666 ms, 666666 ns) hold time and (202 ms, 262300 ns) active phase time (134040 ms, 372332 ns) Car 0, priority 6, heading north going straight returns from hold of (16868 ms, 928966 ns) (134040 ms, 372332 ns) Car 0, priority 6, heading north going straight halfway through (134040 ms, 372332 ns) Car 0, priority 6, heading north going straight releases Southeast (134040 ms, 372332 ns) no one waiting for Southeast (134040 ms, 372332 ns) Car 0, priority 6, heading north going straight begins hold of (16867 ms, 362166 ns) including (16666 ms, 666666 ns) hold time and (200 ms, 695500 ns) active phase time (150907 ms, 734498 ns) Car 0, priority 6, heading north going straight returns from hold of (16867 ms, 362166 ns) (150907 ms, 734498 ns) Car 0, priority 6, heading north going straight exits (150907 ms, 734498 ns) Car 0, priority 6, heading north going straight releases Northeast (150907 ms, 734498 ns) no one waiting for Northeast (150907 ms, 734498 ns) *** Car 0 terminates; 14124322 instructions executed total run time (403 ms, 102300 ns), (150907 ms, 734498 ns) duration (33178 real milliseconds) (150907 ms, 734498 ns) Car 0 with cost limit (300 ms, 0 ns) had actual cost (403 ms, 102300 ns) (150907 ms, 734498 ns) *** car cost overrun handler invoked *** (150907 ms, 734498 ns) Car 0 with deadline (75000 ms, 0 ns) had run time (150907 ms, 734498 ns) (150907 ms, 734498 ns) *** car deadline miss handler invoked *** (150907 ms, 734498 ns) Simulation ends ==================================================================== *** Resource utilization statistics: *** Northeast: busy 66% of elapsed time Northwest: busy 33% of elapsed time Southeast: busy 61% of elapsed time Southwest: busy 16% of elapsed time Thread life times Car 0, priority 6, heading north going straight: life time (150907 ms, 734498 ns), 77% wait time, average priority 6.0 Car 1, priority 2, heading south going left: life time (117171 ms, 443366 ns), 0% wait time, average priority 5.105777016818257 Car 2, priority 8, heading east going left: life time (38003 ms, 623600 ns), 0% wait time, average priority 8.0 RealtimeThread 0 (priority 0): life time (5000 ms, 428200 ns), 0% wait time, average priority 0.0 +++ Execution ends after 41229 true milliseconds +++ *** Path statistics *** 14135674 instructions executed with total cost (1413 ms, 567400 ns) 3555 objects created; 3625 released -70 objects in existence 40 threads started; 5 terminated 88 classes loaded ACONST_NULL 617 ICONST_0 3846 LCONST_0 362 DCONST_0 12 BIPUSH 1215 SIPUSH 11 LDC 1025 LDC_W 176 LDC2_W 1400292 ILOAD 2185 LLOAD 218 DLOAD 113 ALOAD 1224 ILOAD_0 75 ILOAD_1 2802092 ILOAD_2 612 ILOAD_3 1993 LLOAD_0 10 LLOAD_1 502 LLOAD_2 9 LLOAD_3 768 ALOAD_0 1423262 ALOAD_1 7206 ALOAD_2 3402 ALOAD_3 1500 AALOAD 1336 CALOAD 260 ISTORE 1449 LSTORE 403 DSTORE 24 ASTORE 1237 DSTORE_1 61 DSTORE_2 1400008 DSTORE_3 24 ASTORE_0 2 ASTORE_1 304 ASTORE_2 1858 ASTORE_3 406 IASTORE 32 AASTORE 88 CASTORE 236 POP 405 DUP 3621 DUP_X1 158 IADD 627 LADD 100 DADD 65 LSUB 203 LSUB 68 DSUB 12 IMUL 18 LMUL 18 DMUL 81 LDIV 18 DDIV 1400024 ISHL 104 LSHR 211 IUSHR 104 IAND 52 LAND 1 IXOR 156 LXOR 1 IINC 1401650 I2L 1 I2D 1400020 L2D 106 D2I 12 D2L 8 I2S 12 LCMP 668 IFEQ 667 IFNE 868 IFLT 387 IFGE 247 IFGT 39 IFLE 1678 IF_ICMPEQ 404 IF_ICMPNE 101 IF_ICMPLT 1400179 IF_ICMPGE 324 IF_ICMPGT 74 IF_ICMPLE 437 IF_ACMPEQ 40 IF_ACMPNE 223 GOTO 2718 IRETURN 2486 LRETURN 974 DRETURN 65 ARETURN 4789 RETURN 6196 GETSTATIC 1171 PUTSTATIC 61 GETFIELD 1411116 PUTFIELD 7100 INVOKEVIRTUAL 8869 INVOKESPECIAL 5165 INVOKESTATIC 1888 INVOKEINTERFACE 1147 NEW 1728 NEWARRAY 485 ANEWARRAY 18 ARRAYLENGTH 178 ATHROW 6 CHECKCAST 448 INSTANCEOF 249 MONITORENTER 536 MONITOREXIT 536 IFNULL 581 IFNONNULL 2517 *** Individual thread costs *** Car 0(1): (403 ms, 312200 ns) Car 1(2): (503 ms, 675200 ns) Car 2(3): (502 ms, 887700 ns) RealtimeThread 0(4): (0 ms, 337000 ns) *** Overall execution statistics *** 0 states processed 0 backtracks 279 GCs begun; 279 ended state backtracked; cost now (1413 ms, 567800 ns); instruction count now 14135678 state advanced; cost now (0 ms, 963900 ns); instruction count now 9639 state backtracked; cost now (0 ms, 964800 ns); instruction count now 9648 state advanced; cost now (0 ms, 963800 ns); instruction count now 9638 state backtracked; cost now (0 ms, 964500 ns); instruction count now 9645 state advanced; cost now (0 ms, 909000 ns); instruction count now 9090 state backtracked; cost now (0 ms, 909900 ns); instruction count now 9099 state advanced; cost now (0 ms, 908900 ns); instruction count now 9089 state backtracked; cost now (0 ms, 909600 ns); instruction count now 9096 state advanced; cost now (0 ms, 905000 ns); instruction count now 9050 state backtracked; cost now (0 ms, 905900 ns); instruction count now 9059 state advanced; cost now (0 ms, 904900 ns); instruction count now 9049 state backtracked; cost now (0 ms, 905600 ns); instruction count now 9056 state advanced; cost now (0 ms, 901000 ns); instruction count now 9010 state backtracked; cost now (0 ms, 901900 ns); instruction count now 9019 state advanced; cost now (0 ms, 900900 ns); instruction count now 9009 state backtracked; cost now (0 ms, 901600 ns); instruction count now 9016 search finished =================================== No Errors Found =================================== ------------------------------------ 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 41289 true milliseconds +++ *** Path statistics *** 9009 instructions executed with total cost (0 ms, 900900 ns) 729 objects created; 464 released 265 objects in existence 3 threads started; 1 terminated 67 classes loaded ACONST_NULL 204 ICONST_0 341 LCONST_0 39 DCONST_0 3 BIPUSH 183 SIPUSH 11 LDC 114 LDC2_W 18 ILOAD 308 LLOAD 4 DLOAD 1 ALOAD 259 ILOAD_0 23 ILOAD_1 345 ILOAD_2 30 ILOAD_3 75 LLOAD_0 1 LLOAD_1 22 LLOAD_3 16 ALOAD_0 1469 ALOAD_1 241 ALOAD_2 155 ALOAD_3 145 AALOAD 48 CALOAD 128 ISTORE 289 LSTORE 2 ASTORE 56 DSTORE_1 1 ASTORE_1 12 ASTORE_2 34 ASTORE_3 28 IASTORE 32 AASTORE 66 POP 43 DUP 343 DUP_X1 31 IADD 126 DADD 1 LSUB 82 IMUL 18 DMUL 1 ISHL 46 IUSHR 46 IAND 23 LAND 1 IXOR 69 LXOR 1 IINC 146 L2D 2 LCMP 21 IFEQ 92 IFNE 32 IFLT 10 IFLE 11 IF_ICMPEQ 55 IF_ICMPNE 15 IF_ICMPLT 23 IF_ICMPGE 22 IF_ACMPNE 9 GOTO 63 IRETURN 114 LRETURN 12 DRETURN 1 ARETURN 100 RETURN 453 GETSTATIC 51 PUTSTATIC 48 GETFIELD 439 PUTFIELD 655 INVOKEVIRTUAL 256 INVOKESPECIAL 374 INVOKESTATIC 96 INVOKEINTERFACE 16 NEW 125 NEWARRAY 10 ANEWARRAY 17 ARRAYLENGTH 29 ATHROW 6 CHECKCAST 15 INSTANCEOF 12 MONITORENTER 18 MONITOREXIT 18 IFNULL 34 IFNONNULL 75 *** Individual thread costs *** *** Overall execution statistics *** 88 states processed 96 backtracks 296 GCs begun; 296 ended