我正在学习基于时间戳的协议。我试图创建一个实例,但我不确定这是否正确。
每个事务Ti都有时间戳ts(Ti)
If a transaction Ti issues read(X) operation:
If TS(Ti) < W-timestamp(X)
Operation rejected.
If TS(Ti) >= W-timestamp(X)
Read Operation executed. We set R-timestamp(x) = max(ts(T), R-timestamp(x)
All data-item Timestamps updated.
为了创建一个实际的例子,我制作了这个非常简单的excel公式(其中C1是TS(Ti),D1是x的W时间戳:
=IF(C1<D1,"TRUE","FALSE")
所以我输入:
(C1) (C2)
TS(Ti) | W-Timestamp |
01/02/2015 | 03/02/2015 | TRUE
在第一个日期,事务(比邮票旧)正在尝试读取已由较新事务更新的值。由于Ti<W-timestamp
为True
,我们会中止交易&amp;使用新的时间戳重新启动。
这是否意味着TS(Ti)
现在成为03/02/2015
的日期?所以,如果我们再次进行测试:
Execute If: (03/02/2015 >= 03/02/2015) = True
然后我们需要设置R-timestamp(x) = max(ts(T), R-timestamp(x)
所以我们最终得到:
TS = 03/02/2015
W-timestamp = 03/02/2015
R-timestamp = 03/02/2015 <- is this correct, not sure what to do here.
如果这个实际例子正确吗? R时间戳究竟发生了什么?
答案 0 :(得分:0)
这是正确的。
但最好将epoc时间用于时间戳(以毫秒为单位)。
为您的示例事务重新启动以从数据库中读取上次更新的X.读取时间戳已使用上次时间戳更新,以表示具有此时间戳的事务读取此数据并基于此工作。如果另一个事务需要更改此值(即X)必须具有比Read-Timestamp(X)更大的时间戳。
Read-Timestamp将签入写入规则。