965 lines
34 KiB
Plaintext
965 lines
34 KiB
Plaintext
Parsed test spec with 3 sessions
|
|
|
|
starting permutation: wx1 wx2 c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance; <waiting ...>
|
|
step c1: COMMIT;
|
|
step wx2: <... completed>
|
|
balance
|
|
|
|
850
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 850
|
|
savings 600
|
|
|
|
starting permutation: wy1 wy2 c1 c2 read
|
|
step wy1: UPDATE accounts SET balance = balance + 500 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1100
|
|
step wy2: UPDATE accounts SET balance = balance + 1000 WHERE accountid = 'checking' AND balance < 1000 RETURNING balance; <waiting ...>
|
|
step c1: COMMIT;
|
|
step wy2: <... completed>
|
|
balance
|
|
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1100
|
|
savings 600
|
|
|
|
starting permutation: wx1 wx2 r1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance; <waiting ...>
|
|
step r1: ROLLBACK;
|
|
step wx2: <... completed>
|
|
balance
|
|
|
|
1050
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1050
|
|
savings 600
|
|
|
|
starting permutation: wy1 wy2 r1 c2 read
|
|
step wy1: UPDATE accounts SET balance = balance + 500 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1100
|
|
step wy2: UPDATE accounts SET balance = balance + 1000 WHERE accountid = 'checking' AND balance < 1000 RETURNING balance; <waiting ...>
|
|
step r1: ROLLBACK;
|
|
step wy2: <... completed>
|
|
balance
|
|
|
|
1600
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1600
|
|
savings 600
|
|
|
|
starting permutation: wx1 d1 wx2 c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance; <waiting ...>
|
|
step c1: COMMIT;
|
|
step wx2: <... completed>
|
|
balance
|
|
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
savings 600
|
|
|
|
starting permutation: wx2 d1 c2 c1 read
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1050
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance; <waiting ...>
|
|
step c2: COMMIT;
|
|
step d1: <... completed>
|
|
balance
|
|
|
|
1050
|
|
step c1: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
savings 600
|
|
|
|
starting permutation: wx2 wx2 d1 c2 c1 read
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1050
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1500
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance; <waiting ...>
|
|
step c2: COMMIT;
|
|
step d1: <... completed>
|
|
balance
|
|
|
|
step c1: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1500
|
|
savings 600
|
|
|
|
starting permutation: wx2 d2 d1 c2 c1 read
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1050
|
|
step d2: DELETE FROM accounts WHERE accountid = 'checking';
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance; <waiting ...>
|
|
step c2: COMMIT;
|
|
step d1: <... completed>
|
|
balance
|
|
|
|
step c1: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
savings 600
|
|
|
|
starting permutation: wx1 d1 wx2 r1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance; <waiting ...>
|
|
step r1: ROLLBACK;
|
|
step wx2: <... completed>
|
|
balance
|
|
|
|
1050
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1050
|
|
savings 600
|
|
|
|
starting permutation: wx2 d1 r2 c1 read
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1050
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance; <waiting ...>
|
|
step r2: ROLLBACK;
|
|
step d1: <... completed>
|
|
balance
|
|
|
|
600
|
|
step c1: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
savings 600
|
|
|
|
starting permutation: wx2 wx2 d1 r2 c1 read
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1050
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1500
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance; <waiting ...>
|
|
step r2: ROLLBACK;
|
|
step d1: <... completed>
|
|
balance
|
|
|
|
600
|
|
step c1: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
savings 600
|
|
|
|
starting permutation: wx2 d2 d1 r2 c1 read
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1050
|
|
step d2: DELETE FROM accounts WHERE accountid = 'checking';
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance; <waiting ...>
|
|
step r2: ROLLBACK;
|
|
step d1: <... completed>
|
|
balance
|
|
|
|
600
|
|
step c1: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
savings 600
|
|
|
|
starting permutation: d1 wx2 c1 c2 read
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance;
|
|
balance
|
|
|
|
600
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance; <waiting ...>
|
|
step c1: COMMIT;
|
|
step wx2: <... completed>
|
|
balance
|
|
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
savings 600
|
|
|
|
starting permutation: d1 wx2 r1 c2 read
|
|
step d1: DELETE FROM accounts WHERE accountid = 'checking' AND balance < 1500 RETURNING balance;
|
|
balance
|
|
|
|
600
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance; <waiting ...>
|
|
step r1: ROLLBACK;
|
|
step wx2: <... completed>
|
|
balance
|
|
|
|
1050
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1050
|
|
savings 600
|
|
|
|
starting permutation: wnested2 c1 c2 read
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: upid: text savings = text checking: f
|
|
step wnested2:
|
|
UPDATE accounts SET balance = balance - 1200
|
|
WHERE noisy_oper('upid', accountid, '=', 'checking')
|
|
AND noisy_oper('up', balance, '>', 200.0)
|
|
AND EXISTS (
|
|
SELECT accountid
|
|
FROM accounts_ext ae
|
|
WHERE noisy_oper('lock_id', ae.accountid, '=', accounts.accountid)
|
|
AND noisy_oper('lock_bal', ae.balance, '>', 200.0)
|
|
FOR UPDATE
|
|
);
|
|
|
|
step c1: COMMIT;
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking -600
|
|
savings 600
|
|
|
|
starting permutation: wx1 wxext1 wnested2 c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wxext1: UPDATE accounts_ext SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 600 > numeric 200.0: t
|
|
step wnested2:
|
|
UPDATE accounts SET balance = balance - 1200
|
|
WHERE noisy_oper('upid', accountid, '=', 'checking')
|
|
AND noisy_oper('up', balance, '>', 200.0)
|
|
AND EXISTS (
|
|
SELECT accountid
|
|
FROM accounts_ext ae
|
|
WHERE noisy_oper('lock_id', ae.accountid, '=', accounts.accountid)
|
|
AND noisy_oper('lock_bal', ae.balance, '>', 200.0)
|
|
FOR UPDATE
|
|
);
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 400 > numeric 200.0: t
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 400 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 400 > numeric 200.0: t
|
|
s2: NOTICE: upid: text savings = text checking: f
|
|
step wnested2: <... completed>
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking -800
|
|
savings 600
|
|
|
|
starting permutation: wx1 wx1 wxext1 wnested2 c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
200
|
|
step wxext1: UPDATE accounts_ext SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 600 > numeric 200.0: t
|
|
step wnested2:
|
|
UPDATE accounts SET balance = balance - 1200
|
|
WHERE noisy_oper('upid', accountid, '=', 'checking')
|
|
AND noisy_oper('up', balance, '>', 200.0)
|
|
AND EXISTS (
|
|
SELECT accountid
|
|
FROM accounts_ext ae
|
|
WHERE noisy_oper('lock_id', ae.accountid, '=', accounts.accountid)
|
|
AND noisy_oper('lock_bal', ae.balance, '>', 200.0)
|
|
FOR UPDATE
|
|
);
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 400 > numeric 200.0: t
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 200 > numeric 200.0: f
|
|
s2: NOTICE: upid: text savings = text checking: f
|
|
step wnested2: <... completed>
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 200
|
|
savings 600
|
|
|
|
starting permutation: wx1 wx1 wxext1 wxext1 wnested2 c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
200
|
|
step wxext1: UPDATE accounts_ext SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wxext1: UPDATE accounts_ext SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
200
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 600 > numeric 200.0: t
|
|
step wnested2:
|
|
UPDATE accounts SET balance = balance - 1200
|
|
WHERE noisy_oper('upid', accountid, '=', 'checking')
|
|
AND noisy_oper('up', balance, '>', 200.0)
|
|
AND EXISTS (
|
|
SELECT accountid
|
|
FROM accounts_ext ae
|
|
WHERE noisy_oper('lock_id', ae.accountid, '=', accounts.accountid)
|
|
AND noisy_oper('lock_bal', ae.balance, '>', 200.0)
|
|
FOR UPDATE
|
|
);
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 200 > numeric 200.0: f
|
|
s2: NOTICE: lock_id: text savings = text checking: f
|
|
s2: NOTICE: upid: text savings = text checking: f
|
|
step wnested2: <... completed>
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 200
|
|
savings 600
|
|
|
|
starting permutation: wx1 wxext1 wxext1 wnested2 c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wxext1: UPDATE accounts_ext SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step wxext1: UPDATE accounts_ext SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
200
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 600 > numeric 200.0: t
|
|
step wnested2:
|
|
UPDATE accounts SET balance = balance - 1200
|
|
WHERE noisy_oper('upid', accountid, '=', 'checking')
|
|
AND noisy_oper('up', balance, '>', 200.0)
|
|
AND EXISTS (
|
|
SELECT accountid
|
|
FROM accounts_ext ae
|
|
WHERE noisy_oper('lock_id', ae.accountid, '=', accounts.accountid)
|
|
AND noisy_oper('lock_bal', ae.balance, '>', 200.0)
|
|
FOR UPDATE
|
|
);
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 200 > numeric 200.0: f
|
|
s2: NOTICE: lock_id: text savings = text checking: f
|
|
s2: NOTICE: upid: text savings = text checking: f
|
|
step wnested2: <... completed>
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 400
|
|
savings 600
|
|
|
|
starting permutation: wx1 tocds1 wnested2 c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step tocds1: UPDATE accounts SET accountid = 'cds' WHERE accountid = 'checking';
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 600 > numeric 200.0: t
|
|
step wnested2:
|
|
UPDATE accounts SET balance = balance - 1200
|
|
WHERE noisy_oper('upid', accountid, '=', 'checking')
|
|
AND noisy_oper('up', balance, '>', 200.0)
|
|
AND EXISTS (
|
|
SELECT accountid
|
|
FROM accounts_ext ae
|
|
WHERE noisy_oper('lock_id', ae.accountid, '=', accounts.accountid)
|
|
AND noisy_oper('lock_bal', ae.balance, '>', 200.0)
|
|
FOR UPDATE
|
|
);
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
s2: NOTICE: upid: text cds = text checking: f
|
|
s2: NOTICE: upid: text savings = text checking: f
|
|
step wnested2: <... completed>
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
cds 400
|
|
savings 600
|
|
|
|
starting permutation: wx1 tocdsext1 wnested2 c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step tocdsext1: UPDATE accounts_ext SET accountid = 'cds' WHERE accountid = 'checking';
|
|
s2: NOTICE: upid: text checking = text checking: t
|
|
s2: NOTICE: up: numeric 600 > numeric 200.0: t
|
|
s2: NOTICE: lock_id: text checking = text checking: t
|
|
s2: NOTICE: lock_bal: numeric 600 > numeric 200.0: t
|
|
step wnested2:
|
|
UPDATE accounts SET balance = balance - 1200
|
|
WHERE noisy_oper('upid', accountid, '=', 'checking')
|
|
AND noisy_oper('up', balance, '>', 200.0)
|
|
AND EXISTS (
|
|
SELECT accountid
|
|
FROM accounts_ext ae
|
|
WHERE noisy_oper('lock_id', ae.accountid, '=', accounts.accountid)
|
|
AND noisy_oper('lock_bal', ae.balance, '>', 200.0)
|
|
FOR UPDATE
|
|
);
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
s2: NOTICE: lock_id: text cds = text checking: f
|
|
s2: NOTICE: lock_id: text savings = text checking: f
|
|
s2: NOTICE: upid: text savings = text checking: f
|
|
step wnested2: <... completed>
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 400
|
|
savings 600
|
|
|
|
starting permutation: wx1 updwcte c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step updwcte: WITH doup AS (UPDATE accounts SET balance = balance + 1100 WHERE accountid = 'checking' RETURNING *) UPDATE accounts a SET balance = doup.balance + 100 FROM doup RETURNING *; <waiting ...>
|
|
step c1: COMMIT;
|
|
step updwcte: <... completed>
|
|
accountid balance accountid balance
|
|
|
|
savings 1600 checking 1500
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1500
|
|
savings 1600
|
|
|
|
starting permutation: wx1 updwctefail c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step updwctefail: WITH doup AS (UPDATE accounts SET balance = balance + 1100 WHERE accountid = 'checking' RETURNING *, update_checking(999)) UPDATE accounts a SET balance = doup.balance + 100 FROM doup RETURNING *; <waiting ...>
|
|
step c1: COMMIT;
|
|
step updwctefail: <... completed>
|
|
error in steps c1 updwctefail: ERROR: tuple to be updated was already modified by an operation triggered by the current command
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 400
|
|
savings 600
|
|
|
|
starting permutation: wx1 delwcte c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step delwcte: WITH doup AS (UPDATE accounts SET balance = balance + 1100 WHERE accountid = 'checking' RETURNING *) DELETE FROM accounts a USING doup RETURNING *; <waiting ...>
|
|
step c1: COMMIT;
|
|
step delwcte: <... completed>
|
|
accountid balance accountid balance
|
|
|
|
savings 600 checking 1500
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1500
|
|
|
|
starting permutation: wx1 delwctefail c1 c2 read
|
|
step wx1: UPDATE accounts SET balance = balance - 200 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
400
|
|
step delwctefail: WITH doup AS (UPDATE accounts SET balance = balance + 1100 WHERE accountid = 'checking' RETURNING *, update_checking(999)) DELETE FROM accounts a USING doup RETURNING *; <waiting ...>
|
|
step c1: COMMIT;
|
|
step delwctefail: <... completed>
|
|
error in steps c1 delwctefail: ERROR: tuple to be deleted was already modified by an operation triggered by the current command
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 400
|
|
savings 600
|
|
|
|
starting permutation: upsert1 upsert2 c1 c2 read
|
|
step upsert1:
|
|
WITH upsert AS
|
|
(UPDATE accounts SET balance = balance + 500
|
|
WHERE accountid = 'savings'
|
|
RETURNING accountid)
|
|
INSERT INTO accounts SELECT 'savings', 500
|
|
WHERE NOT EXISTS (SELECT 1 FROM upsert);
|
|
|
|
step upsert2:
|
|
WITH upsert AS
|
|
(UPDATE accounts SET balance = balance + 1234
|
|
WHERE accountid = 'savings'
|
|
RETURNING accountid)
|
|
INSERT INTO accounts SELECT 'savings', 1234
|
|
WHERE NOT EXISTS (SELECT 1 FROM upsert);
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step upsert2: <... completed>
|
|
step c2: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 600
|
|
savings 2334
|
|
|
|
starting permutation: readp1 writep1 readp2 c1 c2
|
|
step readp1: SELECT tableoid::regclass, ctid, * FROM p WHERE b IN (0, 1) AND c = 0 FOR UPDATE;
|
|
tableoid ctid a b c
|
|
|
|
c1 (0,1) 0 0 0
|
|
c1 (0,4) 0 1 0
|
|
c2 (0,1) 1 0 0
|
|
c2 (0,4) 1 1 0
|
|
c3 (0,1) 2 0 0
|
|
c3 (0,4) 2 1 0
|
|
step writep1: UPDATE p SET b = -1 WHERE a = 1 AND b = 1 AND c = 0;
|
|
step readp2: SELECT tableoid::regclass, ctid, * FROM p WHERE b IN (0, 1) AND c = 0 FOR UPDATE; <waiting ...>
|
|
step c1: COMMIT;
|
|
step readp2: <... completed>
|
|
tableoid ctid a b c
|
|
|
|
c1 (0,1) 0 0 0
|
|
c1 (0,4) 0 1 0
|
|
c2 (0,1) 1 0 0
|
|
c3 (0,1) 2 0 0
|
|
c3 (0,4) 2 1 0
|
|
step c2: COMMIT;
|
|
|
|
starting permutation: writep2 returningp1 c1 c2
|
|
step writep2: UPDATE p SET b = -b WHERE a = 1 AND c = 0;
|
|
step returningp1:
|
|
WITH u AS ( UPDATE p SET b = b WHERE a > 0 RETURNING * )
|
|
SELECT * FROM u;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step returningp1: <... completed>
|
|
a b c
|
|
|
|
1 0 0
|
|
1 0 1
|
|
1 0 2
|
|
1 -1 0
|
|
1 1 1
|
|
1 1 2
|
|
1 -2 0
|
|
1 2 1
|
|
1 2 2
|
|
1 -3 0
|
|
2 0 0
|
|
2 0 1
|
|
2 0 2
|
|
2 1 0
|
|
2 1 1
|
|
2 1 2
|
|
2 2 0
|
|
2 2 1
|
|
2 2 2
|
|
2 3 0
|
|
step c2: COMMIT;
|
|
|
|
starting permutation: wx2 partiallock c2 c1 read
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1050
|
|
step partiallock:
|
|
SELECT * FROM accounts a1, accounts a2
|
|
WHERE a1.accountid = a2.accountid
|
|
FOR UPDATE OF a1;
|
|
<waiting ...>
|
|
step c2: COMMIT;
|
|
step partiallock: <... completed>
|
|
accountid balance accountid balance
|
|
|
|
checking 1050 checking 600
|
|
savings 600 savings 600
|
|
step c1: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1050
|
|
savings 600
|
|
|
|
starting permutation: wx2 lockwithvalues c2 c1 read
|
|
step wx2: UPDATE accounts SET balance = balance + 450 WHERE accountid = 'checking' RETURNING balance;
|
|
balance
|
|
|
|
1050
|
|
step lockwithvalues:
|
|
-- Reference rowmark column that differs in type from targetlist at some attno.
|
|
-- See CAHU7rYZo_C4ULsAx_LAj8az9zqgrD8WDd4hTegDTMM1LMqrBsg@mail.gmail.com
|
|
SELECT a1.*, v.id FROM accounts a1, (values('checking'::text, 'nan'::text),('savings', 'nan')) v(id, notnumeric)
|
|
WHERE a1.accountid = v.id AND v.notnumeric != 'einszwei'
|
|
FOR UPDATE OF a1;
|
|
<waiting ...>
|
|
step c2: COMMIT;
|
|
step lockwithvalues: <... completed>
|
|
accountid balance id
|
|
|
|
checking 1050 checking
|
|
savings 600 savings
|
|
step c1: COMMIT;
|
|
step read: SELECT * FROM accounts ORDER BY accountid;
|
|
accountid balance
|
|
|
|
checking 1050
|
|
savings 600
|
|
|
|
starting permutation: wx2_ext partiallock_ext c2 c1 read_ext
|
|
step wx2_ext: UPDATE accounts_ext SET balance = balance + 450;
|
|
step partiallock_ext:
|
|
SELECT * FROM accounts_ext a1, accounts_ext a2
|
|
WHERE a1.accountid = a2.accountid
|
|
FOR UPDATE OF a1;
|
|
<waiting ...>
|
|
step c2: COMMIT;
|
|
step partiallock_ext: <... completed>
|
|
accountid balance other newcol newcol2 accountid balance other newcol newcol2
|
|
|
|
checking 1050 other 42 checking 600 other 42
|
|
savings 1150 42 savings 700 42
|
|
step c1: COMMIT;
|
|
step read_ext: SELECT * FROM accounts_ext ORDER BY accountid;
|
|
accountid balance other newcol newcol2
|
|
|
|
checking 1050 other 42
|
|
savings 1150 42
|
|
|
|
starting permutation: updateforss readforss c1 c2
|
|
step updateforss:
|
|
UPDATE table_a SET value = 'newTableAValue' WHERE id = 1;
|
|
UPDATE table_b SET value = 'newTableBValue' WHERE id = 1;
|
|
|
|
step readforss:
|
|
SELECT ta.id AS ta_id, ta.value AS ta_value,
|
|
(SELECT ROW(tb.id, tb.value)
|
|
FROM table_b tb WHERE ta.id = tb.id) AS tb_row
|
|
FROM table_a ta
|
|
WHERE ta.id = 1 FOR UPDATE OF ta;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step readforss: <... completed>
|
|
ta_id ta_value tb_row
|
|
|
|
1 newTableAValue (1,tableBValue)
|
|
step c2: COMMIT;
|
|
|
|
starting permutation: updateforcip updateforcip2 c1 c2 read_a
|
|
step updateforcip:
|
|
UPDATE table_a SET value = NULL WHERE id = 1;
|
|
|
|
step updateforcip2:
|
|
UPDATE table_a SET value = COALESCE(value, (SELECT text 'newValue')) WHERE id = 1;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step updateforcip2: <... completed>
|
|
step c2: COMMIT;
|
|
step read_a: SELECT * FROM table_a ORDER BY id;
|
|
id value
|
|
|
|
1 newValue
|
|
|
|
starting permutation: updateforcip updateforcip3 c1 c2 read_a
|
|
step updateforcip:
|
|
UPDATE table_a SET value = NULL WHERE id = 1;
|
|
|
|
step updateforcip3:
|
|
WITH d(val) AS (SELECT text 'newValue' FROM generate_series(1,1))
|
|
UPDATE table_a SET value = COALESCE(value, (SELECT val FROM d)) WHERE id = 1;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step updateforcip3: <... completed>
|
|
step c2: COMMIT;
|
|
step read_a: SELECT * FROM table_a ORDER BY id;
|
|
id value
|
|
|
|
1 newValue
|
|
|
|
starting permutation: wrtwcte readwcte c1 c2
|
|
step wrtwcte: UPDATE table_a SET value = 'tableAValue2' WHERE id = 1;
|
|
step readwcte:
|
|
WITH
|
|
cte1 AS (
|
|
SELECT id FROM table_b WHERE value = 'tableBValue'
|
|
),
|
|
cte2 AS (
|
|
SELECT * FROM table_a
|
|
WHERE id = (SELECT id FROM cte1)
|
|
FOR UPDATE
|
|
)
|
|
SELECT * FROM cte2;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step c2: COMMIT;
|
|
step readwcte: <... completed>
|
|
id value
|
|
|
|
1 tableAValue2
|
|
|
|
starting permutation: wrjt selectjoinforupdate c2 c1
|
|
step wrjt: UPDATE jointest SET data = 42 WHERE id = 7;
|
|
step selectjoinforupdate:
|
|
set local enable_nestloop to 0;
|
|
set local enable_hashjoin to 0;
|
|
set local enable_seqscan to 0;
|
|
explain (costs off)
|
|
select * from jointest a join jointest b on a.id=b.id for update;
|
|
select * from jointest a join jointest b on a.id=b.id for update;
|
|
<waiting ...>
|
|
step c2: COMMIT;
|
|
step selectjoinforupdate: <... completed>
|
|
QUERY PLAN
|
|
|
|
LockRows
|
|
-> Merge Join
|
|
Merge Cond: (a.id = b.id)
|
|
-> Index Scan using jointest_id_idx on jointest a
|
|
-> Index Scan using jointest_id_idx on jointest b
|
|
id data id data
|
|
|
|
1 0 1 0
|
|
2 0 2 0
|
|
3 0 3 0
|
|
4 0 4 0
|
|
5 0 5 0
|
|
6 0 6 0
|
|
7 42 7 42
|
|
8 0 8 0
|
|
9 0 9 0
|
|
10 0 10 0
|
|
step c1: COMMIT;
|
|
|
|
starting permutation: wrjt selectresultforupdate c2 c1
|
|
step wrjt: UPDATE jointest SET data = 42 WHERE id = 7;
|
|
step selectresultforupdate:
|
|
select * from (select 1 as x) ss1 join (select 7 as y) ss2 on true
|
|
left join table_a a on a.id = x, jointest jt
|
|
where jt.id = y;
|
|
explain (verbose, costs off)
|
|
select * from (select 1 as x) ss1 join (select 7 as y) ss2 on true
|
|
left join table_a a on a.id = x, jointest jt
|
|
where jt.id = y for update of jt, ss1, ss2;
|
|
select * from (select 1 as x) ss1 join (select 7 as y) ss2 on true
|
|
left join table_a a on a.id = x, jointest jt
|
|
where jt.id = y for update of jt, ss1, ss2;
|
|
<waiting ...>
|
|
step c2: COMMIT;
|
|
step selectresultforupdate: <... completed>
|
|
x y id value id data
|
|
|
|
1 7 1 tableAValue 7 0
|
|
QUERY PLAN
|
|
|
|
LockRows
|
|
Output: 1, 7, a.id, a.value, jt.id, jt.data, jt.ctid, a.ctid
|
|
-> Nested Loop Left Join
|
|
Output: 1, 7, a.id, a.value, jt.id, jt.data, jt.ctid, a.ctid
|
|
-> Nested Loop
|
|
Output: jt.id, jt.data, jt.ctid
|
|
-> Seq Scan on public.jointest jt
|
|
Output: jt.id, jt.data, jt.ctid
|
|
Filter: (jt.id = 7)
|
|
-> Result
|
|
-> Seq Scan on public.table_a a
|
|
Output: a.id, a.value, a.ctid
|
|
Filter: (a.id = 1)
|
|
x y id value id data
|
|
|
|
1 7 1 tableAValue 7 42
|
|
step c1: COMMIT;
|
|
|
|
starting permutation: wrtwcte multireadwcte c1 c2
|
|
step wrtwcte: UPDATE table_a SET value = 'tableAValue2' WHERE id = 1;
|
|
step multireadwcte:
|
|
WITH updated AS (
|
|
UPDATE table_a SET value = 'tableAValue3' WHERE id = 1 RETURNING id
|
|
)
|
|
SELECT (SELECT id FROM updated) AS subid, * FROM updated;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step c2: COMMIT;
|
|
step multireadwcte: <... completed>
|
|
subid id
|
|
|
|
1 1
|
|
|
|
starting permutation: simplepartupdate complexpartupdate c1 c2
|
|
step simplepartupdate:
|
|
update parttbl set a = a;
|
|
|
|
step complexpartupdate:
|
|
with u as (update parttbl set a = a returning parttbl.*)
|
|
update parttbl set a = u.a from u;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step complexpartupdate: <... completed>
|
|
step c2: COMMIT;
|
|
|
|
starting permutation: simplepartupdate_route1to2 complexpartupdate_route_err1 c1 c2
|
|
step simplepartupdate_route1to2:
|
|
update parttbl set a = 2 where c = 1 returning *;
|
|
|
|
a b c
|
|
|
|
2 1 1
|
|
step complexpartupdate_route_err1:
|
|
with u as (update another_parttbl set a = 1 returning another_parttbl.*)
|
|
update parttbl p set a = u.a from u where p.a = u.a and p.c = 1 returning p.*;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step complexpartupdate_route_err1: <... completed>
|
|
error in steps c1 complexpartupdate_route_err1: ERROR: tuple to be locked was already moved to another partition due to concurrent update
|
|
step c2: COMMIT;
|
|
|
|
starting permutation: simplepartupdate_noroute complexpartupdate_route c1 c2
|
|
step simplepartupdate_noroute:
|
|
update parttbl set b = 2 where c = 1 returning *;
|
|
|
|
a b c
|
|
|
|
1 2 1
|
|
step complexpartupdate_route:
|
|
with u as (update another_parttbl set a = 1 returning another_parttbl.*)
|
|
update parttbl p set a = p.b from u where p.a = u.a and p.c = 1 returning p.*;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step complexpartupdate_route: <... completed>
|
|
a b c
|
|
|
|
2 2 1
|
|
step c2: COMMIT;
|
|
|
|
starting permutation: simplepartupdate_noroute complexpartupdate_doesnt_route c1 c2
|
|
step simplepartupdate_noroute:
|
|
update parttbl set b = 2 where c = 1 returning *;
|
|
|
|
a b c
|
|
|
|
1 2 1
|
|
step complexpartupdate_doesnt_route:
|
|
with u as (update another_parttbl set a = 1 returning another_parttbl.*)
|
|
update parttbl p set a = 3 - p.b from u where p.a = u.a and p.c = 1 returning p.*;
|
|
<waiting ...>
|
|
step c1: COMMIT;
|
|
step complexpartupdate_doesnt_route: <... completed>
|
|
a b c
|
|
|
|
1 2 1
|
|
step c2: COMMIT;
|