最爱问的高频ConcurrentHashMap原理,你会了吗?

简介: ConcurrentHashMap 是 Java 中的线程安全散列表实现,允许多个线程同时访问和修改数据。它在 JDK 1.7 中通过分段锁机制将 HashMap 分为多个段,每个段使用独立的锁来保证线程安全;而在 JDK 1.8 中则采用 CAS 和 synchronized 结合的方式,提高了并发性能。与 HashMap 相比,ConcurrentHashMap 是线程安全的,支持更高的并发性能,且不支持 null 键和值。CAS(Compare-and-Swap)是一种无锁原子操作,用于确保多线程环境下的数据一致性,避免竞态条件。

1、ConcurrentHashMap 是什么?它的工作原理是什么?

ConcurrentHashMap 是Java中的一个线程安全的散列表实现。与HashMap不同,ConcurrentHashMap支持多个线程同时访问和修改散列表,而不需要任何额外的同步机制。

ConcurrentHashMap 的工作原理与 HashMap 类似,同样jdk1.8前后区别较大:


添加图片注释,不超过 140 字(可选)


JDK1.7 中的 ConcurrentHashMap 使用分段锁机制来实现线程安全。分段锁机制将 HashMap 分为多个段,每个段使用一个锁来保护。这样,当多个线程同时访问同一个段时,只会有一个线程能够获取锁,从而保证了线程安全。

JDK1.8 中的 ConcurrentHashMap 使用 CAS 和 synchronized 两种机制来实现线程安全。CAS是Compare and Swap 的缩写,它是一种无锁原子操作。synchronized 是 Java 中的关键字,可以保证线程安全。

2、ConcurrentHashMap 与 HashMap 的区别是什么?

ConcurrentHashMap 和 HashMap 都是散列表实现,但它们之间有一些关键的区别。主要区别如下:

  • 线程安全:ConcurrentHashMap 是线程安全的,而 HashMap 不是。
  • 性能:在高并发的情况下,ConcurrentHashMap 的性能通常比 HashMap 更好,因为它允许多个线程同时访问散列表,而无需进行额外的同步。
  • null 键和 null 值:ConcurrentHashMap 不支持 null 键和 null 值,而 HashMap 支持。


3、ConcurrentHashMap 中的分段锁是什么?它如何确保线程安全?

JDK1.7 中的分段锁机制

JDK1.7 中的 ConcurrentHashMap 将 HashMap 分为多个段,每个段使用一个锁来保护。这样,当多个线程同时访问同一个段时,只会有一个线程能够获取锁,从而保证了线程安全。

JDK1.7 中 ConcurrentHashMap 分段锁机制的具体实现如下:

  • ConcurrentHashMap 使用一个 Segment[] 数组来存储各个段。


添加图片注释,不超过 140 字(可选)


  • 每个 Segment 都实现了 ReentrantLock 接口,可以用于获取锁。


添加图片注释,不超过 140 字(可选)



添加图片注释,不超过 140 字(可选)


  • 当一个线程访问 ConcurrentHashMap 时,会先根据键的哈希值计算出段索引。然后,线程会尝试获取该段的锁。如果获取成功,则线程可以安全地访问该段中的键值对。

JDK1.8 中的 CAS + synchronized 机制

JDK1.8 中的 ConcurrentHashMap 使用 CAS 和 synchronized 两种机制来实现线程安全。


添加图片注释,不超过 140 字(可选)


CAS 是 Compare and Swap 的缩写,它是一种无锁原子操作。


添加图片注释,不超过 140 字(可选)


synchronized 是 Java 中的关键字,可以保证线程安全。


添加图片注释,不超过 140 字(可选)


JDK1.8 中 ConcurrentHashMap 使用 CAS 来更新键值对。当一个线程尝试更新键值对时,会先使用 CAS 来更新内存中的值。如果更新成功,则线程成功更新了键值对。如果更新失败,则说明另一个线程已经更新了该键值对,此时线程会重新尝试更新。

JDK1.8 中 ConcurrentHashMap 使用 synchronized 来访问链表。当一个线程需要访问链表时,会先获取链表的锁。如果获取成功,则线程可以安全地访问链表。

4、什么是CAS?

多线程中的CAS(Compare-and-Swap)操作是一种常见的并发控制方法,用于实现原子性更新共享变量的值。其核心思想是通过比较内存地址上的值和期望值是否相等来确定是否可以进行更新操作,从而避免多线程条件下的竞态问题。它是一种CPU指令级的操作,保证数据一致性。包含三个值,内存地址(V),预期值(A),新值(B)。A B线程更新变量值,A B线程先获取变量值,然后生成新值,变量值放在内存V中、预期原值为A(备份值)、新值为B。如果V=A 更新新值。在多线程情况下保证值的一致性。主要是保证线程当时取的值,在要更新的时候内存还是那个值没有被其它线程改变了。

添加图片注释,不超过 140 字(可选)

具体来说,多线程CAS操作包括以下几个步骤:

  1. 获取当前共享变量的值和期望值。
  2. 比较共享变量的当前值和期望值是否相等,如果相等则将共享变量的值更新为要写入的新值。
  3. 如果共享变量的当前值与期望值不相等,则说明此时有其他线程已经修改了共享变量的值,那么当前线程需要重新获取共享变量的最新值,并重复执行步骤2。

在并发环境下,多线程CAS操作可以保证共享变量的原子性操作,同时也避免了传统锁机制所带来的线程阻塞和上下文切换的开销。因此,多线程CAS操作被广泛应用于各种高并发场景中,如数据库事务、分布式系统等。


目录
相关文章
|
存储 安全 Java
ConcurrentHashMap底层实现原理
ConcurrentHashMap底层实现原理
968 0
|
23天前
|
安全 Java C++
【Java基础】集合框架: ConcurrentHashMap核心原理:JDK1.7 vs 1.8+ 区别、线程安全实现、分段锁 vs CAS+synchronized、扩容机制
ConcurrentHashMap是Java高并发场景下线程安全的哈希表实现,JDK1.7采用Segment分段锁(16段独立加锁),JDK1.8升级为CAS+synchronized细粒度桶锁,并引入红黑树与多线程协助扩容,显著提升性能与扩展性。
|
消息中间件 存储 RocketMQ
Rocketmq如何保证消息不丢失
文章分析了RocketMQ如何通过生产者端的同步发送与重试机制、Broker端的持久化存储与消息重试投递策略、以及消费者端的手动提交ack与幂等性处理,来确保消息在整个传输和消费过程中的不丢失。
|
安全 Java
【Java集合类面试十六】、HashMap与ConcurrentHashMap有什么区别?
HashMap是非线程安全的,而ConcurrentHashMap通过减少锁粒度来提高并发性能,检索操作无需锁,从而提供更好的线程安全性和性能。
|
缓存 安全 Java
全面解读ConcurrentHashMap:Java中的高效并发数据结构
全面解读ConcurrentHashMap:Java中的高效并发数据结构
2776 2
|
存储 Java Linux
详细地说一说零拷贝
我是小假 期待与你的下一次相遇 ~
701 1
详细地说一说零拷贝
|
12月前
|
负载均衡 算法 Java
5-微服务篇
Spring Boot 是一个基于 Spring 的快速开发框架,其核心功能包括自动装配和起步依赖。自动装配通过 @SpringBootApplication 注解实现,结合 @EnableAutoConfiguration 和 spring.factories 配置文件,按条件加载 Bean。启动流程分为初始化、运行和自动化配置三个阶段。
787 0
|
消息中间件 存储 负载均衡
kafka底层原理分析
kafka底层原理分析
449 2
|
缓存 Java 开发工具
Spring是如何解决循环依赖的?从底层源码入手,详细解读Spring框架的三级缓存
三级缓存是Spring框架里,一个经典的技术点,它很好地解决了循环依赖的问题,也是很多面试中会被问到的问题,本文从源码入手,详细剖析Spring三级缓存的来龙去脉。
2362 24
Spring是如何解决循环依赖的?从底层源码入手,详细解读Spring框架的三级缓存
|
缓存 NoSQL Java
分布式系列教程(19) -基于Redis实现分布式锁
分布式系列教程(19) -基于Redis实现分布式锁
470 0

热门文章

最新文章