Justify nbtree page split locking in code comment.
authorPeter Geoghegan <pg@bowt.ie>
Fri, 27 Mar 2020 23:44:52 +0000 (16:44 -0700)
committerPeter Geoghegan <pg@bowt.ie>
Fri, 27 Mar 2020 23:44:52 +0000 (16:44 -0700)
commit9945ad6e904041be1567a89916ddc64087ed1edc
treebfea470c1768e69d639f86d86231712c566609b5
parent1e6148032e4d27aec75c49264b47ad193405a919
Justify nbtree page split locking in code comment.

Delaying unlocking the right child page until after the point that the
left child's parent page has been refound is no longer truly necessary.
Commit 40dae7ec made nbtree tolerant of interrupted page splits.  VACUUM
was taught to avoid deleting a page that happens to be the right half of
an incomplete split.  As long as page splits don't unlock the left child
page until the end of the second/final phase, it should be safe to
unlock the right child page earlier (at the end of the first phase).

It probably isn't actually useful to release the right child's lock
earlier like this (it probably won't improve performance).  Even still,
pointing out that it ought to be safe to do so should make it easier to
understand the overall design.
src/backend/access/nbtree/nbtinsert.c