为什么两个volatile变量在不变式中就会使得volatile线程不安全？
volatile只能保证代码的可见性，而不能保证代码的原子性。所以，当代码包含其他共享变量时，如果被其他线程执行，那么值就会发生改变。