面试篇-学习Java多线程编程必备:深入理解volatile与synchronized

news/2024/11/13 10:15:28/

1. 概述

1.1 Volatile概述

Volatile是Java中的一种轻量级同步机制,用于保证变量的可见性和禁止指令重排。当一个变量被声明为Volatile类型时,任何修改该变量的操作都会立即被所有线程看到。也就是说,Volatile修饰的变量在每次修改时都会强制将修改刷新到主内存中,具有很好的可见性和线程安全性。

上图可以看到在多线程编程中,线程没有直接操作主内存,而是把主内存中的数据拷贝到工作内存中也就是共享变量副本的方式操作变量。当一个变量被多个线程共享时,如果其中一个线程修改了这个变量的值,另一个线程在读取这个变量时可能会得到过期的值。这是因为线程之间存在缓存不一致的问题。

使用 volatile 关键字可以解决这个问题。volatile 保证了对该变量的访问都是直接针对主内存中的变量进行的,而不是访问线程本地的缓存。因此,当一个线程修改了这个变量的值,其他线程能够立即看到这个变化,避免了缓存不一致的问题。

具体实现原理是,在使用 volatile 关键字修饰的变量进行读写操作时,会禁止 CPU 的缓存优化,每次操作都要直接读写主内存。同时,在进行读操作时,也会强制从主内存中读取最新的值,而不是使用线程本地的缓存。这样就可以保证多线程之间的变量访问是同步、可见的。

1.2 Synchronized概述

Synchronized是Java中的一种重量级同步机制,用于保证线程安全和排除数据竞争。当一个方法被声明为Synchronized时,同一时间只有一个线程可以访问该方法,其他线程必须等待。这样可以避免多个线程同时访问共享资源导致数据不一致的问题。

2. Volatile与Synchronized的区别

(1)Volatile是一种轻量级的同步机制,Synchronized是一种重量级的同步机制。

(2)Volatile用于保证变量的可见性和禁止指令重排,Synchronized用于排除数据竞争和保证线程安全。

(3)Volatile不能保证变量的原子性,Synchronized可以保证同步代码块的原子性。

(4)Volatile的性能远高于Synchronized,但只适用于变量的情况,而Synchronized则适用于任意类型的对象或代码块。

(5)volatile修饰变量,仅用于变量级(不会造成线程阻塞),线程读写时均刷新内存,只保证可见性。volatile还可以禁止指令重排。

(6)synchronized锁变量或代码段,锁级(会造成线程阻塞),能保证可见性与原子性

3. 使用场景

3.1 Volatile的使用场景

由于Volatile的可见性和禁止指令重排的特点,其在一些特定的场景下非常有用,例如:

(1)用于控制线程的开关、状态标志、计数器等变量;

(2)用于发布一些不变的对象,例如单例模式中的实例;

(3)用于性能调优,避免锁竞争,例如CAS算法等。

以下是使用Java编写一个演示volatile关键字的简单示例:

 public class VolatileDemo {private volatile boolean isRunning = true;public void start() {System.out.println("Starting the thread...");new Thread(() -> {while (isRunning) {// do some work here}System.out.println("Thread stopped.");}).start();}public void stop() {System.out.println("Stopping the thread...");isRunning = false;}public static void main(String[] args) throws InterruptedException {VolatileDemo demo = new VolatileDemo();demo.start();// wait for 3 secondsThread.sleep(3000);demo.stop();}}

在上述示例中,我们创建了一个名为VolatileDemo的类,并声明了一个volatile变量isRunning。此变量用于指示线程是否应该继续运行。在start()方法中,我们启动了一个新线程,并在while循环中检查isRunning变量的值。由于isRunning变量是volatile类型的,因此在不同的线程之间更改它的值时,该值将始终保持同步。在stop()方法中,我们将isRunning变量的值设置为false,以便使线程停止运行。在main()方法中,我们创建了一个VolatileDemo对象并调用start()方法来开始线程的执行。然后,我们等待3秒钟,随后调用stop()方法来停止线程的执行。由于isRunning变量是volatile类型的,因此线程能够及时地检测到isRunning变量的更改,从而停止线程的执行。

3.2 Synchronized的使用场景

Synchronized机制由于其强制性的同步性,在保证线程安全和数据完整性的同时,也会带来一些性能上的开销。因此,在使用Synchronized时需要控制同步的范围和频率,适当使用Synchronized可以提高程序的效率和可靠性。使用Synchronized的场景包括:

(1)对共享变量的访问和修改,例如在多线程情况下对数据进行同步处理;

(2)对类实例化的构造函数进行同步,确保实例化过程中的线程安全;

(3)对静态变量和方法的访问和修改,例如在多线程情况下对静态变量进行同步。

以下是使用Java编写一个演示synchronized关键字的简单示例:

public class SynchronizedDemo {private int counter = 0;public synchronized void increment() {counter++;}public synchronized int getCounter() {return counter;}public static void main(String[] args) throws InterruptedException {SynchronizedDemo demo = new SynchronizedDemo();// create multiple threads to increment counterfor (int i = 0; i < 10; i++) {new Thread(() -> {for (int j = 0; j < 1000; j++) {demo.increment();}}).start();}// wait for all threads to finishThread.sleep(5000);// print the final value of counterSystem.out.println("Final value of counter: " + demo.getCounter());}
}

在上述示例中,我们创建了一个名为SynchronizedDemo的类,并声明了一个私有变量counter。我们在increment()方法和getCounter()方法上加了synchronized关键字来确保每次只有一个线程可以访问这些方法。

在main()方法中,我们创建了10个线程来并发地执行increment()方法,每个线程将计数器增加1000次。由于increment()方法是同步的,因此在任何时候都只有一个线程可以访问它,从而避免了数据竞争和不一致性。

最后,我们等待所有线程完成后打印计数器的最终值。由于getCounter()方法也是同步的,所以它返回的值将始终是最新的和正确的。

4. 注意事项

(1)使用Volatile时需要注意可见性和原子性,不能保证多个操作的原子性。

(2)使用Synchronized时需要注意同步块的范围和对象的锁定,避免死锁和性能问题。

(3)在多线程编程中,需要根据实际情况选择合适的同步机制或使用多种同步机制的组合,以保证程序的正确性和可靠性。

5.相关面试问题

  1. volatile 和 synchronized 有什么区别?

答:volatile 关键字只能保证变量的可见性,不能保证原子性以及同步性,而 synchronized 关键字既能保证原子性和同步性,也能保证变量的可见性。

  1. volatile 能否替代 synchronized?

答:不能。虽然 volatile 可以保证变量的可见性,但是它无法保证原子性和同步性,而 synchronized 能够保证这三种特性。

  1. synchronized 与 volatile 的实现机制有何不同?

答:synchronized 是通过对对象或类进行加锁来保证同步性和原子性的,其效率相对较低;而 volatile 是通过禁止 CPU 缓存优化来保证变量的可见性,其开销相对较小,但不能保证同步性和原子性。

  1. 在什么情况下需要使用 volatile?

答:当一个变量被多个线程访问时,可能存在缓存不一致的问题,此时需要使用 volatile 来保证变量的可见性。

  1. synchronized 和 volatile 的适用场景分别是什么?

答:synchronized 适用于保证临界区代码的原子性和同步性,而 volatile 适用于保证变量的可见性。因此,如果需要进行复杂的操作并且需要保证原子性和同步性时,应该使用 synchronized;而如果只需要保证变量的可见性时,可以使用 volatile。


http://www.ppmy.cn/news/41148.html

相关文章

gdb多线程调试

gdb多线程调试 1.背景 采用gdb调试代码时&#xff0c;经常遇到多线程的情况&#xff0c;但对gdb在多线程中的切换并不熟悉&#xff0c;导致排查问题很困难&#xff0c;所以整理下多线程调试方法。 2.gdb多线程调试指令及简介 调试代码时先将代码跑起来&#xff0c;然后ctrlc将代…

Python 小型项目大全 76~81

七十六、井字棋 原文&#xff1a;http://inventwithpython.com/bigbookpython/project76.html 井字棋是一种在3 3网格上玩的经典纸笔游戏。玩家轮流放置 X 或 O 标记&#xff0c;试图连续获得三个。大多数井字棋都以平局告终&#xff0c;但如果你的对手不小心&#xff0c;你也…

大数据项目实战之数据仓库:电商数据仓库系统——第3章 维度建模理论之事实表

第3章 维度建模理论之事实表 3.1 事实表概述 事实表作为数据仓库维度建模的核心&#xff0c;紧紧围绕着业务过程来设计。其包含与该业务过程有关的维度引用&#xff08;维度表外键&#xff09;以及该业务过程的度量&#xff08;通常是可累加的数字类型字段&#xff09;。 3.…

基于matlab构建 5G 城市宏蜂窝测试环境

一、前言此示例展示了如何构建 5G 城市宏蜂窝测试环境&#xff0c;并在地图上可视化信干噪比 &#xff08;SINR&#xff09;。测试环境基于ITU-R M.报告[IMT-2020.EVAL][1]用于评估5G无线电技术。此报告在第 8.2 节中定义了几个测试环境和使用场景。本示例中的测试环境基于以行…

无重复全排列 [2*+]

目录 无重复全排列 [2*+] 程序设计 程序分析 无重复全排列 [2*+] 输出N个数的无重复全排列 Input 输入一个数值N 1<=N=50 Output 输出N个数的无重复全排列,每个数之间用空格隔开 最后一行输出无重复全排列的个数。 Sample Input 3 Sample Output 1 2

4.8---系统知识复习之Mybatis(复习版本)

1、什么是Mybatis&#xff1f; 1.Mybatis是一个半ORM&#xff08;对象关系映射&#xff09;框架&#xff0c;它内部封装了JDBC&#xff0c;加载驱动、创建连接、创建statement等繁杂的过程&#xff0c;开发者开发时只需要关注如何编写SQL语句&#xff0c;可以严格控制sql执行性…

基于imx8m plus开发板全体系开发教程3:Ubuntu 20.04 编译

前言&#xff1a; i.MX8M Plus 开发板是一款拥有 4 个 Cortex-A53 核心&#xff0c;运行频率 1.8GHz;1 个 Cortex-M7 核心&#xff0c;运行频率 800MHz;此外还集成了一个 2.3 TOPS 的 NPU&#xff0c;大大加速机器学习推理。 全文所使用的开发平台均为与NXP官方合作的FS-IMX8…

2022国赛32:NFS服务

大赛试题内容: (四)NFS 服务 【任务描述】 为了使局域网中的特定用户,能够访问共享文件夹内 的特定资源,请采用文件共享,实现共享资源的安全访问。 1.配置 linux2 为 KDC 服务器,负责 linux3 和 linux4 的验证。 2.在 linux3 上,创建用户,用户名为 tom,uid=222,gid=…