CAS算法/ABA问题

CAS算法(compare and swap)： 两线程同时想操作一块数据，该数据资源只能由一个线程使用。资源有0，1两种状态，0表示空闲，1表示忙碌。两线程都有一个预期原值0，和新值1，若线程A先触到该资源，会比较资源状态和自己的预期原值，若相等则更改状态为1。而线程B后接触也会比较状态和自己的预期原值，若不一样，自己进入循环等待状态(一直比较直到相等)。

ABA问题： 其它线程修改数次最后值和原值相同。(线程A将状态从0->1->0)
解决方法： 加一个版本号version，线程A操作一次版本号+1，线程B虽然比较发现状态合适，但是版本号不对，还是无法使用资源。