From b018ccc3ae300fc31b1d55da0ca65d0da72ff148 Mon Sep 17 00:00:00 2001 From: Andrew Noyes Date: Thu, 8 Feb 2024 10:16:31 -0800 Subject: [PATCH] Add TODO --- ConflictSet.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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;