1Parsed test spec with 2 sessions 2 3starting permutation: s1b s2b s1u s1c s2d s2c 4step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 5step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 6step s1u: UPDATE foo SET a=2 WHERE a=1; 7step s1c: COMMIT; 8step s2d: DELETE FROM foo WHERE a=1; 9step s2c: COMMIT; 10 11starting permutation: s1b s2b s1u s2d s1c s2c 12step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 13step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 14step s1u: UPDATE foo SET a=2 WHERE a=1; 15step s2d: DELETE FROM foo WHERE a=1; <waiting ...> 16step s1c: COMMIT; 17step s2d: <... completed> 18ERROR: tuple to be locked was already moved to another partition due to concurrent update 19step s2c: COMMIT; 20 21starting permutation: s1b s2b s1u s2u s1c s2c 22step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 23step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 24step s1u: UPDATE foo SET a=2 WHERE a=1; 25step s2u: UPDATE foo SET b='EFG' WHERE a=1; <waiting ...> 26step s1c: COMMIT; 27step s2u: <... completed> 28ERROR: tuple to be locked was already moved to another partition due to concurrent update 29step s2c: COMMIT; 30 31starting permutation: s1b s2b s2d s1u s2c s1c 32step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 33step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 34step s2d: DELETE FROM foo WHERE a=1; 35step s1u: UPDATE foo SET a=2 WHERE a=1; <waiting ...> 36step s2c: COMMIT; 37step s1u: <... completed> 38step s1c: COMMIT; 39 40starting permutation: s1b s2b s1u2 s1c s2u2 s2c 41step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 42step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 43step s1u2: UPDATE footrg SET b='EFG' WHERE a=1; 44step s1c: COMMIT; 45step s2u2: UPDATE footrg SET b='XYZ' WHERE a=1; 46step s2c: COMMIT; 47 48starting permutation: s1b s2b s1u2 s2u2 s1c s2c 49step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 50step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 51step s1u2: UPDATE footrg SET b='EFG' WHERE a=1; 52step s2u2: UPDATE footrg SET b='XYZ' WHERE a=1; <waiting ...> 53step s1c: COMMIT; 54step s2u2: <... completed> 55ERROR: tuple to be locked was already moved to another partition due to concurrent update 56step s2c: COMMIT; 57 58starting permutation: s1b s2b s2u2 s1u2 s2c s1c 59step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 60step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 61step s2u2: UPDATE footrg SET b='XYZ' WHERE a=1; 62step s1u2: UPDATE footrg SET b='EFG' WHERE a=1; <waiting ...> 63step s2c: COMMIT; 64step s1u2: <... completed> 65ERROR: tuple to be locked was already moved to another partition due to concurrent update 66step s1c: COMMIT; 67 68starting permutation: s1b s2b s1u3pc s2i s1c s2c 69step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 70step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 71step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7; 72step s2i: INSERT INTO bar VALUES(7); <waiting ...> 73step s1c: COMMIT; 74step s2i: <... completed> 75ERROR: tuple to be locked was already moved to another partition due to concurrent update 76step s2c: COMMIT; 77 78starting permutation: s1b s2b s1u3pc s2i s1r s2c 79step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 80step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 81step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7; 82step s2i: INSERT INTO bar VALUES(7); <waiting ...> 83step s1r: ROLLBACK; 84step s2i: <... completed> 85step s2c: COMMIT; 86 87starting permutation: s1b s2b s1u3npc s1u3pc s2i s1c s2c 88step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 89step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 90step s1u3npc: UPDATE foo_range_parted SET b='XYZ' WHERE a=7; 91step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7; 92step s2i: INSERT INTO bar VALUES(7); <waiting ...> 93step s1c: COMMIT; 94step s2i: <... completed> 95ERROR: tuple to be locked was already moved to another partition due to concurrent update 96step s2c: COMMIT; 97 98starting permutation: s1b s2b s1u3npc s1u3pc s2i s1r s2c 99step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 100step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 101step s1u3npc: UPDATE foo_range_parted SET b='XYZ' WHERE a=7; 102step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7; 103step s2i: INSERT INTO bar VALUES(7); <waiting ...> 104step s1r: ROLLBACK; 105step s2i: <... completed> 106step s2c: COMMIT; 107 108starting permutation: s1b s2b s1u3npc s1u3pc s1u3pc s2i s1c s2c 109step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 110step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 111step s1u3npc: UPDATE foo_range_parted SET b='XYZ' WHERE a=7; 112step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7; 113step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7; 114step s2i: INSERT INTO bar VALUES(7); <waiting ...> 115step s1c: COMMIT; 116step s2i: <... completed> 117ERROR: tuple to be locked was already moved to another partition due to concurrent update 118step s2c: COMMIT; 119 120starting permutation: s1b s2b s1u3npc s1u3pc s1u3pc s2i s1r s2c 121step s1b: BEGIN ISOLATION LEVEL READ COMMITTED; 122step s2b: BEGIN ISOLATION LEVEL READ COMMITTED; 123step s1u3npc: UPDATE foo_range_parted SET b='XYZ' WHERE a=7; 124step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7; 125step s1u3pc: UPDATE foo_range_parted SET a=11 WHERE a=7; 126step s2i: INSERT INTO bar VALUES(7); <waiting ...> 127step s1r: ROLLBACK; 128step s2i: <... completed> 129step s2c: COMMIT; 130