[Javapathfinder-user] Interpreting output of JPF

[Todd W. <tc...@ks...>]

I am trying to evaluate a system based upon a Replicated Workers pattern 
and was confused by the output that JPF generated for me.  It dumps a 
stack trace but then reports "No Errors Found".  Does this mean that it 
did find an error?  Or maybe the stack trace is associated with the 
warning printed?

I also found this in several other, shorter running cases of this 
application (using different command line arguments that control the 
size of the system).  I also found that jpf printed those warnings for 
some of the other command line argument combinations but did not print 
stack traces.

I would be happy to provide the source for the example if it would help. 
  I have included the command line that I ran and the output that was 
generated below:

shawnee$ time jpf apps.AdaptiveQuadrature.Main 4 1 0.0 30.0 5e-3
Warning: unprotected field access of: 
ca....@16...eCoord in thread: 
"Thread-0" ca/replicatedworkers/ReplicatedWorkers.java:270
    sync-detection assumed to be protected by: 
ca.replicatedworkers.ReplicatedWorkers@160
    found to be protected by: {}
    >>> re-run without '-sync-detection' <<<
------------------------------------ thread stacks
Thread: main
         at java.lang.Object.wait(java/lang/Object.java:429)
         at 
ca.replicatedworkers.Coordinator.mainAwaitTerminate(ca/replicatedworkers/ReplicatedWorkers.java:173)
         at 
ca.replicatedworkers.ReplicatedWorkers.execute(ca/replicatedworkers/ReplicatedWorkers.java:118)
         at 
apps.AdaptiveQuadrature.Main.main(apps/AdaptiveQuadrature/Main.java:79)

Thread: Thread-0
         at java.lang.Object.wait(java/lang/Object.java:429)
         at 
ca.replicatedworkers.Coordinator.take(ca/replicatedworkers/ReplicatedWorkers.java:196)
         at 
ca.replicatedworkers.Worker.run(ca/replicatedworkers/ReplicatedWorkers.java:270)

Thread: Thread-1
         at 
ca.replicatedworkers.Worker.run(ca/replicatedworkers/ReplicatedWorkers.java:266)

Thread: Thread-2
         at java.lang.Object.wait(java/lang/Object.java:429)
         at 
ca.replicatedworkers.Coordinator.take(ca/replicatedworkers/ReplicatedWorkers.java:196)
         at 
ca.replicatedworkers.Worker.run(ca/replicatedworkers/ReplicatedWorkers.java:270)

Thread: Thread-3
         at 
ca.replicatedworkers.Worker.run(ca/replicatedworkers/ReplicatedWorkers.java:270)



===================================
   No Errors Found
===================================


real    632m40.924s
user    632m30.266s
sys     0m3.307s


Any guidance would be appreciated,
Todd Wallentine

ps
Just in case it helps, here are some stats about the environment that 
this is running in:
1) Sun dual-core Opteron 87shawnee$ java -version

2) Java version (java -version)
java version "1.4.2-02"
Java(TM) 2 Runtime Environment, Standard Edition (build Blackdown-1.4.2-02)
Java HotSpot(TM) 64-Bit Server VM (build Blackdown-1.4.2-02, mixed 
mode)5, 32G RAM

3) Built from CVS on Jan 6, 2006