[Javapathfinder-svn] SF.net SVN: javapathfinder:[1304] trunk

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1304
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1304&view=rev
Author:   pcmehlitz
Date:     2009-03-21 01:23:23 +0000 (Sat, 21 Mar 2009)

Log Message:
-----------
patches from Nathan Reynolds:

* more AtomicXXUpdater field access CGs, but this needs to be unified with the ThreadInfo.usePorFieldBoundaries() and get/putfield (shared object, runnable threads etc)

* added StackTracker, which probes application call stacks at given time intervals, to find out what the application is doing

* added do..while() support for the IdleFilters

*upped the default OOME safety margin to 64k

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/IfInstruction.java

Added Paths:
-----------
    trunk/examples/Hang.java
    trunk/src/gov/nasa/jpf/tools/StackTracker.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.