JAVA并发二（多线程的问题）

1.为什么多线程会出现问题？

首先来看一段经典的多线程问题代码：

    static int count = 0;
    public void findProblem() throws InterruptedException {
        Thread t1 = new Thread(() -> {
            for (int i = 0; i < 100000; i++) {
                count++;
            }

        }, "t1");
        Thread t2 = new Thread(() -> {
            for (int i = 0; i < 100000; i++) {
                count--;
            }
        }, "t2");
        t1.start();
        t2.start();
        t1.join();
        t2.join();
    }


    @Test
    public void test() throws InterruptedException {
        findProblem();
        System.out.println(count);
    }

运行之后，每次count结果都会不同；

查看count++ 和count--的字节码：

 Code:
      stack=2, locals=1, args_size=1
         0: getstatic     #2                  // Field count:I
         3: iconst_1
         4: iadd
         5: putstatic     #2                  // Field count:I
         8: getstatic     #2                  // Field count:I
        11: iconst_1
        12: isub
        13: putstatic     #2                  // Field count:I
        16: return

可以发现他们都是经过四步

         0: getstatic     #2                  // Field count:I
         3: iconst_1
         4: iadd
         5: putstatic     #2                  // Field count:I

算出来结果，所以说在多线程条件下，任何一步都有可能被阻塞，从而破坏了线程运行时变量的运行结果。

因为变量i是一个两个线程都使用的（共享）变量，所以他们都操作同一个i。

 如果代码是正常按顺序运行的，那么count的值不会计算错：

 出现负数的情况：

 出现正数的情况：

 

临界区

1. 一个程序运行多线程本身是没有问题的

2. 问题出现在多个线程共享资源的时候

   1. 多个线程同时对共享资源进行读操作本身也没有问题

   2. 问题出现在对对共享资源同时进行读写操作时就有问题了

3. 先定义一个叫做临界区的概念：一段代码内如果存在对共享资源的多线程读写操作，那么称这段代码为临界区。

竞态条件

多个线程在临界区执行，那么由于代码指令的执行不确定而导致的结果问题，称为竞态条件。

 2.解决方法

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

• 阻塞式解决方案：synchronized ，Lock

• 非阻塞式解决方案：原子变量

synchronized 加锁：

        它采用互斥的方式让同一时刻至多只有一个线程持有对象锁，其他线程如果想获取这个锁就会阻塞住，这样就能保证拥有锁的线程可以安全的执行临界区内的代码，不用担心线程上下文切换

虽然 java 中互斥和同步都可以采用 synchronized 关键字来完成，但它们还是有区别的：

        互斥是保证临界区的竞态条件发生，同一时刻只能有一个线程执行临界区的代码

        同步是由于线程执行的先后，顺序不同但是需要一个线程等待其它线程运行到某个点。

synchronized(对象) // 线程1获得锁， 那么线程2的状态是(blocked)
{
 临界区
}

synchronized原理

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

synchronized 加在方法上

    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) {

            }
        }
    }

        锁住普通方法，类仍然可以正常加载，但是在调用该方法的时候存在锁的竞争，也就是锁住了当前对象，但是锁住静态方法，类在加载的时候就会被锁住，也就是锁住了这个类，锁的范围要大一些。

测试：

public class Test {
    public static void main(String[] args) {
        TestSynInMethod1 synOnPublic1 = new TestSynInMethod1();
        new Thread(() -> {
            try {
                synOnPublic1.synInPublic();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        }).start();
        new Thread(() -> {
            try {
                synOnPublic1.synInPublic();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        }).start();
    }
}

//----------------------------

public class TestSynInMethod1 {


    synchronized void synInPublic() throws InterruptedException {
        System.out.println("锁被获取");
        Thread.sleep(3000);
        System.out.println("锁被释放");
    }
}

同一个对象会被锁住，两个线程在运行加锁方法的时候按照顺序；

结果：

如果创建两个对象，分别调用，则不会被阻塞。

（修改部分忽略，修改内容只有在两个线程分别创建对象）；

结果：

静态方法锁测试同上，只不过静态方法上加锁会将该类锁住。

3 变量的线程安全分析

3.1 成员变量和静态变量的线程安全分析

• 如果没有变量没有在线程间共享，那么变量是安全的

• 如果变量在线程间共享

  • 如果只有读操作，则线程安全

  • 如果有读写操作，则这段代码是临界区，需要考虑线程安全

3.2 局部变量线程安全分析

• 局部变量【局部变量被初始化为基本数据类型】是安全的

• 局部变量引用的对象未必是安全的

  • 如果局部变量引用的对象没有引用线程共享的对象，那么是线程安全的

  • 如果局部变量引用的对象引用了一个线程共享的对象，那么要考虑线程安全的

 3.3.线程安全性的情况：

3.3.1.局部变量只在局部引用是线程安全的：

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

每个线程在调用该方法的时候，都会在自己的栈帧里创建各自的成员变量。

3.3.2.局部变量的引用逃出了局部则是不安全的：

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

public class Test15 {
    public static void main(String[] args) {
        UnsafeTest unsafeTest = new UnsafeTest();
        for (int i =0;i<100;i++){
            new Thread(()->{
                unsafeTest.method1();
            },"线程"+i).start();
        }
    }
}

不安全原因分析

在调用method1的时候，无论哪个线程中的 method2 和method3 引用的都是同一个对象中的 list 成员变量

解决方法：

将list修改为局部变量，这样每个线程都只会在自己的栈帧中创建自己的对象。

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

注意：

        method2 和 3 都必须使用private关键词修饰，如果把 method2 和 method3 的方法修改为 public 会导致线程安全问题（也可以加final）

        情况1：有其它线程调用 method2 和 method3；

        情况2：在情况1 的基础上，为 ThreadSafe 类添加子类，子类覆盖 method2 或 method3 方法。

3.4.常见的线程安全的类：

1. String

2. Integer

3. StringBuffer

4. Random

5. Vector

6. Hashtable

7. java.util.concurrent 包下的类

 3.4.1：String类：

String类的源码：

public final class String implements Serializable, Comparable<String>, CharSequence

String类是final修饰的，他是不可变的，所以线程安全。

3.4.2: Integer:

Integer源码：

public final class Integer extends Number implements Comparable<Integer>

也是final修饰的，不可变。

3.4.3：StringBuilder

StringBuilder源码：

public final class StringBuilder extends AbstractStringBuilder implements Serializable, Comparable<StringBuilder>, CharSequence

也是final修饰的。

3.4.4：Random：

public class Random implements Serializable {
    private final AtomicLong seed; //其中一个字段seed用了AtomicLong 
    //构造方法就用了这个seed 来保证线程安全
    public Random(long seed) {
        this.haveNextNextGaussian = false;
        if (this.getClass() == Random.class) {
            this.seed = new AtomicLong(initialScramble(seed));
        } else {
            this.seed = new AtomicLong();
            this.setSeed(seed);
        }

    }
}

其中里面的seed 的修饰符

AtomicLong 是原子Long，对该字段进行的操作都是cas操作 就是compareandset操作，这个操作在后面的并发内容中有讲述，总之他是一个原子操作，不会有并发问题。

3.5.5：Vector：

public class Vector<E> extends AbstractList<E> implements List<E>, RandomAccess, Cloneable, Serializable {
    public synchronized void copyInto(Object[] anArray) {
        
    }

    public synchronized void trimToSize() {

    }

    public synchronized void ensureCapacity(int minCapacity) {

    }

    //......
}

源码中可以看到里面的方法都加了syn锁来保证线程安全。

3.5.6：Hashtable：

public class Hashtable<K, V> extends Dictionary<K, V> implements Map<K, V>, Cloneable, Serializable {
    public synchronized int size() {
        
    }

    public synchronized boolean isEmpty() {
        
    }

    public synchronized Enumeration<K> keys() {
        
    }

    public synchronized Enumeration<V> elements() {
        
    }

    public synchronized boolean contains(Object value) {
        
    }
// ........
}

   可以看到里面的方法也都加了syn锁来保证线程安全。

3.5.7：java.util.concurrent 包下的类

        这个包是java专门为了保证线程安全开发的类，都使用了cas操作来保证线程安全。

注意： 

        其中的一些类的方法上加锁只能保证当前方法的线程安全，但是多个方法的组合不是线程安全的。

        例如：

Hashtable table = new Hashtable();
// 线程1，线程2
if( table.get("key") == null) {
 table.put("key", value);
}

        当线程1拿到get方法的锁，调用完成后释放锁，此时线程二再来拿get方法的对象锁是成功的，这样两个线程都判断出了同样的结果，所以发生了线程不安全；

总结一下：

        上面的类在方法上加锁，只能保证多个线程在访问同一个方法的时候，是线程安全的，但不能保证多个方法是线程安全的。