- \LeftComment{Go Through local pending transactions and speculate}\r
- \ForAll{$\tuple{num, \tuple{KV, Guard}} \in PendingTransSet$ sorted by num}\r
- \If{\Call{EvaluateGuard}{$Guard, SpecKVTmp$}}\r
- \State $DKV \gets \{\tuple{k,v}| \tuple{k,v} \in SpecKVTmp \land \tuple{k',v'}\in KV \land k'=k\}$\r
- \State $SpecKVTmp \gets (SpecKVTmp \setminus DKV) \cup KV$\r
- \EndIf\r
- \EndFor\r
- \r
- \State $\tuple{k,v} \gets \tuple{k,v}$ \textit{such that} $\tuple{k,v} \in SpecKVTmp \land k = k_a$\r
+ \State $\tuple{k,v} \gets \tuple{k,v}$ \textit{such that} $\tuple{k,v} \in SpeculatedKV \land k = k_a$\r