volatile 与 synchronize 详解

本文深入探讨Java中volatile与synchronized的关键区别,包括它们的实现原理、应用及性能对比。volatile作为轻量级synchronized,确保多线程环境下变量的可见性,而synchronized提供更全面的线程同步保障。


Java支持多个线程同时访问一个对象或者对象的成员变量,由于每个线程可以拥有这个变量的拷贝(虽然对象以及成员变量分配的内存是在共享内存中的,但是每个执行的线程还是可以拥有一份拷贝,这样做的目的是加速程序的执行,这是现代多核处理器的一个显著特性),所以程序在执行过程中,一个线程看到的变量并不一定是最新的。

volatile

volatile的应用

在多线程并发编程中 synchronized 和 volatile 都扮演着重要的角色,volatile 是一个轻量级的 synchronized ,它在多处理器开发中保证了共享变量的 可见性。可见性的意思是当一个线程修改一个共享变量的时候,另一个线程能读取到这个共享变量被修改后的值。如果 volatile 使用恰当的话,它比 synchronized 的使用和执行成本更低,因为 volatile 不会引起线程上下文的切换和调度

volatile的定义与实现原理

Java 编程语言允许线程访问共享变量,为了确保共享变量能被准确和一致性地更新,线程应该确保通过排他锁来单独获取这个变量。Java 提供的 volatile 在某些情况下比锁要方便。如果一个字段被声明为 volatile,那么Java模型确保所有的线程看到这个变量的值是一致的

作用:
volatile关键字用作成员变量的修饰符,以强制单个线程每次从共享内存中重新读取变量的值
访问。 此外,各个线程被迫将更改写回到共享记忆一旦发生。 这样,两个不同的线程总是看到相同的在任何特定时间成员变量的值

volatile的两条实现原则

  • Lock 前缀指令会引起处理器缓存回写到内存
  • 一个处理器的缓存回写到内存会导致其他的处理器的缓存无效

synchronized

synchronized 关键字可以修饰方法或者以同步块的形式来进行使用,它主要确保多个线程在同一个时刻,只能有一个线程处于方法或者同步块中,它保证了线程对变量访问的可见性和排他性

synchronized的实现原理与应用

在多线程并发编程中 synchronized 一直是元老级的角色,很多人都会直呼它为重量级锁。但是,随着 Java SE 1.6 对 synchronized 进行了各种优化之后,有些情况下synchronized 并没有那么重了

synchronized如何实现同步?

synchronized 实现同步的基础:Java中的每一个对象都可以作为锁。具体的表现形式有以下三种:

  • 对于普通同步方法,锁是当前实例对象
  • 对于静态同步方法,锁是当前类的Class对象
  • 对于同步方法块,锁是 synchronized 括号里配置的对象

当一个线程试图访问同步代码块时,必须先获取到锁,退出或抛出异常时必须释放锁

volatile 与 synchronized 的区别?

volatilesynchronized
修饰只能用于修饰变量可以用于修饰方法、代码块
线程阻塞不会发生线程阻塞会发生阻塞
原子性不能保证变量的原子性可以保证变量原子性
可见性可以保证变量在线程之间访问资源的可见性可以间接保证可见性,因为它会将私有内存中和公共内存中的数据做同步
同步性能保证变量在私有内存和主内存间的同步synchronize是多线程之间访问资源的同步性
  • volatile 是线程同步的轻量级实现,所以 volatile 的性能要比 synchronize 好;随着jdk技术的发展,synchronize 在执行效率上会得到较大提升,所以 synchronize 在项目过程中还是较为常见的
  • 对于 volatile 修饰的变量,可以解决变量读时可见性问题,无法保证原子性。对于多线程访问同一个实例变量还是需要加锁同步

在多线程定义中,volatile 关键字主要是在属性上使用的,表示此属性为直接数据操作,而不进行副本的拷贝处理。这样的话在一些书上就将其错误的理解为同步属性了。
在这里插入图片描述

package com.java.springtest.test;

/**
 * @author Woo_home
 * @create by 2020/1/20
 */
public class ThreadDemo {
    public static void main(String[] args) throws Exception{
        ThreadShop shopA = new ThreadShop();
        ThreadShop shopB = new ThreadShop();
        ThreadShop shopC = new ThreadShop();
        new Thread(shopA,"A 店铺").start();
        new Thread(shopB,"B 店铺").start();
        new Thread(shopC,"C 店铺").start();
    }
}

class ThreadShop implements Runnable {

    private volatile int product = 5; // 直接内存操作

    @Override
    public void run() {
        synchronized (this) {
            while (this.product > 0) {
                try {
                    Thread.sleep(100);
                }catch (InterruptedException e) {
                    e.printStackTrace();
                }
                System.out.println(Thread.currentThread().getName() + "商品处理,product = " + this.product--);
            }
        }
    }
}

在这里插入图片描述

面试题: 请解释 volatile 与 synchronized 的区别?

  • volatile 本质是在告诉 jvm 当前变量在寄存器(工作内存)中的值是不确定的,需要从主存中读取; synchronized 则是锁定当前变量,只有当前线程可以访问该变量,其他线程被阻塞住。
  • volatile 仅能使用在变量级别;synchronized 则可以使用在变量、方法、和类级别
  • volatile 仅能实现变量的修改可见性,不能保证原子性;而 synchronized 则可以保证变量的修改可见性和原子性
  • volatile 不会造成线程的阻塞;synchronized 可能会造成线程的阻塞。
  • volatile 标记的变量不会被编译器优化;synchronized 标记的变量可以被编译器优化
<think>嗯,用户想了解C语言中volatile关键字的详细解释使用方法。这个问题很专业,需要系统性地整理volatile的概念、语法、使用场景注意事项。 用户提供的引用资料很有价值,特别是引用[1]引用[2]详细说明了volatile的作用机制使用场景。引用[1]从基础概念入手,解释了volatile如何防止编译器优化;引用[2]则重点强调了多线程硬件编程中的注意事项;引用[3]虽然主要讲char类型,但也展示了C语言关键字的具体用法示例。 准备从这几个维度组织回答:先精确定义volatile的作用原理,用寄存器缓存优化的例子说明必要性;然后展示标准语法格式;接着分类讨论硬件寄存器访问、中断服务程序、多线程共享变量等典型场景;最后列举"中断标志位未声明volatile导致程序错误"等常见陷阱。所有代码示例都会用$...$格式标注行内变量,比如$volatile int flag$。 用户可能是嵌入式开发者或系统程序员,因为volatile在应用层编程中很少见。ta特意要求"详解",说明需要实践指导而不仅是理论定义。考虑在回答末尾添加"如何调试volatile相关错误"等实用问题,帮助ta深入理解。 特别注意要区分volatile原子操作的区别——这是很多初学者容易混淆的点。引用[2]提到"不能保证原子性"这点很重要,要在注意事项里强调。另外用户提供的示例代码中有个字符串初始化错误(char b="a"应为char *b="a"),不过这volatile无关就不展开了。</think>好的,我们来详细解析C语言中的`volatile`关键字,包括其概念、作用、使用方法关键注意事项。 **`volatile` 关键字详解** 1. **概念作用** * `volatile` 是C语言中的一个类型修饰符(Type Qualifier),它告诉编译器:**被它修饰的变量的值可能会在意料之外的情况下被改变**。 * 主要目的是**防止编译器进行可能影响程序正确性的优化**。 * 编译器优化通常假设程序在单线程环境中顺序执行,变量值的变化完全由当前线程内的代码控制。因此,编译器可能会: * **缓存变量到寄存器**:如果发现某个变量在代码块内被多次读取且没有写入操作,编译器可能将其值加载到寄存器中,后续读取直接使用寄存器值而不是每次都去内存读取。这能提高速度。 * **省略看似冗余的读写**:如果发现代码对变量进行了写入操作,但后续没有读取就再次写入,或者读取后没有使用,编译器可能会省略掉一些它认为“冗余”的读写操作。 * **问题所在**:对于某些特殊变量,其值的变化并非由当前线程内的代码直接控制,而是由: * **硬件**:映射到内存地址的硬件寄存器(如状态寄存器、数据寄存器),其值会随外部事件(按键、数据到达、中断发生)而改变。 * **其他线程/进程**:在多线程/多任务环境中,一个线程修改了共享变量,另一个线程需要感知这个变化。 * **信号处理程序/中断服务程序(ISR)**:主程序(或另一个线程)中的变量可能被ISR修改。 * **`volatile` 的作用**:告知编译器,**每次需要访问这个变量时,都必须直接从其内存地址读取最新的值;每次修改这个变量时,都必须立即将其值写回内存地址**。编译器不能假设其值不变,也不能缓存它或省略对其的读写操作。 2. **语法用法** * `volatile` 在声明变量时使用,放在类型说明符之前或之后均可(但通常放在前面)。它可以其他类型修饰符(如`const`)组合使用。 * **基本语法**: ```c volatile int sensor_value; // 声明一个易变的整型变量 volatile char *status_register; // 声明一个指向易变字符的指针 char volatile *data_port; // 同上,volatile位置可互换(修饰指向的对象) int *volatile ptr_to_int; // 声明一个易变的指针(指针本身易变,指向的内容不一定) volatile const int read_only_reg; // 声明一个只读的易变整型变量(硬件常量寄存器) ``` * **关键点**: * `volatile` 修饰的是变量本身或其指向的对象(取决于`*`的位置)。 * `volatile` 影响的是编译器如何生成访问该变量的代码(强制内存访问),而不是变量本身的存储位置(它仍然在内存中)。 3. **典型使用场景** * **硬件寄存器访问 (Memory-Mapped I/O)**: ```c #define PORT_A (*(volatile unsigned char *)0x10000000) void main() { unsigned char data; PORT_A = 0xFF; // 向地址0x10000000写入数据 data = PORT_A; // 从地址0x10000000读取数据 } ``` 硬件寄存器的值随时可能被外部设备改变(如串口接收数据),编译器绝不能缓存或优化掉对其的读写。`volatile` 确保每次`PORT_A`的读取都真实访问硬件地址。 * **中断服务程序(ISR)修改的全局变量**: ```c volatile int data_ready = 0; // 主循环ISR共享的标志 void UART_ISR(void) { // ... 接收数据 ... data_ready = 1; // ISR中设置标志 } int main() { while(1) { if (data_ready) { // 主循环检测标志 process_data(); data_ready = 0; } // ... 其他任务 ... } } ``` 如果`data_ready`没有声明为`volatile`,编译器优化可能认为`while(1)`循环内`data_ready`的值不会变化(因为主循环内没有修改它的代码),从而将`if (data_ready)`优化成只检查一次或使用寄存器中的旧值(很可能是0),导致程序无法感知ISR设置的标志。 * **多线程共享变量**: ```c volatile int shared_counter = 0; void thread_func1() { while (1) { shared_counter++; // 线程1修改共享变量 } } void thread_func2() { while (1) { printf("Counter: %d\n", shared_counter); // 线程2读取共享变量 } } ``` 在多线程环境中,如果没有同步机制(如互斥锁),`volatile` **不能替代锁来保证原子性**(`shared_counter++`不是原子操作)。但`volatile`能确保线程2每次读取`shared_counter`时都去内存获取最新值,而不是使用可能过时的寄存器缓存值。*注意:多线程共享数据通常需要锁或原子操作,`volatile`只解决可见性问题的一部分。* * **信号处理程序修改的全局变量**:类似于ISR修改全局变量的情况。 4. **重要注意事项** * **`volatile` 不保证原子性**:`volatile` **只强制内存访问,不提供任何互斥或同步机制**。像`x++`(读-改-写)这样的操作在多线程或多核环境中,即使`x`是`volatile`的,仍然可能被打断,导致数据竞争(Data Race)。解决原子性问题需要使用锁(互斥量)、信号量或编译器/平台提供的原子操作(如C11的`_Atomic`或GCC的`__atomic_*`内置函数)。 * **`volatile` `const`**:可以组合使用。`volatile const`表示变量本身是只读的(程序不能修改它),但其值可能被外部因素改变(如只读的状态寄存器),编译器仍需每次都读取其值。`const volatile int *p`表示`p`指向一个`volatile const int`。 * **指针的 `volatile`**: * `volatile int *p;`:指针`p`指向一个`volatile int`(指向的对象是易变的)。 * `int *volatile p;`:指针`p`本身是易变的(指针变量的值可能被意外改变,比如指向不同的硬件寄存器地址),但其指向的`int`对象不一定易变。 * `volatile int *volatile p;`:指针`p`本身它指向的对象都是易变的。 * **编译器优化屏障**:`volatile`变量访问本身会阻止编译器对内存访问顺序进行某些重排优化,但**它不能阻止CPU层面的指令重排**。在需要严格内存顺序保证的低级编程(如设备驱动、无锁编程)中,可能需要使用CPU提供的**内存屏障(Memory Barrier/Fence)指令**(如`__sync_synchronize()` in GCC)配合`volatile`使用。 * **不要滥用**:不必要的使用`volatile`会阻止编译器进行有益的优化,降低程序性能。只在确实需要防止编译器优化导致程序逻辑错误时才使用它。 * **初始化**:`volatile`变量可以像普通变量一样初始化。`volatile int x = 10;`是合法的。 5. **示例代码 (结合场景)** ```c #include <stdio.h> #include <signal.h> #include <unistd.h> volatile sig_atomic_t flag = 0; // 用于信号处理程序的标志,使用volatilesig_atomic_t void handle_signal(int sig) { flag = 1; // 信号处理程序修改全局标志 } int main() { signal(SIGINT, handle_signal); // 注册SIGINT (Ctrl+C) 信号处理函数 printf("程序运行中... 按Ctrl+C终止。\n"); while (!flag) { // 主循环检查volatile标志 // 模拟工作 sleep(1); printf("等待信号...\n"); } printf("收到终止信号,程序退出。\n"); return 0; } ``` **说明**: * 信号处理函数`handle_signal`异步地(在主程序执行`while`循环时随时可能被调用)修改全局变量`flag`。 * 如果`flag`没有声明为`volatile`,编译器优化可能将`while (!flag)`优化成`while (true)`(如果它检测到主循环内没有修改`flag`的代码),或者使用寄存器中的旧值(0),导致程序无法响应Ctrl+C信号。 * `volatile`确保每次循环条件检查都从内存读取`flag`的最新值。 * `sig_atomic_t`是一个整数类型,保证在信号处理程序中进行原子读写(通常是一个`int`),**配合`volatile`使用**是处理异步信号标志的常见安全做法[^1][^2]。 6. **总结** `volatile`关键字是C语言中用于处理特殊变量的重要工具,其核心作用是**告知编译器不要对被修饰变量的读写操作进行优化,强制每次访问都直接内存交互**。它主要用于以下场景: * 访问映射到内存地址的**硬件寄存器**。 * 被**中断服务程序(ISR)**修改的全局变量。 * 被**信号处理程序**修改的全局变量。 * 在特定情况下(需谨慎),**多线程环境**中共享的、作为简单标志的全局变量(但需理解其局限性,不能替代锁或原子操作)。 使用`volatile`的关键是理解编译器优化的行为以及特定场景下变量值被“意外”修改的可能性。正确使用`volatile`能避免隐蔽的程序逻辑错误,尤其是在底层系统编程嵌入式开发中至关重要[^1][^2]。
评论 2
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值