事务

业务的本质是数据。

事务是业务的一种性质。事务的本质是业务获取数据状态到改变数据状态处在同一个上下文里面。本质就相当于intel的xchg指令。

所以要实现事务这个性质，只需要把“上下文”这个语义实现就行了。