416 lines
17 KiB
Plaintext
416 lines
17 KiB
Plaintext
Parsed test spec with 3 sessions
|
|
|
|
starting permutation: controller_locks controller_show s1_upsert s2_upsert controller_show controller_unlock_1_1 controller_unlock_2_1 controller_unlock_1_3 controller_unlock_2_3 controller_show controller_unlock_2_2 controller_show controller_unlock_1_2 controller_show
|
|
step controller_locks: SELECT pg_advisory_lock(sess, lock), sess, lock FROM generate_series(1, 2) a(sess), generate_series(1,3) b(lock);
|
|
pg_advisory_locksess lock
|
|
|
|
1 1
|
|
1 2
|
|
1 3
|
|
2 1
|
|
2 2
|
|
2 3
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 3
|
|
step s1_upsert: INSERT INTO upserttest(key, data) VALUES('k1', 'inserted s1') ON CONFLICT (blurt_and_lock_123(key)) DO UPDATE SET data = upserttest.data || ' with conflict update s1'; <waiting ...>
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 3
|
|
step s2_upsert: INSERT INTO upserttest(key, data) VALUES('k1', 'inserted s2') ON CONFLICT (blurt_and_lock_123(key)) DO UPDATE SET data = upserttest.data || ' with conflict update s2'; <waiting ...>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_1: SELECT pg_advisory_unlock(1, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_2_1: SELECT pg_advisory_unlock(2, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_1_3: SELECT pg_advisory_unlock(1, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step controller_unlock_2_3: SELECT pg_advisory_unlock(2, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_2_2: SELECT pg_advisory_unlock(2, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step s2_upsert: <... completed>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
k1 inserted s2
|
|
step controller_unlock_1_2: SELECT pg_advisory_unlock(1, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step s1_upsert: <... completed>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
k1 inserted s2 with conflict update s1
|
|
|
|
starting permutation: controller_locks controller_show s1_upsert s2_upsert controller_show controller_unlock_1_1 controller_unlock_2_1 controller_unlock_1_3 controller_unlock_2_3 controller_show controller_unlock_1_2 controller_show controller_unlock_2_2 controller_show
|
|
step controller_locks: SELECT pg_advisory_lock(sess, lock), sess, lock FROM generate_series(1, 2) a(sess), generate_series(1,3) b(lock);
|
|
pg_advisory_locksess lock
|
|
|
|
1 1
|
|
1 2
|
|
1 3
|
|
2 1
|
|
2 2
|
|
2 3
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 3
|
|
step s1_upsert: INSERT INTO upserttest(key, data) VALUES('k1', 'inserted s1') ON CONFLICT (blurt_and_lock_123(key)) DO UPDATE SET data = upserttest.data || ' with conflict update s1'; <waiting ...>
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 3
|
|
step s2_upsert: INSERT INTO upserttest(key, data) VALUES('k1', 'inserted s2') ON CONFLICT (blurt_and_lock_123(key)) DO UPDATE SET data = upserttest.data || ' with conflict update s2'; <waiting ...>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_1: SELECT pg_advisory_unlock(1, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_2_1: SELECT pg_advisory_unlock(2, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_1_3: SELECT pg_advisory_unlock(1, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step controller_unlock_2_3: SELECT pg_advisory_unlock(2, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_2: SELECT pg_advisory_unlock(1, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step s1_upsert: <... completed>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
k1 inserted s1
|
|
step controller_unlock_2_2: SELECT pg_advisory_unlock(2, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step s2_upsert: <... completed>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
k1 inserted s1 with conflict update s2
|
|
|
|
starting permutation: controller_locks controller_show s1_insert_toast s2_insert_toast controller_show controller_unlock_1_1 controller_unlock_2_1 controller_unlock_1_3 controller_unlock_2_3 controller_show controller_unlock_1_2 controller_show_count controller_unlock_2_2 controller_show_count
|
|
step controller_locks: SELECT pg_advisory_lock(sess, lock), sess, lock FROM generate_series(1, 2) a(sess), generate_series(1,3) b(lock);
|
|
pg_advisory_locksess lock
|
|
|
|
1 1
|
|
1 2
|
|
1 3
|
|
2 1
|
|
2 2
|
|
2 3
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
s1: NOTICE: blurt_and_lock_123() called for k2 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 3
|
|
step s1_insert_toast: INSERT INTO upserttest VALUES('k2', ctoast_large_val()) ON CONFLICT DO NOTHING; <waiting ...>
|
|
s2: NOTICE: blurt_and_lock_123() called for k2 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 3
|
|
step s2_insert_toast: INSERT INTO upserttest VALUES('k2', ctoast_large_val()) ON CONFLICT DO NOTHING; <waiting ...>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_1: SELECT pg_advisory_unlock(1, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_2_1: SELECT pg_advisory_unlock(2, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_1_3: SELECT pg_advisory_unlock(1, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s1: NOTICE: blurt_and_lock_123() called for k2 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step controller_unlock_2_3: SELECT pg_advisory_unlock(2, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_123() called for k2 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_2: SELECT pg_advisory_unlock(1, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step s1_insert_toast: <... completed>
|
|
step controller_show_count: SELECT COUNT(*) FROM upserttest;
|
|
count
|
|
|
|
1
|
|
step controller_unlock_2_2: SELECT pg_advisory_unlock(2, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_123() called for k2 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
s2: NOTICE: blurt_and_lock_123() called for k2 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step s2_insert_toast: <... completed>
|
|
step controller_show_count: SELECT COUNT(*) FROM upserttest;
|
|
count
|
|
|
|
1
|
|
|
|
starting permutation: controller_locks controller_show s1_begin s2_begin s1_upsert s2_upsert controller_show controller_unlock_1_1 controller_unlock_2_1 controller_unlock_1_3 controller_unlock_2_3 controller_show controller_unlock_1_2 controller_show controller_unlock_2_2 controller_show s1_commit controller_show s2_commit controller_show
|
|
step controller_locks: SELECT pg_advisory_lock(sess, lock), sess, lock FROM generate_series(1, 2) a(sess), generate_series(1,3) b(lock);
|
|
pg_advisory_locksess lock
|
|
|
|
1 1
|
|
1 2
|
|
1 3
|
|
2 1
|
|
2 2
|
|
2 3
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step s1_begin: BEGIN;
|
|
step s2_begin: BEGIN;
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 3
|
|
step s1_upsert: INSERT INTO upserttest(key, data) VALUES('k1', 'inserted s1') ON CONFLICT (blurt_and_lock_123(key)) DO UPDATE SET data = upserttest.data || ' with conflict update s1'; <waiting ...>
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 3
|
|
step s2_upsert: INSERT INTO upserttest(key, data) VALUES('k1', 'inserted s2') ON CONFLICT (blurt_and_lock_123(key)) DO UPDATE SET data = upserttest.data || ' with conflict update s2'; <waiting ...>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_1: SELECT pg_advisory_unlock(1, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_2_1: SELECT pg_advisory_unlock(2, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_1_3: SELECT pg_advisory_unlock(1, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step controller_unlock_2_3: SELECT pg_advisory_unlock(2, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_2: SELECT pg_advisory_unlock(1, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step s1_upsert: <... completed>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_2_2: SELECT pg_advisory_unlock(2, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step s1_commit: COMMIT;
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step s2_upsert: <... completed>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
k1 inserted s1
|
|
step s2_commit: COMMIT;
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
k1 inserted s1 with conflict update s2
|
|
|
|
starting permutation: s1_create_non_unique_index s1_confirm_index_order controller_locks controller_show s2_begin s1_upsert s2_upsert controller_show controller_unlock_1_1 controller_unlock_2_1 controller_unlock_1_3 controller_unlock_2_3 controller_show controller_lock_2_4 controller_unlock_2_2 controller_show controller_unlock_1_2 controller_print_speculative_locks controller_unlock_2_4 controller_print_speculative_locks s2_commit controller_show controller_print_speculative_locks
|
|
step s1_create_non_unique_index: CREATE INDEX upserttest_key_idx ON upserttest((blurt_and_lock_4(key)));
|
|
step s1_confirm_index_order: SELECT 'upserttest_key_uniq_idx'::regclass::int8 < 'upserttest_key_idx'::regclass::int8;
|
|
?column?
|
|
|
|
t
|
|
step controller_locks: SELECT pg_advisory_lock(sess, lock), sess, lock FROM generate_series(1, 2) a(sess), generate_series(1,3) b(lock);
|
|
pg_advisory_locksess lock
|
|
|
|
1 1
|
|
1 2
|
|
1 3
|
|
2 1
|
|
2 2
|
|
2 3
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step s2_begin: BEGIN;
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 3
|
|
step s1_upsert: INSERT INTO upserttest(key, data) VALUES('k1', 'inserted s1') ON CONFLICT (blurt_and_lock_123(key)) DO UPDATE SET data = upserttest.data || ' with conflict update s1'; <waiting ...>
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 3
|
|
step s2_upsert: INSERT INTO upserttest(key, data) VALUES('k1', 'inserted s2') ON CONFLICT (blurt_and_lock_123(key)) DO UPDATE SET data = upserttest.data || ' with conflict update s2'; <waiting ...>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_1: SELECT pg_advisory_unlock(1, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_2_1: SELECT pg_advisory_unlock(2, 1);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
step controller_unlock_1_3: SELECT pg_advisory_unlock(1, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step controller_unlock_2_3: SELECT pg_advisory_unlock(2, 3);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_123() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 2
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_lock_2_4: SELECT pg_advisory_lock(2, 4);
|
|
pg_advisory_lock
|
|
|
|
|
|
step controller_unlock_2_2: SELECT pg_advisory_unlock(2, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s2: NOTICE: blurt_and_lock_4() called for k1 in session 2
|
|
s2: NOTICE: acquiring advisory lock on 4
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
step controller_unlock_1_2: SELECT pg_advisory_unlock(1, 2);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s1: NOTICE: blurt_and_lock_4() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 4
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step controller_print_speculative_locks:
|
|
SELECT pa.application_name, locktype, mode, granted
|
|
FROM pg_locks pl JOIN pg_stat_activity pa USING (pid)
|
|
WHERE
|
|
locktype IN ('speculative token', 'transactionid')
|
|
AND pa.datname = current_database()
|
|
AND pa.application_name LIKE 'isolation/insert-conflict-specconflict-s%'
|
|
ORDER BY 1, 2, 3, 4;
|
|
|
|
application_namelocktype mode granted
|
|
|
|
isolation/insert-conflict-specconflict-s1speculative tokenShareLock f
|
|
isolation/insert-conflict-specconflict-s1transactionid ExclusiveLock t
|
|
isolation/insert-conflict-specconflict-s2speculative tokenExclusiveLock t
|
|
isolation/insert-conflict-specconflict-s2transactionid ExclusiveLock t
|
|
step controller_unlock_2_4: SELECT pg_advisory_unlock(2, 4);
|
|
pg_advisory_unlock
|
|
|
|
t
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step s2_upsert: <... completed>
|
|
step controller_print_speculative_locks:
|
|
SELECT pa.application_name, locktype, mode, granted
|
|
FROM pg_locks pl JOIN pg_stat_activity pa USING (pid)
|
|
WHERE
|
|
locktype IN ('speculative token', 'transactionid')
|
|
AND pa.datname = current_database()
|
|
AND pa.application_name LIKE 'isolation/insert-conflict-specconflict-s%'
|
|
ORDER BY 1, 2, 3, 4;
|
|
|
|
application_namelocktype mode granted
|
|
|
|
isolation/insert-conflict-specconflict-s1transactionid ExclusiveLock t
|
|
isolation/insert-conflict-specconflict-s1transactionid ShareLock f
|
|
isolation/insert-conflict-specconflict-s2transactionid ExclusiveLock t
|
|
step s2_commit: COMMIT;
|
|
s1: NOTICE: blurt_and_lock_123() called for k1 in session 1
|
|
s1: NOTICE: acquiring advisory lock on 2
|
|
step s1_upsert: <... completed>
|
|
step controller_show: SELECT * FROM upserttest;
|
|
key data
|
|
|
|
k1 inserted s2 with conflict update s1
|
|
step controller_print_speculative_locks:
|
|
SELECT pa.application_name, locktype, mode, granted
|
|
FROM pg_locks pl JOIN pg_stat_activity pa USING (pid)
|
|
WHERE
|
|
locktype IN ('speculative token', 'transactionid')
|
|
AND pa.datname = current_database()
|
|
AND pa.application_name LIKE 'isolation/insert-conflict-specconflict-s%'
|
|
ORDER BY 1, 2, 3, 4;
|
|
|
|
application_namelocktype mode granted
|
|
|