CAS实现原理