kv: include txn isolation level in kvnemesis operation name

This improves debuggability of kvnemesis runs. Epic: None Release note: None
cockroachdb · Jun 5, 2023 · 5f80e35 · 5f80e35
1 parent 89887ee
commit 5f80e35
Show file tree

Hide file tree

Showing 39 changed files with 83 additions and 38 deletions.
diff --git a/...is/testdata/TestValidate/ambiguous_put-del_transaction_committed_but_has_validation_error b/...is/testdata/TestValidate/ambiguous_put-del_transaction_committed_but_has_validation_error
@@ -8,4 +8,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 }) // result is ambiguous: boom
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000002"/0.000000002,0 @ s2 <nil>
-ambiguous txn non-atomic timestamps: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [d]/Table/100/"0000000000000002":0.000000002,0-><nil>@s2
+ambiguous serializable txn non-atomic timestamps: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [d]/Table/100/"0000000000000002":0.000000002,0-><nil>@s2
diff --git a/...is/testdata/TestValidate/ambiguous_put-put_transaction_committed_but_has_validation_error b/...is/testdata/TestValidate/ambiguous_put-put_transaction_committed_but_has_validation_error
@@ -8,4 +8,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 }) // result is ambiguous: boom
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000002"/0.000000002,0 @ s2 v2
-ambiguous txn non-atomic timestamps: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [w]/Table/100/"0000000000000002":0.000000002,0->v2@s2
+ambiguous serializable txn non-atomic timestamps: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [w]/Table/100/"0000000000000002":0.000000002,0->v2@s2
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/one_deleterange_after_write_extra_deletion b/pkg/kv/kvnemesis/testdata/TestValidate/one_deleterange_after_write_extra_deletion
@@ -9,4 +9,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 <nil>
 mismatched write timestamp 0.000000001,0 and exec timestamp 0.000000002,0: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1
-committed txn missing write at seq s2: [dr.d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [dr.d]/Table/100/"0000000000000002":missing-><nil>@s2 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000002,0, <max>)}->[]
+committed serializable txn missing write at seq s2: [dr.d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [dr.d]/Table/100/"0000000000000002":missing-><nil>@s2 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000002,0, <max>)}->[]
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/one_deleterange_after_write_missing_write b/pkg/kv/kvnemesis/testdata/TestValidate/one_deleterange_after_write_missing_write
@@ -7,4 +7,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
-committed txn missing write at seq s2: [dr.d]/Table/100/"0000000000000001":missing-><nil>@s2 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0)}->[]
+committed serializable txn missing write at seq s2: [dr.d]/Table/100/"0000000000000001":missing-><nil>@s2 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0)}->[]
diff --git a/...s/testdata/TestValidate/one_deleterange_after_writes_returning_keys_outside_span_boundary b/...s/testdata/TestValidate/one_deleterange_after_writes_returning_keys_outside_span_boundary
@@ -10,4 +10,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000003,0 @ s3 <nil>
 /Table/100/"0000000000000004"/0.000000002,0 @ s2 v2
-committed txn missing write at seq s3: [dr.d]/Table/100/"0000000000000001":0.000000003,0-><nil>@s3 [dr.d]/Table/100/"0000000000000004":missing-><nil>@s3 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000003,0, <max>)}->[]
+committed serializable txn missing write at seq s3: [dr.d]/Table/100/"0000000000000001":0.000000003,0-><nil>@s3 [dr.d]/Table/100/"0000000000000004":missing-><nil>@s3 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000003,0, <max>)}->[]
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/one_deleterange_after_writes_with_missing_write b/pkg/kv/kvnemesis/testdata/TestValidate/one_deleterange_after_writes_with_missing_write
@@ -13,5 +13,5 @@ db0.Scan(ctx, tk(1), tk(4), 0) // @0.000000005,0 (/Table/100/"0000000000000003":
 /Table/100/"0000000000000002"/0.000000002,0 @ s2 v2
 /Table/100/"0000000000000003"/0.000000003,0 @ s3 v3
 /Table/100/"0000000000000001"/0.000000004,0 @ s4 <nil>
-committed txn missing write at seq s4: [dr.d]/Table/100/"0000000000000001":0.000000004,0-><nil>@s4 [dr.d]/Table/100/"0000000000000002":missing-><nil>@s4 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000004,0, <max>)}->[]
+committed serializable txn missing write at seq s4: [dr.d]/Table/100/"0000000000000001":0.000000004,0-><nil>@s4 [dr.d]/Table/100/"0000000000000002":missing-><nil>@s4 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000004,0, <max>)}->[]
 committed scan non-atomic timestamps: [s]/Table/100/"000000000000000{1"-4"}:{0:[0.000000003,0, <max>), gap:[<min>, 0.000000001,0)}->[/Table/100/"0000000000000003":v3]
diff --git a/...esis/testdata/TestValidate/one_deleterange_after_writes_with_write_timestamp_disagreement b/...esis/testdata/TestValidate/one_deleterange_after_writes_with_write_timestamp_disagreement
@@ -14,4 +14,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000003,0 @ s4 <nil>
 /Table/100/"0000000000000002"/0.000000004,0 @ s4 <nil>
 /Table/100/"0000000000000003"/0.000000004,0 @ s4 <nil>
-committed txn non-atomic timestamps: [dr.d]/Table/100/"0000000000000001":0.000000003,0-><nil>@s4 [dr.d]/Table/100/"0000000000000002":0.000000004,0-><nil>@s4 [dr.d]/Table/100/"0000000000000003":0.000000004,0-><nil>@s4 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000004,0, <max>)}->[]
+committed serializable txn non-atomic timestamps: [dr.d]/Table/100/"0000000000000001":0.000000003,0-><nil>@s4 [dr.d]/Table/100/"0000000000000002":0.000000004,0-><nil>@s4 [dr.d]/Table/100/"0000000000000003":0.000000004,0-><nil>@s4 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000004,0, <max>)}->[]
diff --git a/...kv/kvnemesis/testdata/TestValidate/one_scan_after_writes_and_delete_returning_missing_key b/...kv/kvnemesis/testdata/TestValidate/one_scan_after_writes_and_delete_returning_missing_key
@@ -19,4 +19,4 @@ db0.Del(ctx, tk(1) /* @s5 */) // @0.000000004,0 <nil>
 /Table/100/"0000000000000001"/0.000000002,0 @ s3 <nil>
 /Table/100/"0000000000000001"/0.000000003,0 @ s4 v4
 /Table/100/"0000000000000001"/0.000000004,0 @ s5 <nil>
-committed txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{0:[0.000000001,0, <max>), gap:[<min>, 0.000000001,0),[0.000000004,0, <max>)}->[/Table/100/"0000000000000002":v2] [d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s3
+committed serializable txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{0:[0.000000001,0, <max>), gap:[<min>, 0.000000001,0),[0.000000004,0, <max>)}->[/Table/100/"0000000000000002":v2] [d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s3
diff --git a/..._transactional_deleterange_followed_by_put_after_writes_with_write_timestamp_disagreement b/..._transactional_deleterange_followed_by_put_after_writes_with_write_timestamp_disagreement
@@ -10,4 +10,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 <nil>
 /Table/100/"0000000000000002"/0.000000003,0 @ s3 v3
-committed txn non-atomic timestamps: [dr.d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000003,0, <max>)}->[] [w]/Table/100/"0000000000000002":0.000000003,0->v3@s3
+committed serializable txn non-atomic timestamps: [dr.d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000003,0, <max>)}->[] [w]/Table/100/"0000000000000002":0.000000003,0->v3@s3
diff --git a/..._transactional_put_shadowed_by_deleterange_after_writes_with_write_timestamp_disagreement b/..._transactional_put_shadowed_by_deleterange_after_writes_with_write_timestamp_disagreement
@@ -10,4 +10,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000002,0 @ s3 <nil>
 /Table/100/"0000000000000002"/0.000000003,0 @ s3 <nil>
-committed txn non-atomic timestamps: [w]/Table/100/"0000000000000002":missing->v2@s2 [dr.d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s3 [dr.d]/Table/100/"0000000000000002":0.000000003,0-><nil>@s3 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000003,0, <max>)}->[]
+committed serializable txn non-atomic timestamps: [w]/Table/100/"0000000000000002":missing->v2@s2 [dr.d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s3 [dr.d]/Table/100/"0000000000000002":0.000000003,0-><nil>@s3 [dr.s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0),[0.000000003,0, <max>)}->[]
diff --git a/...emesis/testdata/TestValidate/one_transactional_scan_followed_by_delete_outside_time_range b/...emesis/testdata/TestValidate/one_transactional_scan_followed_by_delete_outside_time_range
@@ -11,4 +11,4 @@ db0.Put(ctx, tk(2), sv(3)) // @0.000000003,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000004,0 @ s2 <nil>
 /Table/100/"0000000000000002"/0.000000003,0 @ s3 v3
-committed txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{0:[0.000000001,0, <max>), gap:[<min>, 0.000000003,0)}->[/Table/100/"0000000000000001":v1] [d]/Table/100/"0000000000000001":0.000000004,0-><nil>@s2
+committed serializable txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{0:[0.000000001,0, <max>), gap:[<min>, 0.000000003,0)}->[/Table/100/"0000000000000001":v1] [d]/Table/100/"0000000000000001":0.000000004,0-><nil>@s2
diff --git a/...mesis/testdata/TestValidate/one_transactionally_committed_delete_with_first_write_missing b/...mesis/testdata/TestValidate/one_transactionally_committed_delete_with_first_write_missing
@@ -7,4 +7,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000002"/0.000000001,0 @ s2 <nil>
-committed txn missing write at seq s1: [d]/Table/100/"0000000000000001":missing-><nil>@s1 [d]/Table/100/"0000000000000002":0.000000001,0-><nil>@s2
+committed serializable txn missing write at seq s1: [d]/Table/100/"0000000000000001":missing-><nil>@s1 [d]/Table/100/"0000000000000002":0.000000001,0-><nil>@s2
diff --git a/...esis/testdata/TestValidate/one_transactionally_committed_delete_with_second_write_missing b/...esis/testdata/TestValidate/one_transactionally_committed_delete_with_second_write_missing
@@ -7,4 +7,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 <nil>
-committed txn missing write at seq s2: [d]/Table/100/"0000000000000001":0.000000001,0-><nil>@s1 [d]/Table/100/"0000000000000002":missing-><nil>@s2
+committed serializable txn missing write at seq s2: [d]/Table/100/"0000000000000001":0.000000001,0-><nil>@s1 [d]/Table/100/"0000000000000002":missing-><nil>@s2
diff --git a/...tdata/TestValidate/one_transactionally_committed_delete_with_write_timestamp_disagreement b/...tdata/TestValidate/one_transactionally_committed_delete_with_write_timestamp_disagreement
@@ -8,4 +8,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 <nil>
 /Table/100/"0000000000000002"/0.000000002,0 @ s2 <nil>
-committed txn non-atomic timestamps: [d]/Table/100/"0000000000000001":0.000000001,0-><nil>@s1 [d]/Table/100/"0000000000000002":0.000000002,0-><nil>@s2
+committed serializable txn non-atomic timestamps: [d]/Table/100/"0000000000000001":0.000000001,0-><nil>@s1 [d]/Table/100/"0000000000000002":0.000000002,0-><nil>@s2
diff --git a/...vnemesis/testdata/TestValidate/one_transactionally_committed_put_with_first_write_missing b/...vnemesis/testdata/TestValidate/one_transactionally_committed_put_with_first_write_missing
@@ -7,4 +7,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000002"/0.000000001,0 @ s2 v2
-committed txn missing write at seq s1: [w]/Table/100/"0000000000000001":missing->v1@s1 [w]/Table/100/"0000000000000002":0.000000001,0->v2@s2
+committed serializable txn missing write at seq s1: [w]/Table/100/"0000000000000001":missing->v1@s1 [w]/Table/100/"0000000000000002":0.000000001,0->v2@s2
diff --git a/...nemesis/testdata/TestValidate/one_transactionally_committed_put_with_second_write_missing b/...nemesis/testdata/TestValidate/one_transactionally_committed_put_with_second_write_missing
@@ -7,4 +7,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
-committed txn missing write at seq s2: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [w]/Table/100/"0000000000000002":missing->v2@s2
+committed serializable txn missing write at seq s2: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [w]/Table/100/"0000000000000002":missing->v2@s2
diff --git a/...testdata/TestValidate/one_transactionally_committed_put_with_write_timestamp_disagreement b/...testdata/TestValidate/one_transactionally_committed_put_with_write_timestamp_disagreement
@@ -8,4 +8,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000002"/0.000000002,0 @ s2 v2
-committed txn non-atomic timestamps: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [w]/Table/100/"0000000000000002":0.000000002,0->v2@s2
+committed serializable txn non-atomic timestamps: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [w]/Table/100/"0000000000000002":0.000000002,0->v2@s2
diff --git a/...stdata/TestValidate/one_transactionally_rolled_back_delete_with_write_incorrectly_present b/...stdata/TestValidate/one_transactionally_rolled_back_delete_with_write_incorrectly_present
@@ -6,4 +6,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return errors.New("rollback")
 }) // rollback
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 <nil>
-uncommitted txn had writes: [d]/Table/100/"0000000000000001":0.000000001,0-><nil>@s1
+uncommitted serializable txn had writes: [d]/Table/100/"0000000000000001":0.000000001,0-><nil>@s1
diff --git a/.../testdata/TestValidate/one_transactionally_rolled_back_put_with_write_incorrectly_present b/.../testdata/TestValidate/one_transactionally_rolled_back_put_with_write_incorrectly_present
@@ -6,4 +6,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return errors.New("rollback")
 }) // rollback
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
-uncommitted txn had writes: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1
+uncommitted serializable txn had writes: [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_read_after_delete b/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_read_after_delete
@@ -10,4 +10,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 }) // @0.000000002,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 <nil>
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0.000000001,0, <max>)->v1 [d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [r]/Table/100/"0000000000000001":[0.000000001,0, 0.000000002,0)->v1
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0.000000001,0, <max>)->v1 [d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [r]/Table/100/"0000000000000001":[0.000000001,0, 0.000000002,0)->v1
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_read_after_write b/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_read_after_write
@@ -8,4 +8,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[<min>, <max>)-><nil> [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0)-><nil>
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[<min>, <max>)-><nil> [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0)-><nil>
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_read_before_delete b/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_read_before_delete
@@ -10,4 +10,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 }) // @0.000000002,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 <nil>
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0)-><nil> [d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0),[0.000000002,0, <max>)-><nil>
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0)-><nil> [d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0),[0.000000002,0, <max>)-><nil>
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_read_before_write b/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_read_before_write
@@ -8,4 +8,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0,0, 0,0)->v1 [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [r]/Table/100/"0000000000000001":[0.000000001,0, <max>)->v1
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0,0, 0,0)->v1 [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [r]/Table/100/"0000000000000001":[0.000000001,0, <max>)->v1
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_scan_after_write b/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_scan_after_write
@@ -8,4 +8,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
-committed txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, <max>)}->[] [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0)}->[]
+committed serializable txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, <max>)}->[] [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [s]/Table/100/"000000000000000{1"-3"}:{gap:[<min>, 0.000000001,0)}->[]
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_scan_before_write b/pkg/kv/kvnemesis/testdata/TestValidate/transaction_with_incorrect_scan_before_write
@@ -8,4 +8,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
   return nil
 }) // @0.000000001,0 <nil>
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
-committed txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{0:[0,0, 0,0), gap:[<min>, <max>)}->[/Table/100/"0000000000000001":v1] [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [s]/Table/100/"000000000000000{1"-3"}:{0:[0.000000001,0, <max>), gap:[<min>, <max>)}->[/Table/100/"0000000000000001":v1]
+committed serializable txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{0:[0,0, 0,0), gap:[<min>, <max>)}->[/Table/100/"0000000000000001":v1] [w]/Table/100/"0000000000000001":0.000000001,0->v1@s1 [s]/Table/100/"000000000000000{1"-3"}:{0:[0.000000001,0, <max>), gap:[<min>, <max>)}->[/Table/100/"0000000000000001":v1]
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transactional_read_and_write_with_empty_time_overlap b/pkg/kv/kvnemesis/testdata/TestValidate/transactional_read_and_write_with_empty_time_overlap
@@ -11,4 +11,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 v2
 /Table/100/"0000000000000002"/0.000000002,0 @ s3 v3
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0.000000001,0, 0.000000002,0)->v1 [w]/Table/100/"0000000000000002":0.000000002,0->v3@s3
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0.000000001,0, 0.000000002,0)->v1 [w]/Table/100/"0000000000000002":0.000000002,0->v3@s3
diff --git a/...estdata/TestValidate/transactional_reads_after_writes_and_deletes_with_empty_time_overlap b/...estdata/TestValidate/transactional_reads_after_writes_and_deletes_with_empty_time_overlap
@@ -19,4 +19,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000002"/0.000000002,0 @ s2 v2
 /Table/100/"0000000000000001"/0.000000003,0 @ s3 <nil>
 /Table/100/"0000000000000002"/0.000000003,0 @ s4 <nil>
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0),[0.000000003,0, <max>)-><nil> [r]/Table/100/"0000000000000002":[0.000000002,0, 0.000000003,0)->v2 [r]/Table/100/"0000000000000003":[<min>, <max>)-><nil>
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0),[0.000000003,0, <max>)-><nil> [r]/Table/100/"0000000000000002":[0.000000002,0, 0.000000003,0)->v2 [r]/Table/100/"0000000000000003":[<min>, <max>)-><nil>
diff --git a/...testdata/TestValidate/transactional_reads_and_deletes_after_write_with_empty_time_overlap b/...testdata/TestValidate/transactional_reads_and_deletes_after_write_with_empty_time_overlap
@@ -14,4 +14,4 @@ db0.Del(ctx, tk(1) /* @s4 */) // @0.000000004,0 <nil>
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 <nil>
 /Table/100/"0000000000000001"/0.000000003,0 @ s3 v3
 /Table/100/"0000000000000001"/0.000000004,0 @ s4 <nil>
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0),[0.000000004,0, <max>)-><nil> [d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0),[0.000000004,0, <max>),[0.000000002,0, 0.000000003,0)-><nil>
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0),[0.000000004,0, <max>)-><nil> [d]/Table/100/"0000000000000001":0.000000002,0-><nil>@s2 [r]/Table/100/"0000000000000001":[<min>, 0.000000001,0),[0.000000004,0, <max>),[0.000000002,0, 0.000000003,0)-><nil>
diff --git a/...v/kvnemesis/testdata/TestValidate/transactional_reads_one_missing_with_empty_time_overlap b/...v/kvnemesis/testdata/TestValidate/transactional_reads_one_missing_with_empty_time_overlap
@@ -12,4 +12,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 v2
 /Table/100/"0000000000000002"/0.000000001,0 @ s3 v3
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0.000000001,0, 0.000000002,0)->v1 [r]/Table/100/"0000000000000002":[<min>, 0.000000001,0)-><nil>
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0.000000001,0, 0.000000002,0)->v1 [r]/Table/100/"0000000000000002":[<min>, 0.000000001,0)-><nil>
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transactional_reads_with_empty_time_overlap b/pkg/kv/kvnemesis/testdata/TestValidate/transactional_reads_with_empty_time_overlap
@@ -14,4 +14,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 v2
 /Table/100/"0000000000000002"/0.000000002,0 @ s3 v3
 /Table/100/"0000000000000002"/0.000000003,0 @ s4 v4
-committed txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0.000000001,0, 0.000000002,0)->v1 [r]/Table/100/"0000000000000002":[0.000000002,0, 0.000000003,0)->v3
+committed serializable txn non-atomic timestamps: [r]/Table/100/"0000000000000001":[0.000000001,0, 0.000000002,0)->v1 [r]/Table/100/"0000000000000002":[0.000000002,0, 0.000000003,0)->v3
diff --git a/pkg/kv/kvnemesis/testdata/TestValidate/transactional_scan_and_write_with_empty_time_overlap b/pkg/kv/kvnemesis/testdata/TestValidate/transactional_scan_and_write_with_empty_time_overlap
@@ -11,4 +11,4 @@ db0.Txn(ctx, func(ctx context.Context, txn *kv.Txn) error {
 /Table/100/"0000000000000001"/0.000000001,0 @ s1 v1
 /Table/100/"0000000000000001"/0.000000002,0 @ s2 v2
 /Table/100/"0000000000000002"/0.000000002,0 @ s3 v3
-committed txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{0:[0.000000001,0, 0.000000002,0), gap:[<min>, <max>)}->[/Table/100/"0000000000000001":v1] [w]/Table/100/"0000000000000002":0.000000002,0->v3@s3
+committed serializable txn non-atomic timestamps: [s]/Table/100/"000000000000000{1"-3"}:{0:[0.000000001,0, 0.000000002,0), gap:[<min>, <max>)}->[/Table/100/"0000000000000001":v1] [w]/Table/100/"0000000000000002":0.000000002,0->v3@s3