9.5 事务的实现