PostgreSQL Source Code git master
syncscan.c File Reference
#include "postgres.h"
#include "access/syncscan.h"
#include "miscadmin.h"
#include "storage/lwlock.h"
#include "storage/shmem.h"
#include "utils/rel.h"
Include dependency graph for syncscan.c:

Go to the source code of this file.

Data Structures

struct  ss_scan_location_t
 
struct  ss_lru_item_t
 
struct  ss_scan_locations_t
 

Macros

#define SYNC_SCAN_NELEM   20
 
#define SYNC_SCAN_REPORT_INTERVAL   (128 * 1024 / BLCKSZ)
 
#define SizeOfScanLocations(N)    (offsetof(ss_scan_locations_t, items) + (N) * sizeof(ss_lru_item_t))
 

Typedefs

typedef struct ss_scan_location_t ss_scan_location_t
 
typedef struct ss_lru_item_t ss_lru_item_t
 
typedef struct ss_scan_locations_t ss_scan_locations_t
 

Functions

static BlockNumber ss_search (RelFileLocator relfilelocator, BlockNumber location, bool set)
 
Size SyncScanShmemSize (void)
 
void SyncScanShmemInit (void)
 
BlockNumber ss_get_location (Relation rel, BlockNumber relnblocks)
 
void ss_report_location (Relation rel, BlockNumber location)
 

Variables

static ss_scan_locations_tscan_locations
 

Macro Definition Documentation

◆ SizeOfScanLocations

#define SizeOfScanLocations (   N)     (offsetof(ss_scan_locations_t, items) + (N) * sizeof(ss_lru_item_t))

Definition at line 111 of file syncscan.c.

◆ SYNC_SCAN_NELEM

#define SYNC_SCAN_NELEM   20

Definition at line 71 of file syncscan.c.

◆ SYNC_SCAN_REPORT_INTERVAL

#define SYNC_SCAN_REPORT_INTERVAL   (128 * 1024 / BLCKSZ)

Definition at line 83 of file syncscan.c.

Typedef Documentation

◆ ss_lru_item_t

typedef struct ss_lru_item_t ss_lru_item_t

◆ ss_scan_location_t

◆ ss_scan_locations_t

Function Documentation

◆ ss_get_location()

BlockNumber ss_get_location ( Relation  rel,
BlockNumber  relnblocks 
)

Definition at line 254 of file syncscan.c.

255{
256 BlockNumber startloc;
257
258 LWLockAcquire(SyncScanLock, LW_EXCLUSIVE);
259 startloc = ss_search(rel->rd_locator, 0, false);
260 LWLockRelease(SyncScanLock);
261
262 /*
263 * If the location is not a valid block number for this scan, start at 0.
264 *
265 * This can happen if for instance a VACUUM truncated the table since the
266 * location was saved.
267 */
268 if (startloc >= relnblocks)
269 startloc = 0;
270
271#ifdef TRACE_SYNCSCAN
272 if (trace_syncscan)
273 elog(LOG,
274 "SYNC_SCAN: start \"%s\" (size %u) at %u",
275 RelationGetRelationName(rel), relnblocks, startloc);
276#endif
277
278 return startloc;
279}
uint32 BlockNumber
Definition: block.h:31
#define LOG
Definition: elog.h:31
#define elog(elevel,...)
Definition: elog.h:225
bool LWLockAcquire(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:1168
void LWLockRelease(LWLock *lock)
Definition: lwlock.c:1781
@ LW_EXCLUSIVE
Definition: lwlock.h:114
#define RelationGetRelationName(relation)
Definition: rel.h:539
RelFileLocator rd_locator
Definition: rel.h:57
static BlockNumber ss_search(RelFileLocator relfilelocator, BlockNumber location, bool set)
Definition: syncscan.c:191

References elog, LOG, LW_EXCLUSIVE, LWLockAcquire(), LWLockRelease(), RelationData::rd_locator, RelationGetRelationName, and ss_search().

Referenced by initscan(), and table_block_parallelscan_startblock_init().

◆ ss_report_location()

void ss_report_location ( Relation  rel,
BlockNumber  location 
)

Definition at line 289 of file syncscan.c.

290{
291#ifdef TRACE_SYNCSCAN
292 if (trace_syncscan)
293 {
294 if ((location % 1024) == 0)
295 elog(LOG,
296 "SYNC_SCAN: scanning \"%s\" at %u",
297 RelationGetRelationName(rel), location);
298 }
299#endif
300
301 /*
302 * To reduce lock contention, only report scan progress every N pages. For
303 * the same reason, don't block if the lock isn't immediately available.
304 * Missing a few updates isn't critical, it just means that a new scan
305 * that wants to join the pack will start a little bit behind the head of
306 * the scan. Hopefully the pages are still in OS cache and the scan
307 * catches up quickly.
308 */
309 if ((location % SYNC_SCAN_REPORT_INTERVAL) == 0)
310 {
311 if (LWLockConditionalAcquire(SyncScanLock, LW_EXCLUSIVE))
312 {
313 (void) ss_search(rel->rd_locator, location, true);
314 LWLockRelease(SyncScanLock);
315 }
316#ifdef TRACE_SYNCSCAN
317 else if (trace_syncscan)
318 elog(LOG,
319 "SYNC_SCAN: missed update for \"%s\" at %u",
320 RelationGetRelationName(rel), location);
321#endif
322 }
323}
bool LWLockConditionalAcquire(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:1339
#define SYNC_SCAN_REPORT_INTERVAL
Definition: syncscan.c:83

References elog, LOG, LW_EXCLUSIVE, LWLockConditionalAcquire(), LWLockRelease(), RelationData::rd_locator, RelationGetRelationName, ss_search(), and SYNC_SCAN_REPORT_INTERVAL.

Referenced by heapam_scan_sample_next_block(), heapgettup_advance_block(), and table_block_parallelscan_nextpage().

◆ ss_search()

static BlockNumber ss_search ( RelFileLocator  relfilelocator,
BlockNumber  location,
bool  set 
)
static

Definition at line 191 of file syncscan.c.

192{
193 ss_lru_item_t *item;
194
195 item = scan_locations->head;
196 for (;;)
197 {
198 bool match;
199
201 relfilelocator);
202
203 if (match || item->next == NULL)
204 {
205 /*
206 * If we reached the end of list and no match was found, take over
207 * the last entry
208 */
209 if (!match)
210 {
211 item->location.relfilelocator = relfilelocator;
212 item->location.location = location;
213 }
214 else if (set)
215 item->location.location = location;
216
217 /* Move the entry to the front of the LRU list */
218 if (item != scan_locations->head)
219 {
220 /* unlink */
221 if (item == scan_locations->tail)
222 scan_locations->tail = item->prev;
223 item->prev->next = item->next;
224 if (item->next)
225 item->next->prev = item->prev;
226
227 /* link */
228 item->prev = NULL;
229 item->next = scan_locations->head;
230 scan_locations->head->prev = item;
231 scan_locations->head = item;
232 }
233
234 return item->location.location;
235 }
236
237 item = item->next;
238 }
239
240 /* not reached */
241}
#define RelFileLocatorEquals(locator1, locator2)
ss_scan_location_t location
Definition: syncscan.c:101
struct ss_lru_item_t * next
Definition: syncscan.c:100
struct ss_lru_item_t * prev
Definition: syncscan.c:99
RelFileLocator relfilelocator
Definition: syncscan.c:93
BlockNumber location
Definition: syncscan.c:94
ss_lru_item_t * head
Definition: syncscan.c:106
ss_lru_item_t * tail
Definition: syncscan.c:107
static ss_scan_locations_t * scan_locations
Definition: syncscan.c:115

References ss_scan_locations_t::head, ss_scan_location_t::location, ss_lru_item_t::location, ss_lru_item_t::next, ss_lru_item_t::prev, ss_scan_location_t::relfilelocator, RelFileLocatorEquals, scan_locations, and ss_scan_locations_t::tail.

Referenced by ss_get_location(), and ss_report_location().

◆ SyncScanShmemInit()

void SyncScanShmemInit ( void  )

Definition at line 135 of file syncscan.c.

136{
137 int i;
138 bool found;
139
141 ShmemInitStruct("Sync Scan Locations List",
143 &found);
144
146 {
147 /* Initialize shared memory area */
148 Assert(!found);
149
152
153 for (i = 0; i < SYNC_SCAN_NELEM; i++)
154 {
156
157 /*
158 * Initialize all slots with invalid values. As scans are started,
159 * these invalid entries will fall off the LRU list and get
160 * replaced with real entries.
161 */
166
167 item->prev = (i > 0) ?
168 (&scan_locations->items[i - 1]) : NULL;
169 item->next = (i < SYNC_SCAN_NELEM - 1) ?
170 (&scan_locations->items[i + 1]) : NULL;
171 }
172 }
173 else
174 Assert(found);
175}
#define InvalidBlockNumber
Definition: block.h:33
#define Assert(condition)
Definition: c.h:815
bool IsUnderPostmaster
Definition: globals.c:119
int i
Definition: isn.c:72
#define InvalidOid
Definition: postgres_ext.h:37
#define InvalidRelFileNumber
Definition: relpath.h:26
void * ShmemInitStruct(const char *name, Size size, bool *foundPtr)
Definition: shmem.c:382
RelFileNumber relNumber
ss_lru_item_t items[FLEXIBLE_ARRAY_MEMBER]
Definition: syncscan.c:108
#define SYNC_SCAN_NELEM
Definition: syncscan.c:71
#define SizeOfScanLocations(N)
Definition: syncscan.c:111

References Assert, RelFileLocator::dbOid, ss_scan_locations_t::head, i, InvalidBlockNumber, InvalidOid, InvalidRelFileNumber, IsUnderPostmaster, ss_scan_locations_t::items, ss_scan_location_t::location, ss_lru_item_t::location, ss_lru_item_t::next, ss_lru_item_t::prev, ss_scan_location_t::relfilelocator, RelFileLocator::relNumber, scan_locations, ShmemInitStruct(), SizeOfScanLocations, RelFileLocator::spcOid, SYNC_SCAN_NELEM, and ss_scan_locations_t::tail.

Referenced by CreateOrAttachShmemStructs().

◆ SyncScanShmemSize()

Size SyncScanShmemSize ( void  )

Definition at line 126 of file syncscan.c.

127{
129}

References SizeOfScanLocations, and SYNC_SCAN_NELEM.

Referenced by CalculateShmemSize().

Variable Documentation

◆ scan_locations

ss_scan_locations_t* scan_locations
static

Definition at line 115 of file syncscan.c.

Referenced by ss_search(), and SyncScanShmemInit().