granicus.if.org Git - postgresql/blob - src/test/isolation/specs/merge-insert-update.spec

   1 # MERGE INSERT UPDATE
   2 #
   3 # This looks at how we handle concurrent INSERTs, illustrating how the
   4 # behavior differs from INSERT ... ON CONFLICT
   5
   6 setup
   7 {
   8   CREATE TABLE target (key int primary key, val text);
   9 }
  10
  11 teardown
  12 {
  13   DROP TABLE target;
  14 }
  15
  16 session "s1"
  17 setup
  18 {
  19   BEGIN ISOLATION LEVEL READ COMMITTED;
  20 }
  21 step "merge1" { MERGE INTO target t USING (SELECT 1 as key, 'merge1' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN UPDATE set val = t.val || ' updated by merge1'; }
  22 step "delete1" { DELETE FROM target WHERE key = 1; }
  23 step "insert1" { INSERT INTO target VALUES (1, 'insert1'); }
  24 step "c1" { COMMIT; }
  25 step "a1" { ABORT; }
  26
  27 session "s2"
  28 setup
  29 {
  30   BEGIN ISOLATION LEVEL READ COMMITTED;
  31 }
  32 step "merge2" { MERGE INTO target t USING (SELECT 1 as key, 'merge2' as val) s ON s.key = t.key WHEN NOT MATCHED THEN INSERT VALUES (s.key, s.val) WHEN MATCHED THEN UPDATE set val = t.val || ' updated by merge2'; }
  33
  34 step "merge2i" { MERGE INTO target t USING (SELECT 1 as key, 'merge2' as val) s ON s.key = t.key WHEN MATCHED THEN UPDATE set val = t.val || ' updated by merge2'; }
  35
  36 step "select2" { SELECT * FROM target; }
  37 step "c2" { COMMIT; }
  38 step "a2" { ABORT; }
  39
  40 # Basic effects
  41 permutation "merge1" "c1" "select2" "c2"
  42 permutation "merge1" "c1" "merge2" "select2" "c2"
  43
  44 # check concurrent inserts
  45 permutation "insert1" "merge2" "c1" "select2" "c2"
  46 permutation "merge1" "merge2" "c1" "select2" "c2"
  47 permutation "merge1" "merge2" "a1" "select2" "c2"
  48
  49 # check how we handle when visible row has been concurrently deleted, then same key re-inserted
  50 permutation "delete1" "insert1" "c1" "merge2" "select2" "c2"
  51 permutation "delete1" "insert1" "merge2" "c1" "select2" "c2"
  52 permutation "delete1" "insert1" "merge2i" "c1" "select2" "c2"