The TLA spec TxnsCollectionIncarnation includes the database in every statement

XMLWordPrintableJSON

    • Type: Bug
    • Resolution: Unresolved
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • None
    • Catalog and Routing
    • ALL
    • CAR Team 2026-04-13, CAR Team 2026-04-27
    • 200
    • 🟩 Routing and Topology
    • None
    • None
    • None
    • None
    • None
    • None

      As part of the changes to the handling of placementConflictTime by SERVER-97587, we needed to skip the placementConflictTime check on the DatabaseVersion for Databases created by the same transaction. For that the TransactionRouter appends to each command a list with all the databases created by the transaction.

      This is being modeled in TxnsCollectionIncarnation with the rCreatedDatabases variable, however we are always setting it to the single database ("db") in the model, which leads to always skipping the placementConflictTime check when comparing {{DatabaseVersion}}s.

      Since we aren't modeling database creation, we shouldn't be attaching the database at all.

            Assignee:
            Daniel Gomez Ferro
            Reporter:
            Daniel Gomez Ferro
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: