【多线程学习三】线程安全

上下文切换Context Switch

以下一些原因导致 cpu 不再执行当前的线程,转而执行另一个线程的代码

  • 线程的 cpu 时间片用完
  • 垃圾回收
  • 有更高优先级的线程需要运行
  • 线程自己调用了 sleep、yield、wait、join、park、synchronized、lock 等方法

当 上下文切换发生时,需要由操作系统保存当前线程的状态,并恢复另一个线程的状态,Java 中对应的概念

就是程序计数器(Program Counter Register),它的作用是记住下一条 jvm 指令的执行地址,是线程私有的

  • 状态包括程序计数器虚拟机栈中每个栈帧的信息,如局部变量、操作数栈、返回地址等
  • 上下文切换频繁发生会影响性能

并行

多核cpu情况下,每个核都可以调度运行线程,此时的线程是并行的 parallel

并发

同一时刻线程轮流使用CPU的做法 concurrent

共享模型

临界区

一段代码块内如果存在对共享资源的多线程读写操作,这段代码块称为临界区

多个线程对共享资源读写操作时发生指令交错,会出现问题

static int counter = 0;
static void increment() 
// 临界区
{ 
 counter++; 
 }
 
static void decrement() 
// 临界区
{ 
	counter--; 
}
竞态条件

多个线程在临界区执行,由于代码的执行序列不同导致结果无法预测,这种现象称为竞态条件

Synchronized

对象锁,同一时刻只能有一个线程拥有一个对象锁,而拥有对象锁的线程可以对共享资源进行操作

采用对象锁保证了临界区内代码的原子性

当线程1获取到对象锁后,线程2进来后获取不到对象锁,陷入blocked,等到线程1执行完后会释放对象锁并唤醒正在阻塞状态的线程,即线程2此时就能获取到对象锁

synchronized(对象){
  //临界区
}

针对多个线程操作共享资源,线程的对象锁要统一,且这多个线程都要添加对象锁

如下,当线程1和线程2都要对counter进行操作时,两个线程都要添加同一把锁,这样才能解决指令交错带来的问题

@Slf4j
public class Demo_synchronized {
    static int counter = 0;
    static Object lock = new Object();
    public static void main(String[] args) throws InterruptedException {
        Thread t1 = new Thread(()->{
            for(int i=0; i<5000; i++){
                synchronized (lock){
                    //   执行自增操作
                    counter++;
                }
            }
        }, "t1");
        Thread t2 = new Thread(()->{
            for(int i=0; i<5000; i++){
                synchronized (lock){
                    // 执行自减操作
                    counter--;
                }
            }
        }, "t2");
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        log.info("{}", counter);
    }
}
方法上的synchronized

synchronized只针对对象,不是锁方法

当作用在普通的成员方法上时,锁的是this对象

class Test{
 public synchronized void test() {
 
 	}
}
//等价于
class Test{
 public void test() {
 	synchronized(this) {
 		}
 }
}

当作用在静态成员方法上时,锁的是当前的类对象

class Test{
 public synchronized static void test() {
 }
}
//等价于
class Test{
 public static void test() {
 synchronized(Test.class) {
 
 }
 }
}
线程八锁
情况1

锁的是同一个this对象,产生互斥现象

执行结果 --》1 2 / 2 1

@Slf4j(topic = "c.Number")
class Number{
 public synchronized void a() {
 	log.debug("1");
 }
 public synchronized void b() {
 	log.debug("2");
 }
}
public static void main(String[] args) {
 	Number n1 = new Number();
	new Thread(()->{ n1.a(); }).start();
 	new Thread(()->{ n1.b(); }).start();
}
情况2

锁的都是同一个this对象,产生互斥对象

执行结果 --》1s后1 2 / 2 1s后1

@Slf4j(topic = "c.Number")
class Number{
 public synchronized void a() {
 	sleep(1);
 	log.debug("1");
 }
 public synchronized void b() {
 	log.debug("2");
 }
}
public static void main(String[] args) {
 	Number n1 = new Number();
 	new Thread(()->{ n1.a(); }).start();
 	new Thread(()->{ n1.b(); }).start();
}
情况3

a b锁的都是同一个this对象,c没有上锁

只有a和b会有互斥效果,c没有,所以c会并行执行

执行结果 --》3 1s后1 2 /2 3 1s后1/3 2 1s后1

@Slf4j(topic = "c.Number")
class Number{
 public synchronized void a() {
 	sleep(1);
 	log.debug("1");
 }
 public synchronized void b() {
 	log.debug("2");
 }
 public void c() {
	 log.debug("3");
 }
}
public static void main(String[] args) {
 	Number n1 = new Number();
 	new Thread(()->{ n1.a(); }).start();
 	new Thread(()->{ n1.b(); }).start();
 	new Thread(()->{ n1.c(); }).start();
}
情况4

a和b锁的不是同一个对象,不存在互斥,a和b可以并发

但是a需要休眠1s,所以优先执行b

执行结果 --》2 1s后1

@Slf4j(topic = "c.Number")
class Number{
 public synchronized void a() {
	 sleep(1);
 	log.debug("1");
 }
 public synchronized void b() {
	 log.debug("2");
 }
}
public static void main(String[] args) {
	Number n1 = new Number();
 	Number n2 = new Number();
 	new Thread(()->{ n1.a(); }).start();
 	new Thread(()->{ n2.b(); }).start();
}
情况5

a锁的是类对象,b锁的是this对象,a和b锁的不是同个对象,不存在互斥现象,可并行

执行结果 --》 2 1s后1(1睡眠了)

@Slf4j(topic = "c.Number")
class Number{
 public static synchronized void a() {
 sleep(1);
 log.debug("1");
 }
 public synchronized void b() {
 log.debug("2");
 }
 }
public static void main(String[] args) {
 Number n1 = new Number();
 new Thread(()->{ n1.a(); }).start();
 new Thread(()->{ n1.b(); }).start();
}
情况6

a和b都是锁的同一个类对象,存在互斥对象

执行结果 --》1s后1 2 / 2 1s后1

@Slf4j(topic = "c.Number")
class Number{
 public static synchronized void a() {
 	sleep(1);
 	log.debug("1");
 }
 public static synchronized void b() {
	 log.debug("2");
 }
}
public static void main(String[] args) {
 	Number n1 = new Number();
 	new Thread(()->{ n1.a(); }).start();
 	new Thread(()->{ n1.b(); }).start();
}
情况7

a锁的是类对象,b锁的是this对象,且a和b不是同个对象实例调用的方法,不存在互斥现象,可并行执行

执行结果 --》2 1s后1

@Slf4j(topic = "c.Number")
class Number{
 public static synchronized void a() {
	 sleep(1);
 	log.debug("1");
 }
 public synchronized void b() {
	 log.debug("2");
 }
}
public static void main(String[] args) {
	 Number n1 = new Number();
	 Number n2 = new Number();
	 new Thread(()->{ n1.a(); }).start();
	 new Thread(()->{ n2.b(); }).start();
}
情况8

a和b锁的都是类对象,且都是同个类对象,存在互斥

执行结果 --》2 1s后1/1s后1 2

@Slf4j(topic = "c.Number")
class Number{
 public static synchronized void a() {
 	sleep(1);
 	log.debug("1");
 }
 public static synchronized void b() {
 	log.debug("2");
 }
}
public static void main(String[] args) {
 	Number n1 = new Number();
 	Number n2 = new Number();
 	new Thread(()->{ n1.a(); }).start();
 	new Thread(()->{ n2.b(); }).start();
}

变量线程安全

成员变量和静态变量
  • 如果它们没有共享,则线程安全
  • 如果它们被共享了,根据它们的状态是否能够改变,又分两种情况
    • 如果只有读操作,则线程安全
    • 如果有读写操作,则这段代码是临界区,需要考虑线程安全
局部变量
  • 局部变量是线程安全的
  • 但局部变量引用的对象则未必(堆)
    • 如果该对象没有逃离方法的作用访问,它是线程安全的
    • 如果该对象逃离方法的作用范围,需要考虑线程安全
局部变量线程安全分析

局部变量i会在每个线程的栈帧内存中创建多份,所以不会存在共享问题

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

在这里插入图片描述

局部变量引用

list是一个成员变量时,在method1中调用method2和method3会出现资源共享的问题,为临界区,指令交错

class ThreadUnsafe {
 ArrayList<String> list = new ArrayList<>();
 public void method1(int loopNumber) {
	 for (int i = 0; i < loopNumber; i++) {
 	// { 临界区, 会产生竞态条件
            method2();
 			method3();
 	 // } 临界区
 	}
 }
 private void method2() {
	 list.add("1");
 }
 private void method3() {
 	list.remove(0);
 }
}

在这里插入图片描述

方法执行中,method2调用的都是同一个list对象,method3同理,并且都进行了读写操作,需要考虑线程安全问题

在这里插入图片描述

把list修改为局部变量

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

每个线程都创建了一个新的list对象并对所创建的list对象执行操作,不存在共享问题

在这里插入图片描述

当局部变量的对象暴露给外部时,会引发什么?

当ThreadSafe中的方法为public时,ThreadSafeSubClass的method3的list和父类的method3的list是共享资源,会引发线程安全问题

所以设置为private可以保护方法的线程安全,限制了子类不能重写父类方法,父类的公共方法也可以通过添加final让子类不能重写–》开闭原则(闭)

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

class ThreadSafeSubClass extends ThreadSafe{
	 @Override
	 public void method3(ArrayList<String> list) {
		 new Thread(() -> {
			 list.remove(0);
 		}).start();
 	}
}

常见的线程安全

  • String
  • Integer
  • StringBuffer
  • HashTable
  • Vector
  • Random
  • java.util.concurrent包下的类

多个线程调用它们同一个实例的某个方法时,是线程安全的

Hashtable table = new Hashtable();
new Thread(()->{
 	table.put("key", "value1");
}).start();
new Thread(()->{
 	table.put("key", "value2");
}).start();

在这里插入图片描述

  • 它们的每个方法是原子的
  • 但它们多个方法的组合不是原子的
Hashtable table = new Hashtable();
	// 线程1,线程2
if( table.get("key") == null) {
	 table.put("key", value);
}

在这里插入图片描述

两次put的值不一样,会覆盖掉第一次put的值,不是线程安全的,需要在if方法中添加synchronized锁防止上下文切换对线程造成干扰

不可变类线程安全性

String、Integer 等都是不可变类,因为其内部的状态不可以改变,因此它们的方法都是线程安全的

String 有 replace,substring 等方法【可以】改变值,其实都是创建了新的String对象去存值

就算局部对象是线程安全的,但是还要考虑是否会暴露给其他类去进一步决定是不是线程安全的

为什么String要设置为final类?

如果不设置为final,那子类可以重写父类的某些方法进而去覆盖掉父类方法的行为,造成线程不安全–》闭合原则

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值