线程不安全的根源(原子性\可见性\不变性)

线程安全的核心

要对代码块或者变量的访问状态进行管理

原子性(Atomic)

原子性就是指该操作是不可再分的。不论是多核还是单核，具有原子性的量，同一时刻只能有一个线程来对它进行操作。简而言之，在整个操作过程中不会被线程调度器中断的操作，都可认为是原子性。比如 a = 1；

而非原子性操作和和非原子性变量,例如:
(1)六十四位的long长整形变量和double双精度变量,实际上是分为前32位和后32位组成的,在赋值和改变的时候,是被分为两部分,先对前32位赋值,再对后32位赋值,在多线程的情况下,有可能会发生主线程在赋值的时候,其他线程拿了后32位的一个随机数
(2)像 i+=a和i++实际上是分为两部分,先计算i+a再把i+a赋值给i,多线程的时候有可能会发生还没有赋值就把i拿走了
以上的非原子性的操作就要用atomic类或者synchronized,定义为不可分的操作,看作一个整体

AtomicLong num = new AtomicLong(1222);
synchronized (o){a++;}

可见性(volatile)

数绵羊问题

public class CountSheep extends Thread{
    boolean flag ;
    int sheepCount = 0;
    @Override
    public void run(){
        while (!flag){
            sheepCount++;
        }
    }
    public static void main(String[] args) throws InterruptedException {
        CountSheep cs = new CountSheep();
        cs.start();
        //让主线程休眠
        Thread.sleep(2000);
        cs.flag = true;
        System.out.println("count of sheep" + cs.sheepCount);
    }
}

按照预期在主线程醒来之后,修改了flag,子线程就会结束,主线程结束,从而虚拟机结束运行

然而实际运行结果

为什么会出现这种状况?
While 部分的代码会被拷⻉到CountSheep的线程栈内存中，⽽主线程对变量的修改并不会修改CountSheep线程栈中的变量。

这时候用volatile就能避免这种状况,这个关键字修饰的效果这里解释一下,volatile修饰的变量是强制放在堆内存中的,即它是被所有线程共享的数据,每次的取和改,都要亲自来访问它,每个线程在拿这个变量的时候都要时刻关注它是否被改变了(这样就改变了上面每个线程只访问自己的变量问题)

线程封闭

另一避免使用同步的方法就是不共享数据,如果仅在单线程内访问数据,就不需要同步,这种技术为线程封闭
(1)AD-hoc线程封闭
(2)栈封闭
(3)ThreadLoacl类

不变性

前面的两个性质都和访问有关,如果变量是不可变的那么就不存在线程不安全问题
不可变对象:如果某个对象在创建后其状态就不能被改变,那么这个对象就称为不可变对象
满足以下条件,对象是不可变的:
(1)对象创建以后状态就不能被修改
(2)对象的所有域都是final类型
(3)对象是正确创建的(在对象的创建期间,this引用没有逸出)
(this逸出??)以后再说

每日刷算法,总结算法类型
计算机组成原理\计算机网络\