JUC并发编程 共享模型之管程 -- 变量的线程安全问题分析(成员变量 & 静态变量 & 局部变量 & 开闭原则 & 理解JDK 中 String 类的实现)

1. 变量的线程安全分析


1.1 成员变量和静态变量是否线程安全?

  • 如果它们没有共享,则线程安全
  • 如果它们被共享了,根据它们的状态是否能够改变,又分两种情况:
    • 如果只有读操作,则线程安全
    • 如果有读写操作,则这段代码是临界区,需要考虑线程安全

1.2 局部变量是否线程安全?

  • 局部变量是线程安全的
  • 但局部变量引用的对象则未必
    • 如果该对象没有逃离方法的作用访问,它是线程安全的
    • 如果该对象逃离方法的作用范围,需要考虑线程安全

1.3 局部变量线程安全分析

静态变量的自增

对于下面的代码:

public static void test1() {
 int i = 10;
 i++; 
 }

每个线程调用 test1() 方法时局部变量 i,会在每个线程的栈帧内存中被创建多份,因此不存在共享
在这里插入图片描述

如图

在这里插入图片描述


1.4 局部变量引用的对象线程安全分析


1.4.1 案例: 全局变量对象

代码:

public class TestThreadSafe {

    static final int THREAD_NUMBER = 2;
    static final int LOOP_NUMBER = 200;

    public static void main(String[] args) {
        ThreadUnsafe test = new ThreadUnsafe();
        for (int i = 0; i < THREAD_NUMBER; i++) {
            new Thread(() -> {
                test.method1(LOOP_NUMBER);
            }, "Thread" + (i + 1)).start();
        }
    }
}

class ThreadUnsafe {
    ArrayList<String> list = new ArrayList<>();

    public void method1(int loopNumber) {
        for (int i = 0; i < loopNumber; i++) {
            method2();
            method3();
        }
    }
	// 直接操作list
    private void method2() {
        list.add("1");
    }
	// 直接操作list
    private void method3() {
        list.remove(0);
    }
}

运行结果:

在这里插入图片描述

分析:

  • 无论哪个线程中的 method2 引用的都是同一个对象中的 list 成员变量
  • method3 与 method2 分析相同

图解:

在这里插入图片描述


1.4.1 案例: 全局变量对象(将上面 list 修改为局部变量)

代码:

import java.util.ArrayList;

public class TestThreadSafe {

    static final int THREAD_NUMBER = 2;
    static final int LOOP_NUMBER = 200;

    public static void main(String[] args) {
        ThreadSafe test = new ThreadSafe();
        for (int i = 0; i < THREAD_NUMBER; i++) {
            new Thread(() -> {
                test.method1(LOOP_NUMBER);
            }, "Thread" + (i + 1)).start();
        }
    }
}


class ThreadSafe {
    public final void method1(int loopNumber) {
        ArrayList<String> list = new ArrayList<>();
        for (int i = 0; i < loopNumber; i++) {
            method2(list);
            method3(list);
        }
    }

    public void method2(ArrayList<String> list) {
        list.add("1");
    }

    private void method3(ArrayList<String> list) {
        list.remove(0);
    }
}

在这里插入图片描述

运行结果:

在这里插入图片描述

分析:

  • list 是局部变量,每个线程调用时会创建其不同实例,没有共享
  • 而 method2 的参数是从 method1 中传递过来的,与 method1 中引用同一个对象
  • method3 的参数分析与 method2 相同

图解:

在这里插入图片描述


1.4.3 局部变量–暴露引用

示例代码:

import java.util.ArrayList;

public class TestThreadSafe {

    static final int THREAD_NUMBER = 2;
    static final int LOOP_NUMBER = 200;

    public static void main(String[] args) {
        ThreadSafeSubClass test = new ThreadSafeSubClass();
        for (int i = 0; i < THREAD_NUMBER; i++) {
            new Thread(() -> {
                test.method1(LOOP_NUMBER);
            }, "Thread" + (i + 1)).start();
        }
    }
}

class ThreadSafe {
    public final void method1(int loopNumber) {
        ArrayList<String> list = new ArrayList<>();
        for (int i = 0; i < loopNumber; i++) {
            method2(list);
            method3(list);
        }
    }

    public void method2(ArrayList<String> list) {
        list.add("1");
    }

    public void method3(ArrayList<String> list) {
        System.out.println(1);
        list.remove(0);
    }
}

class ThreadSafeSubClass extends ThreadSafe {
    // 重写ThreadSafe的method3方法 在方法里面又开启一个线程去操作list
    @Override
    public void method3(ArrayList<String> list) {
        System.out.println(2);
        new Thread(() -> {
            list.remove(0);
        }).start();
    }
}

运行结果:

在这里插入图片描述

原因:

  • 因为重写了method3方法,在里面重新开启了一个新的线程,所以新的线程和原来的线程同时去操作list,发生了互斥。
  • 如果没有控制子类的行为,就有可能造成局部变量的引用暴露给其他的线程,从而发生线程安全问题,所以我们一个限制子类的行为

解决方法: 把父类设置操作资源的方法设置为私有,这样子类就不可以重写它了。把操作资源的公共方法设置为final,这样子类就不可以重写公共方法。

在这里插入图片描述
在这里插入图片描述
从这个例子可以看出 private 或 final 提供【安全】的意义所在,请体会开闭原则中的【闭】


1.4.4 开闭原则:

上诉的示例代码的private 或 final 可以不让子类改变父类的行为
在这里插入图片描述


1.5 理解JDK 中 String 类的实现

源码:

在这里插入图片描述

思考: 为什么需要加final关键字修饰String呢?

如果不用final关键字修饰String类,那么String的子类就有可能覆盖父类中的行为,导致非线程安全的情况发生。String类很好的证明了闭合原则。



  • 2
    点赞
  • 1
    收藏
  • 打赏
    打赏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:博客之星2021 设计师:Hiro_C 返回首页
评论 1

打赏作者

CodeJiao

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值