内存模型与多线程

计算机的结构基础

计算机多级缓存

cpu执行计算

jmm

 

使用voltile修饰变量，还是会导致一个些数据更新丢失，但使用AtomicInteger可以保证原子性

AtomicInteger是对int类型的一个封装，提供原子性的访问和更新操作，其原子性操作的实现是基于CAS（compare-and -swap）技术。（其与voltile不一样，是使用内存地址偏移量直接从内存中获取值）

二、CAS

CAS算法的过程是这样的，它包含三个参数CAS（V,E,N）。V表示要更新的变量，E表示预期值，N表示新值。仅当V值等于E值时，才会将V的值设为N。如果V值和E值不同，说明已经有了其他线程做了修改，则当前线程什么都不做。最后，CAS返回当前V的真实值。CAS是抱着乐观的态度来的，它总认为自己可以完成。当有多个线程竞争时，总有一个线程能够完成。其他线程则继续尝试，直到任务完成。CAS操作即使没有锁，也能发现其他线程对当前线程的干扰，并进行正确处理。

由于CAS的这种机制，它是非阻塞的，天生对死锁免疫。

CAS的缺点有以下几个方面：

1. ABA问题
   如果某个线程在CAS操作时发现，内存值和预期值都是A，就能确定期间没有线程对值进行修改吗？答案未必，如果期间发生了 A -> B -> A 的更新，仅仅判断数值是 A，可能导致不合理的修改操作。针对这种情况，Java 提供了 AtomicStampedReference 工具类，通过为引用建立类似版本号（stamp）的方式，来保证 CAS 的正确性。
2. 循环时间长开销大
   CAS中使用的失败重试机制，隐藏着一个假设，即竞争情况是短暂的。大多数应用场景中，确实大部分重试只会发生一次就获得了成功。但是总有意外情况，所以在有需要的时候，还是要考虑限制自旋的次数，以免过度消耗 CPU。
   3.只能保证一个共享变量的原子操作

jvm内存