文章目录

  • 线程安全性文章索引
  • 脑图
  • 概述
  • 原子性synchronized 修饰的4种对象
  • 修饰代码块
  • 作用范围及作用对象
  • Demo
  • 多线程下 同一对象的调用
  • 多线程下不同对象的调用
  • 修饰方法
  • 作用范围及作用对象
  • Demo
  • 多线程下同一个对象的调用
  • 多线程下不同对象的调用
  • 修饰静态方法
  • 作用范围及作用对象
  • Demo
  • 多线程同一个对象的调用
  • 多线程下不同对象的调用
  • 修饰类
  • 作用范围及作用对象
  • Demo
  • 多线程下同一对象的调用
  • 多线程下不同对象的调用
  • 使用Synchronized来保证线程安全
  • 方法一
  • 方法二
  • 原子性的实现方式小结
  • 代码

线程安全性文章索引

并发编程-03线程安全性之原子性(Atomic包)及原理分析

并发编程-04线程安全性之原子性Atomic包的4种类型详解

并发编程-05线程安全性之原子性【锁之synchronized】

并发编程-06线程安全性之可见性 (synchronized + volatile)

并发编程-07线程安全性之有序性


脑图

并发编程-05线程安全性之原子性【锁之synchronized】_线程安全原子性


概述

举个例子:

【多线程场景】假设有个变量a在主内存中的初始值为1,线程A和线程B同时从主内存中获取到了a的值,线程A更新a+1,线程B也更新a+1,经过线程AB更新之后可能a不等于3,而是等于2。因为A和B线程在更新变量a的时候从主内存中拿到的a都是1,而不是等A更新完刷新到主内存后,线程B再从主内存中取a的值去更新a,所以这就是线程不安全的更新操作.

解决办法

  • 使用锁1. 使用synchronized关键字synchronized会保证同一时刻只有一个线程去更新变量. 2、Lock接口 【篇幅原因先不讨论lock,另开篇介绍】。
  • 使用JDK1.5开始提供的java.util.concurrent.atomic包,见并发编程-04线程安全性之原子性Atomic包详解

先简单说下synchronized和lock

  • synchronized 依赖jvm
  • lock 依赖特殊的cpu指令,代码实现,比如ReentranLock

这里我们重点来看下synchronized关键字是如何确保线程安全的原子性的。


原子性synchronized 修饰的4种对象

  • 修饰代码块
  • 修饰方法
  • 修饰静态方法
  • 修饰类

修饰代码块

作用范围及作用对象

被修饰的代码被称为同步语句块,作用范围为大括号括起来的代码,作用于调用的对象, 如果是不同的对象,则互不影响

Demo

多线程下 同一对象的调用

package com.artisan.example.sync;

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

import lombok.extern.slf4j.Slf4j;

@Slf4j
public class SynchronizedDemo {

public void test() {
// 修饰代码块 ,谁调用该方法synchronized就对谁起作用 即作用于调用的对象 。 如果是不同的对象,则互不影响
synchronized (this) {
for (int i = 0; i < 10; i++) {
log.info("修饰代码块 i = {} ",i);
}
}
}

public static void main(String[] args) {
// 同一个调用对象
SynchronizedDemo synchronizedDemo = new SynchronizedDemo();
ExecutorService executorService = Executors.newCachedThreadPool();
// 启动两个线程去 【使用同一个对象synchronizedDemo】调用test方法
for (int i = 0; i < 2; i++) {
executorService.execute(() ->{
synchronizedDemo.test();
});
}

// 使用Thread 可以按照下面的方式写
// for (int i = 0; i < 2; i++) {
// new Thread(()-> {
// synchronizedDemo.test2();
// }).start();
// }


// 最后 关闭线程池
executorService.shutdown();
}
}

我们先思考下执行的结果是什么样子的?

上述代码,我们通过线程池,通过循环开启了2个线程去调用含有同步代码块的test方法 , 我们知道 使用synchronized关键字修饰的代码块作用的对象是调用的对象(同一个对象)。 因此这里的两个线程都拥有同一个对象synchronizedDemo的引用,两个线程,我们命名为线程A 线程B。 当线程A调用到了test方法,因为有synchronized关键字的存在,线程B只能等待线程A执行完。 因此A会输出0~9,线程A执行完之后,A释放锁,线程Bh获取到锁后,继续执行。

实际执行结果:

并发编程-05线程安全性之原子性【锁之synchronized】_java_02

符合我们分析和预测。

如果我们把 test 方法的synchronized关键字去掉会怎样呢? 来看下

并发编程-05线程安全性之原子性【锁之synchronized】_多线程_03

执行结果

并发编程-05线程安全性之原子性【锁之synchronized】_线程安全原子性_04

可知,synchronized关键字修饰的代码块,确保了同一调用对象在多线程的情况下的执行顺序


多线程下不同对象的调用

为了更好地区分,我们给调用方法加个参数

package com.artisan.example.sync;

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

import lombok.extern.slf4j.Slf4j;

@Slf4j
public class SynchronizedDemo {

public void test(String flag) {
// 修饰代码块 ,谁调用该方法synchronized就对谁起作用 即作用于调用的对象 。 如果是不同的对象,则互不影响
synchronized (this) {
for (int i = 0; i < 10; i++) {
log.info("{} 调用 修饰代码块 i = {} ",flag ,i);
}
}
}

public static void main(String[] args) {

ExecutorService executorService = Executors.newCachedThreadPool();


// 对象 synchronizedDemo
SynchronizedDemo synchronizedDemo = new SynchronizedDemo();

// 对象 synchronizedDemo2
SynchronizedDemo synchronizedDemo2 = new SynchronizedDemo();

// synchronizedDemo 调用 test
executorService.execute(()->{
synchronizedDemo.test("synchronizedDemo");
});

// synchronizedDemo2 调用 test
executorService.execute(()->{
synchronizedDemo2.test("synchronizedDemo2");
});

// 最后 关闭线程池
executorService.shutdown();
}
}

先来猜测下执行结果呢?

两个不同的对象,调用test方法,应该是互不影响的,所以执行顺序是交替执行的。

运行结果:

并发编程-05线程安全性之原子性【锁之synchronized】_线程安全原子性_05


修饰方法

被修饰的方法称为同步方法,作用的范围是整个方法,作用于调用的对象, 如果是不同的对象,则互不影响

作用范围及作用对象

同 修饰代码块

Demo

增加个方法 test2

// 修饰方法 谁调用该方法synchronized就对谁起作用 即作用于调用的对象 。 如果是不同的对象,则互不影响
public synchronized void test2() {
// 修饰代码块 ,
for (int i = 0; i < 10; i++) {
log.info("调用 修饰代码块 i = {} ", i);
}
}

多线程下同一个对象的调用

同 修饰代码块

并发编程-05线程安全性之原子性【锁之synchronized】_多线程_06

结果:

并发编程-05线程安全性之原子性【锁之synchronized】_java_07


多线程下不同对象的调用

同 修饰代码块

并发编程-05线程安全性之原子性【锁之synchronized】_代码块_08

结果:

并发编程-05线程安全性之原子性【锁之synchronized】_java_09


通过上面的测试结论可以知道 修饰代码块和修饰方法

如果一个方法内部是一个完整的synchronized代码块,那么效果和synchronized修饰的方法效果是等同的 。

还有一点需要注意的是,如果父类的某个方法是synchronized修饰的,子类再调用该方法时,是不包含synchronized. 因为synchronized不属于方法声明的一部分。 如果子类想使用synchronized的话,需要在方法上显示的声明其方法为synchronized


修饰静态方法

作用范围及作用对象

整个静态方法, 作用于所有对象


Demo

多线程同一个对象的调用

package com.artisan.example.sync;

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

import lombok.extern.slf4j.Slf4j;

@Slf4j
public class SynchronizedStaticMethodDemo {

// 修饰静态方法
public synchronized static void test() {
for (int i = 0; i < 10; i++) {
log.info("调用 修饰方法 i = {} ", i);
}
}

public static void main(String[] args) {

ExecutorService executorService = Executors.newCachedThreadPool();

for (int i = 0; i < 2; i++) {
executorService.execute(() ->{
test();
});
}


// 最后 关闭线程池
executorService.shutdown();
}
}

结果:

并发编程-05线程安全性之原子性【锁之synchronized】_代码块_10


多线程下不同对象的调用

package com.artisan.example.sync;

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

import lombok.extern.slf4j.Slf4j;

@Slf4j
public class SynchronizedStaticMethodDemo {

// 修饰静态方法
public synchronized static void test() {
for (int i = 0; i < 10; i++) {
log.info("调用 修饰方法 i = {} ", i);
}
}

public static void main(String[] args) {

ExecutorService executorService = Executors.newCachedThreadPool();

SynchronizedStaticMethodDemo demo1 = new SynchronizedStaticMethodDemo();
SynchronizedStaticMethodDemo demo2 = new SynchronizedStaticMethodDemo();

// demo1调用
executorService.execute(() ->{
// 其实直接调用test方法即可,这里仅仅是为了演示不同对象调用 静态同步方法
demo1.test();
});

// demo2调用
executorService.execute(() ->{
// 其实直接调用test方法即可,这里仅仅是为了演示不同对象调用 静态同步方法
demo2.test();
});

// 最后 关闭线程池
executorService.shutdown();
}
}

结果:

并发编程-05线程安全性之原子性【锁之synchronized】_线程安全原子性_11


修饰类

作用范围及作用对象

修饰范围是synchronized括号括起来的部分,作用于所有对象


Demo

多线程下同一对象的调用

package com.artisan.example.sync;

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

import lombok.extern.slf4j.Slf4j;

@Slf4j
public class SynchronizedStaticClassDemo2 {

// 修饰一个类
public void test() {
synchronized (SynchronizedStaticClassDemo2.class) {
for (int i = 0; i < 10; i++) {
log.info("调用 修饰方法 i = {} ", i);
}
}
}

public static void main(String[] args) {

ExecutorService executorService = Executors.newCachedThreadPool();

SynchronizedStaticClassDemo2 demo = new SynchronizedStaticClassDemo2();

// demo调用
executorService.execute(() ->{
demo.test();
});

// demo调用
executorService.execute(() ->{
demo.test();
});

// 最后 关闭线程池
executorService.shutdown();
}
}

结果

并发编程-05线程安全性之原子性【锁之synchronized】_多线程_12


多线程下不同对象的调用

package com.artisan.example.sync;

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

import lombok.extern.slf4j.Slf4j;

@Slf4j
public class SynchronizedStaticClassDemo2 {

// 修饰一个类
public void test() {
synchronized (SynchronizedStaticClassDemo2.class) {
for (int i = 0; i < 10; i++) {
log.info("调用 修饰方法 i = {} ", i);
}
}
}

public static void main(String[] args) {

ExecutorService executorService = Executors.newCachedThreadPool();

SynchronizedStaticClassDemo2 demo1 = new SynchronizedStaticClassDemo2();
SynchronizedStaticClassDemo2 demo2 = new SynchronizedStaticClassDemo2();

// demo1调用
executorService.execute(() ->{
demo1.test();
});

// demo2调用
executorService.execute(() ->{
demo2.test();
});

// 最后 关闭线程池
executorService.shutdown();
}
}

结果

并发编程-05线程安全性之原子性【锁之synchronized】_多线程_13


使用Synchronized来保证线程安全

先回顾下 线程不安全的写法

并发编程-05线程安全性之原子性【锁之synchronized】_线程安全原子性_14

方法一

下面用Synchronized来改造下

我们知道synchronized修饰静态方法,作用的对象是所有对象 , 因此 仅需要将 静态add方法 修改为同步静态方法即可。

并发编程-05线程安全性之原子性【锁之synchronized】_java_15

多次运算

并发编程-05线程安全性之原子性【锁之synchronized】_synchronized_16


方法二

假设 add方法不是静态方法呢? 我们知道 当synchronized修饰普通方法,只要是同一个对象,也能保证其原子性

假设 add方法为普通方法

并发编程-05线程安全性之原子性【锁之synchronized】_代码块_17

改造如下:

并发编程-05线程安全性之原子性【锁之synchronized】_多线程_18

多次运行,结果总是10000

并发编程-05线程安全性之原子性【锁之synchronized】_java_19


原子性的实现方式小结

  • synchronized
    不可中断锁,适合不激烈的竞争,可读性较好

  • atomic包
    竞争激烈时能维持常态,比Lock性能好,但只能同步一个值

  • lock
    可中断锁,多样化同步,竞争激烈时能维持常态。后面针对lock单独展开。


代码

https://github.com/yangshangwei/ConcurrencyMaster