Import wiredtiger: f70f842661e270f090ef4d9fb8a079641bbac5b7 from branch mongodb-7.0 (#33290)

GitOrigin-RevId: 22de4224817882f71e5e9e1260e33b079ab40a06

Author: wt-vendoring-bot[bot]

src/third_party/wiredtiger/import.data

@@ -2,5 +2,5 @@
     "vendor": "wiredtiger",
     "github": "wiredtiger/wiredtiger",
     "branch": "mongodb-7.0",
-    "commit": "f237d5ab195c47fcd577cd5259a2b732e5922304"
+    "commit": "f70f842661e270f090ef4d9fb8a079641bbac5b7"
 }

src/third_party/wiredtiger/test/format/format.h

@@ -242,7 +242,8 @@ typedef struct {
 
     char *config_open; /* Command-line configuration */
 
-    TABLE *base_mirror; /* First mirrored table */
+    TABLE *base_mirror;    /* First mirrored table */
+    bool mirror_col_store; /* Special case if mirroring column store table */
 
     RWLOCK backup_lock; /* Backup running */
     uint64_t backup_id; /* Block incremental id */

src/third_party/wiredtiger/test/format/format_config.c

@@ -1157,10 +1157,13 @@ config_mirrors(void)
     char buf[100];
     bool already_set, explicit_mirror;
 
+    g.mirror_col_store = false;
     /* Check for a CONFIG file that's already set up for mirroring. */
     for (already_set = false, i = 1; i <= ntables; ++i)
         if (NTV(tables[i], RUNS_MIRROR)) {
             already_set = tables[i]->mirror = true;
+            if (tables[i]->type == FIX || tables[i]->type == VAR)
+                g.mirror_col_store = true;
             if (g.base_mirror == NULL && tables[i]->type != FIX)
                 g.base_mirror = tables[i];
         }
@@ -1250,7 +1253,8 @@ config_mirrors(void)
     tables[i]->mirror = true;
     config_single(tables[i], "runs.mirror=1", false);
     g.base_mirror = tables[i];
-
+    if (tables[i]->type == VAR)
+        g.mirror_col_store = true;
     /*
      * Pick some number of tables to mirror, then turn on mirroring the next (n-1) tables, where
      * allowed.
@@ -1261,6 +1265,8 @@ config_mirrors(void)
         if (tables[i] != g.base_mirror) {
             tables[i]->mirror = true;
             config_single(tables[i], "runs.mirror=1", false);
+            if (tables[i]->type == FIX || tables[i]->type == VAR)
+                g.mirror_col_store = true;
             if (--mirrors == 0)
                 break;
         }

src/third_party/wiredtiger/test/format/ops.c

@@ -1163,6 +1163,24 @@ ops(void *arg)
                     tinfo->last += range;
                     if (tinfo->last > max_rows)
                         tinfo->last = 0;
+                    /*
+                     * Edge case: There is a case where we cannot detect a proper mirror mismatch.
+                     * Say we truncated the tail end key range of all the mirrors from N to
+                     * max_rows. This truncate happened before any thread added another non-mirrored
+                     * append/insert to a column store table and the data in that truncated key
+                     * range was sufficient to delete the pages at the end of the column store
+                     * table. Then when a column store non-mirrored insert happened, it appended the
+                     * new item at key N instead of at max_rows + 1. Then the next mirror check will
+                     * detect a mismatch from the row-store table because the appended value does
+                     * not match the truncated value.
+                     *
+                     * We want to test truncate at the end of the range as much as possible, so
+                     * adjust the end range to max_rows - 1 only in the case where we are mirroring
+                     * and have a column store table.
+                     */
+                    if (g.base_mirror != NULL && g.mirror_col_store &&
+                      (tinfo->last == 0 || tinfo->last == max_rows))
+                        tinfo->last = max_rows - 1;
                 }
             } else {
                 if (TV(BTREE_REVERSE)) {