在Java当中synchronized通常是用来标记一个方法或者代码块。在Java当中被synchronized标记的代码或者方法在同一个时刻只能够有一个线程执行被synchronized修饰的方法或者代码块。因此被synchronized修饰的方法或者代码块不会出现数据竞争的情况,也就是说被synchronized修饰的代码块是并发安全的。

Synchronized关键字

synchronized关键字通常使用在下面四个地方:

  • synchronized修饰实例方法。
  • synchronized修饰静态方法。
  • synchronized修饰实例方法的代码块。
  • synchronized修饰静态方法的代码块。

在实际情况当中我们需要仔细分析我们的需求选择合适的使用synchronized方法,在保证程序正确的情况下提升程序执行的效率。

Synchronized修饰实例方法

下面是一个用Synchronized修饰实例方法的代码示例:

public class SyncDemo {
 
  private int count;
 
  public synchronized void add() {
    count  ;
  }
 
  public static void main(String[] args) throws InterruptedException {
    SyncDemo syncDemo = new SyncDemo();
    Thread t1 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        syncDemo.add();
      }
    });
 
    Thread t2 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        syncDemo.add();
      }
    });
    t1.start();
    t2.start();
    t1.join(); // 阻塞住线程等待线程 t1 执行完成
    t2.join(); // 阻塞住线程等待线程 t2 执行完成
    System.out.println(syncDemo.count);// 输出结果为 20000
  }
}

在上面的代码当中的add方法只有一个简单的count 操作,因为这个方法是使用synchronized修饰的因此每一个时刻只能有一个线程执行add方法,因此上面打印的结果是20000。如果add方法没有使用synchronized修饰的话,那么线程t1和线程t2就可以同时执行add方法,这可能会导致最终count的结果小于20000,因为count 操作不具备原子性。

上面的分析还是比较明确的,但是我们还需要知道的是synchronized修饰的add方法一个时刻只能有一个线程执行的意思是对于一个SyncDemo类的对象来说一个时刻只能有一个线程进入。比如现在有两个SyncDemo的对象s1和s2,一个时刻只能有一个线程进行s1的add方法,一个时刻只能有一个线程进入s2的add方法,但是同一个时刻可以有两个不同的线程执行s1和s2的add方法,也就说s1的add方法和s2的add是没有关系的,一个线程进入s1的add方法并不会阻止另外的线程进入s2的add方法,也就是说synchronized在修饰一个非静态方法的时候“锁”住的只是一个实例对象,并不会“锁”住其它的对象。其实这也很容易理解,一个实例对象是一个独立的个体别的对象不会影响他,他也不会影响别的对象。

Synchronized修饰静态方法

Synchronized修饰静态方法:

public class SyncDemo {
 
  private static int count;
 
  public static synchronized void add() {
    count  ; // 注意 count 也要用 static 修饰 否则编译通过不了
  }
 
  public static void main(String[] args) throws InterruptedException {
    Thread t1 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        SyncDemo.add();
      }
    });
 
    Thread t2 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        SyncDemo.add();
      }
    });
    t1.start();
    t2.start();
    t1.join();
    t2.join();
    System.out.println(SyncDemo.count); // 输出结果为 20000
  }
}

上面的代码最终输出的结果也是20000,但是与前一个程序不同的是。这里的add方法用static修饰的,在这种情况下真正的只能有一个线程进入到add代码块,因为用static修饰的话是所有对象公共的,因此和前面的那种情况不同,不存在两个不同的线程同一时刻执行add方法。

你仔细想想如果能够让两个不同的线程执行add代码块,那么count 的执行就不是原子的了。那为什么没有用static修饰的代码为什么可以呢?因为当没有用static修饰时,每一个对象的count都是不同的,内存地址不一样,因此在这种情况下count 这个操作仍然是原子的!

Sychronized修饰多个方法

synchronized修饰多个方法示例:

public class AddMinus {
  public static int ans;
 
  public static synchronized void add() {
    ans  ;
  }
 
  public static synchronized void minus() {
    ans--;
  }
 
  public static void main(String[] args) throws InterruptedException {
    Thread t1 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        AddMinus.add();
      }
    });
 
    Thread t2 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        AddMinus.minus();
      }
    });
 
    t1.start();
    t2.start();
    t1.join();
    t2.join();
    System.out.println(AddMinus.ans); // 输出结果为 0
  }
}

在上面的代码当中我们用synchronized修饰了两个方法,add和minus。这意味着在同一个时刻这两个函数只能够有一个被一个线程执行,也正是因为add和minus函数在同一个时刻只能有一个函数被一个线程执行,这才会导致ans最终输出的结果等于0。

对于一个实例对象来说:

public class AddMinus {
  public int ans;
 
  public synchronized void add() {
    ans  ;
  }
 
  public synchronized void minus() {
    ans--;
  }
 
  public static void main(String[] args) throws InterruptedException {
    AddMinus addMinus = new AddMinus();
    Thread t1 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        addMinus.add();
      }
    });
 
    Thread t2 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        addMinus.minus();
      }
    });
 
    t1.start();
    t2.start();
    t1.join();
    t2.join();
    System.out.println(addMinus.ans);
  }
}

上面的代码没有使用static关键字,因此我们需要new出一个实例对象才能够调用add和minus方法,但是同样对于AddMinus的实例对象来说同一个时刻只能有一个线程在执行add或者minus方法,因此上面代码的输出同样是0。

Synchronized修饰实例方法代码块

Synchronized修饰实例方法代码块

public class CodeBlock {
 
  private int count;
 
  public void add() {
    System.out.println("进入了 add 方法");
    synchronized (this) {
      count  ;
    }
  }
 
  public void minus() {
    System.out.println("进入了 minus 方法");
    synchronized (this) {
        count--;
    }
  }
 
  public static void main(String[] args) throws InterruptedException {
    CodeBlock codeBlock = new CodeBlock();
    Thread t1 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        codeBlock.add();
      }
    });
 
    Thread t2 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        codeBlock.minus();
      }
    });
 
    t1.start();
    t2.start();
    t1.join();
    t2.join();
    System.out.println(codeBlock.count); // 输出结果为 0
  }
}

有时候我们并不需要用synchronized去修饰代码块,因为这样并发度就比较低了,一个方法一个时刻只能有一个线程在执行。因此我们可以选择用synchronized去修饰代码块,只让某个代码块一个时刻只能有一个线程执行,除了这个代码块之外的代码还是可以并行的。

比如上面的代码当中add和minus方法没有使用synchronized进行修饰,因此一个时刻可以有多个线程执行这个两个方法。在上面的synchronized代码块当中我们使用了this对象作为锁对象,只有拿到这个锁对象的线程才能够进入代码块执行,而在同一个时刻只能有一个线程能够获得锁对象。也就是说add函数和minus函数用synchronized修饰的两个代码块同一个时刻只能有一个代码块的代码能够被一个线程执行,因此上面的结果同样是0。

这里说的锁对象是this也就CodeBlock类的一个实例对象,因为它锁住的是一个实例对象,因此当实例对象不一样的时候他们之间是没有关系的,也就是说不同实例用synchronized修饰的代码块是没有关系的,他们之间是可以并发的。

Synchronized修饰静态代码块

public class CodeBlock {
 
  private static int count;
 
  public static void add() {
    System.out.println("进入了 add 方法");
    synchronized (CodeBlock.class) {
      count  ;
    }
  }
 
  public static void minus() {
    System.out.println("进入了 minus 方法");
    synchronized (CodeBlock.class) {
        count--;
    }
  }
 
  public static void main(String[] args) throws InterruptedException {
    Thread t1 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        CodeBlock.add();
      }
    });
 
    Thread t2 = new Thread(() -> {
      for (int i = 0; i < 10000; i  ) {
        CodeBlock.minus();
      }
    });
 
    t1.start();
    t2.start();
    t1.join();
    t2.join();
    System.out.println(CodeBlock.count);
  }
}

上面的代码是使用synchronized修饰静态代码块,上面代码的锁对象是CodeBlock.class,这个时候他不再是锁住一个对象了,而是一个类了,这个时候的并发度就变小了,上一份代码当锁对象是CodeBlock的实例对象时并发度更大一些,因为当锁对象是实例对象的时候,只有实例对象内部是不能够并发的,实例之间是可以并发的。但是当锁对象是CodeBlock.class的时候,实例对象之间时不能够并发的,因为这个时候的锁对象是一个类。

应该用什么对象作为锁对象

在前面的代码当中我们分别使用了实例对象和类的class对象作为锁对象,事实上你可以使用任何对象作为锁对象,但是不推荐使用字符串和基本类型的包装类作为锁对象,这是因为字符串对象和基本类型的包装对象会有缓存的问题。字符串有字符串常量池,整数有小整数池。因此在使用这些对象的时候他们可能最终都指向同一个对象,因为指向的都是同一个对象,线程获得锁对象的难度就会增加,程序的并发度就会降低。

比如在下面的示例代码当中就是由于锁对象是同一个对象而导致并发度下降:

import java.util.concurrent.TimeUnit;
 
public class Test {
 
  public void testFunction() throws InterruptedException {
    synchronized ("HELLO WORLD") {
      System.out.println(Thread.currentThread().getName()   "\tI am in synchronized code block");
      TimeUnit.SECONDS.sleep(5);
    }
  }
 
  public static void main(String[] args) {
    Test t1 = new Test();
    Test t2 = new Test();
    Thread thread1 = new Thread(() -> {
      try {
        t1.testFunction();
      } catch (InterruptedException e) {
        e.printStackTrace();
      }
    });
 
    Thread thread2 = new Thread(() -> {
      try {
        t2.testFunction();
      } catch (InterruptedException e) {
        e.printStackTrace();
      }
    });
    thread1.start();
    thread2.start();
  }
}

在上面的代码当中我们使用两个不同的线程执行两个不同的对象内部的testFunction函数,按道理来说这两个线程是可以同时执行的,因为执行的是两个不同的实例对象的同步代码块。但是上面代码的执行首先一个线程会进入同步代码块然后打印输出,等待5秒之后,这个线程退出同步代码块另外一个线程才会再进入同步代码块,这就说明了两个线程不是同时执行的,其中一个线程需要等待另外一个线程执行完成才执行。这正是因为两个Test对象当中使用的"HELLO WORLD"字符串在内存当中是同一个对象,是存储在字符串常量池中的对象,这才导致了锁对象的竞争。

下面的代码执行的结果也是一样的,一个线程需要等待另外一个线程执行完成才能够继续执行,这是因为在Java当中如果整数数据在[-128, 127]之间的话使用的是小整数池当中的对象,使用的也是同一个对象,这样可以减少频繁的内存申请和回收,对内存更加友好。

import java.util.concurrent.TimeUnit;
 
public class Test {
 
  public void testFunction() throws InterruptedException {
    synchronized (Integer.valueOf(1)) {
      System.out.println(Thread.currentThread().getName()   "\tI am in synchronized code block");
      TimeUnit.SECONDS.sleep(5);
    }
  }
 
  public static void main(String[] args) {
    Test t1 = new Test();
    Test t2 = new Test();
    Thread thread1 = new Thread(() -> {
      try {
        t1.testFunction();
      } catch (InterruptedException e) {
        e.printStackTrace();
      }
    });
 
    Thread thread2 = new Thread(() -> {
      try {
        t2.testFunction();
      } catch (InterruptedException e) {
        e.printStackTrace();
      }
    });
    thread1.start();
    thread2.start();
  }
}

Synchronized与可见性和重排序

可见性

当一个线程进入到synchronized同步代码块的时候,将会刷新所有对该线程的可见的变量,也就是说如果其他线程修改了某个变量,而且线程需要在Synchronized代码块当中使用,那就会重新刷新这个变量到内存当中,保证这个变量对于执行同步代码块的线程是可见的。

当一个线程从同步代码块退出的时候,也会将线程的工作内存同步到内存当中,保证在同步代码块当中修改的变量对其他线程可见。

重排序

Java编译器和JVM当发现能够让程序执行的更快的时候是可能对程序的指令进行重排序处理的,也就是通过调换程序指令执行的顺序让程序执行的更快。

但是重排序很可能让并发程序产生问题,比如说当一个在synchronized代码块当中的写操作被重排序到synchronized同步代码块外部了这显然是有问题的。

在JVM的实现当中是不允许synchronized代码块内部的指令和他前面和后面的指令进行重排序的,但是在synchronized内部的指令是可能与synchronized内部的指令进行重排序的,比较著名的就是DCL单例模式,他就是在synchronized代码块当中存在重排序的,如果你对DCL单例模式还不是很熟悉,你可以阅读这篇文章的DCL单例模式部分。

总结

在本篇文章当中主要介绍了各种synchronized的使用方法,总结如下:

Synchronized修饰实例方法,这种情况不同的对象之间是可以并发的。

Synchronized修饰实例方法,这种情况下不同的对象是不能并发的,但是不同的类之间可以进行并发。

Sychronized修饰多个方法,这多个方法在统一时刻只能有一个方法被执行,而且只能有一个线程能够执行。

Synchronized修饰实例方法代码块,同一个时刻只能有一个线程执行代码块。

Synchronized修饰静态代码块,同一个时刻只能有一个线程执行这个代码块,而且不同的对象之间不能够进行并发。

应该用什么对象作为锁对象,建议不要使用字符串和基本类型的包装类作为锁对象,因为Java对这些进行优化,很可能多个对象使用的是同一个锁对象,这会大大降低程序的并发度。

程序在进入和离开Synchronized代码块的时候都会将线程的工作内存刷新到内存当中,以保证数据的可见性,这一点和volatile关键字很像,同时Synchronized代码块中的指令不会和Synchronized代码块之间和之后的指令进行重排序,但是Synchronized代码块内部可能进行重排序。

以上就是深入了解Java中Synchronized的各种使用方法的详细内容,更多关于Java Synchronized用法的资料请关注Devmax其它相关文章!

深入了解Java中Synchronized的各种使用方法的更多相关文章

  1. Swift线程安全详解-概念,三种锁,死锁,Atomic,synchronized

    研究了下,是线程安全问题。UIKit以及Fundation事实上,大多数Cocoa提供的Api都不是线程安全的,尤其是与UI相关的UIKit,只能在主线程上操作。需要线程安全的时候,开发者自己维护就可以了。用来加锁,解锁。关于ObjectiveC参考这篇文章Atomic一个非Atomic的属性在非ARC的时候像这样可以看到,如果在多线程同时set的情况下,可能会造成release两次。Property的Runtime对应的C代码为可以看到,如果是nonatomic的,synchronized可以看看这个S

  2. 【swift Objective-c】深入了解 核心比较语言特性

    ###OC与swiftautoreleasepoolsynchronizedappledoc关于线程安全objc_sync源码

  3. 并发 – 什么是Swift相当于Objective-C的“@synchronized”?

    我搜索了Swift的书,但找不到Swift版本的@synchronized。如何在Swift中实现互斥?它比@synchronized有点更冗长,但作为一个替代品工作得很好:

  4. android – 指令’monitor-enter v1’时出现空指针异常

    堆栈跟踪:解决方法如果localDBUtility为null,则无法对其进行同步调用.您只能在实例化对象上进行同步.

  5. android – 如何通过MediaRecorder.start()来静音“嘟嘟”?

    解决方法虽然我来不及回答它.它仍然可以帮助所有人都在谷歌搜索同样的问题.在开始媒体记录器之前添加以下两行代码..它会静音手机声音..启动录音机后等待一到两秒钟并取消静音,你可以使用以下可运行的…

  6. Java利用POI实现导入导出Excel表格

    这篇文章主要为大家详细介绍了Java利用POI实现导入导出Excel表格,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下

  7. Java 阻塞队列BlockingQueue详解

    本文详细介绍了BlockingQueue家庭中的所有成员,包括他们各自的功能以及常见使用场景,通过实例代码介绍了Java 阻塞队列BlockingQueue的相关知识,需要的朋友可以参考下

  8. Java Bean 作用域及它的几种类型介绍

    这篇文章主要介绍了Java Bean作用域及它的几种类型介绍,Spring框架作为一个管理Bean的IoC容器,那么Bean自然是Spring中的重要资源了,那Bean的作用域又是什么,接下来我们一起进入文章详细学习吧

  9. Java实现世界上最快的排序算法Timsort的示例代码

    Timsort 是一个混合、稳定的排序算法,简单来说就是归并排序和二分插入排序算法的混合体,号称世界上最好的排序算法。本文将详解Timsort算法是定义与实现,需要的可以参考一下

  10. Java日期工具类的封装详解

    在日常的开发中,我们难免会对日期格式化,对日期进行计算,对日期进行校验,为了避免重复写这些琐碎的逻辑,我这里封装了一个日期工具类,方便以后使用,直接复制代码到项目中即可使用,需要的可以参考一下

随机推荐

  1. 基于EJB技术的商务预订系统的开发

    用EJB结构开发的应用程序是可伸缩的、事务型的、多用户安全的。总的来说,EJB是一个组件事务监控的标准服务器端的组件模型。基于EJB技术的系统结构模型EJB结构是一个服务端组件结构,是一个层次性结构,其结构模型如图1所示。图2:商务预订系统的构架EntityBean是为了现实世界的对象建造的模型,这些对象通常是数据库的一些持久记录。

  2. Java利用POI实现导入导出Excel表格

    这篇文章主要为大家详细介绍了Java利用POI实现导入导出Excel表格,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下

  3. Mybatis分页插件PageHelper手写实现示例

    这篇文章主要为大家介绍了Mybatis分页插件PageHelper手写实现示例,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪

  4. (jsp/html)网页上嵌入播放器(常用播放器代码整理)

    网页上嵌入播放器,只要在HTML上添加以上代码就OK了,下面整理了一些常用的播放器代码,总有一款适合你,感兴趣的朋友可以参考下哈,希望对你有所帮助

  5. Java 阻塞队列BlockingQueue详解

    本文详细介绍了BlockingQueue家庭中的所有成员,包括他们各自的功能以及常见使用场景,通过实例代码介绍了Java 阻塞队列BlockingQueue的相关知识,需要的朋友可以参考下

  6. Java异常Exception详细讲解

    异常就是不正常,比如当我们身体出现了异常我们会根据身体情况选择喝开水、吃药、看病、等 异常处理方法。 java异常处理机制是我们java语言使用异常处理机制为程序提供了错误处理的能力,程序出现的错误,程序可以安全的退出,以保证程序正常的运行等

  7. Java Bean 作用域及它的几种类型介绍

    这篇文章主要介绍了Java Bean作用域及它的几种类型介绍,Spring框架作为一个管理Bean的IoC容器,那么Bean自然是Spring中的重要资源了,那Bean的作用域又是什么,接下来我们一起进入文章详细学习吧

  8. 面试突击之跨域问题的解决方案详解

    跨域问题本质是浏览器的一种保护机制,它的初衷是为了保证用户的安全,防止恶意网站窃取数据。那怎么解决这个问题呢?接下来我们一起来看

  9. Mybatis-Plus接口BaseMapper与Services使用详解

    这篇文章主要为大家介绍了Mybatis-Plus接口BaseMapper与Services使用详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪

  10. mybatis-plus雪花算法增强idworker的实现

    今天聊聊在mybatis-plus中引入分布式ID生成框架idworker,进一步增强实现生成分布式唯一ID,具有一定的参考价值,感兴趣的小伙伴们可以参考一下

返回
顶部