[Javapathfinder-devel] SF.net SVN: javapathfinder: [796] trunk/src/gov/nasa/jpf/util/ SparseClusterArray.java

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

Revision: 796
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=796&view=rev
Author:   pcmehlitz
Date:     2008-04-02 19:33:14 -0700 (Wed, 02 Apr 2008)

Log Message:
-----------
* added a SparseClusterArray ADT as the nucleus of the upcoming DynamicArea replacement. This is a wild mix between a trie for integer ranges, a BitSet for efficient entry lookup inside a cluster, and a linked list of clusters for complete enumeration.

read/write is about twice as fast as HashMap with Integer keys, and uses about half as much memory. iteration is about as fast as BitSet. This should be a good base for per-thread allocation clusters

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/util/SparseClusterArray.java


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