cas有哪些方法，底层是如何保证原子性的