5.4.2 事务的实现