并发编程的那些事

管程，就是我们这里的 synchronized，我们知道 synchronized 修饰的临界区是互斥的，也就是说同一时刻只有一个线程执行临界区的代码

Java 内存模型主要分为两部分，一部分面向你我这种编写并发程序的应用开发人员，另一部分是面向 JVM 的实现人员的，我们可以重点关注前者，也就是和编写并发程序相关的部分。

分工指的是如何高效地拆解任务并分配给线程，同步指的是线程之间如何协作，互斥指的是保证同一时刻只允许一个线程访问共享资源。

在 32 位的机器上对 long 型变量进行加减操作存在并发隐患，到底是不是这样呢？接下来，我们就深入探讨一下。