预备知识
安全失败(fail safe)和快速失败(fail quick)
快速失败
现象:在用迭代器遍历一个集合对象时,如果遍历过程中对集合对象的内容进行了增加、删除、修改操作,则会抛出ConcurrentModificationException。
原理:迭代器在遍历时直接访问集合中的内容,并且在遍历过程中使用一个 modCount 变量。集合在被遍历期间如果内容发生变化,就会改变modCount的值。每当迭代器使用hashNext()/next()遍历下一个元素之前,都会检测modCount变量是否为expectedmodCount值,是的话就返回遍历;否则抛出ConcurrentModificationException异常,终止遍历。
安全失败
现象:采用失败安全机制的集合容器,在遍历时不是直接在集合内容上访问的,而是先复制原有集合内容,在拷贝的集合上进行遍历。
原理:由于迭代时是对原集合的拷贝进行遍历,所以在遍历过程中对原集合所作的修改并不能被迭代器检测到,所以不会触发ConcurrentModificationException。
正是由于安全失败机制,使得HashTable无法防止null的元素,因为hashTable是线程安全的,当遍历元素的时候无法判断当前table中是否拥有元素,是不存在元素还是元素为null。
分析思路
hashmap实现线程安全的方式介绍
并发容器是如何实现线程安全的(底层的介绍)
hashmap和concurrenthashmap进行对比
如何实现实现线程安全
hashtable
colletions.synchronizedMap()方法
ConcurrentHashMap
其中上面两种是效率比较低,原因是使用粗粒度锁,所以在高并发环境下效率没有第三种高。
其中hashTable中使用了大量对Synchronized关键字保证线程安全。而Collections的方法则是将传入的形参作为一个参数,内部拥有一个mutex对象作为加锁对象。进行synchronized关键字的加锁。
ConcurrentHashmap实现线程安全的方法
主要看put和get扩容以及size方法
put方法流程
如果数组为空,初始化,初始化完成之后,走 2;
计算当前槽点有没有值,没有值的话,cas 创建,失败继续自旋(for 死循环),直到成功, 槽点有值的话,走 3;
如果槽点是转移节点(正在扩容),就会一直自旋等待扩容完成之后再新增,不是转移节点走 4;
槽点有值的,先锁定当前槽点,保证其余线程不能操作,如果是链表,新增值到链表的尾 部,如果是红黑树,使用红黑树新增的方法新增;
新增完成之后 check 需不需要扩容,需要的话去扩容。
使用的流程主要是自旋+cas+锁来保证put方法为安全的。
其中方法1中初始化方法保证多个线程中只有一个线程进行初始化的主要操作是通过一个cas操作来保证只有一个线程能够初始化 ,当一个线程获取到这个size