JMM内存模型八大原子性操作

JMM（Java内存模型）定义了8种原子性操作，以确保不同线程在执行过程中对共享内存的访问和操作保持正确性和一致性。以下是核心内容： 1. lock（锁定）：将一个变量标识为一条线程独占的状态。 2. unlock（解锁）：将一个锁定的变量解除锁定，使得其他线程可以锁定该变量。 3. read（读取）：将主内存的一个变量值加载到工作内存中。 4. load（载入）：将read操作读取的变量值保存到工作内存的变量副本中。 5. use（使用）：将工作内存中的一个变量值传递给执行引擎，以供其执行操作。 6. assign（赋值）：将执行引擎计算出来的值赋值给工作内存中的变量。 7. store（存储）：将工作内存中的变量值传送到主内存。 8. write（写入）：将store操作传送到主内存的变量值保存到主内存的变量中。 这些原子性操作必须遵守以下规则：1. 对于同一条变量，unlock操作必须发生在该变量的lock操作之后。2. 对于同一条变量，read和load、store和write必须成对出现。3. 对于同一条变量，assign操作必须发生在该变量的read和load之后。4. 规则3的逆操作必须发生，即store和write操作必须在assign操作之前。 这些规则确保了不同线程在执行过程中对共享内存的访问和操作的正确性和一致性，从而维护了JMM的内存模型。