多线程读写共享变量时,synchronized与volatile的作用

在《effective java》中看的的知识点,在工作中确实遇到了~

关键字synchronized可以保证在同一时刻,只有一个线程可以执行某一个方法,或者某一个代码块。

同步并不是单单指线程之间的互斥。如果没有同步,一个线程的变化就不能被其他线程看到。同步不仅可以阻止一个线程看到对象处于不一致的状态之中, 它还可以保证进入同步方法或者同步代码块的每个线程,都看到由同一个锁保护的之前的所有修改效果。

思考下面这个程序的运行过程是什么样的。

<span style="font-family:SimSun;font-size:14px;">import java.util.concurrent.TimeUnit;
public class StopThread {
  private static boolean stopRequested;
  public static void main(String[] args) throws InterruptedException {
    Thread backgroundThread =new Thread(new Runnable(){
      public void run() {
        int i=0;
        while(!stopRequested){
          i++;
        }
      }
    });
    backgroundThread.start();
    TimeUnit.SECONDS.sleep(1);
    stopRequested=true;
  }
}</span>

你可能以为的这个程序大约运行一秒左右,之后主线程将stopRequested设置为true,从而导致后台线程终止。但是结果不是这样的!

问题在于,由于没有同步,就不能保证后台线程何时“看到”主线程对stopRequested的值所做的改变。Java语言规范保证读或写一个变量是原子的(atomic)long和double除外。但是它并不保证一个线程写入的值对于另一个线程将是可见的。

下面看下解决方案

<span style="font-family:SimSun;font-size:14px;">import java.util.concurrent.TimeUnit;
public class StopThread {
  private static boolean stopRequested;
  private static synchronized void requestStop(){
    stopRequested=true;
  }
  private static synchronized boolean stopRequested(){
    return stopRequested;
  }
  public static void main(String[] args) throws InterruptedException {
    Thread backgroundThread =new Thread(new Runnable(){
      public void run() {
        int i=0;
        while(!stopRequested()){
          i++;
        }
      }
    });
    backgroundThread.start();
    TimeUnit.SECONDS.sleep(1);
    //stopRequested=true;
    requestStop();
  }
}</span>

写入方法(requestStop())和读取(stopRequest())方法作 都被同步了 。

StopThread中方法的同步是为了它的 通信效果 ,而不是为了互斥访问。一种更加简洁,性能也可能更好的方法是将stopRequested声明为 volatile 。虽然volatile修饰符不执行互斥访问,但 它可以保证任何一个线程在读取该field的时候都将看到最近刚刚被写入的值:

<span style="font-family:SimSun;font-size:14px;">import java.util.concurrent.TimeUnit;
public class StopThread {
  private static volatile boolean stopRequested;
  public static void main(String[] args) throws InterruptedException {
    Thread backgroundThread =new Thread(new Runnable(){
      public void run() {
        int i=0;
        while(!stopRequested){
          i++;
        }
      }
    });
    backgroundThread.start();
    TimeUnit.SECONDS.sleep(1);
    stopRequested=true;
  }
}</span>

锁提供了两种主要特性:互斥(mutual exclusion) 和可见性(visibility)。互斥即一次只允许一个线程持有某个特定的锁,因此可使用该特性实现对共享数据的协调访问协议,这样,一次就只有一个线程能够使用该共享数据。可见性要更加复杂一些,它必须确保释放锁之前对共享数据做出的更改对于随后获得该锁的另一个线程是可见的 —— 如果没有同步机制提供的这种可见性保证,线程看到的共享变量可能是修改前的值或不一致的值,这将引发许多严重问题。

Volatile 变量具有 synchronized 的可见性特性。这就是说线程能够自动发现 volatile 变量的最新值。

在多线程场景中,如果需要使用标记的时候,volatile往往可以大显身手~

时间: 2024-12-28 20:12:54

多线程读写共享变量时,synchronized与volatile的作用的相关文章

java多线程之内存可见性-synchronized、volatile

1.JMM:Java Memory Model(Java内存模型) 关于synchronized的两条规定: 1.线程解锁前,必须把共享变量的最新值刷新到主内存中 2.线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值(注意:加锁和解锁需要是同一把锁) 注:线程解锁前对共享变量的修改在下次加锁时对其他线程可见 2.线程执行互斥代码的过程: 1.获得互斥锁 2.清空工作内存 3.从主内存拷贝变量的最新副本到工作内存 4.执行代码 5.将更改后的共享变量的值刷

synchronized和volatile的区别

Volatile修饰的成员变量在每次被线程访问时,都强迫从共享内存重新读取该成员的值,而且,当成员变量值发生变化时,强迫将变化的值重新写入共享内存,这样两个不同的线程在访问同一个共享变量的值时,始终看到的是同一个值. java语言规范指出:为了获取最佳的运行速度,允许线程保留共享变量的副本,当这个线程进入或者离开同步代码块时,才与共享成员变量进行比对,如果有变化再更新共享成员变量.这样当多个线程同时访问一个共享变量时,可能会存在值不同步的现象. 而volatile这个值的作用就是告诉VM:对于这

java 语言多线程可见性(synchronized 和 volatile 学习)

共享变量可见性实现的原理 java 语言层面支持的可见性实现方式: synchronized volatile 1. synchronized 的两条规定: 1 线程解锁前,必须把共享变量的最新值刷新到主内存中. 2 线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值(加锁与解锁需要是同一锁) 线程解锁前对共享变量的修改在下次加锁时对其他线程可见. 2. volatile 实现可见性 深入来说,通过加入内存屏障和禁止重排序优化来实现 的. 对volatil

java内存模型值synchronized和volatile

多线程对共享变量的访问. 第一,   必须是共享变量. 第二,   必须是多个线程共享一个变量 第三,   因为多个线程都有自己的工作内存,那么除了主内存有共享变量值的原本,每个工作内存都有自己的变量副本, 第四,   线程对共享变量的所有操作都在自己的工作内存中进行,不能直接从主内存中进行读写 第五,   线程之间无法直接访问各自工作内存中的变量,线程变量值的传递必须经过主内存来传递. Java语言层面支持的可见性支持: synchronized:同步(原子性),内存可见性, 特性:1线程解锁

Java中的synchronized、volatile、ReenTrantLock、AtomicXXX

多线程和并发性并不是什么新内容,但是 Java 语言设计中的创新之一就是,它是第一个直接把跨平台线程模型和正规的内存模型集成到语言中的主流语言.核心类库包含一个 Thread 类,可以用它来构建.启动和操纵线程,Java 语言包括了跨线程传达并发性约束的构造 -- synchronized 和 volatile .在简化与平台无关的并发类的开发的同时,它决没有使并发类的编写工作变得更繁琐,只是使它变得更容易了. synchronized 快速回顾 把代码块声明为 synchronized,有两个

并发编程之关键字(synchronized、volatile)

并发编程主要设计两个关键字:一个是synchronized,另一个是volatile.下面主要讲解这两个关键字,并对这两个关机进行比较. synchronized synchronized是通过JMV种的monitorenter和monitorexit指令实现同步.monitorenter指令是在编译后插入到同步代码的开始位置,而monitorexit插入到同步代码的结束位置和异常位置.每一个对象都与一个monitor相关联,当monitor被只有后,它将处于锁定状态. 当一个线程试图访问同步代

Java多线程总结之由synchronized说开去(转)

这几天不断添加新内容,给个大概的提纲吧,方面朋友们阅读,各部分是用分割线隔开了的: synchronized与wait()/notify() JMM与synchronized ThreadLocal与synchronized ReentrantLock与synchronized 最重要一条: synchronized是针对对象的隐式锁使用的,注意是对象! 举个小例子,该例子没有任何业务含义,只是为了说明synchronized的基本用法: Java代码   Class MyClass(){ sy

Java多线程总结之由synchronized说开去

最重要一条: synchronized是针对对象的隐式锁使用的,注意是对象! 举个小例子,该例子没有任何业务含义,只是为了说明synchronized的基本用法: Java代码   Class MyClass(){ synchronized void myFunction(){ //do something } } public static void main(){ MyClass myClass = new MyClass(); myClass.myFunction(); } 好了,就这么简

synchronized 与 volatile

synchronized 与 volatile: 可见性:一个线程对共享变量的修改,能够及时的被其他线程看到 所有的变量都储存在主内存中,每个线程独有自己独立的工作内存,里面保存着主内存中该变量的拷贝副本 线程对共享变量的操作都必须在自己的工作内存中进行不能直接在主内存中读写.不同线程中的变量值需要通过主内存传递.  Synchronized:可以实现原子性(同步).可见性.线程解锁前必须把共享变量的最新值刷新到主内存中.加锁时会清空工作内存中共享变量的值,从而使用共享变量时会重新从主内存中读取