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

__wt_txn_upd_visible_type needs a load barrier before second read of upd->prepare_state

    • Storage Engines
    • 3
    • 2024-01-09 - I Grew Tired

      See this code. It currently uses WT_ORDERED_READ(prepare_state, upd->prepare_state) for both the first and second read. However, it puts the load fence after the load, while the second read of prepare_state needs the fence before the load. In particular, it needs to be ordered with the loads of upd->start_ts and upd->durable_ts on line 943. For completeness, here are the store barriers that those read barriers would be pairing with.

            Assignee:
            luke.pearson@mongodb.com Luke Pearson
            Reporter:
            mathias@mongodb.com Mathias Stearn
            Votes:
            0 Vote for this issue
            Watchers:
            8 Start watching this issue

              Created:
              Updated:
              Resolved: