zoukankan      html  css  js  c++  java
  • HashMap多线程put后get为null和多线程put的时候可能导致元素丢失

    一、多线程put后get为null 

      源码定位

     1 void  transfer(Entry[] newTable) {
     2      Entry[] src = table;
     3      int  newCapacity = newTable.length;
     4      for  ( int  j =  0 ; j < src.length; j++) {
     5          Entry e = src[j];
     6          if  (e !=  null ) {
     7              src[j] =  null ;//将table[j]设置为null,并发访问到 原table返回的就是null
     8              do  {
     9                  Entry next = e.next;
    10                  int  i = indexFor(e.hash, newCapacity);
    11                  e.next = newTable[i];
    12                  newTable[i] = e;
    13                  e = next;
    14              }  while  (e !=  null );
    15          }
    16      }
    17 }

      分析:线程1将src[j] = null;即将table[j] = null;因为代码第二行定义了Entry[] src = table;即src和table是对同一对象的引用。

      这时切换到线程2,线程2此时若正在调用get(key)方法:

     1 public V get(Object key) {  
     2 
     3         if (key == null)  
     4 
     5             return getForNullKey();  
     6 
     7         int hash = hash(key.hashCode());  
     8 
     9         // indexFor方法取得key在table数组中的索引,table数组中的元素是一个链表结构,遍历链表,取得对应key的value  
    10 
    11         for (Entry e = table[indexFor(hash, table.length)]; e != null; e = e.next) {  
    12 
    13             Object k;  
    14 
    15             if (e.hash == hash && ((k = e.key) == key || key.equals(k)))  
    16 
    17                 return e.value;  
    18 
    19         }  
    20 
    21         return null; 
    22 }

      若get(key)中key经hash和indexFor()计算后正好落到table[j]上,则此时取到的Entry为null(第11行),直接跳出for循环,来到第21行,return null,违反了错觉。

    二、多线程put的时候可能导致元素丢失

      源码定位

    1 void  addEntry( int  hash, K key, V value,  int  bucketIndex)
    2 {
    3      Entry<K,V> e = table[bucketIndex];
    4      table[bucketIndex] =  new  Entry<K,V>(hash, key, value, e);//这里线程1和线程2同时获取e,执行后必然有一个丢失
    5      if  (size++ >= threshold)
    6          resize( 2  * table.length);
    7 }

      问题出在第4行table[bucketIndex] = new Entry<K,V>(hash,key,value,e);如果两个线程同时都取得了e,则他们下一个元素都是e,然后赋值给table元素的时候有一个成功有一个丢失(先赋值的丢失)。

  • 相关阅读:
    Linux内核中的信号机制--一个简单的例子【转】
    国际C语言混乱代码大赛代码赏析(一)【转】
    宏内核与微内核【转】
    Linux内核USB驱动【转】
    USB驱动开发大全【转】
    Linux驱动程序学习【转】
    GPIO口及中断API函数【转】
    Linux的fasync驱动异步通知详解【转】
    request_irq() | 注册中断服务函数【转】
    混杂设备动态次设备号分析【转】
  • 原文地址:https://www.cnblogs.com/codingmengmeng/p/9948749.html
Copyright © 2011-2022 走看看