Thread安全一一JAVA内存模型与线程安全问题

 此系列文章是参考《JAVA并发编程从入门到精通》一书写的一些读后笔记，其中也会进行扩展补充，写的不准确的地方还望广大同胞指出，大家一起学习，一起码奴。

初识java内存模型

 CPU在计算的时候，并不是一直从内存中读取数据，它读取数据的优先级是：寄存器-》高速缓存-》内存，线程计算的时候，原始数据来自内存，在计算过程中，有些数据可能被频繁读取，这些数据被存储在寄存器和高速缓存中，计算完成后再写回内存。所以当多个线程同时读写某个内存数据的时候，由于数据的可见性、操作的有序性，容易产生并发问题。
 Java规定定义了统一的内存管理模型JMM，其屏蔽了底层平台内存管理细节。JVM规定了jvm有主内存和工作内存，主内存其实就是我们平时说的Java堆内存，存放类实例、静态数据等变量，是线程共享的。工作内存存放的是该线程从主内存拷贝过来的变量以及访问方法取得的局部变量，是线程私有的。多线程之间不能直接互相传递数据，只能通过共享变量来进行。

 上文中写到线程之间只能通过共享变量来进行的，那么共享变量会面临着一些问题，我们先来看下当线程操作某个对象的执行顺序：

1. 从住存复制变量到当前工作内存(read and load)
2. 执行代码，改变共享变量值(use and assign)
3. 用工作内存数据，刷新主存相关内容(store and write)
    所以可以看出线程与线程工作内存之间就有了相互的隔离效果，即可见性问题。

什么是不安全

 当多个线程操作一个数据时产生了相互修改和串行的问题，没有保证数据的一致性，我们通常称这种设计的代码为线程不安全的。下面假设一个场景，有五个用户，都来给一个数字加1，最后应该得到5的结果

//用户操作加1的类
class Count{
    private int num = 0;
    
    public void add(){
        try {
            Thread.sleep(5l);
            num += 1;
            System.out.println(Thread.currentThread().getName() + "-" + num);
        } catch (InterruptedException ex){
        }
    }
}
//用户线程类，这里Count的赋值是为了使多个线程共享一个Count实例
class ThreadCount extends Thread{
    private Count count;

    public ThreadCount(Count count) {
        this.count = count;
    }

    @Override
    public void run() {
        count.add();
    }
}
//测试方法
public static void main(String[] args) {
     Count count = new Count();
     for (int i = 0;i < 5;i++) {
         new ThreadCount(count).start();
     }
 }

运行结果如下，由于多线程问题，实际上每次的结果都是不一样的：

Thread-2-2
Thread-3-2
Thread-4-4
Thread-1-2
Thread-0-3

 可见运行结果与我们预期的情况不符，特别是我们在使用spring开发的时候，一般都是单例的bean，如果其中存在共享变量的话，并发的情况下容易出现上面的问题。

什么是安全

 上文中举了一个线程不安全的例子，那么根据刚才的例子如何将它变成安全的呢，看下面的改动

class Count{
    private int num = 0;

    public synchronized void add(){
        try {
            Thread.sleep(5l);
            num += 1;
            System.out.println(Thread.currentThread().getName() + "-" + num);
        } catch (InterruptedException ex){
        }

    }
}

运行结果如下：

Thread-0-1
Thread-4-2
Thread-3-3
Thread-2-4
Thread-1-5

 可以看出这次的结果符合我们的预期了，最后num变成了5。而且无论多少个用户，多少个线程执行add这个方法都可以保证数据的一致性和准确性，这个就是线程安全的体现。那么为什么可以做到线程安全呢，因为我们用到了同步锁synchronized。下一篇主要说说synchronized和一些lock们。