volatile、synchronized和Lock

名词解释:

指令重排是计算机为了优化执行效率,在不改变单线程程序结果的前提下,对代码的执行顺序进行重新排列的操作。它可能发生在编译阶段(编译器优化)或CPU运行阶段(处理器优化)。


举个栗子🌰:做饭的步骤

假设你要做一道菜,步骤是:

  1. 洗锅 → 2. 热油 → 3. 放菜 → 4. 翻炒

指令重排后可能变成

  1. 洗锅 → 3. 放菜(未热油) → 2. 热油 → 4. 翻炒
    单线程下没问题(最终菜还是熟的),但多线程下可能翻车(其他线程看到“放菜”时油还没热)!

为什么需要指令重排?

  • 提高执行效率:CPU和编译器会通过重排指令,充分利用硬件资源(如并行执行不冲突的操作)。
  • 减少等待时间:避免因某些操作(如内存读取延迟)导致的空闲等待。

多线程环境中的问题

指令重排在单线程无感知,但在多线程并发时可能导致意外结果

经典案例:双重检查锁(DCL)单例模式

public class Singleton {private static Singleton instance;public static Singleton getInstance() {if (instance == null) {                    // 第一次检查synchronized (Singleton.class) {if (instance == null) {            // 第二次检查instance = new Singleton();    // 问题在此!}}}return instance;}
}

问题分析
instance = new Singleton() 实际分为三步:

  1. 分配内存空间
  2. 初始化对象
  3. 将引用指向内存地址

指令重排可能导致步骤2和3颠倒
→ 其他线程可能在对象未初始化完成时,拿到非空的instance,导致使用错误!


如何禁止指令重排?

  1. 使用 volatile 关键字
    → 修饰变量(如 private volatile static Singleton instance;),通过插入内存屏障禁止重排序。
    → 解决上述DCL单例问题。

  2. 使用 synchronizedLock
    → 同步代码块保证原子性和可见性,隐含禁止重排序。


总结

  • 指令重排:优化手段,单线程安全,多线程需警惕。
  • 解决方案volatile 或同步机制确保多线程下的顺序一致性。

在 Java 中,volatilesynchronizedLock 是解决并发问题的三种重要工具。它们有不同的使用场景和特点,下面分别介绍它们的用途、常用方法以及适用场景。


1. volatile

用途

  • 保证可见性:确保一个线程对共享变量的修改对其他线程立即可见。
  • 防止指令重排序:通过插入内存屏障(Memory Barrier)禁止某些编译器或处理器的指令重排序优化。

特点

  • 只适用于单个变量。
  • 不保证复合操作(如x++)的原子性。
  • 开销较小,性能优于synchronized

常用场景

  • 用于状态标志位(如开关标志)。
  • 当只需要保证可见性和有序性时使用。

例子

class VolatileExample {private volatile boolean flag = true;public void stop() {flag = false; // 修改flag,其他线程会立即看到}public void run() {while (flag) {// 执行任务}System.out.println("Thread stopped");}
}

2. synchronized

用途

  • 保证互斥性:同一时刻只有一个线程可以执行被同步保护的代码块。
  • 保证可见性:当一个线程释放锁时,会将修改后的变量值刷新到主存中,其他线程获取锁时会从主存中读取最新值。
  • 防止指令重排序:通过插入内存屏障确保有序性。

特点

  • 可以作用于代码块或方法。
  • 提供了内置锁机制,简单易用。
  • 性能较低(相对volatile),但在复杂场景下更可靠。

常用方法/用法

  1. 同步方法

    • 使用synchronized修饰方法,锁定当前对象(即this)。
    public synchronized void increment() {count++;
    }
    
  2. 同步代码块

    • 使用synchronized修饰代码块,指定锁对象。
    public void increment() {synchronized (lock) {count++;}
    }
    
  3. 静态同步方法

    • 锁定的是类对象(Class实例)。
    public static synchronized void incrementStatic() {staticCount++;
    }
    

例子

class SynchronizedExample {private int count = 0;public synchronized void increment() {count++; // 线程安全}public synchronized int getCount() {return count;}
}

3. Lock(ReentrantLock)

用途

  • 提供比synchronized更灵活的锁机制
    • 支持公平锁和非公平锁。
    • 支持尝试获取锁(tryLock())。
    • 支持可中断锁(lockInterruptibly())。
    • 支持超时获取锁(tryLock(long timeout, TimeUnit unit))。
  • 保证互斥性、可见性和有序性

特点

  • 需要手动加锁和解锁(容易忘记解锁,导致死锁)。
  • 提供更多功能,但使用复杂度更高。
  • 性能通常优于synchronized(尤其是在高竞争情况下)。

常用方法

  1. 核心接口:java.util.concurrent.locks.Lock

    • void lock():获取锁,如果锁不可用则阻塞。
    • void unlock():释放锁。
    • boolean tryLock():尝试获取锁,成功返回true,失败返回false
    • boolean tryLock(long timeout, TimeUnit unit):尝试在指定时间内获取锁。
    • void lockInterruptibly():获取锁,但可以响应中断。
  2. 实现类:ReentrantLock

    • 可重入锁,支持公平锁和非公平锁。

例子

import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;class LockExample {private int count = 0;private final Lock lock = new ReentrantLock();public void increment() {lock.lock(); // 加锁try {count++; // 线程安全} finally {lock.unlock(); // 释放锁}}public int getCount() {lock.lock();try {return count;} finally {lock.unlock();}}
}

对比总结

特性volatilesynchronizedLock(ReentrantLock)
互斥性不支持支持支持
可见性支持支持支持
有序性支持(禁止重排序)支持支持
原子性不支持复合操作支持支持
灵活性
性能高(高竞争下优于synchronized
适用场景单个变量的状态标志方法或代码块的同步需要高级功能(如尝试锁、公平锁等)

选择建议

  1. 优先使用volatile
    • 如果只需要保证可见性和有序性,并且不涉及复合操作。
  2. 使用synchronized
    • 如果需要简单的互斥性、可见性和有序性,且不需要额外的功能。
  3. 使用Lock
    • 如果需要更灵活的锁机制(如尝试锁、超时锁、公平锁等)。

通过合理选择工具,可以在保证线程安全的同时,提升程序的性能和可维护性。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/web/72083.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

嵌入式八股C语言---面向对象篇

面向对象与面向过程 面向过程 就是把整个业务逻辑分成多个步骤,每步或每一个功能都可以使用一个函数来实现面向对象 对象是类的实例化,此时一个类就内部有属性和相应的方法 封装 在C语言里实现封装就是实现一个结构体,里面包括的成员变量和函数指针,然后在构造函数中,为结构体…

Distilling the Knowledge in a Neural Network知识蒸馏

一.知识蒸馏的定义 1. 量化VS蒸馏 量化:减小精度 例如参数float32—>float16蒸馏:Student model模仿Teacher model,在保持较高性能的同时,减少模型大小和计算复杂度的技术。 二.知识蒸馏步骤 1.教师模型训练: 训练一个大型且复杂的神…

静态程序分析

参考:https://github.com/RangerNJU/Static-Program-Analysis-Book/blob/master/SUMMARY.md 课件:https://pascal-group.bitbucket.io/teaching.html 视频:南京大学《软件分析》课程01(Introduction)_哔哩哔哩_bilib…

Flutter_学习记录_device_info_plus 插件获取设备信息

引入三方库device_info_plus导入头文件 import package:device_info_plus/device_info_plus.dart;获取设备信息的主要代码 DeviceInfoPlugin deviceInfoPlugin DeviceInfoPlugin(); BaseDeviceInfo deviceInfo await deviceInfoPlugin.deviceInfo;完整案例 import package…

日有所得-google 浏览器离线安装

一、目标: 基于UOS系统进行浏览器插件开发,目标展现形式为侧栏 二、背景: UOS操作系统需支持1032及以上版本 浏览器插件基于google浏览器,自带360等浏览器能兼容基于google浏览器开发的插件 JS库借用Vue库以提高效率 三、问…

高效自动化测试:打造Python+Requests+Pytest+Allure+YAML的接口测试框架

一、背景 在快节奏的开发周期中,如何确保接口质量?自动化测试是关键。通过构建标准化、可复用的测试框架,能显著提升测试效率与准确性,为项目质量保驾护航[1][7]。 二、目标 ✅ 核心目标: ● 实现快速、高效的接口测试…

谈谈List,Set,Map的区别

List、Set 和 Map 是 Java 集合框架(Java Collections Framework)中的三种主要接口,它们各自有不同的特点和用途。以下是它们的区别和使用场景的详细解释: 1. List(列表) 1.1 特点 有序集合:Li…

智能运维管理系统的主要优势

智能运维管理系统通过整合大数据、人工智能、机器学习等技术,显著提升了IT运维的效率和质量。以下是智能运维管理系统的主要优势: 一、提升运维效率 1.自动化运维 自动执行重复性任务(如日志分析、故障排查、系统备份)&#xf…

分享一个用来解决运维问题的 AI 提示词

模板如下&#xff08;每次我都是自己写的&#xff0c;但是感觉可以更加调优一些&#xff09; 我遇到了如下问题<问题的清晰描述>你是一位资深运维工程师&#xff0c;任务是指导我一步步排查并解决上面的问题排查过程中&#xff0c;你给我操作指示&#xff0c;我将操作的…

【python运行Janus-Pro-1B文生图功能】

前言 体验了一把本地部署Janus-Pro-1B实现文生图功能。 1、开源项目下载 官方开源项目代码直接从Github上下载。 2、模型下载 模型官方下载需要魔法 Janus-Pro-1B模型文件&#xff1a;Janus-Pro-1B模型文件 百度网盘&#xff1a; https://pan.baidu.com/s/16t4H4z-QZe2UDAg4…

跨越时空的对话:图灵与GPT-4聊AI的前世今生

&#xff08;背景&#xff1a;虚拟咖啡厅&#xff0c;图灵身着1950年代西装&#xff0c;端着一杯热茶&#xff0c;GPT-4以全息投影形态坐在对面&#xff09; 图灵&#xff08;喝了口茶&#xff09;&#xff1a;“听说你能写诗&#xff1f;我当年在布莱切利园破解Enigma时&…

L2-4 吉利矩阵

输入样例&#xff1a; 7 3输出样例&#xff1a; 666 这道题是暴力纯搜&#xff0c;但是很难想&#xff0c;我这个是看的别人的代码 #include "bits/stdc.h" using namespace std; int x[20][20]; int l, n; int cnt 0; int sumx[5], sumy[5]; void dfs(int x, in…

Quickwit+Jaeger+Prometheus+Grafana搭建Java日志管理平台

介绍 生产服务应用可观测性在当下比较流行的方案&#xff0c;其中出现了大量高性能、开箱即用、易上手的的开源产品&#xff0c;大大丰富了在可观测性领域产品的多样性&#xff0c;本文讲述基于OTLP协议推送Java项目遥测数据&#xff08;日志、指标、链路&#xff09;到后端存储…

SpringMVC (一)基础

目录 SpringMVC 一 简单使用 1 新建模块选择指定参数 2 创建实现类 3 将项目启动 4 运行结果&#xff1a;在浏览器当中响应执行 二 RequestMapping 三 请求限定 SpringMVC SpringMVC是Spring的web模块&#xff0c;用来开发Web应用&#xff0c;SpringMVC应用最终作为B/…

【机器人-基础知识】欧拉角、旋转矩阵和四元数

1. 欧拉角 1.1. 欧拉角的定义 欧拉角是一组三个角度,用于描述一个刚体在三维空间中的定向关系。具体来说,它们表示从一个固定参考坐标系到刚体坐标系的一系列旋转。常见的定义方式是将总体旋转分解为三个连续的简单旋转,每次旋转都绕着当前坐标系的某一固定轴进行。 例如,…

xxl-job部署在docker-destop,实现定时发送预警信息给指定邮箱

XXL-JOB XXL-JOB是一个分布式任务调度平台&#xff08;XXL是作者徐雪里姓名拼音的首字母&#xff09;&#xff0c;其核心设计目标是开发迅速、学习简单、轻量级、易扩展。 源码仓库地址&#xff1a;https://github.com/xuxueli/xxl-job 源码结构&#xff1a; 系统架构 在xxl-j…

大数据学习(63)- Zookeeper详解

&&大数据学习&& &#x1f525;系列专栏&#xff1a; &#x1f451;哲学语录: 用力所能及&#xff0c;改变世界。 &#x1f496;如果觉得博主的文章还不错的话&#xff0c;请点赞&#x1f44d;收藏⭐️留言&#x1f4dd;支持一下博主哦&#x1f91e; &#x1f…

【数据结构】3顺序表

0 章节 &#xff12;&#xff0e;&#xff11;到&#xff12;&#xff0e;&#xff13;小节。 理解与表达线性表的逻辑结构&#xff1b; 线性表的结构、结构与操作&#xff1b; 顺序表的表示与实现&#xff1b;顺序表应用&#xff1b; 重点 线性表概念、顺序表定义运算与实现&a…

CUDA编程之OpenCV与CUDA结合使用

OpenCV与CUDA的结合使用可显著提升图像处理性能。 一、版本匹配与环境配置 CUDA与OpenCV版本兼容性‌ OpenCV各版本对CUDA的支持存在差异&#xff0c;例如OpenCV 4.5.4需搭配CUDA 10.0‌2&#xff0c;而较新的OpenCV 4.8.0需使用更高版本CUDA‌。 需注意部分模块&#xff08;…

WPF从初学者到专家:实战项目经验分享与总结

WPF从初学者到专家&#xff1a;实战项目经验分享与总结 一、前言二、WPF 基础概念与入门2.1 什么是 WPF2.2 XAML 基础2.3 数据绑定基础 三、第一个 WPF 项目&#xff1a;简单的待办事项列表3.1 项目需求分析3.2 项目搭建与界面设计3.3 业务逻辑实现 四、中级项目&#xff1a;音…