`
cloudeagle_bupt
  • 浏览: 579078 次
文章分类
社区版块
存档分类
最新评论

ConcurrentHashMap的弱一致性导致的并发错误

 
阅读更多



遇到如下异常

java.lang.IllegalStateException
	at java.util.concurrent.ConcurrentHashMap$HashIterator.remove(ConcurrentHashMap.java:1366)
	at org.apache.hama.graph.IncomingVertexMessageManager.poll(IncomingVertexMessageManager.java:98)
	at org.apache.hama.graph.IncomingVertexMessageManager.poll(IncomingVertexMessageManager.java:1)
	at org.apache.hama.bsp.message.AbstractMessageManager.getCurrentMessage(AbstractMessageManager.java:122)
	at org.apache.hama.bsp.BSPPeerImpl.getCurrentMessage(BSPPeerImpl.java:365)
	at org.apache.hama.graph.GraphJobRunner.doSuperstep(GraphJobRunner.java:294)
	at org.apache.hama.graph.GraphJobRunner.bsp(GraphJobRunner.java:196)
	at org.apache.hama.bsp.BSPTask.runBSP(BSPTask.java:171)
	at org.apache.hama.bsp.BSPTask.run(BSPTask.java:144)
	at org.apache.hama.bsp.GroomServer$BSPPeerChild.main(GroomServer.java:1255)


参考下ConcurrentHashMap的remove实现代码:

       public final void remove() {
            if (lastReturned == null)
                throw new IllegalStateException();
            ConcurrentHashMap.this.remove(lastReturned.key);
            lastReturned = null;
        }

1. 简单的说,在HashMap的容器中,其modCount是表示map中的元素被修改了几次(在移除,新加元素时此值都会自增),而expectedModCount是表示期望的修改次数,在迭代器构造的时候这两个值是相等,如果在遍历过程中这两个值出现了不同步就会抛出ConcurrentModificationException异常。

这是通常HashMap会报的错误。


2.这里IllegalStateException则是因为通常是两个并发线程删除使用了同一个iterator线程,导致线程并发问题。

此外,如果你在遍历中直接删除容器元素也会报类似错误 NoSuchElementException ,IllegalStateException等等

对于同时增加和删除,是OK的。

但是同时两边删除,则会造成两边遍历的总数据不一致!


参考日志:http://lz12366.iteye.com/blog/675016

https://zhouhualei.github.io/2015/06/08/deep-into-consitency-of-hashmap-and-concurrenthashmap/

http://dumbee.net/archives/41

参考这里:

http://www.cnblogs.com/zhuawang/p/4779649.html

ConcurrentHashMap的简要总结:

1、public V get(Object key)不涉及到锁,也就是说获得对象时没有使用锁;

2、put、remove方法要使用锁,但并不一定有锁争用,原因在于ConcurrentHashMap将缓存的变量分到多个Segment,每个Segment上有一个锁,只要多个线程访问的不是一个Segment就没有锁争用,就没有堵塞,各线程用各自的锁,ConcurrentHashMap缺省情况下生成16个Segment,也就是允许16个线程并发的更新而尽量没有锁争用;

3、Iterator对象的使用,不一定是和其它更新线程同步,获得的对象可能是更新前的对象,ConcurrentHashMap允许一边更新、一边遍历,也就是说在Iterator对象遍历的时候,ConcurrentHashMap也可以进行remove,put操作,且遍历的数据会随着remove,put操作产出变化,所以希望遍历到当前全部数据的话,要么以ConcurrentHashMap变量为锁进行同步(synchronized该变量),要么使用CopiedIterator包装iterator,使其拷贝当前集合的全部数据,但是这样生成的iterator不可以进行remove操作。

Hashtable和ConcurrentHashMap的不同点:

1、Hashtable对get,put,remove都使用了同步操作,它的同步级别是正对Hashtable来进行同步的,也就是说如果有线程正在遍历集合,其他的线程就暂时不能使用该集合了,这样无疑就很容易对性能和吞吐量造成影响,从而形成单点。而ConcurrentHashMap则不同,它只对put,remove操作使用了同步操作,get操作并不影响,详情请看以上第1,2点,当前ConcurrentHashMap这样的做法对一些线程要求很严格的程序来说,还是有所欠缺的,对应这样的程序来说,如果不考虑性能和吞吐量问题的话,个人觉得使用Hashtable还是比较合适的;

2、Hashtable在使用iterator遍历的时候,如果其他线程,包括本线程对Hashtable进行了put,remove等更新操作的话,就会抛出ConcurrentModificationException异常,但如果使用ConcurrentHashMap的话,就不用考虑这方面的问题了,详情请看以上第3点;

1.HashMap或者ArrayList边遍历边删除数据会报java.util.ConcurrentModificationException异常

复制代码
Map<Long, String> mReqPacket = new HashMap<Long, String>();
        for (long i = 0; i < 15; i++) {
            mReqPacket.put(i, i + "");
        }

        for (Entry<Long, String> entry : mReqPacket.entrySet()) {
            long key = entry.getKey();
            String value = entry.getValue();
            if (key < 10) {
                mReqPacket.remove(key);
            }
        }

        for (Entry<Long, String> entry : mReqPacket.entrySet()) {
            System.out.println(entry.getKey() + " " + entry.getValue());
        }
复制代码

所以要用迭代器删除元素:

复制代码
        Map<Long, String> mReqPacket = new HashMap<Long, String>();
        for (long i = 0; i < 15; i++) {
            mReqPacket.put(i, i + "");
        }

        for (Iterator<Entry<Long, String>> iterator = mReqPacket.entrySet().iterator(); iterator.hasNext();) {
            Entry<Long, String> entry = iterator.next();
            long key = entry.getKey();
            if (key < 10) {
                iterator.remove();
            }
        }

        for (Entry<Long, String> entry : mReqPacket.entrySet()) {
            System.out.println(entry.getKey() + " " + entry.getValue());
        }
复制代码

2.对ConcurrentHashMap边遍历边删除或者增加操作不会产生异常(可以不用迭代方式删除元素),因为其内部已经做了维护,遍历的时候都能获得最新的值。即便是多个线程一起删除、添加元素也没问题。

复制代码
        Map<Long, String> conMap = new ConcurrentHashMap<Long, String>();
        for (long i = 0; i < 15; i++) {
            conMap.put(i, i + "");
        }

        for (Entry<Long, String> entry : conMap.entrySet()) {
            long key = entry.getKey();
            if (key < 10) {
                conMap.remove(key);
            }
        }

        for (Entry<Long, String> entry : conMap.entrySet()) {
            System.out.println(entry.getKey() + " " + entry.getValue());
        }
复制代码

3.一个线程对ConcurrentHashMap增加数据,另外一个线程在遍历时就能获得。

复制代码
static Map<Long, String> conMap = new ConcurrentHashMap<Long, String>();

    public static void main(String[] args) throws InterruptedException {
        for (long i = 0; i < 5; i++) {
            conMap.put(i, i + "");
        }

        Thread thread = new Thread(new Runnable() {
            public void run() {
                conMap.put(100l, "100");
                System.out.println("ADD:" + 100);
                try {
                    Thread.sleep(100);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }

        });
        Thread thread2 = new Thread(new Runnable() {
            public void run() {
                for (Iterator<Entry<Long, String>> iterator = conMap.entrySet().iterator(); iterator.hasNext();) {
                    Entry<Long, String> entry = iterator.next();
                    System.out.println(entry.getKey() + " - " + entry.getValue());
                    try {
                        Thread.sleep(100);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }
        });
        thread.start();
        thread2.start();

        Thread.sleep(3000);
        System.out.println("--------");
        for (Entry<Long, String> entry : conMap.entrySet()) {
            System.out.println(entry.getKey() + " " + entry.getValue());
        }

    }

输出:

ADD:100
0 - 0
100 - 100
2 - 2
1 - 1
3 - 3
4 - 4
--------
0 0
100 100
2 2
1 1
3 3
4 4

复制代码

其中,他说多个线程同时对concurrentHashmap进行删除操作没有问题,这点令我很奇怪。。。。 先记着吧


分享到:
评论

相关推荐

    Java并发编程笔记之ConcurrentHashMap原理探究.docx

    Java并发编程中的ConcurrentHashMap是HashMap的一个线程安全版本,设计目标是在高并发场景下提供高效的数据访问。...它在保证数据一致性的同时,避免了全表锁定,从而提升了并发性能,是Java并发编程中不可或缺的工具。

    24 经典并发容器,多线程面试必备。—深入解析ConcurrentHashMap.pdf

    【并发控制】`ConcurrentHashMap`利用了`volatile`关键字确保多线程环境下数据的一致性,并使用CAS(Compare and Swap)操作进行无锁更新,减少了锁的使用,提升了并发性能。 【源码分析】深入理解`...

    ConcurrentHashMap共18页.pdf.zip

    与传统的 HashMap 不同,ConcurrentHashMap 使用了分段锁(Segment)机制,允许在多个线程同时进行读写操作时,实现高并发性,而不会导致数据的不一致。 2. **分段锁设计**: ConcurrentHashMap 将整个散列表分成...

    71-ConcurrentHashMap笔记1

    同时,对Node加锁保证了在并发环境下的数据一致性。这种精细的并发控制策略使得JDK1.8的ConcurrentHashMap成为并发编程中高效且可靠的工具。 总结来说,JDK1.8的ConcurrentHashMap在设计上兼顾了线程安全和性能,...

    java7-8中的 HashMap和ConcurrentHashMap全解析

    同时,`ConcurrentHashMap`还支持弱一致性迭代器,这意味着在迭代过程中,如果其他线程修改了`ConcurrentHashMap`,迭代器不会抛出`ConcurrentModificationException`,而是可能看到修改后的结果或者部分修改前的...

    ConcurrentHashMap之实现细节

    这时就需要锁定所有段以保证一致性。为了防止死锁,`ConcurrentHashMap`保证了获取锁的顺序是固定的,即按照段的索引顺序依次锁定,操作完成后同样按照该顺序解锁。 #### 三、不可变性和易变性 `ConcurrentHashMap...

    《java 并发编程实战高清PDF版》

    Java内存模型(JMM)是理解并发编程中数据一致性问题的基础。JMM定义了线程如何访问和共享内存,确保在并发环境下正确地执行。书中详细阐述了可见性、原子性和有序性这些概念,并通过`volatile`关键字和`final`修饰...

    Java 中ConcurrentHashMap的实现

    4. **弱一致性迭代器**:`keySet()`返回的迭代器是弱一致性的,意味着在迭代过程中,如果Map发生改变,迭代器可能不会反映这些改变,但不会抛出`ConcurrentModificationException`异常,提供了fail-safe的安全性。...

    concurrenthashmap1.7.docx

    这保证了并发环境下的数据一致性。 一旦`segment`对象生成,接下来就是将`key`和`value`放入`segment`中。这通常通过调用`s.put(key, hash, value, false)`实现。这个`put`方法首先需要获取锁,然后计算`table`数组...

    java多线程并发及集合框架面试题

    这些特性使得在并发编程中更易于保证数据的正确性和一致性。 在面试中,讨论这些问题时,候选人应该能够深入理解以下几点: 1. **线程安全的理解**:解释为什么在并发环境下需要线程安全的数据结构,并能对比 ...

    并发容器的原理,7大并发容器详解、及使用场景

    并行容器是 Java 多线程编程中不可或缺的一部分,它们...开发者应根据业务场景选择合适的容器,避免全局锁带来的性能损失,充分利用并发容器提供的高级并发控制机制,确保在多线程环境下数据的一致性和程序的高效运行。

    Java并发编程与高并发解决方案笔记-基础篇.docx

    - **缓存一致性**:当多个CPU核心访问同一份数据时,需要保证缓存中数据的一致性。MESI协议是一种常见的缓存一致性协议,它定义了四种状态(Modified、Exclusive、Shared、Invalidated),确保数据在多核环境中的...

    java并发编程实战源码,java并发编程实战pdf,Java

    2. **线程安全**:当多个线程访问同一块资源时,如果需要保证数据的一致性和完整性,就需要考虑线程安全问题。Java提供了各种手段来实现线程安全,如synchronized关键字、volatile变量、ThreadLocal等。 3. **并发...

    java自带并发框架

    - **ACID事务**:确保数据一致性,原子性、一致性、隔离性和持久性是事务的四个关键属性。 - **比较和交换(CAS)**:无锁编程的一种技术,通过硬件指令实现,避免了锁的开销,但可能导致循环等待(ABA问题)。 - **...

    java并发编程艺术

    书中的内容可能会涵盖如何使用这些机制来确保数据的一致性和完整性。 锁机制是Java并发编程中的另一大主题,包括内置锁(互斥锁)和显式锁(如`ReentrantLock`)。内置锁是`synchronized`关键字提供的,而显式锁...

    java并发编程与实践

    这些集合在多线程环境中能保证数据一致性。 5. **死锁、活锁和饥饿**:文档可能会介绍这些并发问题,以及如何避免它们。死锁是两个或更多线程相互等待对方释放资源导致的僵局;活锁则是线程不断地重试,但无法继续...

    java高并发程序设计(原版电子书)

    9. **Java内存模型**:深入解析Java内存模型(JMM),理解数据一致性问题,如volatile的内存语义和happens-before原则。 10. **并发编程实战**:提供实际案例分析和练习,帮助读者将理论知识应用于实际项目,增强...

    JAVA并发编程实践.pdf+高清版+目录 书籍源码

    其次,书中深入剖析了Java内存模型(JMM)和可见性问题,这是理解并发编程中数据一致性问题的基础。Java的volatile关键字、synchronized块和方法、以及Atomic类都是解决这些问题的关键工具。作者通过实际案例解释了...

    java并发编程内部分享PPT

    volatile和synchronized都是JMM的一部分,它们帮助实现了线程之间的通信和数据一致性。 此外,Java并发编程还包括对并发容器的使用,如ArrayList、LinkedList、HashSet、HashMap等基础容器在并发环境下可能存在问题...

Global site tag (gtag.js) - Google Analytics