高逼格面试:线程封闭,新名词√

本文涉及的产品
阿里云百炼推荐规格 ADB PostgreSQL,4核16GB 100GB 1个月
简介: 高逼格面试:线程封闭,新名词√



码农的世界从来不缺乏名词。如果没有,我们就强行弄上几个。这些名词有垂直领域的知识缩写,也有水平领域的抽象划分。有的行云流水无比顺畅,有的晦涩难懂如便秘。

在java的并发编程里,就有一个比较晦涩的名词,叫做线程封闭。在以往的技术交流中,经常有人提到这个东西。那它到底是何方神圣,又有什么用的功效呢?

你去搜索一下网络上的文章,都会给你三个选项。

1)Ad-hoc线程封闭。

2)栈封闭。

3)ThreadLocal类。

这些知识,戳破了那层窗户纸,内容其实并不复杂。可怕的是这些名词,为了记住它们真是蛋碎了一地。

意义?

我们都知道,一个变量如果被多个线程所使用,势必会引入同步问题。除了同步关键字,java引入了多种技术来达到多线程的同步问题,包括wait、notify,可重入Lock,AQS等。这种编程方式会增加程序的复杂性,使得代码容易发生bug。

如果有一些数据,仅仅和线程有关,对线程外的数据是不可见的,那代码写起来就美好的多。实现了这种效果的技术,就统一称为线程封闭(thread confinement)。

这是前提。接下来我们来看实现。

栈封闭

栈封闭属于强行凑概念的一个范畴,它对写代码的人其实是不可见的,它是JVM里虚拟机栈或者本地方法栈的默认行为。其实,我们早就知道这个结果:成员变量是线程共享的,而局部变量是线程相关的。

很简单的道理,但背后的原理需要深入了解JVM。为了了解这个功能,我们需要对JVM的内存区域划分有一个初步的了解。

JVM除了存储空间最大的堆,还有线程相关的,正在运行的栈。栈封闭指的就是与线程相关的栈的相关行为。

image.png

我们稍微回忆一下上图中的内存划分,栈封闭指的就是图中彩色部分与线程相关的内存区域。

我们也可以再往下深挖一下。

虚拟机栈上的基本数据,其实是一种称作栈帧的东西。你可以把栈帧理解成某个方法的执行。

在每个方法压栈后,其中存在局部变量表、操作数栈、动态连接、返回地址等信息。我们的局部变量,其实就是存在与这些地方。由于它们的祖先,最终只会指向一个线程,所以它们的作用范围就被封闭了。

image.png

如上图所示,局部变量和某个线程的关系。java中还有个线程执行的内存模型JMM,不过那是对变量的复制和同步,说的不是一回事。

ThreadLocal

其实,java提供给开发者唯一的线程封闭API,就是ThreadLocal。

Thread类中,有一个成员变量threadLocals,存放了与本线程相关的所有自定义信息。对这个变量的定义在Thread,而操作却在ThreadLocal类中。

public T get() {
        Thread t = Thread.currentThread();
        ThreadLocalMap map = getMap(t);
        ...
}
ThreadLocalMap getMap(Thread t) {
        return t.threadLocals;
}
复制代码

关于ThreadLocal的用法有很多,比如常用的,每个线程生成一个线程不安全的SimpleDateFormat

ThreadLocal<SimpleDateFormat> sdf = new ThreadLocal<SimpleDateFormat>();
sdf.set(new SimpleDateFormat());
复制代码

关于ThreadLocal不做过多介绍,直接查看jdk源代码即可获取所有加成。

Ad-hoc

这些信息大多来源于《JAVA并发编程》一书。我特地搜索了一下Ad-hoc这个名字的意思。

Ad-hoc模式就和以前的直连双绞线概念一样,是P2P的连接,所以无法与其它网络中的节点进行沟通,减少了干扰。 英文中作为形容词有“特别的”,“临时”的含义。

实在是无法理解为什么要用到这样的命名。

这种方式,完全靠实现者控制,所以非常脆弱。

image.png

好吧,看来还是老老实实用ThreadLocal好了。

End

我们看一下这三种方式的归宿。其中一种是JVM内部实现的,原理方面的知识;Ad-hoc是告诉用户这种线程封闭式很困难的,赶紧放弃;到最后,我们的手里就只剩下了ThreadLocal了。

我仿佛看到了ThreadLocal在胜利的招手,同时我的名词字典里又多了几个:线程封闭、栈封闭、Ad-hoc。


相关实践学习
阿里云百炼xAnalyticDB PostgreSQL构建AIGC应用
通过该实验体验在阿里云百炼中构建企业专属知识库构建及应用全流程。同时体验使用ADB-PG向量检索引擎提供专属安全存储,保障企业数据隐私安全。
AnalyticDB PostgreSQL 企业智能数据中台:一站式管理数据服务资产
企业在数据仓库之上可构建丰富的数据服务用以支持数据应用及业务场景;ADB PG推出全新企业智能数据平台,用以帮助用户一站式的管理企业数据服务资产,包括创建, 管理,探索, 监控等; 助力企业在现有平台之上快速构建起数据服务资产体系
目录
相关文章
|
1月前
|
存储 缓存 算法
面试官:单核 CPU 支持 Java 多线程吗?为什么?被问懵了!
本文介绍了多线程环境下的几个关键概念,包括时间片、超线程、上下文切换及其影响因素,以及线程调度的两种方式——抢占式调度和协同式调度。文章还讨论了减少上下文切换次数以提高多线程程序效率的方法,如无锁并发编程、使用CAS算法等,并提出了合理的线程数量配置策略,以平衡CPU利用率和线程切换开销。
面试官:单核 CPU 支持 Java 多线程吗?为什么?被问懵了!
|
3月前
|
存储 缓存 安全
【Java面试题汇总】多线程、JUC、锁篇(2023版)
线程和进程的区别、CAS的ABA问题、AQS、哪些地方使用了CAS、怎么保证线程安全、线程同步方式、synchronized的用法及原理、Lock、volatile、线程的六个状态、ThreadLocal、线程通信方式、创建方式、两种创建线程池的方法、线程池设置合适的线程数、线程安全的集合?ConcurrentHashMap、JUC
【Java面试题汇总】多线程、JUC、锁篇(2023版)
|
3月前
|
消息中间件 前端开发 NoSQL
面试官:线程池遇到未处理的异常会崩溃吗?
面试官:线程池遇到未处理的异常会崩溃吗?
83 3
面试官:线程池遇到未处理的异常会崩溃吗?
|
3月前
|
消息中间件 存储 前端开发
面试官:说说停止线程池的执行流程?
面试官:说说停止线程池的执行流程?
56 2
面试官:说说停止线程池的执行流程?
|
3月前
|
消息中间件 前端开发 NoSQL
面试官:如何实现线程池任务编排?
面试官:如何实现线程池任务编排?
43 1
面试官:如何实现线程池任务编排?
|
4月前
|
Java
【多线程面试题二十五】、说说你对AQS的理解
这篇文章阐述了对Java中的AbstractQueuedSynchronizer(AQS)的理解,AQS是一个用于构建锁和其他同步组件的框架,它通过维护同步状态和FIFO等待队列,以及线程的阻塞与唤醒机制,来实现同步器的高效管理,并且可以通过实现特定的方法来自定义同步组件的行为。
【多线程面试题二十五】、说说你对AQS的理解
|
4月前
|
消息中间件 缓存 算法
Java多线程面试题总结(上)
进程和线程是操作系统管理程序执行的基本单位,二者有明显区别: 1. **定义与基本单位**:进程是资源分配的基本单位,拥有独立的内存空间;线程是调度和执行的基本单位,共享所属进程的资源。 2. **独立性与资源共享**:进程间相互独立,通信需显式机制;线程共享进程资源,通信更直接快捷。 3. **管理与调度**:进程管理复杂,线程管理更灵活。 4. **并发与并行**:进程并发执行,提高资源利用率;线程不仅并发还能并行执行,提升执行效率。 5. **健壮性**:进程更健壮,一个进程崩溃不影响其他进程;线程崩溃可能导致整个进程崩溃。
54 2
|
4月前
|
存储 安全 容器
【多线程面试题二十一】、 分段锁是怎么实现的?
这篇文章解释了分段锁的概念和实现方式,通过将数据分成多个段并在每段数据上使用独立锁,从而降低锁竞争,提高并发访问效率,举例说明了`ConcurrentHashMap`如何使用分段锁技术来实现高并发和线程安全。
【多线程面试题二十一】、 分段锁是怎么实现的?
|
4月前
|
安全 Java
【多线程面试题十九】、 公平锁与非公平锁是怎么实现的?
这篇文章解释了Java中`ReentrantLock`的公平锁和非公平锁的实现原理,其中公平锁通过检查等待队列严格按顺序获取锁,而非公平锁允许新线程有更高机会立即获取锁,两者都依赖于`AbstractQueuedSynchronizer`(AQS)和`volatile`关键字以及CAS技术来确保线程安全和锁的正确同步。
【多线程面试题十九】、 公平锁与非公平锁是怎么实现的?
|
4月前
|
存储 缓存 安全
Java多线程面试题总结(中)
Java内存模型(JMM)定义了程序中所有变量的访问规则与范围,确保多线程环境下的数据一致性。JMM包含主内存与工作内存的概念,通过8种操作管理两者间的交互,确保原子性、可见性和有序性。`synchronized`和`volatile`关键字提供同步机制,前者确保互斥访问,后者保证变量更新的可见性。多线程操作涉及不同状态,如新建(NEW)、可运行(RUNNABLE)等,并可通过中断、等待和通知等机制协调线程活动。`volatile`虽不确保线程安全,但能确保变量更新对所有线程可见。
24 0
下一篇
DataWorks