Skip to content

Run Jepsen tests under RR#5317

Open
markhannum wants to merge 2 commits intobloomberg:mainfrom
markhannum:jepsen
Open

Run Jepsen tests under RR#5317
markhannum wants to merge 2 commits intobloomberg:mainfrom
markhannum:jepsen

Conversation

@markhannum
Copy link
Contributor

@markhannum markhannum commented Aug 7, 2025

Jepsen tests verify linearizable isolation

roborivers
roborivers suggested changes Aug 7, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

roborivers
roborivers suggested changes Aug 7, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

@markhannum markhannum force-pushed the jepsen branch 2 times, most recently from 71a786f to 154a2c7 Compare August 8, 2025 00:38
roborivers
roborivers suggested changes Aug 8, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Error ⚠.
Regression testing: 0/0 tests failed ⚠.

roborivers
roborivers suggested changes Aug 8, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 0/0 tests failed ⚠.

roborivers
roborivers suggested changes Aug 8, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 0/0 tests failed ⚠.

roborivers
roborivers suggested changes Aug 8, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 510/632 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables
sc_truncate
jepsen_register_nemesis
jepsen_bank_nemesis
jepsen_sets_nemesis
jepsen_sets
jepsen_register
jepsen_g2
jepsen_dirty_reads
jepsen_bank

@markhannum markhannum force-pushed the jepsen branch 3 times, most recently from de6dc9f to 597c668 Compare August 8, 2025 18:27
roborivers
roborivers suggested changes Aug 8, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 515/632 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables
jepsen_register_nemesis
jepsen_bank_nemesis
jepsen_sets_nemesis
jepsen_sets
jepsen_register
jepsen_g2
jepsen_bank
jepsen_atomic_writes
jepsen_dirty_reads

roborivers
roborivers suggested changes Aug 8, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 515/632 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables
sc_truncate_multiddl_generated
jepsen_register_nemesis
jepsen_bank_nemesis
jepsen_sets_nemesis
jepsen_sets
jepsen_register
jepsen_g2
jepsen_dirty_reads
jepsen_bank

@markhannum markhannum force-pushed the jepsen branch 4 times, most recently from aa89f96 to 844feea Compare August 9, 2025 22:46
roborivers
roborivers suggested changes Aug 9, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 0/0 tests failed ⚠.

roborivers
roborivers suggested changes Aug 10, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 0/0 tests failed ⚠.

@markhannum markhannum force-pushed the jepsen branch 5 times, most recently from 60ebfe1 to 079b935 Compare August 10, 2025 14:48
roborivers
roborivers suggested changes Aug 10, 2025
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coding style check: Success ✓.
Smoke testing: Success ✓.
Cbuild submission: Success ✓.
Regression testing: 9/626 tests failed ⚠.

The first 10 failing tests are:
sc_lotsoftables_logicalsc_generated
sc_truncate
jepsen_sets
jepsen_register
jepsen_g2
jepsen_dirty_reads
jepsen_bank
jepsen_atomic_writes
jepsen_a6

@markhannum markhannum force-pushed the jepsen branch 8 times, most recently from c3faa19 to 7695cc5 Compare October 22, 2025 13:41
@markhannum markhannum force-pushed the jepsen branch 5 times, most recently from 67fd018 to b7599d5 Compare November 6, 2025 15:40
@markhannum markhannum force-pushed the jepsen branch 2 times, most recently from 439e025 to c7760dd Compare November 13, 2025 15:24
@markhannum markhannum force-pushed the jepsen branch 2 times, most recently from f0f84f6 to 7986a5d Compare February 8, 2026 16:51
@markhannum markhannum force-pushed the jepsen branch 3 times, most recently from 4ecdf59 to 67b1d8c Compare February 25, 2026 19:04
roborivers
roborivers approved these changes Mar 10, 2026
View reviewed changes
Copy link

@roborivers roborivers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cbuild submission: Success ✓.
Regression testing: Success ✓.

The first 10 failing tests are:
sc_truncate_lockorder_generated
jepsen_register_nemesis
jepsen_bank_nemesis
sc_resume
cldeadlock
jepsen_sets_nemesis
jepsen_sets
jepsen_register
jepsen_g2
jepsen_dirty_reads

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@roborivers roborivers roborivers approved these changes

Reviewers whose approvals may not affect merge requirements

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@markhannum @roborivers