From 0201e27498a2ef0116119fa36dc8aae05aa47bce Mon Sep 17 00:00:00 2001 From: Andrew Noyes Date: Mon, 5 Aug 2024 19:29:38 -0700 Subject: [PATCH] Remove redundant setMaxVersion calls --- ConflictSet.cpp | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/ConflictSet.cpp b/ConflictSet.cpp index 6eab9a8..517c158 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -2882,9 +2882,9 @@ checkMaxBetweenExclusiveImpl(Node *n, int begin, int end, #endif // Returns a pointer to the newly inserted node. Caller must set -// `entryPresent`, `entry` fields and `maxVersion` on the result. The search -// path of the result will have `maxVersion` at least `writeVersion` as -// a postcondition. Nodes along the search path to `key` may be invalidated. +// `entryPresent`, and `entry` fields. The search path of the result will have +// `maxVersion` at least `writeVersion` as a postcondition. Nodes along the +// search path to `key` may be invalidated. [[nodiscard]] Node *insert(Node **self, std::span key, InternalVersionT writeVersion, WriteContext *tls, ConflictSet::Impl *impl) { @@ -3001,7 +3001,6 @@ void addPointWrite(Node *&root, std::span key, n->entryPresent = true; n->entry.pointVersion = writeVersion; - setMaxVersion(n, impl, writeVersion); n->entry.rangeVersion = p == nullptr ? tls->zero : std::max(p->entry.rangeVersion, tls->zero); } else { @@ -3108,10 +3107,7 @@ void addWriteRange(Node *&root, std::span begin, beginNode->entry.rangeVersion = p == nullptr ? tls->zero : std::max(p->entry.rangeVersion, tls->zero); beginNode->entry.pointVersion = writeVersion; - assert(maxVersion(beginNode, impl) <= writeVersion); - setMaxVersion(beginNode, impl, writeVersion); } - setMaxVersion(beginNode, impl, writeVersion); assert(writeVersion >= beginNode->entry.pointVersion); beginNode->entry.pointVersion = writeVersion;