Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Commitcac37c1

Browse files
Fix btmarkpos/btrestrpos array key wraparound bug.
nbtree's mark/restore processing failed to correctly handle an edge caseinvolving array key advancement and related search-type scan key state.Scans with ScalarArrayScalarArrayOpExpr quals requiring mark/restoreprocessing (for a merge join) could incorrectly conclude that anaffected array/scan key must not have advanced during the time betweenmarking and restoring the scan's position.As a result of all this, array key handling within btrestrpos could skipa required call to _bt_preprocess_keys(). This confusion allowed laterprimitive index scans to overlook tuples matching the true current arraykeys. The scan's search-type scan keys would still have spurious valuescorresponding to the final array element(s) -- not values matching thefirst/now-current array element(s).To fix, remember that "array key wraparound" has taken place during theongoing btrescan in a flag variable stored in the scan's state, and usethat information at the point where btrestrpos decides if another callto _bt_preprocess_keys is required.Oversight in commit70bc583, which taught nbtree to handle array keysduring mark/restore processing, but missed this subtlety. That commitwas itself a bug fix for an issue in commit9e8da0f, which taughtnbtree to handle ScalarArrayOpExpr quals natively.Author: Peter Geoghegan <pg@bowt.ie>Discussion:https://postgr.es/m/CAH2-WzkgP3DDRJxw6DgjCxo-cu-DKrvjEv_ArkP2ctBJatDCYg@mail.gmail.comBackpatch: 11- (all supported branches).
1 parent59371f1 commitcac37c1

File tree

3 files changed

+20
-2
lines changed

3 files changed

+20
-2
lines changed

‎src/backend/access/nbtree/nbtree.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -361,6 +361,7 @@ btbeginscan(Relation rel, int nkeys, int norderbys)
361361
so->keyData=NULL;
362362

363363
so->arrayKeyData=NULL;/* assume no array keys for now */
364+
so->arraysStarted= false;
364365
so->numArrayKeys=0;
365366
so->arrayKeys=NULL;
366367
so->arrayContext=NULL;

‎src/backend/access/nbtree/nbtutils.c

Lines changed: 16 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -539,6 +539,8 @@ _bt_start_array_keys(IndexScanDesc scan, ScanDirection dir)
539539
curArrayKey->cur_elem=0;
540540
skey->sk_argument=curArrayKey->elem_values[curArrayKey->cur_elem];
541541
}
542+
543+
so->arraysStarted= true;
542544
}
543545

544546
/*
@@ -598,6 +600,14 @@ _bt_advance_array_keys(IndexScanDesc scan, ScanDirection dir)
598600
if (scan->parallel_scan!=NULL)
599601
_bt_parallel_advance_array_keys(scan);
600602

603+
/*
604+
* When no new array keys were found, the scan is "past the end" of the
605+
* array keys. _bt_start_array_keys can still "restart" the array keys if
606+
* a rescan is required.
607+
*/
608+
if (!found)
609+
so->arraysStarted= false;
610+
601611
returnfound;
602612
}
603613

@@ -651,8 +661,13 @@ _bt_restore_array_keys(IndexScanDesc scan)
651661
* If we changed any keys, we must redo _bt_preprocess_keys. That might
652662
* sound like overkill, but in cases with multiple keys per index column
653663
* it seems necessary to do the full set of pushups.
664+
*
665+
* Also do this whenever the scan's set of array keys "wrapped around" at
666+
* the end of the last primitive index scan. There won't have been a call
667+
* to _bt_preprocess_keys from some other place following wrap around, so
668+
* we do it for ourselves.
654669
*/
655-
if (changed)
670+
if (changed|| !so->arraysStarted)
656671
{
657672
_bt_preprocess_keys(scan);
658673
/* The mark should have been set on a consistent set of keys... */

‎src/include/access/nbtree.h

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1031,8 +1031,10 @@ typedef struct BTArrayKeyInfo
10311031

10321032
typedefstructBTScanOpaqueData
10331033
{
1034-
/*these fields are set by _bt_preprocess_keys(): */
1034+
/*all fields (except arraysStarted) are set by _bt_preprocess_keys(): */
10351035
boolqual_ok;/* false if qual can never be satisfied */
1036+
boolarraysStarted;/* Started array keys, but have yet to "reach
1037+
* past the end" of all arrays? */
10361038
intnumberOfKeys;/* number of preprocessed scan keys */
10371039
ScanKeykeyData;/* array of preprocessed scan keys */
10381040

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp