Uploaded image for project: 'WiredTiger'
  1. WiredTiger
  2. WT-13695

test/model’s workload generator should generate write conflicts

    • Type: Icon: Task Task
    • Resolution: Unresolved
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: Test Model
    • Storage Engines
    • StorEng - Defined Pipeline

      The workload generator in test/model currently ensures that there are no write conflicts between operations in the workload. We should relax this requirement, so that it would occasionally include operations that conflict with each other.

      This would, for example, reproduces issues such as WT-13694 faster. Even though WT-13694 was caught by test/model, it was merely a lucky coincidence that it generated that test case while performing counterexample reduction for a different issue.

      Similarly, we should intentionally generate a small number of prepare conflicts, either as a part of this ticket or in a new ticket if the scope becomes too big.

            Assignee:
            backlog-server-storage-engines [DO NOT USE] Backlog - Storage Engines Team
            Reporter:
            peter.macko@mongodb.com Peter Macko
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: