diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-04 12:17:33 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-04 12:17:33 +0000 |
commit | 5e45211a64149b3c659b90ff2de6fa982a5a93ed (patch) | |
tree | 739caf8c461053357daa9f162bef34516c7bf452 /src/test/isolation/expected/lock-committed-update.out | |
parent | Initial commit. (diff) | |
download | postgresql-15-5e45211a64149b3c659b90ff2de6fa982a5a93ed.tar.xz postgresql-15-5e45211a64149b3c659b90ff2de6fa982a5a93ed.zip |
Adding upstream version 15.5.upstream/15.5
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/isolation/expected/lock-committed-update.out')
-rw-r--r-- | src/test/isolation/expected/lock-committed-update.out | 931 |
1 files changed, 931 insertions, 0 deletions
diff --git a/src/test/isolation/expected/lock-committed-update.out b/src/test/isolation/expected/lock-committed-update.out new file mode 100644 index 0000000..84b9ce7 --- /dev/null +++ b/src/test/isolation/expected/lock-committed-update.out @@ -0,0 +1,931 @@ +Parsed test spec with 2 sessions + +starting permutation: s1b s2b1 s1l s2l s1u s1c s1ul s2c +step s1b: BEGIN; +step s2b1: BEGIN ISOLATION LEVEL READ COMMITTED; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b1 s1l s1u s2l s1c s1ul s2c +step s1b: BEGIN; +step s2b1: BEGIN ISOLATION LEVEL READ COMMITTED; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1c: COMMIT; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b1 s1l s2l s1ul s1u s1c s2c +step s1b: BEGIN; +step s2b1: BEGIN ISOLATION LEVEL READ COMMITTED; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b1 s1l s1u s1ul s2l s1c s2c +step s1b: BEGIN; +step s2b1: BEGIN ISOLATION LEVEL READ COMMITTED; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; +id|value +--+----- + 1|one +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b1 s1l s2l s1u s1c s1hint s1ul s2c +step s1b: BEGIN; +step s2b1: BEGIN ISOLATION LEVEL READ COMMITTED; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b1 s1l s1u s2l s1c s1hint s1ul s2c +step s1b: BEGIN; +step s2b1: BEGIN ISOLATION LEVEL READ COMMITTED; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b1 s1l s2l s1ul s1u s1c s1hint s2c +step s1b: BEGIN; +step s2b1: BEGIN ISOLATION LEVEL READ COMMITTED; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b1 s1l s1u s1ul s2l s1c s1hint s2c +step s1b: BEGIN; +step s2b1: BEGIN ISOLATION LEVEL READ COMMITTED; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; +id|value +--+----- + 1|one +(1 row) + +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b2 s1l s2l s1u s1c s1ul s2c +step s1b: BEGIN; +step s2b2: BEGIN ISOLATION LEVEL REPEATABLE READ; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b2 s1l s1u s2l s1c s1ul s2c +step s1b: BEGIN; +step s2b2: BEGIN ISOLATION LEVEL REPEATABLE READ; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1c: COMMIT; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b2 s1l s2l s1ul s1u s1c s2c +step s1b: BEGIN; +step s2b2: BEGIN ISOLATION LEVEL REPEATABLE READ; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b2 s1l s1u s1ul s2l s1c s2c +step s1b: BEGIN; +step s2b2: BEGIN ISOLATION LEVEL REPEATABLE READ; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; +id|value +--+----- + 1|one +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b2 s1l s2l s1u s1c s1hint s1ul s2c +step s1b: BEGIN; +step s2b2: BEGIN ISOLATION LEVEL REPEATABLE READ; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b2 s1l s1u s2l s1c s1hint s1ul s2c +step s1b: BEGIN; +step s2b2: BEGIN ISOLATION LEVEL REPEATABLE READ; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b2 s1l s2l s1ul s1u s1c s1hint s2c +step s1b: BEGIN; +step s2b2: BEGIN ISOLATION LEVEL REPEATABLE READ; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b2 s1l s1u s1ul s2l s1c s1hint s2c +step s1b: BEGIN; +step s2b2: BEGIN ISOLATION LEVEL REPEATABLE READ; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; +id|value +--+----- + 1|one +(1 row) + +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b3 s1l s2l s1u s1c s1ul s2c +step s1b: BEGIN; +step s2b3: BEGIN ISOLATION LEVEL SERIALIZABLE; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b3 s1l s1u s2l s1c s1ul s2c +step s1b: BEGIN; +step s2b3: BEGIN ISOLATION LEVEL SERIALIZABLE; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1c: COMMIT; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b3 s1l s2l s1ul s1u s1c s2c +step s1b: BEGIN; +step s2b3: BEGIN ISOLATION LEVEL SERIALIZABLE; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b3 s1l s1u s1ul s2l s1c s2c +step s1b: BEGIN; +step s2b3: BEGIN ISOLATION LEVEL SERIALIZABLE; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; +id|value +--+----- + 1|one +(1 row) + +step s1c: COMMIT; +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b3 s1l s2l s1u s1c s1hint s1ul s2c +step s1b: BEGIN; +step s2b3: BEGIN ISOLATION LEVEL SERIALIZABLE; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b3 s1l s1u s2l s1c s1hint s1ul s2c +step s1b: BEGIN; +step s2b3: BEGIN ISOLATION LEVEL SERIALIZABLE; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b3 s1l s2l s1ul s1u s1c s1hint s2c +step s1b: BEGIN; +step s2b3: BEGIN ISOLATION LEVEL SERIALIZABLE; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; <waiting ...> +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: <... completed> +id|value +--+----- + 1|one +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + + +starting permutation: s1b s2b3 s1l s1u s1ul s2l s1c s1hint s2c +step s1b: BEGIN; +step s2b3: BEGIN ISOLATION LEVEL SERIALIZABLE; +step s1l: SELECT pg_advisory_lock(380170116); +pg_advisory_lock +---------------- + +(1 row) + +step s1u: UPDATE lcu_table SET value = 'two' WHERE id = 1; +step s1ul: SELECT pg_advisory_unlock(380170116); +pg_advisory_unlock +------------------ +t +(1 row) + +step s2l: SELECT * FROM lcu_table WHERE pg_advisory_lock(380170116) IS NOT NULL FOR KEY SHARE; +id|value +--+----- + 1|one +(1 row) + +step s1c: COMMIT; +step s1hint: SELECT * FROM lcu_table; +id|value +--+----- + 1|two +(1 row) + +step s2c: COMMIT; +pg_advisory_unlock_all +---------------------- + +(1 row) + +pg_advisory_unlock_all +---------------------- + +(1 row) + |