mirror of
https://github.com/postgres/postgres.git
synced 2025-07-28 23:42:10 +03:00
Copy editing: fix a bunch of misspellings and poor wording.
99% of this is docs, but also a couple of comments. No code changes. Justin Pryzby Discussion: https://postgr.es/m/20200919175804.GE30557@telsasoft.com
This commit is contained in:
@ -413,7 +413,7 @@ leftmost leaf of the tree.
|
||||
Deletion algorithm keeps exclusive locks on left siblings of pages comprising
|
||||
currently investigated path. Thus, if current page is to be removed, all
|
||||
required pages to remove both downlink and rightlink are already locked. That
|
||||
evades potential right to left page locking order, which could deadlock with
|
||||
avoids potential right to left page locking order, which could deadlock with
|
||||
concurrent stepping right.
|
||||
|
||||
A search concurrent to page deletion might already have read a pointer to the
|
||||
|
Reference in New Issue
Block a user