diff --git a/ConflictSet.cpp b/ConflictSet.cpp index d235de9..ae008c7 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -604,9 +604,11 @@ Iterator firstGeq(Node *n, const std::span key) { return {stepwise.n, stepwise.cmp}; } +// TODO rewrite in terms of FirstGeqStepwise? +// // Logically this is the same as performing firstGeq and then checking against // point or range version according to cmp, but this version short circuits as -// soon as it can prove that there's no conflict +// soon as it can prove that there's no conflict. bool checkPointRead(Node *n, const std::span key, int64_t readVersion) { auto remaining = key;