[Javapathfinder-svn] SF.net SVN: javapathfinder:[1272] trunk/extensions

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

Revision: 1272
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1272&view=rev
Author:   pcmehlitz
Date:     2009-03-11 22:37:19 +0000 (Wed, 11 Mar 2009)

Log Message:
-----------
* java.util.concurrent modeling by Mateusz Ujma. 

Still needs some documentation and explicit AbstractQueuedSynchronizer use isn't fully supported yet, but passes a lot of high level tests. The goal of this extension is to significantly reduce the state space and processing overhead that is caused by the standard library implementation, which also opens a can of worms by relying on sun.misc.Unsafe 

Added Paths:
-----------
    trunk/extensions/concurrent/
    trunk/extensions/concurrent/build.xml
    trunk/extensions/concurrent/env/
    trunk/extensions/concurrent/env/jpf/
    trunk/extensions/concurrent/env/jpf/java/
    trunk/extensions/concurrent/env/jpf/java/util/
    trunk/extensions/concurrent/env/jpf/java/util/concurrent/
    trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/
    trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/AbstractQueuedSynchronizer.java
    trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/ReentrantLock.java
    trunk/extensions/concurrent/env/jvm/
    trunk/extensions/concurrent/env/jvm/gov/
    trunk/extensions/concurrent/env/jvm/gov/nasa/
    trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/
    trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/
    trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_locks_AbstractQueuedSynchronizer$ConditionObject.java
    trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_locks_ReentrantLock.java
    trunk/extensions/concurrent/src/
    trunk/extensions/concurrent/src/gov/
    trunk/extensions/concurrent/src/gov/nasa/
    trunk/extensions/concurrent/src/gov/nasa/jpf/
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/ConcurrentBase.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Condition.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/ConditionVersion.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Sync.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/SyncVersion.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Version.java
    trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/VersionManager.java
    trunk/extensions/concurrent/test/
    trunk/extensions/concurrent/test/gov/
    trunk/extensions/concurrent/test/gov/nasa/
    trunk/extensions/concurrent/test/gov/nasa/jpf/
    trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/
    trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/ReentrantLockPerformanceTest.java
    trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/TestJavaUtilConcurrentLocksReentrantLock.java
    trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/TestJavaUtilConcurrentLocksReentrantLockJPF.java


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