Attempt to characterize the ScopedDebugInfoStack corruption in BF-42419 and mitigate damage by crashing early.
- pre-reserve the stack's vector on construction
- invariant: vector is empty when the stack is destroyed.
- invariant: vector is nonempty when popping from it.
- invariant: popped pointer should be identical to the pushed pointer.
- Add counters: count pushes and pops per ScopedDebugInfoStack.
- Invariant that pushes-pops==size. Consider making these scribble-evident with redundant negative counters.
- fixes
-
SERVER-123382 Add invariants to protect against vector mutation
-
- Closed
-
- is duplicated by
-
SERVER-123336 Add server parameter to disable ScopedDebugInfo
-
- Closed
-
- related to
-
-
- Closed
-
-
SERVER-123338 Add a serverParameter to disable ScopedDebugInfo
-
- Closed
-