mark CAS是什么？是怎么工作的？常见的ABA问题怎么解决？