weaselab/conflict-set
2
0
Fork 0
Code Issues 4 Packages Releases 13 Activity

Add short-circuiting back to range checks

Browse Source
This commit is contained in:
Andrew Noyes
2024-10-12 17:20:22 -07:00
parent e8982074f2
commit 8eb5e76336
1 changed files with 12 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
ConflictSet.cpp
View File

@@ -3410,7 +3410,8 @@ PRESERVE_NONE void done_common_prefix_iter(CheckJob *job,
job->remaining = job->begin;
auto c = getChild(job->n, job->remaining[0]);
auto [c, maxV] = getChildAndMaxVersion(job->n, job->remaining[0]);
job->maxV = maxV;
Node *child = c;
if (child == nullptr) {
auto c = getChildGeq(job->n, job->remaining[0]);
@@ -3463,7 +3464,7 @@ PRESERVE_NONE void left_side_iter(CheckJob *job, CheckContext *context) {
job->setResult(false);
MUSTTAIL return complete(job, context);
}
if (maxVersion(n) > job->readVersion) {
if (job->maxV > job->readVersion) {
job->setResult(false);
MUSTTAIL return complete(job, context);
}
@@ -3488,7 +3489,7 @@ PRESERVE_NONE void left_side_iter(CheckJob *job, CheckContext *context) {
job->setResult(false);
MUSTTAIL return complete(job, context);
}
if (maxVersion(n) > job->readVersion) {
if (job->maxV > job->readVersion) {
job->setResult(false);
MUSTTAIL return complete(job, context);
}
@@ -3499,8 +3500,13 @@ PRESERVE_NONE void left_side_iter(CheckJob *job, CheckContext *context) {
++context->tls->range_read_iterations_accum;
if (job->maxV <= job->readVersion) {
job->continuation = done_left_side_iter;
MUSTTAIL return job->continuation(job, context);
}
if (job->remaining.size() == 0) {
if (maxVersion(n) > job->readVersion) {
if (job->maxV > job->readVersion) {
job->setResult(false);
MUSTTAIL return complete(job, context);
} else {
@@ -3515,7 +3521,8 @@ PRESERVE_NONE void left_side_iter(CheckJob *job, CheckContext *context) {
MUSTTAIL return complete(job, context);
}
auto c = getChild(n, job->remaining[0]);
auto [c, maxV] = getChildAndMaxVersion(job->n, job->remaining[0]);
job->maxV = maxV;
Node *child = c;
if (child == nullptr) {
auto c = getChildGeq(n, job->remaining[0]);