Java 多线程基础
首页 死磕 Java 优质系列 Java 技术总览 Java 面试宝典 关于我

Java 多线程系列(8) —— 线程同步基础

转
 2023-06-14  阅读(5)
©版权
原文作者：求和的小熊猫 原文地址：https://blog.csdn.net/qq_38219153/article/details/108470258

线程同步基础

Synchronized

Synchronized 关键字提供了一种锁机制，可以实现一个简单的策略来防止线程的干扰和内存一致性错误。即 Synchronized 能够确保共享变量之间的互斥访问，从而防止数据不一致的问题出现。

Synchronized 关键字包括 moniter enter 和 moniter exit 两个 JVM 命令，他能够保证在任何线程执行到moniter enter 成功之前都必须从主存中获取数据，而不是从缓存中。在 moniter exit 运行成功之后，共享变量被更新后的值必须被刷入主存中。

synchronized 的使用方式。

1. 同步方法
    public class Test {
    	public synchronized void functionA() {
    		//...
    	}
    	
    	public synchronized static void functionB() {
    		//...
    	}
    }

其中 functionA 是对 this 对象加锁，而 functionB 是对 Test.class 对象加锁

3. 同步方法块
    	public static Object MUTEX;
    	
    	public void functionA() {
    		synchronized(MUTEX) {
    			
    		}
    	}

用于放在同步代码块的对象一定是 Object 类型的对象

Volatile

Volatile 能够用于解决 32 位电脑中 64 位数据写入的原子性，内存可见性和禁止重排序的功能

32 位系统中 64 位 数据写入的原子性

在 32 位系统中写入 64 位数据，64 位的变量会被拆成两个 32 位进行进行写入，那么在写入一半时有其他线程来读取数据，那么会造成数据读取的错误

内存可见性

在线程写入一个数据时，会先向缓存中写入数据，稍后在写入到本地的主存中去。这就造成了一个线程写完了，另一个线程立刻去读取写入的数据，却读取到原先的值，虽然过一段时间后，可以读到这个数据，但是却是最终一致性，而不是强一致性。使用 volatile 后，则会立刻写入到主存中去，对其他线程可见。

指令重排

对于开发者而言，是希望程序按照顺序执行下去，但是对于计算机而言，则需要将没有依赖关系的指令进行重排序，以期获得更大的效率。

例如，instance=new Instance(); 中有三个基础操作

  1. 分配一块内存
  2. 在内存上初始化成员变量
  3. 把 instance 引用指向内存
    其中，操作2 和操作 3 可能会被重排。在用户对于对象进行直接操作时，则会有可能引起操作空对象的异常。
JMM

传统的 x86 的布局如下图所示
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-JYmsx3sO-1661482925988)(en-resource://database/805:1)]
在 CPU 的缓存一致性协议下，多个CPU 之间的缓存不会出现不同步的问题。但是这却严重损耗了性能。

为了降低性能损耗，又在计算单元和 L1 之间增加了 Store Buffer、Load Buffer。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-pywFsGYZ-1661482925990)(en-resource://database/806:1)]
从操作系统的角度来看这就相当于每一个逻辑 CPU 都有自己的缓存。

由于每个逻辑 CPU 都有自己的缓存，这些缓存和主存之间是不完全同步的，因此也就会存在内存可见性问题。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-FsWUiZYR-1661482925991)(en-resource://database/808:1)]
抽象到 Java 就是 JVM 的内存模型
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-AwsUxKeO-1661482925991)(en-resource://database/807:1)]

as-if-serial 与 happen before

只要操作之间没有数据依赖，编译器和CPU 可以进行任意重排序，执行的最终结果不会发生改变。这就是 as-if-serial 语义。

但是在多线程情况下便不能保证 as-if-serial 语义。

由于线程之间数据的依赖和相互影响，我们需要告知编译器和 CPU 在什么场景下可以进行重排序，什么时候不可以进行重排序。

为此 JMM 引入了 happen before 语义。如果说 A happen before B 则就意味着， 操作 A 的结果对操作 B 必须可见。

happen before 规定，对于 volatile 变量的写入操作必须对后续 volatile 变量的读取可见。

同时 happen before 具有传递性，如果 A happen before B，B happen before C，那么 A happen before C。

volatile 的使用

volatile 只用于对变量的声明。

    public static volatile int c;

内存屏障

内存屏障分为四种

  • LoadLoad：读读内存屏障，如果 A LoadLoad B ，则就意味着 Load 操作 A 必须在 Load 操作 B 前执行
  • StoreStore：写写内存屏障，如果 A StoreStore B，则就意味着 Store 操作 A 必须在 Store 操作 B 前执行
  • LoadStore：读写内存屏障，如果 A LoadStore B，则就意味着 Load 操作 A 必须在 Store 操作 B 前执行。
  • StoreLoad： 写读内存屏障，如果 A StoreLoad B，则就意味着 Store 操作 A 必须早 Load 操作 B 前执行。

PS 上述 A 和 B 都是操作的代号，不是数据的代号。

volatile 的内存屏障

  1. volatile 在写之前插入了一个 StoreStore 屏障，保证不会和之前的写操作发生重排序
  2. volatiel 在写操作后插入了一个 StoreLoad 屏障，保证不会和之后的读操作重排序
  3. volatile 读操作后插入了一个 LoadLoad 屏障和 LoadStore 屏障，保证不会和之后的读操作和写操作发生重排序。

Java 面试宝典是大明哥全力打造的 Java 精品面试题，它是一份靠谱、强大、详细、经典的 Java 后端面试宝典。它不仅仅只是一道道面试题，而是一套完整的 Java 知识体系，一套你 Java 知识点的扫盲贴。

它的内容包括：

  • 大厂真题：Java 面试宝典里面的题目都是最近几年的高频的大厂面试真题。
  • 原创内容：Java 面试宝典内容全部都是大明哥原创，内容全面且通俗易懂，回答部分可以直接作为面试回答内容。
  • 持续更新：一次购买，永久有效。大明哥会持续更新 3+ 年，累计更新 1000+，宝典会不断迭代更新，保证最新、最全面。
  • 覆盖全面：本宝典累计更新 1000+，从 Java 入门到 Java 架构的高频面试题，实现 360° 全覆盖。
  • 不止面试：内容包含面试题解析、内容详解、知识扩展，它不仅仅只是一份面试题，更是一套完整的 Java 知识体系。
  • 宝典详情：https://www.yuque.com/chenssy/sike-java/xvlo920axlp7sf4k
  • 宝典总览：https://www.yuque.com/chenssy/sike-java/yogsehzntzgp4ly1
  • 宝典进展：https://www.yuque.com/chenssy/sike-java/en9ned7loo47z5aw

目前 Java 面试宝典累计更新 400+ 道，总字数 42w+。大明哥还在持续更新中，下图是大明哥在 2024-12 月份的更新情况：

想了解详情的小伙伴，扫描下面二维码加大明哥微信【daming091】咨询

同时，大明哥也整理一套目前市面最常见的热点面试题。微信搜[大明哥聊 Java]或扫描下方二维码关注大明哥的原创公众号[大明哥聊 Java] ，回复【面试题】 即可免费领取。

阅读全文
文章标签： Java 多线程多线程