cas中单变量多部操作的原子性问题

cas中使用mesi保证单变量但操作的原子性，但是如果两个cpu同时进行读比较操作发现与旧值相同，然后先后将新值赋值给内存，这样不就不能保证原子性了吗

不知道你这个问题是否已经解决, 如果还没有解决的话:

如果你已经解决了该问题, 非常希望你能够分享一下解决方案, 以帮助更多的人 ^-^