基于操作的单向，事务性商店实现