Assert that unkillable operations that take X collection locks do not hold the RSTL

XMLWordPrintableJSON

    • Type: Improvement
    • Resolution: Unresolved
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • None
    • Storage Execution
    • Execution Team 2022-12-12, Execution Team 2022-12-26, Execution Team 2023-01-09
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None

      The deadlocks described in SERVER-71191 and SERVER-44722 are caused because the following conditions are true, in general

      • An operation is unkillable by stepdown
      • While holding the RSTL in IX mode, an operation takes an X collection lock. If there are any prepared transactions, this blocks.
      • The stepdown thread tries to acquire the X lock, but blocks because of a conflict

      In this situation, the operation that isn't interrupted by stepdown does not make progress. We should add an assertion to our lock helpers that prevent unkillable operations from taking X locks while also holding the RSTL.

            Assignee:
            [DO NOT USE] Backlog - Storage Execution Team
            Reporter:
            Louis Williams
            Votes:
            0 Vote for this issue
            Watchers:
            7 Start watching this issue

              Created:
              Updated: