线程可见性：
- 线程和cpu核心一对一
运行的时候，会从主存读取到cpu寄存器中，也就是线程本地缓存（区别于threadlocalthreadlocal而是一个线程内部的存储类，可以在指定线程内存储数据，数据存储以后，只有指定线程可以得到存储数据，可以不恰当的比喻为map），运行时在线程本地缓存读写修改数据。
这样会出现两个线程修改一个数据可能不同步，使用volatile可以解决这个问题
volatile维持线程的可见性，立刻同步多线程数据缓存 - 怎么理解超线程，双核四线程？
cpu中一个计算单元对应两组数据寄存器，就叫做超线程
双核四线程就是2个cpu，在每个cpu内部有一个计算单元，每个计算单元都对应两组数据寄存器，这样就是双核四线程； - CPU的构成
image.png
因为寄存器速度和主存差距较大，所以cpu有三级缓存
image.png
三级缓存L3有两个CPU核共享（多核共享），二级缓存L2和一级缓存L1在一个CPU核中；
当需要读取数据x到寄存器中进行计算，会依次去L1，L2，L3中读取，如果没有，从主存中读出x缓存到L1，L2，L3中，下次可以直接从缓存中快速找到。
在程序加载的时候，或者缓存没有数据的时候，数据缓存是一块一块从主存加载到缓存中，回加载比较多的数据，这一块就叫cache line，一般是64字节大小（和cpu数据总线有一定关系）；
image.png
缓存一致性协议（intel-mesi msi mosi等）保持多颗CPU用到同一块（cache line）数据的一致性，会导致互相同步；
线程有序性
cpu级别，汇编级别指令可能会重排序(不影响最后结果的前提下)，原因是为了提高效率；
image.png
乱序存在的条件：
- as-if-serial
- 不影响单线程的最终一致性
并发
lock 临界区 悲观锁 重量级锁
自旋锁 乐观锁 轻量级锁
image.png
- cas 的ABA问题
对象引用的ABA问题，可能导致引用对象变了，版本号和时间戳可以解决ABA问题 - cas操作本身的原子性保障
