Skip to content

Fuzzer livelock and possible lost AMs with AM fragmentation #1945

Description

@elliottslaughter

I'm tracking an apparent livelock that is potentially related to StanfordLegion/realm#410. Initial debugging by @lightsighter suggested possible lost messages in the Realm barrier implementation: https://legion.zulipchat.com/#narrow/dm/210059,501553-dm/near/598962286

Configuration that replicates (rare, about 1 in 20,000 runs):

  • Realm PRs: 410, 428, 435, 444 (now merged)
  • GASNet PSHM disabled
  • GASNet AM medium limit: 1024 bytes
  • Legion MRs: 2052 (merged with master)
  • -fuzz:ops 10 -ll:util 2 -ll:cpu 3 -fuzz:replicate 1 -fuzz:width 128 -fuzz:branch 16

Configuration that does NOT replicate (after 6 jobs of 20,000 runs each):

  • Same as above except:
  • No Realm PR 410
  • GASNet PSHM enabled
  • GASNet AM medium limit: 64 KB

I'm currently extending the run to 100 ops to see if that will trigger something. Otherwise my next idea is to turn PSHM off in the non-replicating configuration to see if that tweaks the timing enough to make it replicate.

Current hypotheses:

  • Bug in Realm PR 410
  • Bug in GASNet IBV conduit (hidden in the non-replicating run due to PSHM; seems unlikely)
  • Bug is latent but hidden by some combination of the above

Activity

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

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions