确定事务是否不一致地实现

首要任务是确定事务是否由于独立操作而不一致地实现。