Skip to content

Chaos testing phase 3 - #3761

Open
kmatasfp wants to merge 36 commits into
1.5.xfrom
chaos-testing-phase-3
Open

Chaos testing phase 3#3761
kmatasfp wants to merge 36 commits into
1.5.xfrom
chaos-testing-phase-3

Conversation

@kmatasfp

Copy link
Copy Markdown
Contributor

No description provided.

@kmatasfp
kmatasfp requested a review from a team August 24, 2026 20:59
const VERSION_ON_THE_NEW_BUILD: u32 = 2;
const VERSION_AFTER_ROLLBACK: u32 = 1;

pub async fn run(

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

There seem to be some confusion in this scenario between component revision and component version. These are not guaranteed to be the same thing with rollbacks

/// account of nothing.
const WAKE_PROOF_SAMPLE: usize = 5;

pub async fn run(

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

To be checked:

stood_down is a global count. Once any waiter stalls, every unreadable waiter missing a confirmed wakeup is classified as NeverWoke, even if that particular waiter never stood down. One genuine stall plus an unrelated read timeout can therefore produce false violations and fail the scenario.

Fix: retain stalled waiter identities and require both unreadable.contains(agent) and stalled_waiters.contains(agent).

/// account of nothing.
const FIRE_PROOF_SAMPLE: usize = 5;

pub async fn run(

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

To check:

needs_attention() checks only total == 0. If pending actions exist exclusively on surviving executors, on_killed_executor == 0, but the result is classified as normal context even though the kill exercised no lease recovery on the killed executor. S11 correctly handles the analogous condition.

Fix: use self.total == 0 || self.on_killed_executor == 0, add the corresponding warning in describe(), and cover it with a test.

@vigoo vigoo left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Added three findings, other than that looks good

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants