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


====================================================== system under test
application: AlarmClock/AlarmClock.java
arguments:   8 

====================================================== search started: 26/02/12 15:00
========potential races========
object id: -1 (null reference)
  field: int AlarmClock.Client.id
    thread id: 0 (main)
      instruction: AlarmClock.Client.<init>(AlarmClock.java:95) WRITE  [()] ] 
    thread id: 2 (Client1)
      instruction: AlarmClock.Client.run(AlarmClock.java:106) READ  [()] ] 
    thread id: 3 (Client2)
      instruction: AlarmClock.Client.run(AlarmClock.java:106) READ  [()] ] 
    thread id: 4 (Client3)
      instruction: AlarmClock.Client.run(AlarmClock.java:106) READ  [()] ] 
    thread id: 5 (Client4)
      instruction: AlarmClock.Client.run(AlarmClock.java:106) READ  [()] ] 
    thread id: 6 (Client5)
      instruction: AlarmClock.Client.run(AlarmClock.java:106) READ  [()] ] 
    thread id: 7 (Client6)
      instruction: AlarmClock.Client.run(AlarmClock.java:106) READ  [()] ] 
    thread id: 8 (Client7)
      instruction: AlarmClock.Client.run(AlarmClock.java:106) READ  [()] ] 
    thread id: 9 (Client8)
      instruction: AlarmClock.Client.run(AlarmClock.java:106) READ  [()] ] 
============================

object id: 24159959 (24159959)
  field: int AlarmClock.Monitor.now
    thread id: 1 (Clock0)
      instruction: AlarmClock.Monitor.getTime(AlarmClock.java:205) READ  [()] ] 
      instruction: AlarmClock.Monitor.tick(AlarmClock.java:138) WRITE  [(322)] ] 
      instruction: AlarmClock.Monitor.tick(AlarmClock.java:138) READ  [(322)] ] 
    thread id: 2 (Client1)
      instruction: AlarmClock.Monitor.wakeme(AlarmClock.java:164) READ  [(322)] ] 
    thread id: 3 (Client2)
      instruction: AlarmClock.Monitor.wakeme(AlarmClock.java:164) READ  [(322)] ] 
    thread id: 4 (Client3)
      instruction: AlarmClock.Monitor.wakeme(AlarmClock.java:164) READ  [(322)] ] 
    thread id: 5 (Client4)
      instruction: AlarmClock.Monitor.wakeme(AlarmClock.java:164) READ  [(322)] ] 
    thread id: 6 (Client5)
      instruction: AlarmClock.Monitor.wakeme(AlarmClock.java:164) READ  [(322)] ] 
    thread id: 7 (Client6)
      instruction: AlarmClock.Monitor.wakeme(AlarmClock.java:164) READ  [(322)] ] 
    thread id: 8 (Client7)
      instruction: AlarmClock.Monitor.wakeme(AlarmClock.java:164) READ  [(322)] ] 
    thread id: 9 (Client8)
      instruction: AlarmClock.Monitor.wakeme(AlarmClock.java:164) READ  [(322)] ] 
============================
monitor id 322 AlarmClock.Monitor

======== sumary ========
1 >Potential race for field AlarmClock.Client.id 
write: [main] AlarmClock.Client.<init>
read: [Client1] AlarmClock.Client.run
<

====================================================== results
no errors detected

====================================================== statistics
elapsed time:       00:00:05
states:             new=5163, visited=18736, backtracked=23871, end=15
search:             maxDepth=33, constraints hit=0
choice generators:  thread=5163 (signal=0, lock=3762, shared ref=1), data=0
heap:               new=420, released=71063, max live=410, gc-cycles=23899
instructions:       384727
max memory:         104MB
loaded code:        classes=85, methods=1337

====================================================== search finished: 26/02/12 15:00