事务的实现方式和原理