从头认识java-17.4 详解同步（2）-详解竞争条件

这一章节我们来详细讨论一下竞争条件。

1.为什么会引起竞争条件？

由于操作缺失原子性。

2.什么是原子性？

所谓原子操作是指不会被线程调度机制打断的操作；这种操作一旦开始，就一直运行到结束，中间不会有任何 context switch （切换到另一个线程）。

3.分解上一章节转账的步骤：

（1）读取某个账户的余额，对比提取的金额

if (accounts[fromAccount] < money) {return;}

（2）从A账户转出XXX元

accounts[fromAccount] -= money;

（3）从B账户转入XXX元

accounts[toAccount] += money;

4.由于不具备原子性，而且是多线程运行，因此我们可以假设：

（1）现在线程A已经执行了上面的第一第二步

（2）现在线程B启动，对同样的账户进行上面的第一第二步

（这个时候已经出错了）

（3）线程A再执行第三步

（4）线程B再执行第三步

循环....

我们上面只是列出两个线程同时工作的情况，但是我们的测试程序开了20个线程，如果现实当中可能是20000甚至2000000个线程，数据直接就乱套了。

5.步骤图：

6.更糟的情况

由于决定这个误差出现的概率是由步骤2到步骤3之间的时间控制的，时间越长，误差出现的概率越高。

总结：这一章节主要详细讨论了竞争条件。

这一章节就到这里，谢谢。

-----------------------------------

目录