前面提到了“强一致性”和“弱一致性”。很多同学留言表示对这个概念没有了解或者比较模糊,今天这讲加餐就来详解一下。
说到一致性,其实在系统的很多地方都存在数据一致性的相关问题。除了在并发编程中保证共享变量数据的一致性之外,还有数据库的 ACID 中的 C(Consistency 一致性)、分布式系统的 CAP 理论中的 C(Consistency 一致性)。
下面
我们主要讨论的就是“并发编程中共享变量的一致性”。
在并发编程中,Java 是通过共享内存来实现共享变量操作的,所以在多线程编程中就会涉及到数据一致性的问题。
我先通过一个经典的案例来说明下多线程操作共享变量可能出现的问题,假设我们有两个线程(线程 1 和线程 2)分别执行下面的方法,x 是共享变量:
//
代码
1
public class Example {
int x = 0;
public void count() {
x++; //1
System.out.println(x)//2
}
}
![](https://i-blog.csdnimg.cn/blog_migrate/f3acd6b875210e7f26a0cd057f412b60.png)
如果两个线程同时运行,两个线程的变量的值可能会出现以下三种结果:
![](https://i-blog.csdnimg.cn/blog_migrate/38d04aa11643f03f56c530dde5fbf584.png)
Java
存储模型
2,1 和 1,2 的结果我们很好理解,那为什么会出现以上 1,1 的结果呢?
我们