Audit invariants that assert the rest of conditions from mongo/db/query/write_ops

    • Type: Task
    • Resolution: Unresolved
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Query Execution
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      Assert and replace invariants, fasserts, MONGO_UNREACHABLE and MONGO_UNIMPLEMENTED macros usage with tassert for the cases not covered in other tickets like invariants on write paths, on data structures shared across multiple threads, or invariants asserting data comming from the storage layer.
      This ticket is only concerned with the query owned code located in src/mongo/db/query/write_ops.

      Assess the invariants against this checklist:

      • Invariant is not on the write path.
      • Invariant is not asserting data coming from the storage layer.
      • Invariant is not asserting the shared state that's accessible from other threads.
      • Tassert would release all the resources that are violating the invariant.
      • Invariant is covered by either unit test of jstest.

            Assignee:
            Unassigned
            Reporter:
            Serhii Lysenko
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: