Audit invariants that assert internal state of an FSM or an object from mongo/db/exec/sbe

XMLWordPrintableJSON

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

      Assert and replace invariants, fasserts, MONGO_UNREACHABLE and MONGO_UNIMPLEMENTED macros usage with tassert for enums that are used to represent the state of an internal FSM or a member of an object, who's lifetime is bounded by the duration of a single operation and is not visible to other operations.
      This ticket is only concerned with the query owned code located in src/mongo/db/exec/sbe.

      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:
            Daniel Tabacaru
            Reporter:
            Serhii Lysenko
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: