15.6 事务类算法