多线程的安全问题

1、共享带来的问题

多个线程在临界区内执行，由于代码的执行序列不同而导致结果无法预测。

临界区
一个程序运行多个线程本身是没有问题的
问题出在多个线程访问共享资源。在多个线程对共享资源读写操作时发生指令交错，就会出现问题。一段代码块内如果存在对共享资源的多线程读写操作，称这段代码块为临界区。

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

多个线程在临界区内执行，由于代码的执行序列不同而导致结果无法预测，称之为发生了竞态条件。

2、synchronized 解决方案

为了避免临界区的竞态条件发生，有多种手段可以达到目的。

• 阻塞式的解决方案：synchronized，Lock
• 非阻塞式的解决方案：原子变量

synchronized(对象)
{
	临界区
}

@Slf4j(topic = "c.Test17")
public class Test17 {
	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.debug("{}", counter);//0
    }
}

synchronized理解

synchronized 实际是用对象锁保证了临界区内代码的原子性，临界区内的代码对外是不可分割的，不会被线程切换所打断。

多个线程必须锁住同一个对象，即不能为 t1：synchronized(obj1) 而 t2：synchronized(obj2)

方法上的 synchronized

class Test{
	public synchronized void test() {
	//锁住了this对象
	}
}
//等价于
class Test{
	public void test() {
		synchronized(this) {
		}
	}
}

class Test{
	public synchronized static void test() {
	//锁住了类对象
	}
}
//等价于
class Test{
	public static void test() {
		synchronized(Test.class) {
		}
	}
}

3. 变量的线程安全

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

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

局部变量是否线程安全？

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

局部变量线程安全分析

//每个线程调用 test1() 方法时局部变量 i，会在每个线程的栈帧内存中被创建多份，因此不存在共享
public static void test1() {
	int i = 10;
	i++;
}

常见线程安全类

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

String 和 Integer 是不可变类，因为其内部的状态是不可以改变的，因此他们的方法都是线程安全的。

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