PostgreSQL Source Code  git master
slru.h
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * slru.h
4  * Simple LRU buffering for transaction status logfiles
5  *
6  * Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
7  * Portions Copyright (c) 1994, Regents of the University of California
8  *
9  * src/include/access/slru.h
10  *
11  *-------------------------------------------------------------------------
12  */
13 #ifndef SLRU_H
14 #define SLRU_H
15 
16 #include "access/xlogdefs.h"
17 #include "storage/lwlock.h"
18 #include "storage/sync.h"
19 
20 /*
21  * To avoid overflowing internal arithmetic and the size_t data type, the
22  * number of buffers must not exceed this number.
23  */
24 #define SLRU_MAX_ALLOWED_BUFFERS ((1024 * 1024 * 1024) / BLCKSZ)
25 
26 /*
27  * Define SLRU segment size. A page is the same BLCKSZ as is used everywhere
28  * else in Postgres. The segment size can be chosen somewhat arbitrarily;
29  * we make it 32 pages by default, or 256Kb, i.e. 1M transactions for CLOG
30  * or 64K transactions for SUBTRANS.
31  *
32  * Note: because TransactionIds are 32 bits and wrap around at 0xFFFFFFFF,
33  * page numbering also wraps around at 0xFFFFFFFF/xxxx_XACTS_PER_PAGE (where
34  * xxxx is CLOG or SUBTRANS, respectively), and segment numbering at
35  * 0xFFFFFFFF/xxxx_XACTS_PER_PAGE/SLRU_PAGES_PER_SEGMENT. We need
36  * take no explicit notice of that fact in slru.c, except when comparing
37  * segment and page numbers in SimpleLruTruncate (see PagePrecedes()).
38  */
39 #define SLRU_PAGES_PER_SEGMENT 32
40 
41 /*
42  * Page status codes. Note that these do not include the "dirty" bit.
43  * page_dirty can be true only in the VALID or WRITE_IN_PROGRESS states;
44  * in the latter case it implies that the page has been re-dirtied since
45  * the write started.
46  */
47 typedef enum
48 {
49  SLRU_PAGE_EMPTY, /* buffer is not in use */
50  SLRU_PAGE_READ_IN_PROGRESS, /* page is being read in */
51  SLRU_PAGE_VALID, /* page is valid and not being written */
52  SLRU_PAGE_WRITE_IN_PROGRESS, /* page is being written out */
54 
55 /*
56  * Shared-memory state
57  *
58  * ControlLock is used to protect access to the other fields, except
59  * latest_page_number, which uses atomics; see comment in slru.c.
60  */
61 typedef struct SlruSharedData
62 {
63  /* Number of buffers managed by this SLRU structure */
64  int num_slots;
65 
66  /*
67  * Arrays holding info for each buffer slot. Page number is undefined
68  * when status is EMPTY, as is page_lru_count.
69  */
70  char **page_buffer;
72  bool *page_dirty;
73  int64 *page_number;
75 
76  /* The buffer_locks protects the I/O on each buffer slots */
78 
79  /* Locks to protect the in memory buffer slot access in SLRU bank. */
81 
82  /*----------
83  * A bank-wise LRU counter is maintained because we do a victim buffer
84  * search within a bank. Furthermore, manipulating an individual bank
85  * counter avoids frequent cache invalidation since we update it every time
86  * we access the page.
87  *
88  * We mark a page "most recently used" by setting
89  * page_lru_count[slotno] = ++bank_cur_lru_count[bankno];
90  * The oldest page in the bank is therefore the one with the highest value
91  * of
92  * bank_cur_lru_count[bankno] - page_lru_count[slotno]
93  * The counts will eventually wrap around, but this calculation still
94  * works as long as no page's age exceeds INT_MAX counts.
95  *----------
96  */
98 
99  /*
100  * Optional array of WAL flush LSNs associated with entries in the SLRU
101  * pages. If not zero/NULL, we must flush WAL before writing pages (true
102  * for pg_xact, false for everything else). group_lsn[] has
103  * lsn_groups_per_page entries per buffer slot, each containing the
104  * highest LSN known for a contiguous group of SLRU entries on that slot's
105  * page.
106  */
109 
110  /*
111  * latest_page_number is the page number of the current end of the log;
112  * this is not critical data, since we use it only to avoid swapping out
113  * the latest page.
114  */
116 
117  /* SLRU's index for statistics purposes (might not be unique) */
120 
122 
123 /*
124  * SlruCtlData is an unshared structure that points to the active information
125  * in shared memory.
126  */
127 typedef struct SlruCtlData
128 {
130 
131  /*
132  * Bitmask to determine bank number from page number.
133  */
135 
136  /*
137  * If true, use long segment file names. Otherwise, use short file names.
138  *
139  * For details about the file name format, see SlruFileName().
140  */
142 
143  /*
144  * Which sync handler function to use when handing sync requests over to
145  * the checkpointer. SYNC_HANDLER_NONE to disable fsync (eg pg_notify).
146  */
148 
149  /*
150  * Decide whether a page is "older" for truncation and as a hint for
151  * evicting pages in LRU order. Return true if every entry of the first
152  * argument is older than every entry of the second argument. Note that
153  * !PagePrecedes(a,b) && !PagePrecedes(b,a) need not imply a==b; it also
154  * arises when some entries are older and some are not. For SLRUs using
155  * SimpleLruTruncate(), this must use modular arithmetic. (For others,
156  * the behavior of this callback has no functional implications.) Use
157  * SlruPagePrecedesUnitTests() in SLRUs meeting its criteria.
158  */
159  bool (*PagePrecedes) (int64, int64);
160 
161  /*
162  * Dir is set during SimpleLruInit and does not change thereafter. Since
163  * it's always the same, it doesn't need to be in shared memory.
164  */
165  char Dir[64];
166 
168 
170 
171 /*
172  * Get the SLRU bank lock for given SlruCtl and the pageno.
173  *
174  * This lock needs to be acquired to access the slru buffer slots in the
175  * respective bank.
176  */
177 static inline LWLock *
179 {
180  int bankno;
181 
182  bankno = pageno & ctl->bank_mask;
183  return &(ctl->shared->bank_locks[bankno].lock);
184 }
185 
186 extern Size SimpleLruShmemSize(int nslots, int nlsns);
187 extern int SimpleLruAutotuneBuffers(int divisor, int max);
188 extern void SimpleLruInit(SlruCtl ctl, const char *name, int nslots, int nlsns,
189  const char *subdir, int buffer_tranche_id,
190  int bank_tranche_id, SyncRequestHandler sync_handler,
191  bool long_segment_names);
192 extern int SimpleLruZeroPage(SlruCtl ctl, int64 pageno);
193 extern int SimpleLruReadPage(SlruCtl ctl, int64 pageno, bool write_ok,
194  TransactionId xid);
195 extern int SimpleLruReadPage_ReadOnly(SlruCtl ctl, int64 pageno,
196  TransactionId xid);
197 extern void SimpleLruWritePage(SlruCtl ctl, int slotno);
198 extern void SimpleLruWriteAll(SlruCtl ctl, bool allow_redirtied);
199 #ifdef USE_ASSERT_CHECKING
200 extern void SlruPagePrecedesUnitTests(SlruCtl ctl, int per_page);
201 #else
202 #define SlruPagePrecedesUnitTests(ctl, per_page) do {} while (0)
203 #endif
204 extern void SimpleLruTruncate(SlruCtl ctl, int64 cutoffPage);
205 extern bool SimpleLruDoesPhysicalPageExist(SlruCtl ctl, int64 pageno);
206 
207 typedef bool (*SlruScanCallback) (SlruCtl ctl, char *filename, int64 segpage,
208  void *data);
210 extern void SlruDeleteSegment(SlruCtl ctl, int64 segno);
211 
212 extern int SlruSyncFileTag(SlruCtl ctl, const FileTag *ftag, char *path);
213 
214 /* SlruScanDirectory public callbacks */
216  int64 segpage, void *data);
217 extern bool SlruScanDirCbDeleteAll(SlruCtl ctl, char *filename, int64 segpage,
218  void *data);
219 extern bool check_slru_buffers(const char *name, int *newval);
220 
221 #endif /* SLRU_H */
uint16 bits16
Definition: c.h:514
unsigned char bool
Definition: c.h:456
uint32 TransactionId
Definition: c.h:652
size_t Size
Definition: c.h:605
#define newval
const void * data
static char * filename
Definition: pg_dumpall.c:119
tree ctl
Definition: radixtree.h:1853
void SimpleLruInit(SlruCtl ctl, const char *name, int nslots, int nlsns, const char *subdir, int buffer_tranche_id, int bank_tranche_id, SyncRequestHandler sync_handler, bool long_segment_names)
Definition: slru.c:252
static LWLock * SimpleLruGetBankLock(SlruCtl ctl, int64 pageno)
Definition: slru.h:178
SlruSharedData * SlruShared
Definition: slru.h:121
int SimpleLruReadPage_ReadOnly(SlruCtl ctl, int64 pageno, TransactionId xid)
Definition: slru.c:605
#define SlruPagePrecedesUnitTests(ctl, per_page)
Definition: slru.h:202
void SimpleLruWritePage(SlruCtl ctl, int slotno)
Definition: slru.c:729
bool(* SlruScanCallback)(SlruCtl ctl, char *filename, int64 segpage, void *data)
Definition: slru.h:207
void SimpleLruWriteAll(SlruCtl ctl, bool allow_redirtied)
Definition: slru.c:1319
int SimpleLruAutotuneBuffers(int divisor, int max)
Definition: slru.c:232
bool SimpleLruDoesPhysicalPageExist(SlruCtl ctl, int64 pageno)
Definition: slru.c:743
void SlruDeleteSegment(SlruCtl ctl, int64 segno)
Definition: slru.c:1523
struct SlruCtlData SlruCtlData
bool SlruScanDirectory(SlruCtl ctl, SlruScanCallback callback, void *data)
Definition: slru.c:1788
bool SlruScanDirCbDeleteAll(SlruCtl ctl, char *filename, int64 segpage, void *data)
Definition: slru.c:1741
int SimpleLruReadPage(SlruCtl ctl, int64 pageno, bool write_ok, TransactionId xid)
Definition: slru.c:502
int SlruSyncFileTag(SlruCtl ctl, const FileTag *ftag, char *path)
Definition: slru.c:1828
struct SlruSharedData SlruSharedData
SlruCtlData * SlruCtl
Definition: slru.h:169
int SimpleLruZeroPage(SlruCtl ctl, int64 pageno)
Definition: slru.c:375
void SimpleLruTruncate(SlruCtl ctl, int64 cutoffPage)
Definition: slru.c:1405
SlruPageStatus
Definition: slru.h:48
@ SLRU_PAGE_VALID
Definition: slru.h:51
@ SLRU_PAGE_WRITE_IN_PROGRESS
Definition: slru.h:52
@ SLRU_PAGE_READ_IN_PROGRESS
Definition: slru.h:50
@ SLRU_PAGE_EMPTY
Definition: slru.h:49
Size SimpleLruShmemSize(int nslots, int nlsns)
Definition: slru.c:199
bool SlruScanDirCbReportPresence(SlruCtl ctl, char *filename, int64 segpage, void *data)
Definition: slru.c:1709
bool check_slru_buffers(const char *name, int *newval)
Definition: slru.c:355
Definition: sync.h:51
Definition: lwlock.h:42
bits16 bank_mask
Definition: slru.h:134
bool(* PagePrecedes)(int64, int64)
Definition: slru.h:159
bool long_segment_names
Definition: slru.h:141
SyncRequestHandler sync_handler
Definition: slru.h:147
SlruShared shared
Definition: slru.h:129
char Dir[64]
Definition: slru.h:165
int slru_stats_idx
Definition: slru.h:118
int64 * page_number
Definition: slru.h:73
int num_slots
Definition: slru.h:64
LWLockPadded * bank_locks
Definition: slru.h:80
int * page_lru_count
Definition: slru.h:74
pg_atomic_uint64 latest_page_number
Definition: slru.h:115
XLogRecPtr * group_lsn
Definition: slru.h:107
int * bank_cur_lru_count
Definition: slru.h:97
int lsn_groups_per_page
Definition: slru.h:108
SlruPageStatus * page_status
Definition: slru.h:71
bool * page_dirty
Definition: slru.h:72
LWLockPadded * buffer_locks
Definition: slru.h:77
char ** page_buffer
Definition: slru.h:70
SyncRequestHandler
Definition: sync.h:36
static void callback(struct sockaddr *addr, struct sockaddr *mask, void *unused)
Definition: test_ifaddrs.c:46
const char * name
uint64 XLogRecPtr
Definition: xlogdefs.h:21