事务原子性、一致性、持久性的实现原理