PostgreSQL Source Code git master
nodeSamplescan.c File Reference
#include "postgres.h"
#include "access/relscan.h"
#include "access/tableam.h"
#include "access/tsmapi.h"
#include "common/pg_prng.h"
#include "executor/executor.h"
#include "executor/nodeSamplescan.h"
#include "utils/fmgrprotos.h"
#include "utils/rel.h"
Include dependency graph for nodeSamplescan.c:

Go to the source code of this file.

Functions

static TupleTableSlotSampleNext (SampleScanState *node)
 
static void tablesample_init (SampleScanState *scanstate)
 
static TupleTableSlottablesample_getnext (SampleScanState *scanstate)
 
static bool SampleRecheck (SampleScanState *node, TupleTableSlot *slot)
 
static TupleTableSlotExecSampleScan (PlanState *pstate)
 
SampleScanStateExecInitSampleScan (SampleScan *node, EState *estate, int eflags)
 
void ExecEndSampleScan (SampleScanState *node)
 
void ExecReScanSampleScan (SampleScanState *node)
 

Function Documentation

◆ ExecEndSampleScan()

void ExecEndSampleScan ( SampleScanState node)

Definition at line 179 of file nodeSamplescan.c.

180{
181 /*
182 * Tell sampling function that we finished the scan.
183 */
184 if (node->tsmroutine->EndSampleScan)
185 node->tsmroutine->EndSampleScan(node);
186
187 /*
188 * close heap scan
189 */
190 if (node->ss.ss_currentScanDesc)
192}
ScanState ss
Definition: execnodes.h:1631
struct TsmRoutine * tsmroutine
Definition: execnodes.h:1635
struct TableScanDescData * ss_currentScanDesc
Definition: execnodes.h:1611
EndSampleScan_function EndSampleScan
Definition: tsmapi.h:75
static void table_endscan(TableScanDesc scan)
Definition: tableam.h:989

References TsmRoutine::EndSampleScan, SampleScanState::ss, ScanState::ss_currentScanDesc, table_endscan(), and SampleScanState::tsmroutine.

Referenced by ExecEndNode().

◆ ExecInitSampleScan()

SampleScanState * ExecInitSampleScan ( SampleScan node,
EState estate,
int  eflags 
)

Definition at line 93 of file nodeSamplescan.c.

94{
95 SampleScanState *scanstate;
96 TableSampleClause *tsc = node->tablesample;
97 TsmRoutine *tsm;
98
99 Assert(outerPlan(node) == NULL);
100 Assert(innerPlan(node) == NULL);
101
102 /*
103 * create state structure
104 */
105 scanstate = makeNode(SampleScanState);
106 scanstate->ss.ps.plan = (Plan *) node;
107 scanstate->ss.ps.state = estate;
108 scanstate->ss.ps.ExecProcNode = ExecSampleScan;
109
110 /*
111 * Miscellaneous initialization
112 *
113 * create expression context for node
114 */
115 ExecAssignExprContext(estate, &scanstate->ss.ps);
116
117 /*
118 * open the scan relation
119 */
120 scanstate->ss.ss_currentRelation =
122 node->scan.scanrelid,
123 eflags);
124
125 /* we won't set up the HeapScanDesc till later */
126 scanstate->ss.ss_currentScanDesc = NULL;
127
128 /* and create slot with appropriate rowtype */
129 ExecInitScanTupleSlot(estate, &scanstate->ss,
132
133 /*
134 * Initialize result type and projection.
135 */
136 ExecInitResultTypeTL(&scanstate->ss.ps);
137 ExecAssignScanProjectionInfo(&scanstate->ss);
138
139 /*
140 * initialize child expressions
141 */
142 scanstate->ss.ps.qual =
143 ExecInitQual(node->scan.plan.qual, (PlanState *) scanstate);
144
145 scanstate->args = ExecInitExprList(tsc->args, (PlanState *) scanstate);
146 scanstate->repeatable =
147 ExecInitExpr(tsc->repeatable, (PlanState *) scanstate);
148
149 /*
150 * If we don't have a REPEATABLE clause, select a random seed. We want to
151 * do this just once, since the seed shouldn't change over rescans.
152 */
153 if (tsc->repeatable == NULL)
155
156 /*
157 * Finally, initialize the TABLESAMPLE method handler.
158 */
159 tsm = GetTsmRoutine(tsc->tsmhandler);
160 scanstate->tsmroutine = tsm;
161 scanstate->tsm_state = NULL;
162
163 if (tsm->InitSampleScan)
164 tsm->InitSampleScan(scanstate, eflags);
165
166 /* We'll do BeginSampleScan later; we can't evaluate params yet */
167 scanstate->begun = false;
168
169 return scanstate;
170}
ExprState * ExecInitExpr(Expr *node, PlanState *parent)
Definition: execExpr.c:143
ExprState * ExecInitQual(List *qual, PlanState *parent)
Definition: execExpr.c:229
List * ExecInitExprList(List *nodes, PlanState *parent)
Definition: execExpr.c:335
void ExecAssignScanProjectionInfo(ScanState *node)
Definition: execScan.c:81
void ExecInitScanTupleSlot(EState *estate, ScanState *scanstate, TupleDesc tupledesc, const TupleTableSlotOps *tts_ops)
Definition: execTuples.c:1998
void ExecInitResultTypeTL(PlanState *planstate)
Definition: execTuples.c:1942
void ExecAssignExprContext(EState *estate, PlanState *planstate)
Definition: execUtils.c:487
Relation ExecOpenScanRelation(EState *estate, Index scanrelid, int eflags)
Definition: execUtils.c:744
Assert(PointerIsAligned(start, uint64))
static TupleTableSlot * ExecSampleScan(PlanState *pstate)
#define makeNode(_type_)
Definition: nodes.h:157
uint32 pg_prng_uint32(pg_prng_state *state)
Definition: pg_prng.c:227
pg_prng_state pg_global_prng_state
Definition: pg_prng.c:34
#define innerPlan(node)
Definition: plannodes.h:237
#define outerPlan(node)
Definition: plannodes.h:238
#define RelationGetDescr(relation)
Definition: rel.h:539
ExprState * qual
Definition: execnodes.h:1174
Plan * plan
Definition: execnodes.h:1153
EState * state
Definition: execnodes.h:1155
ExecProcNodeMtd ExecProcNode
Definition: execnodes.h:1159
ExprState * repeatable
Definition: execnodes.h:1633
void * tsm_state
Definition: execnodes.h:1636
struct TableSampleClause * tablesample
Definition: plannodes.h:500
Scan scan
Definition: plannodes.h:498
Relation ss_currentRelation
Definition: execnodes.h:1610
PlanState ps
Definition: execnodes.h:1609
Index scanrelid
Definition: plannodes.h:480
InitSampleScan_function InitSampleScan
Definition: tsmapi.h:71
const TupleTableSlotOps * table_slot_callbacks(Relation relation)
Definition: tableam.c:59
TsmRoutine * GetTsmRoutine(Oid tsmhandler)
Definition: tablesample.c:27

References SampleScanState::args, TableSampleClause::args, Assert(), SampleScanState::begun, ExecAssignExprContext(), ExecAssignScanProjectionInfo(), ExecInitExpr(), ExecInitExprList(), ExecInitQual(), ExecInitResultTypeTL(), ExecInitScanTupleSlot(), ExecOpenScanRelation(), PlanState::ExecProcNode, ExecSampleScan(), GetTsmRoutine(), TsmRoutine::InitSampleScan, innerPlan, makeNode, outerPlan, pg_global_prng_state, pg_prng_uint32(), PlanState::plan, ScanState::ps, PlanState::qual, RelationGetDescr, SampleScanState::repeatable, TableSampleClause::repeatable, SampleScan::scan, Scan::scanrelid, SampleScanState::seed, SampleScanState::ss, ScanState::ss_currentRelation, ScanState::ss_currentScanDesc, PlanState::state, table_slot_callbacks(), SampleScan::tablesample, SampleScanState::tsm_state, TableSampleClause::tsmhandler, and SampleScanState::tsmroutine.

Referenced by ExecInitNode().

◆ ExecReScanSampleScan()

void ExecReScanSampleScan ( SampleScanState node)

Definition at line 202 of file nodeSamplescan.c.

203{
204 /* Remember we need to do BeginSampleScan again (if we did it at all) */
205 node->begun = false;
206 node->done = false;
207 node->haveblock = false;
208 node->donetuples = 0;
209
210 ExecScanReScan(&node->ss);
211}
void ExecScanReScan(ScanState *node)
Definition: execScan.c:108

References SampleScanState::begun, SampleScanState::done, SampleScanState::donetuples, ExecScanReScan(), SampleScanState::haveblock, and SampleScanState::ss.

Referenced by ExecReScan().

◆ ExecSampleScan()

static TupleTableSlot * ExecSampleScan ( PlanState pstate)
static

Definition at line 79 of file nodeSamplescan.c.

80{
82
83 return ExecScan(&node->ss,
86}
TupleTableSlot * ExecScan(ScanState *node, ExecScanAccessMtd accessMtd, ExecScanRecheckMtd recheckMtd)
Definition: execScan.c:47
bool(* ExecScanRecheckMtd)(ScanState *node, TupleTableSlot *slot)
Definition: executor.h:561
TupleTableSlot *(* ExecScanAccessMtd)(ScanState *node)
Definition: executor.h:560
static TupleTableSlot * SampleNext(SampleScanState *node)
static bool SampleRecheck(SampleScanState *node, TupleTableSlot *slot)
#define castNode(_type_, nodeptr)
Definition: nodes.h:178

References castNode, ExecScan(), SampleNext(), SampleRecheck(), and SampleScanState::ss.

Referenced by ExecInitSampleScan().

◆ SampleNext()

static TupleTableSlot * SampleNext ( SampleScanState node)
static

Definition at line 42 of file nodeSamplescan.c.

43{
44 /*
45 * if this is first call within a scan, initialize
46 */
47 if (!node->begun)
48 tablesample_init(node);
49
50 /*
51 * get the next tuple, and store it in our result slot
52 */
53 return tablesample_getnext(node);
54}
static void tablesample_init(SampleScanState *scanstate)
static TupleTableSlot * tablesample_getnext(SampleScanState *scanstate)

References SampleScanState::begun, tablesample_getnext(), and tablesample_init().

Referenced by ExecSampleScan().

◆ SampleRecheck()

static bool SampleRecheck ( SampleScanState node,
TupleTableSlot slot 
)
static

Definition at line 60 of file nodeSamplescan.c.

61{
62 /*
63 * No need to recheck for SampleScan, since like SeqScan we don't pass any
64 * checkable keys to heap_beginscan.
65 */
66 return true;
67}

Referenced by ExecSampleScan().

◆ tablesample_getnext()

static TupleTableSlot * tablesample_getnext ( SampleScanState scanstate)
static

Definition at line 320 of file nodeSamplescan.c.

321{
322 TableScanDesc scan = scanstate->ss.ss_currentScanDesc;
323 TupleTableSlot *slot = scanstate->ss.ss_ScanTupleSlot;
324
325 ExecClearTuple(slot);
326
327 if (scanstate->done)
328 return NULL;
329
330 for (;;)
331 {
332 if (!scanstate->haveblock)
333 {
334 if (!table_scan_sample_next_block(scan, scanstate))
335 {
336 scanstate->haveblock = false;
337 scanstate->done = true;
338
339 /* exhausted relation */
340 return NULL;
341 }
342
343 scanstate->haveblock = true;
344 }
345
346 if (!table_scan_sample_next_tuple(scan, scanstate, slot))
347 {
348 /*
349 * If we get here, it means we've exhausted the items on this page
350 * and it's time to move to the next.
351 */
352 scanstate->haveblock = false;
353 continue;
354 }
355
356 /* Found visible tuple, return it. */
357 break;
358 }
359
360 scanstate->donetuples++;
361
362 return slot;
363}
TupleTableSlot * ss_ScanTupleSlot
Definition: execnodes.h:1612
static bool table_scan_sample_next_block(TableScanDesc scan, struct SampleScanState *scanstate)
Definition: tableam.h:1966
static bool table_scan_sample_next_tuple(TableScanDesc scan, struct SampleScanState *scanstate, TupleTableSlot *slot)
Definition: tableam.h:1988
static TupleTableSlot * ExecClearTuple(TupleTableSlot *slot)
Definition: tuptable.h:454

References SampleScanState::done, SampleScanState::donetuples, ExecClearTuple(), SampleScanState::haveblock, SampleScanState::ss, ScanState::ss_currentScanDesc, ScanState::ss_ScanTupleSlot, table_scan_sample_next_block(), and table_scan_sample_next_tuple().

Referenced by SampleNext().

◆ tablesample_init()

static void tablesample_init ( SampleScanState scanstate)
static

Definition at line 218 of file nodeSamplescan.c.

219{
220 TsmRoutine *tsm = scanstate->tsmroutine;
221 ExprContext *econtext = scanstate->ss.ps.ps_ExprContext;
222 Datum *params;
223 Datum datum;
224 bool isnull;
225 uint32 seed;
226 bool allow_sync;
227 int i;
228 ListCell *arg;
229
230 scanstate->donetuples = 0;
231 params = (Datum *) palloc(list_length(scanstate->args) * sizeof(Datum));
232
233 i = 0;
234 foreach(arg, scanstate->args)
235 {
236 ExprState *argstate = (ExprState *) lfirst(arg);
237
238 params[i] = ExecEvalExprSwitchContext(argstate,
239 econtext,
240 &isnull);
241 if (isnull)
243 (errcode(ERRCODE_INVALID_TABLESAMPLE_ARGUMENT),
244 errmsg("TABLESAMPLE parameter cannot be null")));
245 i++;
246 }
247
248 if (scanstate->repeatable)
249 {
250 datum = ExecEvalExprSwitchContext(scanstate->repeatable,
251 econtext,
252 &isnull);
253 if (isnull)
255 (errcode(ERRCODE_INVALID_TABLESAMPLE_REPEAT),
256 errmsg("TABLESAMPLE REPEATABLE parameter cannot be null")));
257
258 /*
259 * The REPEATABLE parameter has been coerced to float8 by the parser.
260 * The reason for using float8 at the SQL level is that it will
261 * produce unsurprising results both for users used to databases that
262 * accept only integers in the REPEATABLE clause and for those who
263 * might expect that REPEATABLE works like setseed() (a float in the
264 * range from -1 to 1).
265 *
266 * We use hashfloat8() to convert the supplied value into a suitable
267 * seed. For regression-testing purposes, that has the convenient
268 * property that REPEATABLE(0) gives a machine-independent result.
269 */
271 }
272 else
273 {
274 /* Use the seed selected by ExecInitSampleScan */
275 seed = scanstate->seed;
276 }
277
278 /* Set default values for params that BeginSampleScan can adjust */
279 scanstate->use_bulkread = true;
280 scanstate->use_pagemode = true;
281
282 /* Let tablesample method do its thing */
283 tsm->BeginSampleScan(scanstate,
284 params,
285 list_length(scanstate->args),
286 seed);
287
288 /* We'll use syncscan if there's no NextSampleBlock function */
289 allow_sync = (tsm->NextSampleBlock == NULL);
290
291 /* Now we can create or reset the HeapScanDesc */
292 if (scanstate->ss.ss_currentScanDesc == NULL)
293 {
294 scanstate->ss.ss_currentScanDesc =
296 scanstate->ss.ps.state->es_snapshot,
297 0, NULL,
298 scanstate->use_bulkread,
299 allow_sync,
300 scanstate->use_pagemode);
301 }
302 else
303 {
305 scanstate->use_bulkread,
306 allow_sync,
307 scanstate->use_pagemode);
308 }
309
310 pfree(params);
311
312 /* And we're initialized. */
313 scanstate->begun = true;
314}
uint32_t uint32
Definition: c.h:502
int errcode(int sqlerrcode)
Definition: elog.c:853
int errmsg(const char *fmt,...)
Definition: elog.c:1070
#define ERROR
Definition: elog.h:39
#define ereport(elevel,...)
Definition: elog.h:149
static Datum ExecEvalExprSwitchContext(ExprState *state, ExprContext *econtext, bool *isNull)
Definition: executor.h:417
#define DirectFunctionCall1(func, arg1)
Definition: fmgr.h:641
Datum hashfloat8(PG_FUNCTION_ARGS)
Definition: hashfunc.c:193
int i
Definition: isn.c:74
void pfree(void *pointer)
Definition: mcxt.c:1524
void * palloc(Size size)
Definition: mcxt.c:1317
void * arg
#define lfirst(lc)
Definition: pg_list.h:172
static int list_length(const List *l)
Definition: pg_list.h:152
static uint32 DatumGetUInt32(Datum X)
Definition: postgres.h:227
uintptr_t Datum
Definition: postgres.h:69
Snapshot es_snapshot
Definition: execnodes.h:651
ExprContext * ps_ExprContext
Definition: execnodes.h:1192
BeginSampleScan_function BeginSampleScan
Definition: tsmapi.h:72
NextSampleBlock_function NextSampleBlock
Definition: tsmapi.h:73
static TableScanDesc table_beginscan_sampling(Relation rel, Snapshot snapshot, int nkeys, struct ScanKeyData *key, bool allow_strat, bool allow_sync, bool allow_pagemode)
Definition: tableam.h:942
static void table_rescan_set_params(TableScanDesc scan, struct ScanKeyData *key, bool allow_strat, bool allow_sync, bool allow_pagemode)
Definition: tableam.h:1013

References arg, SampleScanState::args, TsmRoutine::BeginSampleScan, SampleScanState::begun, DatumGetUInt32(), DirectFunctionCall1, SampleScanState::donetuples, ereport, errcode(), errmsg(), ERROR, EState::es_snapshot, ExecEvalExprSwitchContext(), hashfloat8(), i, lfirst, list_length(), TsmRoutine::NextSampleBlock, palloc(), pfree(), ScanState::ps, PlanState::ps_ExprContext, SampleScanState::repeatable, SampleScanState::seed, SampleScanState::ss, ScanState::ss_currentRelation, ScanState::ss_currentScanDesc, PlanState::state, table_beginscan_sampling(), table_rescan_set_params(), SampleScanState::tsmroutine, SampleScanState::use_bulkread, and SampleScanState::use_pagemode.

Referenced by SampleNext().