PostgreSQL Source Code  git master
nodeForeignscan.c
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * nodeForeignscan.c
4  * Routines to support scans of foreign tables
5  *
6  * Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
7  * Portions Copyright (c) 1994, Regents of the University of California
8  *
9  *
10  * IDENTIFICATION
11  * src/backend/executor/nodeForeignscan.c
12  *
13  *-------------------------------------------------------------------------
14  */
15 /*
16  * INTERFACE ROUTINES
17  *
18  * ExecForeignScan scans a foreign table.
19  * ExecInitForeignScan creates and initializes state info.
20  * ExecReScanForeignScan rescans the foreign relation.
21  * ExecEndForeignScan releases any resources allocated.
22  */
23 #include "postgres.h"
24 
25 #include "executor/executor.h"
27 #include "foreign/fdwapi.h"
28 #include "utils/rel.h"
29 
31 static bool ForeignRecheck(ForeignScanState *node, TupleTableSlot *slot);
32 
33 
34 /* ----------------------------------------------------------------
35  * ForeignNext
36  *
37  * This is a workhorse for ExecForeignScan
38  * ----------------------------------------------------------------
39  */
40 static TupleTableSlot *
42 {
43  TupleTableSlot *slot;
44  ForeignScan *plan = (ForeignScan *) node->ss.ps.plan;
45  ExprContext *econtext = node->ss.ps.ps_ExprContext;
46  MemoryContext oldcontext;
47 
48  /* Call the Iterate function in short-lived context */
49  oldcontext = MemoryContextSwitchTo(econtext->ecxt_per_tuple_memory);
50  if (plan->operation != CMD_SELECT)
51  {
52  /*
53  * direct modifications cannot be re-evaluated, so shouldn't get here
54  * during EvalPlanQual processing
55  */
56  Assert(node->ss.ps.state->es_epq_active == NULL);
57 
58  slot = node->fdwroutine->IterateDirectModify(node);
59  }
60  else
61  slot = node->fdwroutine->IterateForeignScan(node);
62  MemoryContextSwitchTo(oldcontext);
63 
64  /*
65  * Insert valid value into tableoid, the only actually-useful system
66  * column.
67  */
68  if (plan->fsSystemCol && !TupIsNull(slot))
70 
71  return slot;
72 }
73 
74 /*
75  * ForeignRecheck -- access method routine to recheck a tuple in EvalPlanQual
76  */
77 static bool
79 {
80  FdwRoutine *fdwroutine = node->fdwroutine;
81  ExprContext *econtext;
82 
83  /*
84  * extract necessary information from foreign scan node
85  */
86  econtext = node->ss.ps.ps_ExprContext;
87 
88  /* Does the tuple meet the remote qual condition? */
89  econtext->ecxt_scantuple = slot;
90 
91  ResetExprContext(econtext);
92 
93  /*
94  * If an outer join is pushed down, RecheckForeignScan may need to store a
95  * different tuple in the slot, because a different set of columns may go
96  * to NULL upon recheck. Otherwise, it shouldn't need to change the slot
97  * contents, just return true or false to indicate whether the quals still
98  * pass. For simple cases, setting fdw_recheck_quals may be easier than
99  * providing this callback.
100  */
101  if (fdwroutine->RecheckForeignScan &&
102  !fdwroutine->RecheckForeignScan(node, slot))
103  return false;
104 
105  return ExecQual(node->fdw_recheck_quals, econtext);
106 }
107 
108 /* ----------------------------------------------------------------
109  * ExecForeignScan(node)
110  *
111  * Fetches the next tuple from the FDW, checks local quals, and
112  * returns it.
113  * We call the ExecScan() routine and pass it the appropriate
114  * access method functions.
115  * ----------------------------------------------------------------
116  */
117 static TupleTableSlot *
119 {
120  ForeignScanState *node = castNode(ForeignScanState, pstate);
121  ForeignScan *plan = (ForeignScan *) node->ss.ps.plan;
122  EState *estate = node->ss.ps.state;
123 
124  /*
125  * Ignore direct modifications when EvalPlanQual is active --- they are
126  * irrelevant for EvalPlanQual rechecking
127  */
128  if (estate->es_epq_active != NULL && plan->operation != CMD_SELECT)
129  return NULL;
130 
131  return ExecScan(&node->ss,
134 }
135 
136 
137 /* ----------------------------------------------------------------
138  * ExecInitForeignScan
139  * ----------------------------------------------------------------
140  */
142 ExecInitForeignScan(ForeignScan *node, EState *estate, int eflags)
143 {
144  ForeignScanState *scanstate;
145  Relation currentRelation = NULL;
146  Index scanrelid = node->scan.scanrelid;
147  int tlistvarno;
148  FdwRoutine *fdwroutine;
149 
150  /* check for unsupported flags */
151  Assert(!(eflags & (EXEC_FLAG_BACKWARD | EXEC_FLAG_MARK)));
152 
153  /*
154  * create state structure
155  */
156  scanstate = makeNode(ForeignScanState);
157  scanstate->ss.ps.plan = (Plan *) node;
158  scanstate->ss.ps.state = estate;
159  scanstate->ss.ps.ExecProcNode = ExecForeignScan;
160 
161  /*
162  * Miscellaneous initialization
163  *
164  * create expression context for node
165  */
166  ExecAssignExprContext(estate, &scanstate->ss.ps);
167 
168  /*
169  * open the scan relation, if any; also acquire function pointers from the
170  * FDW's handler
171  */
172  if (scanrelid > 0)
173  {
174  currentRelation = ExecOpenScanRelation(estate, scanrelid, eflags);
175  scanstate->ss.ss_currentRelation = currentRelation;
176  fdwroutine = GetFdwRoutineForRelation(currentRelation, true);
177  }
178  else
179  {
180  /* We can't use the relcache, so get fdwroutine the hard way */
181  fdwroutine = GetFdwRoutineByServerId(node->fs_server);
182  }
183 
184  /*
185  * Determine the scan tuple type. If the FDW provided a targetlist
186  * describing the scan tuples, use that; else use base relation's rowtype.
187  */
188  if (node->fdw_scan_tlist != NIL || currentRelation == NULL)
189  {
190  TupleDesc scan_tupdesc;
191 
192  scan_tupdesc = ExecTypeFromTL(node->fdw_scan_tlist);
193  ExecInitScanTupleSlot(estate, &scanstate->ss, scan_tupdesc,
194  &TTSOpsHeapTuple);
195  /* Node's targetlist will contain Vars with varno = INDEX_VAR */
196  tlistvarno = INDEX_VAR;
197  }
198  else
199  {
200  TupleDesc scan_tupdesc;
201 
202  /* don't trust FDWs to return tuples fulfilling NOT NULL constraints */
203  scan_tupdesc = CreateTupleDescCopy(RelationGetDescr(currentRelation));
204  ExecInitScanTupleSlot(estate, &scanstate->ss, scan_tupdesc,
205  &TTSOpsHeapTuple);
206  /* Node's targetlist will contain Vars with varno = scanrelid */
207  tlistvarno = scanrelid;
208  }
209 
210  /* Don't know what an FDW might return */
211  scanstate->ss.ps.scanopsfixed = false;
212  scanstate->ss.ps.scanopsset = true;
213 
214  /*
215  * Initialize result slot, type and projection.
216  */
217  ExecInitResultTypeTL(&scanstate->ss.ps);
218  ExecAssignScanProjectionInfoWithVarno(&scanstate->ss, tlistvarno);
219 
220  /*
221  * initialize child expressions
222  */
223  scanstate->ss.ps.qual =
224  ExecInitQual(node->scan.plan.qual, (PlanState *) scanstate);
225  scanstate->fdw_recheck_quals =
226  ExecInitQual(node->fdw_recheck_quals, (PlanState *) scanstate);
227 
228  /*
229  * Determine whether to scan the foreign relation asynchronously or not;
230  * this has to be kept in sync with the code in ExecInitAppend().
231  */
232  scanstate->ss.ps.async_capable = (((Plan *) node)->async_capable &&
233  estate->es_epq_active == NULL);
234 
235  /*
236  * Initialize FDW-related state.
237  */
238  scanstate->fdwroutine = fdwroutine;
239  scanstate->fdw_state = NULL;
240 
241  /*
242  * For the FDW's convenience, look up the modification target relation's
243  * ResultRelInfo. The ModifyTable node should have initialized it for us,
244  * see ExecInitModifyTable.
245  *
246  * Don't try to look up the ResultRelInfo when EvalPlanQual is active,
247  * though. Direct modifications cannot be re-evaluated as part of
248  * EvalPlanQual. The lookup wouldn't work anyway because during
249  * EvalPlanQual processing, EvalPlanQual only initializes the subtree
250  * under the ModifyTable, and doesn't run ExecInitModifyTable.
251  */
252  if (node->resultRelation > 0 && estate->es_epq_active == NULL)
253  {
254  if (estate->es_result_relations == NULL ||
255  estate->es_result_relations[node->resultRelation - 1] == NULL)
256  {
257  elog(ERROR, "result relation not initialized");
258  }
259  scanstate->resultRelInfo = estate->es_result_relations[node->resultRelation - 1];
260  }
261 
262  /* Initialize any outer plan. */
263  if (outerPlan(node))
264  outerPlanState(scanstate) =
265  ExecInitNode(outerPlan(node), estate, eflags);
266 
267  /*
268  * Tell the FDW to initialize the scan.
269  */
270  if (node->operation != CMD_SELECT)
271  {
272  /*
273  * Direct modifications cannot be re-evaluated by EvalPlanQual, so
274  * don't bother preparing the FDW.
275  *
276  * In case of an inherited UPDATE/DELETE with foreign targets there
277  * can be direct-modify ForeignScan nodes in the EvalPlanQual subtree,
278  * so we need to ignore such ForeignScan nodes during EvalPlanQual
279  * processing. See also ExecForeignScan/ExecReScanForeignScan.
280  */
281  if (estate->es_epq_active == NULL)
282  fdwroutine->BeginDirectModify(scanstate, eflags);
283  }
284  else
285  fdwroutine->BeginForeignScan(scanstate, eflags);
286 
287  return scanstate;
288 }
289 
290 /* ----------------------------------------------------------------
291  * ExecEndForeignScan
292  *
293  * frees any storage allocated through C routines.
294  * ----------------------------------------------------------------
295  */
296 void
298 {
299  ForeignScan *plan = (ForeignScan *) node->ss.ps.plan;
300  EState *estate = node->ss.ps.state;
301 
302  /* Let the FDW shut down */
303  if (plan->operation != CMD_SELECT)
304  {
305  if (estate->es_epq_active == NULL)
306  node->fdwroutine->EndDirectModify(node);
307  }
308  else
309  node->fdwroutine->EndForeignScan(node);
310 
311  /* Shut down any outer plan. */
312  if (outerPlanState(node))
314 }
315 
316 /* ----------------------------------------------------------------
317  * ExecReScanForeignScan
318  *
319  * Rescans the relation.
320  * ----------------------------------------------------------------
321  */
322 void
324 {
325  ForeignScan *plan = (ForeignScan *) node->ss.ps.plan;
326  EState *estate = node->ss.ps.state;
328 
329  /*
330  * Ignore direct modifications when EvalPlanQual is active --- they are
331  * irrelevant for EvalPlanQual rechecking
332  */
333  if (estate->es_epq_active != NULL && plan->operation != CMD_SELECT)
334  return;
335 
336  node->fdwroutine->ReScanForeignScan(node);
337 
338  /*
339  * If chgParam of subnode is not null then plan will be re-scanned by
340  * first ExecProcNode. outerPlan may also be NULL, in which case there is
341  * nothing to rescan at all.
342  */
343  if (outerPlan != NULL && outerPlan->chgParam == NULL)
345 
346  ExecScanReScan(&node->ss);
347 }
348 
349 /* ----------------------------------------------------------------
350  * ExecForeignScanEstimate
351  *
352  * Informs size of the parallel coordination information, if any
353  * ----------------------------------------------------------------
354  */
355 void
357 {
358  FdwRoutine *fdwroutine = node->fdwroutine;
359 
360  if (fdwroutine->EstimateDSMForeignScan)
361  {
362  node->pscan_len = fdwroutine->EstimateDSMForeignScan(node, pcxt);
364  shm_toc_estimate_keys(&pcxt->estimator, 1);
365  }
366 }
367 
368 /* ----------------------------------------------------------------
369  * ExecForeignScanInitializeDSM
370  *
371  * Initialize the parallel coordination information
372  * ----------------------------------------------------------------
373  */
374 void
376 {
377  FdwRoutine *fdwroutine = node->fdwroutine;
378 
379  if (fdwroutine->InitializeDSMForeignScan)
380  {
381  int plan_node_id = node->ss.ps.plan->plan_node_id;
382  void *coordinate;
383 
384  coordinate = shm_toc_allocate(pcxt->toc, node->pscan_len);
385  fdwroutine->InitializeDSMForeignScan(node, pcxt, coordinate);
386  shm_toc_insert(pcxt->toc, plan_node_id, coordinate);
387  }
388 }
389 
390 /* ----------------------------------------------------------------
391  * ExecForeignScanReInitializeDSM
392  *
393  * Reset shared state before beginning a fresh scan.
394  * ----------------------------------------------------------------
395  */
396 void
398 {
399  FdwRoutine *fdwroutine = node->fdwroutine;
400 
401  if (fdwroutine->ReInitializeDSMForeignScan)
402  {
403  int plan_node_id = node->ss.ps.plan->plan_node_id;
404  void *coordinate;
405 
406  coordinate = shm_toc_lookup(pcxt->toc, plan_node_id, false);
407  fdwroutine->ReInitializeDSMForeignScan(node, pcxt, coordinate);
408  }
409 }
410 
411 /* ----------------------------------------------------------------
412  * ExecForeignScanInitializeWorker
413  *
414  * Initialization according to the parallel coordination information
415  * ----------------------------------------------------------------
416  */
417 void
419  ParallelWorkerContext *pwcxt)
420 {
421  FdwRoutine *fdwroutine = node->fdwroutine;
422 
423  if (fdwroutine->InitializeWorkerForeignScan)
424  {
425  int plan_node_id = node->ss.ps.plan->plan_node_id;
426  void *coordinate;
427 
428  coordinate = shm_toc_lookup(pwcxt->toc, plan_node_id, false);
429  fdwroutine->InitializeWorkerForeignScan(node, pwcxt->toc, coordinate);
430  }
431 }
432 
433 /* ----------------------------------------------------------------
434  * ExecShutdownForeignScan
435  *
436  * Gives FDW chance to stop asynchronous resource consumption
437  * and release any resources still held.
438  * ----------------------------------------------------------------
439  */
440 void
442 {
443  FdwRoutine *fdwroutine = node->fdwroutine;
444 
445  if (fdwroutine->ShutdownForeignScan)
446  fdwroutine->ShutdownForeignScan(node);
447 }
448 
449 /* ----------------------------------------------------------------
450  * ExecAsyncForeignScanRequest
451  *
452  * Asynchronously request a tuple from a designed async-capable node
453  * ----------------------------------------------------------------
454  */
455 void
457 {
458  ForeignScanState *node = (ForeignScanState *) areq->requestee;
459  FdwRoutine *fdwroutine = node->fdwroutine;
460 
461  Assert(fdwroutine->ForeignAsyncRequest != NULL);
462  fdwroutine->ForeignAsyncRequest(areq);
463 }
464 
465 /* ----------------------------------------------------------------
466  * ExecAsyncForeignScanConfigureWait
467  *
468  * In async mode, configure for a wait
469  * ----------------------------------------------------------------
470  */
471 void
473 {
474  ForeignScanState *node = (ForeignScanState *) areq->requestee;
475  FdwRoutine *fdwroutine = node->fdwroutine;
476 
477  Assert(fdwroutine->ForeignAsyncConfigureWait != NULL);
478  fdwroutine->ForeignAsyncConfigureWait(areq);
479 }
480 
481 /* ----------------------------------------------------------------
482  * ExecAsyncForeignScanNotify
483  *
484  * Callback invoked when a relevant event has occurred
485  * ----------------------------------------------------------------
486  */
487 void
489 {
490  ForeignScanState *node = (ForeignScanState *) areq->requestee;
491  FdwRoutine *fdwroutine = node->fdwroutine;
492 
493  Assert(fdwroutine->ForeignAsyncNotify != NULL);
494  fdwroutine->ForeignAsyncNotify(areq);
495 }
#define Assert(condition)
Definition: c.h:858
unsigned int Index
Definition: c.h:614
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:224
void ExecReScan(PlanState *node)
Definition: execAmi.c:76
ExprState * ExecInitQual(List *qual, PlanState *parent)
Definition: execExpr.c:220
void ExecEndNode(PlanState *node)
Definition: execProcnode.c:557
PlanState * ExecInitNode(Plan *node, EState *estate, int eflags)
Definition: execProcnode.c:142
void ExecAssignScanProjectionInfoWithVarno(ScanState *node, int varno)
Definition: execScan.c:283
TupleTableSlot * ExecScan(ScanState *node, ExecScanAccessMtd accessMtd, ExecScanRecheckMtd recheckMtd)
Definition: execScan.c:156
void ExecScanReScan(ScanState *node)
Definition: execScan.c:297
void ExecInitScanTupleSlot(EState *estate, ScanState *scanstate, TupleDesc tupledesc, const TupleTableSlotOps *tts_ops)
Definition: execTuples.c:1898
void ExecInitResultTypeTL(PlanState *planstate)
Definition: execTuples.c:1842
const TupleTableSlotOps TTSOpsHeapTuple
Definition: execTuples.c:85
TupleDesc ExecTypeFromTL(List *targetList)
Definition: execTuples.c:2025
void ExecAssignExprContext(EState *estate, PlanState *planstate)
Definition: execUtils.c:483
Relation ExecOpenScanRelation(EState *estate, Index scanrelid, int eflags)
Definition: execUtils.c:697
#define outerPlanState(node)
Definition: execnodes.h:1213
#define EXEC_FLAG_BACKWARD
Definition: executor.h:68
#define ResetExprContext(econtext)
Definition: executor.h:544
TupleTableSlot *(* ExecScanAccessMtd)(ScanState *node)
Definition: executor.h:473
static bool ExecQual(ExprState *state, ExprContext *econtext)
Definition: executor.h:413
bool(* ExecScanRecheckMtd)(ScanState *node, TupleTableSlot *slot)
Definition: executor.h:474
#define EXEC_FLAG_MARK
Definition: executor.h:69
FdwRoutine * GetFdwRoutineForRelation(Relation relation, bool makecopy)
Definition: foreign.c:432
FdwRoutine * GetFdwRoutineByServerId(Oid serverid)
Definition: foreign.c:367
if(TABLE==NULL||TABLE_index==NULL)
Definition: isn.c:77
void ExecForeignScanInitializeDSM(ForeignScanState *node, ParallelContext *pcxt)
void ExecShutdownForeignScan(ForeignScanState *node)
ForeignScanState * ExecInitForeignScan(ForeignScan *node, EState *estate, int eflags)
void ExecAsyncForeignScanNotify(AsyncRequest *areq)
void ExecAsyncForeignScanConfigureWait(AsyncRequest *areq)
void ExecAsyncForeignScanRequest(AsyncRequest *areq)
void ExecReScanForeignScan(ForeignScanState *node)
void ExecForeignScanReInitializeDSM(ForeignScanState *node, ParallelContext *pcxt)
static TupleTableSlot * ExecForeignScan(PlanState *pstate)
void ExecEndForeignScan(ForeignScanState *node)
static bool ForeignRecheck(ForeignScanState *node, TupleTableSlot *slot)
static TupleTableSlot * ForeignNext(ForeignScanState *node)
void ExecForeignScanEstimate(ForeignScanState *node, ParallelContext *pcxt)
void ExecForeignScanInitializeWorker(ForeignScanState *node, ParallelWorkerContext *pwcxt)
@ CMD_SELECT
Definition: nodes.h:265
#define makeNode(_type_)
Definition: nodes.h:155
#define castNode(_type_, nodeptr)
Definition: nodes.h:176
#define NIL
Definition: pg_list.h:68
#define plan(x)
Definition: pg_regress.c:162
#define outerPlan(node)
Definition: plannodes.h:182
#define INDEX_VAR
Definition: primnodes.h:238
MemoryContextSwitchTo(old_ctx)
#define RelationGetRelid(relation)
Definition: rel.h:505
#define RelationGetDescr(relation)
Definition: rel.h:531
void shm_toc_insert(shm_toc *toc, uint64 key, void *address)
Definition: shm_toc.c:171
void * shm_toc_allocate(shm_toc *toc, Size nbytes)
Definition: shm_toc.c:88
void * shm_toc_lookup(shm_toc *toc, uint64 key, bool noError)
Definition: shm_toc.c:232
#define shm_toc_estimate_chunk(e, sz)
Definition: shm_toc.h:51
#define shm_toc_estimate_keys(e, cnt)
Definition: shm_toc.h:53
struct PlanState * requestee
Definition: execnodes.h:604
ResultRelInfo ** es_result_relations
Definition: execnodes.h:642
struct EPQState * es_epq_active
Definition: execnodes.h:699
TupleTableSlot * ecxt_scantuple
Definition: execnodes.h:255
EstimateDSMForeignScan_function EstimateDSMForeignScan
Definition: fdwapi.h:267
ReScanForeignScan_function ReScanForeignScan
Definition: fdwapi.h:214
RecheckForeignScan_function RecheckForeignScan
Definition: fdwapi.h:249
InitializeDSMForeignScan_function InitializeDSMForeignScan
Definition: fdwapi.h:268
BeginDirectModify_function BeginDirectModify
Definition: fdwapi.h:242
BeginForeignScan_function BeginForeignScan
Definition: fdwapi.h:212
IterateDirectModify_function IterateDirectModify
Definition: fdwapi.h:243
EndForeignScan_function EndForeignScan
Definition: fdwapi.h:215
EndDirectModify_function EndDirectModify
Definition: fdwapi.h:244
ReInitializeDSMForeignScan_function ReInitializeDSMForeignScan
Definition: fdwapi.h:269
IterateForeignScan_function IterateForeignScan
Definition: fdwapi.h:213
InitializeWorkerForeignScan_function InitializeWorkerForeignScan
Definition: fdwapi.h:270
ShutdownForeignScan_function ShutdownForeignScan
Definition: fdwapi.h:271
struct FdwRoutine * fdwroutine
Definition: execnodes.h:2039
ExprState * fdw_recheck_quals
Definition: execnodes.h:2035
ResultRelInfo * resultRelInfo
Definition: execnodes.h:2037
ScanState ss
Definition: execnodes.h:2034
CmdType operation
Definition: plannodes.h:710
Oid fs_server
Definition: plannodes.h:714
Index resultRelation
Definition: plannodes.h:711
List * fdw_recheck_quals
Definition: plannodes.h:718
List * fdw_scan_tlist
Definition: plannodes.h:717
shm_toc_estimator estimator
Definition: parallel.h:41
shm_toc * toc
Definition: parallel.h:44
ExprState * qual
Definition: execnodes.h:1138
Plan * plan
Definition: execnodes.h:1117
EState * state
Definition: execnodes.h:1119
bool scanopsset
Definition: execnodes.h:1199
ExprContext * ps_ExprContext
Definition: execnodes.h:1156
bool scanopsfixed
Definition: execnodes.h:1195
bool async_capable
Definition: execnodes.h:1159
ExecProcNodeMtd ExecProcNode
Definition: execnodes.h:1123
int plan_node_id
Definition: plannodes.h:151
Relation ss_currentRelation
Definition: execnodes.h:1565
PlanState ps
Definition: execnodes.h:1564
Index scanrelid
Definition: plannodes.h:389
Oid tts_tableOid
Definition: tuptable.h:130
TupleDesc CreateTupleDescCopy(TupleDesc tupdesc)
Definition: tupdesc.c:133
#define TupIsNull(slot)
Definition: tuptable.h:306