欢送大家搜寻“小猴子的技术笔记”关注我的公众号,有问题能够及时和我交换。
在并发编程中,线程之间如何通信以及线程之间如何同步是须要解决的两个关键问题。
线程通信指的是线程 A 和线程 B 之间以何种机制来替换信息。在命令式编程中,线程之间的通信机制有两种:共享内存和消息传递,上面就来简略介绍一下这两种机制。
在共享内存
并发模型中,线程之间的通信是通过共享程序的公共状态,对公共状态进行写 - 读内存进行隐式通信,相似于上面这样:
在消息传递的并发模型中,线程之间没有公共状态,线程之间必须通过发送音讯来显式进行通信,相似于上面这样:
了解了下面的并发模型之后,须要晓得的是 Java 并发模型采纳的是共享内存的模型,线程之间的通信是隐式的。因而编写多线程的时候不了解隐式进行的线程之间的通信机制,就会遇到各种奇怪的内存可见性问题。
如果你理解过 JVM,你必定会晓得,程序计数器、本地办法栈、java 虚拟机栈是线程平安的。因而它们存储的货色不会在线程之间共享,也不会有内存可见性问题,也不受内存模型的影响,更不会有线程平安的问题。
回到 JMM,咱们都晓得 Java 是能够跨平台,因而 Java 就规定了一种合乎内存模型标准的内存模型 JMM(Java Memory Model)用来屏蔽了各种硬件和操作系统的拜访差别,保障了 Java 程序在各种平台下对内存的拜访都能保障成果统一的机制及标准。
JMM 定义了线程和主内存之间的形象关系:多个线程之间的共享变量存储在主内存中,每个线程都有一个公有本地内存(本地内存只是一个抽象概念,并不实在存在)存储了该线程读写共享变量的正本。咱们来看一下形象的 JMM 模型:
通过上图不难理解,如果线程 A 想向线程 B 发送音讯,必须要通过主内存。而 JMM 通过管制主内存与每个线程的本地内存之间的交互,来为咱们提供内存可见性保障。
总的来说:因为在不同的硬件生产商和不同的操作系统下,对内存的拜访逻辑有肯定的差别,兴许你的代码在你以后的零碎环境下运行良好,然而有一天你换了个环境,换了个零碎就有可能呈现一些其余的问题。Java 内存模型,就是为了屏蔽零碎和硬件的差别,让一套代码在不同平台下能达到雷同的拜访后果。
欢送大家搜寻“小猴子的技术笔记”关注我的公众号,有问题能够及时和我交换。