java CAS原理分析和ABA问题的产生和解决方案