假设事务可以发出读操作
write(Q)和写操作write(Q)。
假设表示Q的写时间戳为小于等于
的最大写时间戳的数据版本。
- 如果事务
发出读操作
read(Q),则返回的数据是就是的
content值; - 如果事务
发出写操作
write(Q),且,则系统回滚事务
;如果
,则系统就会覆盖写入
的
Content值;如果,则系统就会创建Q的一个新版本;
假设事务可以发出读操作
write(Q)和写操作write(Q)。
假设表示Q的写时间戳为小于等于
的最大写时间戳的数据版本。
read(Q),则返回的数据是就是content值;write(Q),且Content值;如果