原子性,可见性,有序性
所有操作要么全都执行且不被中断,要么都不执行
当一个线程对某个共享变量的值的修改,能立刻对其他线程可见
navigate_before 日志框架
测试工具 navigate_next