Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-71198

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

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Backlog
    • Major - P3
    • Resolution: Unresolved
    • None
    • None
    • None
    • None
    • Storage Execution
    • Execution Team 2022-12-12, Execution Team 2022-12-26, Execution Team 2023-01-09

    Description

      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.

      Attachments

        Issue Links

          Activity

            People

              backlog-server-execution Backlog - Storage Execution Team
              louis.williams@mongodb.com Louis Williams
              Votes:
              0 Vote for this issue
              Watchers:
              7 Start watching this issue

              Dates

                Created:
                Updated: