PostgreSQL Source Code  git master
lwlock.h
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * lwlock.h
4  * Lightweight lock manager
5  *
6  *
7  * Portions Copyright (c) 1996-2023, PostgreSQL Global Development Group
8  * Portions Copyright (c) 1994, Regents of the University of California
9  *
10  * src/include/storage/lwlock.h
11  *
12  *-------------------------------------------------------------------------
13  */
14 #ifndef LWLOCK_H
15 #define LWLOCK_H
16 
17 #ifdef FRONTEND
18 #error "lwlock.h may not be included from frontend code"
19 #endif
20 
21 #include "port/atomics.h"
22 #include "storage/proclist_types.h"
23 
24 struct PGPROC;
25 
26 /* what state of the wait process is a backend in */
27 typedef enum LWLockWaitState
28 {
29  LW_WS_NOT_WAITING, /* not currently waiting / woken up */
30  LW_WS_WAITING, /* currently waiting */
31  LW_WS_PENDING_WAKEUP, /* removed from waitlist, but not yet signalled */
33 
34 /*
35  * Code outside of lwlock.c should not manipulate the contents of this
36  * structure directly, but we have to declare it here to allow LWLocks to be
37  * incorporated into other data structures.
38  */
39 typedef struct LWLock
40 {
41  uint16 tranche; /* tranche ID */
42  pg_atomic_uint32 state; /* state of exclusive/nonexclusive lockers */
43  proclist_head waiters; /* list of waiting PGPROCs */
44 #ifdef LOCK_DEBUG
45  pg_atomic_uint32 nwaiters; /* number of waiters */
46  struct PGPROC *owner; /* last exclusive owner of the lock */
47 #endif
49 
50 /*
51  * In most cases, it's desirable to force each tranche of LWLocks to be aligned
52  * on a cache line boundary and make the array stride a power of 2. This saves
53  * a few cycles in indexing, but more importantly ensures that individual
54  * LWLocks don't cross cache line boundaries. This reduces cache contention
55  * problems, especially on AMD Opterons. In some cases, it's useful to add
56  * even more padding so that each LWLock takes up an entire cache line; this is
57  * useful, for example, in the main LWLock array, where the overall number of
58  * locks is small but some are heavily contended.
59  */
60 #define LWLOCK_PADDED_SIZE PG_CACHE_LINE_SIZE
61 
63  "Miscalculated LWLock padding");
64 
65 /* LWLock, padded to a full cache line size */
66 typedef union LWLockPadded
67 {
71 
73 
74 /* struct for storing named tranche information */
75 typedef struct NamedLWLockTranche
76 {
77  int trancheId;
78  char *trancheName;
80 
83 
84 /* Names for fixed lwlocks */
85 #include "storage/lwlocknames.h"
86 
87 /*
88  * It's a bit odd to declare NUM_BUFFER_PARTITIONS and NUM_LOCK_PARTITIONS
89  * here, but we need them to figure out offsets within MainLWLockArray, and
90  * having this file include lock.h or bufmgr.h would be backwards.
91  */
92 
93 /* Number of partitions of the shared buffer mapping hashtable */
94 #define NUM_BUFFER_PARTITIONS 128
95 
96 /* Number of partitions the shared lock tables are divided into */
97 #define LOG2_NUM_LOCK_PARTITIONS 4
98 #define NUM_LOCK_PARTITIONS (1 << LOG2_NUM_LOCK_PARTITIONS)
99 
100 /* Number of partitions the shared predicate lock tables are divided into */
101 #define LOG2_NUM_PREDICATELOCK_PARTITIONS 4
102 #define NUM_PREDICATELOCK_PARTITIONS (1 << LOG2_NUM_PREDICATELOCK_PARTITIONS)
103 
104 /* Offsets for various chunks of preallocated lwlocks. */
105 #define BUFFER_MAPPING_LWLOCK_OFFSET NUM_INDIVIDUAL_LWLOCKS
106 #define LOCK_MANAGER_LWLOCK_OFFSET \
107  (BUFFER_MAPPING_LWLOCK_OFFSET + NUM_BUFFER_PARTITIONS)
108 #define PREDICATELOCK_MANAGER_LWLOCK_OFFSET \
109  (LOCK_MANAGER_LWLOCK_OFFSET + NUM_LOCK_PARTITIONS)
110 #define NUM_FIXED_LWLOCKS \
111  (PREDICATELOCK_MANAGER_LWLOCK_OFFSET + NUM_PREDICATELOCK_PARTITIONS)
112 
113 typedef enum LWLockMode
114 {
117  LW_WAIT_UNTIL_FREE /* A special mode used in PGPROC->lwWaitMode,
118  * when waiting for lock to become free. Not
119  * to be used as LWLockAcquire argument */
121 
122 
123 #ifdef LOCK_DEBUG
124 extern PGDLLIMPORT bool Trace_lwlocks;
125 #endif
126 
127 extern bool LWLockAcquire(LWLock *lock, LWLockMode mode);
128 extern bool LWLockConditionalAcquire(LWLock *lock, LWLockMode mode);
129 extern bool LWLockAcquireOrWait(LWLock *lock, LWLockMode mode);
130 extern void LWLockRelease(LWLock *lock);
131 extern void LWLockReleaseClearVar(LWLock *lock, uint64 *valptr, uint64 val);
132 extern void LWLockReleaseAll(void);
133 extern bool LWLockHeldByMe(LWLock *lock);
134 extern bool LWLockAnyHeldByMe(LWLock *lock, int nlocks, size_t stride);
135 extern bool LWLockHeldByMeInMode(LWLock *lock, LWLockMode mode);
136 
137 extern bool LWLockWaitForVar(LWLock *lock, uint64 *valptr, uint64 oldval, uint64 *newval);
138 extern void LWLockUpdateVar(LWLock *lock, uint64 *valptr, uint64 val);
139 
140 extern Size LWLockShmemSize(void);
141 extern void CreateLWLocks(void);
142 extern void InitLWLockAccess(void);
143 
144 extern const char *GetLWLockIdentifier(uint32 classId, uint16 eventId);
145 
146 /*
147  * Extensions (or core code) can obtain an LWLocks by calling
148  * RequestNamedLWLockTranche() during postmaster startup. Subsequently,
149  * call GetNamedLWLockTranche() to obtain a pointer to an array containing
150  * the number of LWLocks requested.
151  */
152 extern void RequestNamedLWLockTranche(const char *tranche_name, int num_lwlocks);
153 extern LWLockPadded *GetNamedLWLockTranche(const char *tranche_name);
154 
155 /*
156  * There is another, more flexible method of obtaining lwlocks. First, call
157  * LWLockNewTrancheId just once to obtain a tranche ID; this allocates from
158  * a shared counter. Next, each individual process using the tranche should
159  * call LWLockRegisterTranche() to associate that tranche ID with a name.
160  * Finally, LWLockInitialize should be called just once per lwlock, passing
161  * the tranche ID as an argument.
162  *
163  * It may seem strange that each process using the tranche must register it
164  * separately, but dynamic shared memory segments aren't guaranteed to be
165  * mapped at the same address in all coordinating backends, so storing the
166  * registration in the main shared memory segment wouldn't work for that case.
167  */
168 extern int LWLockNewTrancheId(void);
169 extern void LWLockRegisterTranche(int tranche_id, const char *tranche_name);
170 extern void LWLockInitialize(LWLock *lock, int tranche_id);
171 
172 /*
173  * Every tranche ID less than NUM_INDIVIDUAL_LWLOCKS is reserved; also,
174  * we reserve additional tranche IDs for builtin tranches not included in
175  * the set of individual LWLocks. A call to LWLockNewTrancheId will never
176  * return a value less than LWTRANCHE_FIRST_USER_DEFINED.
177  */
178 typedef enum BuiltinTrancheIds
179 {
180  LWTRANCHE_XACT_BUFFER = NUM_INDIVIDUAL_LWLOCKS,
211 
212 /*
213  * Prior to PostgreSQL 9.4, we used an enum type called LWLockId to refer
214  * to LWLocks. New code should instead use LWLock *. However, for the
215  * convenience of third-party code, we include the following typedef.
216  */
217 typedef LWLock *LWLockId;
218 
219 #endif /* LWLOCK_H */
unsigned short uint16
Definition: c.h:489
unsigned int uint32
Definition: c.h:490
#define PGDLLIMPORT
Definition: c.h:1303
size_t Size
Definition: c.h:589
#define newval
long val
Definition: informix.c:664
union LWLockPadded LWLockPadded
bool LWLockHeldByMe(LWLock *lock)
Definition: lwlock.c:1919
const char * GetLWLockIdentifier(uint32 classId, uint16 eventId)
Definition: lwlock.c:794
LWLockPadded * GetNamedLWLockTranche(const char *tranche_name)
Definition: lwlock.c:597
bool LWLockAcquire(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:1195
void CreateLWLocks(void)
Definition: lwlock.c:474
LWLockWaitState
Definition: lwlock.h:28
@ LW_WS_NOT_WAITING
Definition: lwlock.h:29
@ LW_WS_WAITING
Definition: lwlock.h:30
@ LW_WS_PENDING_WAKEUP
Definition: lwlock.h:31
PGDLLIMPORT NamedLWLockTranche * NamedLWLockTrancheArray
Definition: lwlock.c:251
struct NamedLWLockTranche NamedLWLockTranche
#define LWLOCK_PADDED_SIZE
Definition: lwlock.h:60
void LWLockRegisterTranche(int tranche_id, const char *tranche_name)
Definition: lwlock.c:651
bool LWLockHeldByMeInMode(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:1963
PGDLLIMPORT int NamedLWLockTrancheRequests
Definition: lwlock.c:248
int LWLockNewTrancheId(void)
Definition: lwlock.c:627
void RequestNamedLWLockTranche(const char *tranche_name, int num_lwlocks)
Definition: lwlock.c:693
void LWLockRelease(LWLock *lock)
Definition: lwlock.c:1803
void LWLockUpdateVar(LWLock *lock, uint64 *valptr, uint64 val)
Definition: lwlock.c:1745
BuiltinTrancheIds
Definition: lwlock.h:179
@ LWTRANCHE_FIRST_USER_DEFINED
Definition: lwlock.h:209
@ LWTRANCHE_SHARED_TIDBITMAP
Definition: lwlock.h:201
@ LWTRANCHE_PER_SESSION_DSA
Definition: lwlock.h:197
@ LWTRANCHE_PARALLEL_QUERY_DSA
Definition: lwlock.h:196
@ LWTRANCHE_COMMITTS_BUFFER
Definition: lwlock.h:181
@ LWTRANCHE_PGSTATS_HASH
Definition: lwlock.h:205
@ LWTRANCHE_SUBTRANS_BUFFER
Definition: lwlock.h:182
@ LWTRANCHE_PER_SESSION_RECORD_TYPMOD
Definition: lwlock.h:199
@ LWTRANCHE_LAUNCHER_HASH
Definition: lwlock.h:208
@ LWTRANCHE_XACT_BUFFER
Definition: lwlock.h:180
@ LWTRANCHE_REPLICATION_ORIGIN_STATE
Definition: lwlock.h:189
@ LWTRANCHE_PARALLEL_APPEND
Definition: lwlock.h:202
@ LWTRANCHE_REPLICATION_SLOT_IO
Definition: lwlock.h:190
@ LWTRANCHE_BUFFER_CONTENT
Definition: lwlock.h:188
@ LWTRANCHE_MULTIXACTMEMBER_BUFFER
Definition: lwlock.h:184
@ LWTRANCHE_NOTIFY_BUFFER
Definition: lwlock.h:185
@ LWTRANCHE_PER_SESSION_RECORD_TYPE
Definition: lwlock.h:198
@ LWTRANCHE_PREDICATE_LOCK_MANAGER
Definition: lwlock.h:194
@ LWTRANCHE_BUFFER_MAPPING
Definition: lwlock.h:192
@ LWTRANCHE_SERIAL_BUFFER
Definition: lwlock.h:186
@ LWTRANCHE_LAUNCHER_DSA
Definition: lwlock.h:207
@ LWTRANCHE_PGSTATS_DSA
Definition: lwlock.h:204
@ LWTRANCHE_PARALLEL_HASH_JOIN
Definition: lwlock.h:195
@ LWTRANCHE_PGSTATS_DATA
Definition: lwlock.h:206
@ LWTRANCHE_PER_XACT_PREDICATE_LIST
Definition: lwlock.h:203
@ LWTRANCHE_MULTIXACTOFFSET_BUFFER
Definition: lwlock.h:183
@ LWTRANCHE_WAL_INSERT
Definition: lwlock.h:187
@ LWTRANCHE_LOCK_MANAGER
Definition: lwlock.h:193
@ LWTRANCHE_SHARED_TUPLESTORE
Definition: lwlock.h:200
@ LWTRANCHE_LOCK_FASTPATH
Definition: lwlock.h:191
void LWLockReleaseAll(void)
Definition: lwlock.c:1902
void LWLockInitialize(LWLock *lock, int tranche_id)
Definition: lwlock.c:730
bool LWLockConditionalAcquire(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:1366
bool LWLockAcquireOrWait(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:1423
LWLockMode
Definition: lwlock.h:114
@ LW_SHARED
Definition: lwlock.h:116
@ LW_WAIT_UNTIL_FREE
Definition: lwlock.h:117
@ LW_EXCLUSIVE
Definition: lwlock.h:115
PGDLLIMPORT LWLockPadded * MainLWLockArray
Definition: lwlock.c:212
StaticAssertDecl(sizeof(LWLock)<=LWLOCK_PADDED_SIZE, "Miscalculated LWLock padding")
LWLock * LWLockId
Definition: lwlock.h:217
bool LWLockWaitForVar(LWLock *lock, uint64 *valptr, uint64 oldval, uint64 *newval)
Definition: lwlock.c:1610
struct LWLock LWLock
void LWLockReleaseClearVar(LWLock *lock, uint64 *valptr, uint64 val)
Definition: lwlock.c:1876
Size LWLockShmemSize(void)
Definition: lwlock.c:444
bool LWLockAnyHeldByMe(LWLock *lock, int nlocks, size_t stride)
Definition: lwlock.c:1937
void InitLWLockAccess(void)
Definition: lwlock.c:581
static PgChecksumMode mode
Definition: pg_checksums.c:65
Definition: lwlock.h:40
pg_atomic_uint32 state
Definition: lwlock.h:42
uint16 tranche
Definition: lwlock.h:41
proclist_head waiters
Definition: lwlock.h:43
char * trancheName
Definition: lwlock.h:78
Definition: proc.h:162
LWLock lock
Definition: lwlock.h:68
char pad[LWLOCK_PADDED_SIZE]
Definition: lwlock.h:69