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

[<pcm...@us...>]

Revision: 1321
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1321&view=rev
Author:   pcmehlitz
Date:     2009-03-25 22:46:50 +0000 (Wed, 25 Mar 2009)

Log Message:
-----------
* little cleanup of AtomicFieldUpdater peers, based on the (uneducated) assumption that we want to interleave with "non-protected" gets/puts

- should probably check and create a CG for the field owner, not the updater

- replaced the 'enumerateCAS' misnomer with the existing porFieldBoundaries settings

- refactored common code in AtomicFieldUpdater (but beware - only statics allowed)


in order to make this useful, we still have to update the RaceDetectors

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/jvm/MJIEnv.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/InstanceFieldInstruction.java
    trunk/src/gov/nasa/jpf/tools/PreciseRaceDetector.java

Added Paths:
-----------
    trunk/env/jvm/gov/nasa/jpf/jvm/AtomicFieldUpdater.java


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