1Parsed test spec with 3 sessions 2 3starting permutation: s1lock s2lock s1svpt s3lock s1lock2 s2c s1c s3c 4step s1lock: SELECT * FROM justthis FOR SHARE; 5value 6----- 7 1 8(1 row) 9 10step s2lock: SELECT * FROM justthis FOR SHARE; 11value 12----- 13 1 14(1 row) 15 16step s1svpt: SAVEPOINT foo; 17step s3lock: SELECT * FROM justthis FOR UPDATE; <waiting ...> 18step s1lock2: SELECT * FROM justthis FOR SHARE; 19value 20----- 21 1 22(1 row) 23 24step s2c: COMMIT; 25step s1c: COMMIT; 26step s3lock: <... completed> 27value 28----- 29 1 30(1 row) 31 32step s3c: COMMIT; 33