CAS算法主要关心3个值：内存值V，预期值A，要更新的新值B。
注：t1，t2线程是同时更新同一变量56的值
因为t1和t2线程都同时去访问同一变量56，所以他们会把住内存的值完全拷贝一份到自己的工作内存空间，所以t1和t2线程值都为56
假设t1和t2在线程竞争中线程t1能去更新变量值改为57，而其他线程都失败。（失败的线程并不会被挂起，而是被告知这次竞争中失败，并可以再次发起尝试）。T1线程去更新变量值改为57，然后写到内存中。此时对于t2来说，内存值改为57，与预期值56不一致，就操作失败了（想改的值不再是原来的值）。
通俗的解释是：CPU去更新一个值，但如果想改的值不再是原来的值，操作就失败，因为很明显，有其他操作先改变了这个值。
就是指当两者进行比较时，如果相等，则证明共享数据没有被修改，替换成新值，然后继续往下运行；如果不相等，说明共享数据已经被修改，放弃已经所做的操作，然后重新执行刚才的操作。当同步冲突出现的机会很少时，这种假设能带来较大的性能提升。