- 保证线程对数据的可见性。 参考[[内存可见性]]
  - 保证线程执行代码的互斥性。参考 [[锁]]
  - 保证执行代码的原子性。参考 [[并发更新之CAS]]