Add an invariant to a query yield path, releasing only the storage snapshot, to ensure lock-free reads operations never accidentally use it

XMLWordPrintableJSON

    • Type: Improvement
    • Resolution: Fixed
    • Priority: Major - P3
    • 5.0.0-rc0
    • Affects Version/s: None
    • Component/s: Storage
    • None
    • Fully Compatible
    • Execution Team 2021-03-08, Execution Team 2021-05-03
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      This bit of code calling abandonSnapshot without releasing locks is not currently run by lock-free read operations, but we should make sure that we never accidentally do so without knowing about it. We can add an invariant that opCtx->isLockFreeReadsOp() returns false.

            Assignee:
            Dianna Hohensee (Inactive)
            Reporter:
            Dianna Hohensee (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

              Created:
              Updated:
              Resolved: