PostgreSQL Source Code  git master
nodeNestloop.c File Reference
#include "postgres.h"
#include "executor/execdebug.h"
#include "executor/nodeNestloop.h"
#include "miscadmin.h"
Include dependency graph for nodeNestloop.c:

Go to the source code of this file.

Functions

static TupleTableSlotExecNestLoop (PlanState *pstate)
 
NestLoopStateExecInitNestLoop (NestLoop *node, EState *estate, int eflags)
 
void ExecEndNestLoop (NestLoopState *node)
 
void ExecReScanNestLoop (NestLoopState *node)
 

Function Documentation

◆ ExecEndNestLoop()

void ExecEndNestLoop ( NestLoopState node)

Definition at line 361 of file nodeNestloop.c.

362 {
363  NL1_printf("ExecEndNestLoop: %s\n",
364  "ending node processing");
365 
366  /*
367  * close down subplans
368  */
371 
372  NL1_printf("ExecEndNestLoop: %s\n",
373  "node processing ended");
374 }
void ExecEndNode(PlanState *node)
Definition: execProcnode.c:562
#define NL1_printf(s, a)
Definition: execdebug.h:77
#define outerPlanState(node)
Definition: execnodes.h:1222
#define innerPlanState(node)
Definition: execnodes.h:1221

References ExecEndNode(), innerPlanState, NL1_printf, and outerPlanState.

Referenced by ExecEndNode().

◆ ExecInitNestLoop()

NestLoopState* ExecInitNestLoop ( NestLoop node,
EState estate,
int  eflags 
)

Definition at line 262 of file nodeNestloop.c.

263 {
264  NestLoopState *nlstate;
265 
266  /* check for unsupported flags */
267  Assert(!(eflags & (EXEC_FLAG_BACKWARD | EXEC_FLAG_MARK)));
268 
269  NL1_printf("ExecInitNestLoop: %s\n",
270  "initializing node");
271 
272  /*
273  * create state structure
274  */
275  nlstate = makeNode(NestLoopState);
276  nlstate->js.ps.plan = (Plan *) node;
277  nlstate->js.ps.state = estate;
278  nlstate->js.ps.ExecProcNode = ExecNestLoop;
279 
280  /*
281  * Miscellaneous initialization
282  *
283  * create expression context for node
284  */
285  ExecAssignExprContext(estate, &nlstate->js.ps);
286 
287  /*
288  * initialize child nodes
289  *
290  * If we have no parameters to pass into the inner rel from the outer,
291  * tell the inner child that cheap rescans would be good. If we do have
292  * such parameters, then there is no point in REWIND support at all in the
293  * inner child, because it will always be rescanned with fresh parameter
294  * values.
295  */
296  outerPlanState(nlstate) = ExecInitNode(outerPlan(node), estate, eflags);
297  if (node->nestParams == NIL)
298  eflags |= EXEC_FLAG_REWIND;
299  else
300  eflags &= ~EXEC_FLAG_REWIND;
301  innerPlanState(nlstate) = ExecInitNode(innerPlan(node), estate, eflags);
302 
303  /*
304  * Initialize result slot, type and projection.
305  */
307  ExecAssignProjectionInfo(&nlstate->js.ps, NULL);
308 
309  /*
310  * initialize child expressions
311  */
312  nlstate->js.ps.qual =
313  ExecInitQual(node->join.plan.qual, (PlanState *) nlstate);
314  nlstate->js.jointype = node->join.jointype;
315  nlstate->js.joinqual =
316  ExecInitQual(node->join.joinqual, (PlanState *) nlstate);
317 
318  /*
319  * detect whether we need only consider the first matching inner tuple
320  */
321  nlstate->js.single_match = (node->join.inner_unique ||
322  node->join.jointype == JOIN_SEMI);
323 
324  /* set up null tuples for outer joins, if needed */
325  switch (node->join.jointype)
326  {
327  case JOIN_INNER:
328  case JOIN_SEMI:
329  break;
330  case JOIN_LEFT:
331  case JOIN_ANTI:
332  nlstate->nl_NullInnerTupleSlot =
333  ExecInitNullTupleSlot(estate,
335  &TTSOpsVirtual);
336  break;
337  default:
338  elog(ERROR, "unrecognized join type: %d",
339  (int) node->join.jointype);
340  }
341 
342  /*
343  * finally, wipe the current outer tuple clean.
344  */
345  nlstate->nl_NeedNewOuter = true;
346  nlstate->nl_MatchedOuter = false;
347 
348  NL1_printf("ExecInitNestLoop: %s\n",
349  "node initialized");
350 
351  return nlstate;
352 }
#define Assert(condition)
Definition: c.h:812
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:225
ExprState * ExecInitQual(List *qual, PlanState *parent)
Definition: execExpr.c:224
PlanState * ExecInitNode(Plan *node, EState *estate, int eflags)
Definition: execProcnode.c:142
const TupleTableSlotOps TTSOpsVirtual
Definition: execTuples.c:84
TupleTableSlot * ExecInitNullTupleSlot(EState *estate, TupleDesc tupType, const TupleTableSlotOps *tts_ops)
Definition: execTuples.c:1934
void ExecInitResultTupleSlotTL(PlanState *planstate, const TupleTableSlotOps *tts_ops)
Definition: execTuples.c:1886
TupleDesc ExecGetResultType(PlanState *planstate)
Definition: execUtils.c:495
void ExecAssignExprContext(EState *estate, PlanState *planstate)
Definition: execUtils.c:485
void ExecAssignProjectionInfo(PlanState *planstate, TupleDesc inputDesc)
Definition: execUtils.c:540
#define EXEC_FLAG_BACKWARD
Definition: executor.h:68
#define EXEC_FLAG_REWIND
Definition: executor.h:67
#define EXEC_FLAG_MARK
Definition: executor.h:69
static TupleTableSlot * ExecNestLoop(PlanState *pstate)
Definition: nodeNestloop.c:60
#define makeNode(_type_)
Definition: nodes.h:155
@ JOIN_SEMI
Definition: nodes.h:307
@ JOIN_INNER
Definition: nodes.h:293
@ JOIN_LEFT
Definition: nodes.h:294
@ JOIN_ANTI
Definition: nodes.h:308
#define NIL
Definition: pg_list.h:68
#define innerPlan(node)
Definition: plannodes.h:182
#define outerPlan(node)
Definition: plannodes.h:183
JoinType jointype
Definition: execnodes.h:2123
PlanState ps
Definition: execnodes.h:2122
ExprState * joinqual
Definition: execnodes.h:2126
bool single_match
Definition: execnodes.h:2124
List * joinqual
Definition: plannodes.h:794
JoinType jointype
Definition: plannodes.h:792
bool inner_unique
Definition: plannodes.h:793
TupleTableSlot * nl_NullInnerTupleSlot
Definition: execnodes.h:2142
bool nl_NeedNewOuter
Definition: execnodes.h:2140
JoinState js
Definition: execnodes.h:2139
bool nl_MatchedOuter
Definition: execnodes.h:2141
List * nestParams
Definition: plannodes.h:811
Join join
Definition: plannodes.h:810
ExprState * qual
Definition: execnodes.h:1147
Plan * plan
Definition: execnodes.h:1126
EState * state
Definition: execnodes.h:1128
ExecProcNodeMtd ExecProcNode
Definition: execnodes.h:1132

References Assert, elog, ERROR, EXEC_FLAG_BACKWARD, EXEC_FLAG_MARK, EXEC_FLAG_REWIND, ExecAssignExprContext(), ExecAssignProjectionInfo(), ExecGetResultType(), ExecInitNode(), ExecInitNullTupleSlot(), ExecInitQual(), ExecInitResultTupleSlotTL(), ExecNestLoop(), PlanState::ExecProcNode, Join::inner_unique, innerPlan, innerPlanState, NestLoop::join, JOIN_ANTI, JOIN_INNER, JOIN_LEFT, JOIN_SEMI, JoinState::joinqual, Join::joinqual, JoinState::jointype, Join::jointype, NestLoopState::js, makeNode, NestLoop::nestParams, NIL, NL1_printf, NestLoopState::nl_MatchedOuter, NestLoopState::nl_NeedNewOuter, NestLoopState::nl_NullInnerTupleSlot, outerPlan, outerPlanState, PlanState::plan, JoinState::ps, PlanState::qual, JoinState::single_match, PlanState::state, and TTSOpsVirtual.

Referenced by ExecInitNode().

◆ ExecNestLoop()

static TupleTableSlot* ExecNestLoop ( PlanState pstate)
static

Definition at line 60 of file nodeNestloop.c.

61 {
62  NestLoopState *node = castNode(NestLoopState, pstate);
63  NestLoop *nl;
66  TupleTableSlot *outerTupleSlot;
67  TupleTableSlot *innerTupleSlot;
68  ExprState *joinqual;
69  ExprState *otherqual;
70  ExprContext *econtext;
71  ListCell *lc;
72 
74 
75  /*
76  * get information from the node
77  */
78  ENL1_printf("getting info from node");
79 
80  nl = (NestLoop *) node->js.ps.plan;
81  joinqual = node->js.joinqual;
82  otherqual = node->js.ps.qual;
83  outerPlan = outerPlanState(node);
84  innerPlan = innerPlanState(node);
85  econtext = node->js.ps.ps_ExprContext;
86 
87  /*
88  * Reset per-tuple memory context to free any expression evaluation
89  * storage allocated in the previous tuple cycle.
90  */
91  ResetExprContext(econtext);
92 
93  /*
94  * Ok, everything is setup for the join so now loop until we return a
95  * qualifying join tuple.
96  */
97  ENL1_printf("entering main loop");
98 
99  for (;;)
100  {
101  /*
102  * If we don't have an outer tuple, get the next one and reset the
103  * inner scan.
104  */
105  if (node->nl_NeedNewOuter)
106  {
107  ENL1_printf("getting new outer tuple");
108  outerTupleSlot = ExecProcNode(outerPlan);
109 
110  /*
111  * if there are no more outer tuples, then the join is complete..
112  */
113  if (TupIsNull(outerTupleSlot))
114  {
115  ENL1_printf("no outer tuple, ending join");
116  return NULL;
117  }
118 
119  ENL1_printf("saving new outer tuple information");
120  econtext->ecxt_outertuple = outerTupleSlot;
121  node->nl_NeedNewOuter = false;
122  node->nl_MatchedOuter = false;
123 
124  /*
125  * fetch the values of any outer Vars that must be passed to the
126  * inner scan, and store them in the appropriate PARAM_EXEC slots.
127  */
128  foreach(lc, nl->nestParams)
129  {
130  NestLoopParam *nlp = (NestLoopParam *) lfirst(lc);
131  int paramno = nlp->paramno;
132  ParamExecData *prm;
133 
134  prm = &(econtext->ecxt_param_exec_vals[paramno]);
135  /* Param value should be an OUTER_VAR var */
136  Assert(IsA(nlp->paramval, Var));
137  Assert(nlp->paramval->varno == OUTER_VAR);
138  Assert(nlp->paramval->varattno > 0);
139  prm->value = slot_getattr(outerTupleSlot,
140  nlp->paramval->varattno,
141  &(prm->isnull));
142  /* Flag parameter value as changed */
143  innerPlan->chgParam = bms_add_member(innerPlan->chgParam,
144  paramno);
145  }
146 
147  /*
148  * now rescan the inner plan
149  */
150  ENL1_printf("rescanning inner plan");
152  }
153 
154  /*
155  * we have an outerTuple, try to get the next inner tuple.
156  */
157  ENL1_printf("getting new inner tuple");
158 
159  innerTupleSlot = ExecProcNode(innerPlan);
160  econtext->ecxt_innertuple = innerTupleSlot;
161 
162  if (TupIsNull(innerTupleSlot))
163  {
164  ENL1_printf("no inner tuple, need new outer tuple");
165 
166  node->nl_NeedNewOuter = true;
167 
168  if (!node->nl_MatchedOuter &&
169  (node->js.jointype == JOIN_LEFT ||
170  node->js.jointype == JOIN_ANTI))
171  {
172  /*
173  * We are doing an outer join and there were no join matches
174  * for this outer tuple. Generate a fake join tuple with
175  * nulls for the inner tuple, and return it if it passes the
176  * non-join quals.
177  */
178  econtext->ecxt_innertuple = node->nl_NullInnerTupleSlot;
179 
180  ENL1_printf("testing qualification for outer-join tuple");
181 
182  if (otherqual == NULL || ExecQual(otherqual, econtext))
183  {
184  /*
185  * qualification was satisfied so we project and return
186  * the slot containing the result tuple using
187  * ExecProject().
188  */
189  ENL1_printf("qualification succeeded, projecting tuple");
190 
191  return ExecProject(node->js.ps.ps_ProjInfo);
192  }
193  else
194  InstrCountFiltered2(node, 1);
195  }
196 
197  /*
198  * Otherwise just return to top of loop for a new outer tuple.
199  */
200  continue;
201  }
202 
203  /*
204  * at this point we have a new pair of inner and outer tuples so we
205  * test the inner and outer tuples to see if they satisfy the node's
206  * qualification.
207  *
208  * Only the joinquals determine MatchedOuter status, but all quals
209  * must pass to actually return the tuple.
210  */
211  ENL1_printf("testing qualification");
212 
213  if (ExecQual(joinqual, econtext))
214  {
215  node->nl_MatchedOuter = true;
216 
217  /* In an antijoin, we never return a matched tuple */
218  if (node->js.jointype == JOIN_ANTI)
219  {
220  node->nl_NeedNewOuter = true;
221  continue; /* return to top of loop */
222  }
223 
224  /*
225  * If we only need to join to the first matching inner tuple, then
226  * consider returning this one, but after that continue with next
227  * outer tuple.
228  */
229  if (node->js.single_match)
230  node->nl_NeedNewOuter = true;
231 
232  if (otherqual == NULL || ExecQual(otherqual, econtext))
233  {
234  /*
235  * qualification was satisfied so we project and return the
236  * slot containing the result tuple using ExecProject().
237  */
238  ENL1_printf("qualification succeeded, projecting tuple");
239 
240  return ExecProject(node->js.ps.ps_ProjInfo);
241  }
242  else
243  InstrCountFiltered2(node, 1);
244  }
245  else
246  InstrCountFiltered1(node, 1);
247 
248  /*
249  * Tuple fails qual, so free per-tuple memory and try again.
250  */
251  ResetExprContext(econtext);
252 
253  ENL1_printf("qualification failed, looping");
254  }
255 }
Bitmapset * bms_add_member(Bitmapset *a, int x)
Definition: bitmapset.c:815
void ExecReScan(PlanState *node)
Definition: execAmi.c:76
#define ENL1_printf(message)
Definition: execdebug.h:78
#define InstrCountFiltered1(node, delta)
Definition: execnodes.h:1230
#define InstrCountFiltered2(node, delta)
Definition: execnodes.h:1235
static TupleTableSlot * ExecProject(ProjectionInfo *projInfo)
Definition: executor.h:394
#define ResetExprContext(econtext)
Definition: executor.h:562
static bool ExecQual(ExprState *state, ExprContext *econtext)
Definition: executor.h:431
static TupleTableSlot * ExecProcNode(PlanState *node)
Definition: executor.h:272
#define CHECK_FOR_INTERRUPTS()
Definition: miscadmin.h:122
#define IsA(nodeptr, _type_)
Definition: nodes.h:158
#define castNode(_type_, nodeptr)
Definition: nodes.h:176
#define lfirst(lc)
Definition: pg_list.h:172
#define OUTER_VAR
Definition: primnodes.h:237
TupleTableSlot * ecxt_innertuple
Definition: execnodes.h:260
ParamExecData * ecxt_param_exec_vals
Definition: execnodes.h:269
TupleTableSlot * ecxt_outertuple
Definition: execnodes.h:262
Var * paramval
Definition: plannodes.h:820
bool isnull
Definition: params.h:150
Datum value
Definition: params.h:149
ExprContext * ps_ExprContext
Definition: execnodes.h:1165
ProjectionInfo * ps_ProjInfo
Definition: execnodes.h:1166
Definition: primnodes.h:248
AttrNumber varattno
Definition: primnodes.h:260
int varno
Definition: primnodes.h:255
static Datum slot_getattr(TupleTableSlot *slot, int attnum, bool *isnull)
Definition: tuptable.h:395
#define TupIsNull(slot)
Definition: tuptable.h:306

References Assert, bms_add_member(), castNode, CHECK_FOR_INTERRUPTS, ExprContext::ecxt_innertuple, ExprContext::ecxt_outertuple, ExprContext::ecxt_param_exec_vals, ENL1_printf, ExecProcNode(), ExecProject(), ExecQual(), ExecReScan(), innerPlan, innerPlanState, InstrCountFiltered1, InstrCountFiltered2, IsA, ParamExecData::isnull, JOIN_ANTI, JOIN_LEFT, JoinState::joinqual, JoinState::jointype, NestLoopState::js, lfirst, NestLoop::nestParams, NestLoopState::nl_MatchedOuter, NestLoopState::nl_NeedNewOuter, NestLoopState::nl_NullInnerTupleSlot, OUTER_VAR, outerPlan, outerPlanState, NestLoopParam::paramno, NestLoopParam::paramval, PlanState::plan, JoinState::ps, PlanState::ps_ExprContext, PlanState::ps_ProjInfo, PlanState::qual, ResetExprContext, JoinState::single_match, slot_getattr(), TupIsNull, ParamExecData::value, Var::varattno, and Var::varno.

Referenced by ExecInitNestLoop().

◆ ExecReScanNestLoop()

void ExecReScanNestLoop ( NestLoopState node)

Definition at line 381 of file nodeNestloop.c.

382 {
384 
385  /*
386  * If outerPlan->chgParam is not null then plan will be automatically
387  * re-scanned by first ExecProcNode.
388  */
389  if (outerPlan->chgParam == NULL)
391 
392  /*
393  * innerPlan is re-scanned for each new outer tuple and MUST NOT be
394  * re-scanned from here or you'll get troubles from inner index scans when
395  * outer Vars are used as run-time keys...
396  */
397 
398  node->nl_NeedNewOuter = true;
399  node->nl_MatchedOuter = false;
400 }

References ExecReScan(), NestLoopState::nl_MatchedOuter, NestLoopState::nl_NeedNewOuter, outerPlan, and outerPlanState.

Referenced by ExecReScan().