ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/jsr166e/ConcurrentHashMapV8.java
(Generate patch)

Comparing jsr166/src/jsr166e/ConcurrentHashMapV8.java (file contents):
Revision 1.3 by jsr166, Tue Aug 30 07:18:46 2011 UTC vs.
Revision 1.5 by dl, Tue Aug 30 11:35:39 2011 UTC

# Line 146 | Line 146 | public class ConcurrentHashMapV8<K, V>
146       * there is no existing node during a put operation, then one can
147       * be CAS'ed in (without need for lock except in computeIfAbsent);
148       * the CAS serves as validation. This is on average the most
149 <     * common case for put operations. The expected number of locks
150 <     * covering different elements (i.e., bins with 2 or more nodes)
151 <     * is approximately 10% at steady state under default settings.
152 <     * Lock contention probability for two threads accessing arbitrary
153 <     * distinct elements is thus less than 1% even for small tables.
149 >     * common case for put operations -- under random hash codes, the
150 >     * distribution of nodes in bins follows a Poisson distribution
151 >     * (see http://en.wikipedia.org/wiki/Poisson_distribution) with a
152 >     * parameter of 0.5 on average under the default loadFactor of
153 >     * 0.75.  The expected number of locks covering different elements
154 >     * (i.e., bins with 2 or more nodes) is approximately 10% at
155 >     * steady state under default settings.  Lock contention
156 >     * probability for two threads accessing arbitrary distinct
157 >     * elements is, roughly, 1 / (8 * #elements).
158       *
159       * The table is resized when occupancy exceeds a threshold.  Only
160       * a single thread performs the resize (using field "resizing", to
# Line 339 | Line 343 | public class ConcurrentHashMapV8<K, V>
343      /* ---------------- Access and update operations -------------- */
344  
345      /** Implementation for get and containsKey **/
346 <   private final Object internalGet(Object k) {
346 >    private final Object internalGet(Object k) {
347          int h = spread(k.hashCode());
348          Node[] tab = table;
349          retry: while (tab != null) {
# Line 380 | Line 384 | public class ConcurrentHashMapV8<K, V>
384              else {
385                  boolean validated = false;
386                  boolean checkSize = false;
387 <                synchronized(e) {
387 >                synchronized (e) {
388                      Node first = e;
389                      for (;;) {
390                          Object ek, ev;
# Line 438 | Line 442 | public class ConcurrentHashMapV8<K, V>
442              else {
443                  boolean validated = false;
444                  boolean deleted = false;
445 <                synchronized(e) {
445 >                synchronized (e) {
446                      Node pred = null;
447                      Node first = e;
448                      for (;;) {
# Line 497 | Line 501 | public class ConcurrentHashMapV8<K, V>
501                  tab = grow(0);
502              else if ((e = tabAt(tab, i = (tab.length - 1) & h)) == null) {
503                  Node node = new Node(h, k, null, null);
504 <                synchronized(node) {
504 >                synchronized (node) {
505                      if (casTabAt(tab, i, null, node)) {
506                          validated = true;
507                          try {
# Line 515 | Line 519 | public class ConcurrentHashMapV8<K, V>
519              }
520              else if (e.hash < 0)
521                  tab = (Node[])e.key;
522 +            else if (Thread.holdsLock(e))
523 +                throw new IllegalStateException("Recursive map computation");
524              else {
525                  boolean checkSize = false;
526 <                synchronized(e) {
526 >                synchronized (e) {
527                      Node first = e;
528                      for (;;) {
529                          Object ek, ev;
# Line 586 | Line 592 | public class ConcurrentHashMapV8<K, V>
592                  }
593                  else {
594                      boolean validated = false;
595 <                    synchronized(e) {
595 >                    synchronized (e) {
596                          int idx = e.hash & mask;
597                          Node lastRun = e;
598                          for (Node p = e.next; p != null; p = p.next) {
# Line 677 | Line 683 | public class ConcurrentHashMapV8<K, V>
683       */
684      private final void internalPutAll(Map<? extends K, ? extends V> m) {
685          int s = m.size();
686 <        grow((s >= (MAXIMUM_CAPACITY >>> 1))? s : s + (s >>> 1));
686 >        grow((s >= (MAXIMUM_CAPACITY >>> 1)) ? s : s + (s >>> 1));
687          for (Map.Entry<? extends K, ? extends V> e : m.entrySet()) {
688              Object k = e.getKey();
689              Object v = e.getValue();
# Line 702 | Line 708 | public class ConcurrentHashMapV8<K, V>
708                  tab = (Node[])e.key;
709              else {
710                  boolean validated = false;
711 <                synchronized(e) {
711 >                synchronized (e) {
712                      if (tabAt(tab, i) == e) {
713                          validated = true;
714                          do {
# Line 983 | Line 989 | public class ConcurrentHashMapV8<K, V>
989       */
990      public int size() {
991          long n = counter.sum();
992 <        return n <= 0L? 0 : n >= Integer.MAX_VALUE ? Integer.MAX_VALUE : (int)n;
992 >        return (n <= 0L) ? 0 :
993 >            (n >= Integer.MAX_VALUE) ? Integer.MAX_VALUE :
994 >            (int)n;
995      }
996  
997      /**
# Line 1117 | Line 1125 | public class ConcurrentHashMapV8<K, V>
1125       * </pre>
1126       *
1127       * except that the action is performed atomically.  Some attempted
1128 <     * operations on this map by other threads may be blocked while
1129 <     * computation is in progress, so the computation should be short
1130 <     * and simple, and must not attempt to update any other mappings
1131 <     * of this Map. The most common usage is to construct a new object
1132 <     * serving as an initial mapped value, or memoized result.
1128 >     * update operations on this map by other threads may be blocked
1129 >     * while computation is in progress, so the computation should be
1130 >     * short and simple, and must not attempt to update any other
1131 >     * mappings of this Map. The most appropriate usage is to
1132 >     * construct a new object serving as an initial mapped value, or
1133 >     * memoized result, as in:
1134 >     * <pre>{@code
1135 >     * map.computeIfAbsent(key, new MappingFunction<K, V>() {
1136 >     *   public V map(K k) { return new Value(f(k)); }};
1137 >     * }</pre>
1138       *
1139       * @param key key with which the specified value is to be associated
1140       * @param mappingFunction the function to compute a value
# Line 1130 | Line 1143 | public class ConcurrentHashMapV8<K, V>
1143       *         returned {@code null}.
1144       * @throws NullPointerException if the specified key or mappingFunction
1145       *         is null,
1146 +     * @throws IllegalStateException if the computation detectably
1147 +     *         attempts a recursive update to this map that would
1148 +     *         otherwise never complete.
1149       * @throws RuntimeException or Error if the mappingFunction does so,
1150       *         in which case the mapping is left unestablished.
1151       */
# Line 1140 | Line 1156 | public class ConcurrentHashMapV8<K, V>
1156      }
1157  
1158      /**
1159 <     * Computes the value associated with he given key using the given
1159 >     * Computes the value associated with the given key using the given
1160       * mappingFunction, and if non-null, enters it into the map.  This
1161       * is equivalent to
1162       *
# Line 1149 | Line 1165 | public class ConcurrentHashMapV8<K, V>
1165       *   if (value != null)
1166       *      map.put(key, value);
1167       *   else
1168 <     *      return map.get(key);
1168 >     *      value = map.get(key);
1169 >     *   return value;
1170       * </pre>
1171       *
1172       * except that the action is performed atomically.  Some attempted
1173 <     * operations on this map by other threads may be blocked while
1174 <     * computation is in progress, so the computation should be short
1175 <     * and simple, and must not attempt to update any other mappings
1176 <     * of this Map.
1173 >     * update operations on this map by other threads may be blocked
1174 >     * while computation is in progress, so the computation should be
1175 >     * short and simple, and must not attempt to update any other
1176 >     * mappings of this Map.
1177       *
1178       * @param key key with which the specified value is to be associated
1179       * @param mappingFunction the function to compute a value
# Line 1165 | Line 1182 | public class ConcurrentHashMapV8<K, V>
1182       *         returned {@code null} and the value was not otherwise present.
1183       * @throws NullPointerException if the specified key or mappingFunction
1184       *         is null,
1185 +     * @throws IllegalStateException if the computation detectably
1186 +     *         attempts a recursive update to this map that would
1187 +     *         otherwise never complete.
1188       * @throws RuntimeException or Error if the mappingFunction does so,
1189       *         in which case the mapping is unchanged.
1190       */

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines