Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-64200

Remove invariant stableTimestamp <= allDurableTimestamp already checked in WT

    XMLWordPrintableJSON

Details

    • Icon: Bug Bug
    • Resolution: Fixed
    • Icon: Major - P3 Major - P3
    • 6.0.0-rc0
    • None
    • None
    • None
    • Fully Compatible
    • ALL
    • Execution Team 2022-03-07, Execution Team 2022-03-21
    • 135

    Description

      Currently we are checking this invariant when setting the stable timestamp..

      It is suspected that we can fetch a stale value for the all durable timestamp because we lack strong synchronization, which could make this invariant fail under some circumstances even though all durable is really greater than the stable timestamp.

      Given that WT already checks the same property both for prepared transactions and for non-prepared transactions with the appropriate synchronization we can remove the check at this layer.

      Attachments

        Activity

          People

            daniel.gomezferro@mongodb.com Daniel Gomez Ferro
            daniel.gomezferro@mongodb.com Daniel Gomez Ferro
            Votes:
            0 Vote for this issue
            Watchers:
            6 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: