什么是CAS?
在计算机科学中,比较和交换(Compare And Swap)是用于实现多线程同步的原子指令。 它将内存位置的内容与给定值进行比较,只有在相同的情况下,将该内存位置的内容修改为新的给定值。 这是作为单个原子操作完成的。 原子性保证新值基于最新信息计算; 如果该值在同一时间被另一个线程更新,则写入将失败。 操作结果必须说明是否进行替换; 这可以通过一个简单的布尔响应(这个变体通常称为比较和设置),或通过返回从内存位置读取的值来完成(摘自维基本科)
我的理解:
(1)线程1读取出指定内存地址的数据,加载到寄存器,此时读取出来的原值不仅将作为要被计算的值,还会作为比较值。
(2)当线程1对读取出来的值执行计算之后,将要把新值重新存入内存之前.......会先使用比较值与内存中的原值进行比较---如果两者相等,则表示没有其它线程对当前内存的值进行修改,那么此时就可以把线程1计算后的值存入该内存地址中;如果两者不相等,则说明有其他线程在线程1执行期间抢先对该内存地址的数据进行了修改,此时线程1的执行就算失败了。