Avoid unnecessary failure in SELECT concurrent with ALTER NO INHERIT.
Tom Lane <tgl@sss.pgh.pa.us>
Avoid unnecessary failure in SELECT concurrent with ALTER NO INHERIT. If a query against an inheritance tree runs concurrently with an ALTER TABLE that's disinheriting one of the tree members, it's possible to get a "could not find inherited attribute" error because after obtaining lock on the removed member, make_inh_translation_list sees that its columns have attinhcount=0 and decides they aren't the columns it's looking for. An ideal fix, perhaps, would avoid including such a just-removed member table in the query at all; but there seems no way to accomplish that without adding expensive catalog rechecks or creating a likelihood of deadlocks. Instead, let's just drop the check on attinhcount. In this way, a query that's included a just-disinherited child will still succeed, which is not a completely unreasonable behavior. This problem has existed for a long time, so back-patch to all supported branches. Also add an isolation test verifying related behaviors. Patch by me; the new isolation test is based on Kyotaro Horiguchi's work. Discussion: https://postgr.es/m/20170626.174612.23936762.horiguchi.kyotaro@lab.ntt.co.jp
Files
| Path | Change | +/− |
|---|---|---|
| src/backend/optimizer/prep/prepunion.c | modified | +2 −2 |
| src/test/isolation/expected/alter-table-4.out | added | +57 −0 |
| src/test/isolation/isolation_schedule | modified | +1 −0 |
| src/test/isolation/specs/alter-table-4.spec | added | +37 −0 |
Discussion
- Race between SELECT and ALTER TABLE NO INHERIT 18 messages · 2017-06-26 → 2018-01-16