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;

CREATETABLEaccounts (accountidtextPRIMARYKEY,balancenumericnotnull);

INSERTINTOaccountsVALUES ('checking',600), ('savings',600);

CREATETABLEaccounts_ext (accountidtextPRIMARYKEY,balancenumericnotnull,othertext);

INSERTINTOaccounts_extVALUES ('checking',600,'other'), ('savings',700,null);

ALTERTABLEaccounts_extADDCOLUMNnewcolintDEFAULT42;

ALTERTABLEaccounts_extADDCOLUMNnewcol2textDEFAULTNULL;

CREATETABLEp (aint,bint,cint);

CREATETABLEc1 ()INHERITS (p);

CREATETABLEc2 ()INHERITS (p);

{

DROPTABLEaccounts;

DROPTABLEaccounts_ext;

DROPTABLEpCASCADE;

DROPTABLEtable_a,table_b,jointest;

}

WHEREa1.accountid=v.id

FORUPDATEOFa1;

}

step"partiallock_ext"{

SELECT*FROMaccounts_exta1,accounts_exta2

WHEREa1.accountid=a2.accountid

FORUPDATEOFa1;

}

INSERTINTOaccountsSELECT'savings',1234

WHERENOTEXISTS (SELECT1FROMupsert);

}

step"wx2_ext"{UPDATEaccounts_extSETbalance=balance+450; }

step"readp2"{SELECTtableoid::regclass,ctid,*FROMpWHEREbIN (0,1)ANDc=0FORUPDATE; }

step"returningp1" {

WITHuAS (UPDATEpSETb=bWHEREa>0RETURNING* )

setup{BEGINISOLATIONLEVELREADCOMMITTED; }

step"read"{SELECT*FROMaccountsORDERBYaccountid; }

step"read_ext"{SELECT*FROMaccounts_extORDERBYaccountid; }

step"readwcte"{