首页 >> 大全

如何保证 HashMap 线程安全

2023-09-19 大全 24 作者:考证青年

如何保证 线程安全

我们知道 是线程不安全的,我们一般使用这三种方式来代替原生的线程不安全的 :

1)使用 java.util. 类的 方法包装一下 ,得到线程安全的 ,其原理就是对所有的修改操作都加上 。方法如下:

public static <K,V> Map<K,V> synchronizedMap(Map<K,V> m) 

2)使用线程安全的 类代替,该类在对数据操作的时候都会上锁,也就是加上 。

3)使用线程安全的 类代替,该类在 JDK 1.7 和 JDK 1.8 的底层原理有所不同,JDK 1.7 采用数组 + 链表存储数据,使用分段锁 保证线程安全;JDK 1.8 采用数组 + 链表/红黑树存储数据,使用 CAS + 保证线程安全。

具体是怎么实现线程安全的?

一般我们会这样使用 方法来创建一个线程安全的 Map:

Map m = Collections.synchronizedMap(new HashMap(...));

中的这个静态方法 其实是创建了一个内部类的对象,这个内部类就是 。在其内部维护了一个普通的 Map 对象以及互斥锁 mutex,如下图所示:

线程保证安全__线程安全的哈希表

可以看到 有两个构造函数,如果你传入了互斥锁 mutex 参数,就使用我们自己传入的互斥锁。如果没有传入,则将互斥锁赋值为 this,也就是将调用了该构造函数的对象作为互斥锁,即我们上面所说的 Map。

创建出 对象之后,通过源码可以看到对于这个对象的所有操作全部都是上了悲观锁 的:

线程保证安全__线程安全的哈希表

由于多个线程都共享同一把互斥锁,导致同一时刻只能有一个线程进行读写操作,而其他线程只能等待,所以虽然它支持高并发,但是并发度太低,多线程情况下性能比较低下。而且,大多数情况下,业务场景都是读多写少,多个线程之间的读操作本身其实并不冲突,所以 极大的限制了读的性能。

所以多线程并发场景我们很少使用 。

具体是怎么实现线程安全的?

和 一样, 也是非常粗暴的给每个方法都加上了悲观锁 ,我们随便找几个方法看看:

线程保证安全__线程安全的哈希表

与 的不同之处

是不允许 key 或 value 为 null 的, 的 key 和 value 都可以为 null 。

先解释一下 不支持 null key 和 null value 的原理:

1)我们 put 了一个 value 为 null 进入 Map, 会直接抛空指针异常:

线程安全的哈希表_线程保证安全_

2)如果我们 put 了一个 key 为 null 进入 Map,当程序执行到下图框出来的那行代码时就会抛出空指针异常,因为 key 为 null,我们拿了一个 null 值去调用方法:

_线程安全的哈希表_线程保证安全

说一下 支持 null key 和 null value 的原理:

1) 相比 做了一个特殊的处理,如果我们 put 进来的 key 是 null, 在计算这个 key 的 hash 值时,会直接返回 0:

线程安全的哈希表_线程保证安全_

也就是说 中 key为 null 的键值对的 hash 为 0。因此一个 对象中只会存储一个 key 为 null 的键值对,因为它们的 hash 值都相同。

2)如果我们 put 进来的 value 是 null,由于 的 put 方法不会对 value 是否为 null 进行校验,因此一个 对象可以存储多个 value 为 null 的键值对。不过,这里有个小坑需要注意,我们来看看 的 get 方法:

线程安全的哈希表__线程保证安全

如果 Map 中没有查询到这个 key 的键值对,那么 get 方法就会返回 null 对象。但是我们上面刚刚说了, 里面可以存在多个 value 为 null 的键值对,也就是说,通过 get(key) 方法返回的结果为 null 有两种可能:

因此,一般来说我们不能使用 get 方法来判断 中是否存在某个 key,而应该使用 方法。

除了 不允许 null key 和 null value 而 允许以外,它俩还有以下几点不同:

1)初始化容量不同: 的初始容量为 16, 初始容量为 11。两者的负载因子默认都是 0.75;

2)扩容机制不同:当现有容量大于总容量 * 负载因子时, 扩容规则为当前容量翻倍, 扩容规则为当前容量翻倍 + 1;

3)迭代器不同:首先, 和 有一个相同的迭代器 ,用法:

Iterator iterator = map.keySet().iterator();

的 是 快速失败 fail-fast 的,那自然 的 也是 fail-fast 的。但 还有另外一个迭代器 ,这个迭代器是 失败安全 fail-safe 的。

1)快速失败 fail-fast:一种快速发现系统故障的机制。一旦发生异常,立即停止当前的操作,并上报给上层的系统来处理这些故障。

2)失败安全 fail-safe:在故障发生之后会维持系统继续运行。顾名思义,和 fail-fast 恰恰相反,当我们对集合的结构做出改变的时候,fail-safe 机制不会抛出异常。

引用:

#rd

关于我们

最火推荐

小编推荐

联系我们


版权声明:本站内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 88@qq.com 举报,一经查实,本站将立刻删除。备案号:桂ICP备2021009421号
Powered By Z-BlogPHP.
复制成功
微信号:
我知道了