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