Skip to content

[P3] LivelockDetector: a body's own snapshots may read a correct hand-off as rapid state cycling #1180

Closed

Description

@PIsberg

#1185 moved the runner's feed to a round that timed out, which removed the false CRITICAL on healthy platform-thread runs. captureSnapshot() stays public for a body sampling its peers, and its rule is still five state changes in ten snapshots. By reading the rule, a correct ping-pong between two threads alternates states the same way, with no progress signal to tell them apart. Not measured: no row or probe has shown this yet.

Why not now. The runner no longer calls it, so it only affects a body that opts in, and the fix is a modelling decision.

What it would take. A probe with a correct SynchronousQueue ping-pong sampled through captureSnapshot(), then either a progress signal, a lower severity than CRITICAL, or removing the rule.

Activity

  1. PIsberg commented on Nov 3, 2026

    @PIsberg
    OwnerAuthor

    P3: an opt-in path, and the suspected false positive is unmeasured.

  2. added a commit that references this issue on Nov 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions