PostgreSQL Source Code  git master
lwlock.h File Reference
#include "storage/proclist_types.h"
#include "storage/s_lock.h"
#include "port/atomics.h"
#include "storage/lwlocknames.h"
Include dependency graph for lwlock.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  LWLock
 
union  LWLockPadded
 
union  LWLockMinimallyPadded
 
struct  NamedLWLockTranche
 

Macros

#define LWLOCK_PADDED_SIZE   PG_CACHE_LINE_SIZE
 
#define LWLOCK_MINIMAL_SIZE   (sizeof(LWLock) <= 32 ? 32 : 64)
 
#define NUM_BUFFER_PARTITIONS   128
 
#define LOG2_NUM_LOCK_PARTITIONS   4
 
#define NUM_LOCK_PARTITIONS   (1 << LOG2_NUM_LOCK_PARTITIONS)
 
#define LOG2_NUM_PREDICATELOCK_PARTITIONS   4
 
#define NUM_PREDICATELOCK_PARTITIONS   (1 << LOG2_NUM_PREDICATELOCK_PARTITIONS)
 
#define BUFFER_MAPPING_LWLOCK_OFFSET   NUM_INDIVIDUAL_LWLOCKS
 
#define LOCK_MANAGER_LWLOCK_OFFSET   (BUFFER_MAPPING_LWLOCK_OFFSET + NUM_BUFFER_PARTITIONS)
 
#define PREDICATELOCK_MANAGER_LWLOCK_OFFSET   (LOCK_MANAGER_LWLOCK_OFFSET + NUM_LOCK_PARTITIONS)
 
#define NUM_FIXED_LWLOCKS   (PREDICATELOCK_MANAGER_LWLOCK_OFFSET + NUM_PREDICATELOCK_PARTITIONS)
 

Typedefs

typedef struct LWLock LWLock
 
typedef union LWLockPadded LWLockPadded
 
typedef union LWLockMinimallyPadded LWLockMinimallyPadded
 
typedef struct NamedLWLockTranche NamedLWLockTranche
 
typedef enum LWLockMode LWLockMode
 
typedef enum BuiltinTrancheIds BuiltinTrancheIds
 
typedef LWLockLWLockId
 

Enumerations

enum  LWLockMode { LW_EXCLUSIVE, LW_SHARED, LW_WAIT_UNTIL_FREE }
 
enum  BuiltinTrancheIds {
  LWTRANCHE_CLOG_BUFFERS = NUM_INDIVIDUAL_LWLOCKS, LWTRANCHE_COMMITTS_BUFFERS, LWTRANCHE_SUBTRANS_BUFFERS, LWTRANCHE_MXACTOFFSET_BUFFERS,
  LWTRANCHE_MXACTMEMBER_BUFFERS, LWTRANCHE_ASYNC_BUFFERS, LWTRANCHE_OLDSERXID_BUFFERS, LWTRANCHE_WAL_INSERT,
  LWTRANCHE_BUFFER_CONTENT, LWTRANCHE_BUFFER_IO_IN_PROGRESS, LWTRANCHE_REPLICATION_ORIGIN, LWTRANCHE_REPLICATION_SLOT_IO_IN_PROGRESS,
  LWTRANCHE_PROC, LWTRANCHE_BUFFER_MAPPING, LWTRANCHE_LOCK_MANAGER, LWTRANCHE_PREDICATE_LOCK_MANAGER,
  LWTRANCHE_PARALLEL_HASH_JOIN, LWTRANCHE_PARALLEL_QUERY_DSA, LWTRANCHE_SESSION_DSA, LWTRANCHE_SESSION_RECORD_TABLE,
  LWTRANCHE_SESSION_TYPMOD_TABLE, LWTRANCHE_SHARED_TUPLESTORE, LWTRANCHE_TBM, LWTRANCHE_PARALLEL_APPEND,
  LWTRANCHE_SXACT, LWTRANCHE_FIRST_USER_DEFINED
}
 

Functions

bool LWLockAcquire (LWLock *lock, LWLockMode mode)
 
bool LWLockConditionalAcquire (LWLock *lock, LWLockMode mode)
 
bool LWLockAcquireOrWait (LWLock *lock, LWLockMode mode)
 
void LWLockRelease (LWLock *lock)
 
void LWLockReleaseClearVar (LWLock *lock, uint64 *valptr, uint64 val)
 
void LWLockReleaseAll (void)
 
bool LWLockHeldByMe (LWLock *lock)
 
bool LWLockHeldByMeInMode (LWLock *lock, LWLockMode mode)
 
bool LWLockWaitForVar (LWLock *lock, uint64 *valptr, uint64 oldval, uint64 *newval)
 
void LWLockUpdateVar (LWLock *lock, uint64 *valptr, uint64 value)
 
Size LWLockShmemSize (void)
 
void CreateLWLocks (void)
 
void InitLWLockAccess (void)
 
const char * GetLWLockIdentifier (uint32 classId, uint16 eventId)
 
void RequestNamedLWLockTranche (const char *tranche_name, int num_lwlocks)
 
LWLockPaddedGetNamedLWLockTranche (const char *tranche_name)
 
int LWLockNewTrancheId (void)
 
void LWLockRegisterTranche (int tranche_id, const char *tranche_name)
 
void LWLockInitialize (LWLock *lock, int tranche_id)
 

Variables

PGDLLIMPORT LWLockPaddedMainLWLockArray
 
const char *const MainLWLockNames []
 
PGDLLIMPORT NamedLWLockTrancheNamedLWLockTrancheArray
 
PGDLLIMPORT int NamedLWLockTrancheRequests
 

Macro Definition Documentation

◆ BUFFER_MAPPING_LWLOCK_OFFSET

#define BUFFER_MAPPING_LWLOCK_OFFSET   NUM_INDIVIDUAL_LWLOCKS

Definition at line 124 of file lwlock.h.

◆ LOCK_MANAGER_LWLOCK_OFFSET

#define LOCK_MANAGER_LWLOCK_OFFSET   (BUFFER_MAPPING_LWLOCK_OFFSET + NUM_BUFFER_PARTITIONS)

Definition at line 125 of file lwlock.h.

◆ LOG2_NUM_LOCK_PARTITIONS

#define LOG2_NUM_LOCK_PARTITIONS   4

Definition at line 116 of file lwlock.h.

Referenced by proclock_hash(), and ProcLockHashCode().

◆ LOG2_NUM_PREDICATELOCK_PARTITIONS

#define LOG2_NUM_PREDICATELOCK_PARTITIONS   4

Definition at line 120 of file lwlock.h.

◆ LWLOCK_MINIMAL_SIZE

#define LWLOCK_MINIMAL_SIZE   (sizeof(LWLock) <= 32 ? 32 : 64)

Definition at line 74 of file lwlock.h.

Referenced by CreateLWLocks().

◆ LWLOCK_PADDED_SIZE

#define LWLOCK_PADDED_SIZE   PG_CACHE_LINE_SIZE

Definition at line 73 of file lwlock.h.

Referenced by CreateLWLocks(), and LWLockShmemSize().

◆ NUM_BUFFER_PARTITIONS

#define NUM_BUFFER_PARTITIONS   128

Definition at line 113 of file lwlock.h.

Referenced by InitBufTable(), InitializeLWLocks(), StrategyInitialize(), and StrategyShmemSize().

◆ NUM_FIXED_LWLOCKS

Definition at line 129 of file lwlock.h.

Referenced by GetNamedLWLockTranche(), InitializeLWLocks(), and LWLockShmemSize().

◆ NUM_LOCK_PARTITIONS

◆ NUM_PREDICATELOCK_PARTITIONS

◆ PREDICATELOCK_MANAGER_LWLOCK_OFFSET

#define PREDICATELOCK_MANAGER_LWLOCK_OFFSET   (LOCK_MANAGER_LWLOCK_OFFSET + NUM_LOCK_PARTITIONS)

Definition at line 127 of file lwlock.h.

Typedef Documentation

◆ BuiltinTrancheIds

◆ LWLock

◆ LWLockId

Definition at line 231 of file lwlock.h.

◆ LWLockMinimallyPadded

◆ LWLockMode

◆ LWLockPadded

◆ NamedLWLockTranche

Enumeration Type Documentation

◆ BuiltinTrancheIds

Enumerator
LWTRANCHE_CLOG_BUFFERS 
LWTRANCHE_COMMITTS_BUFFERS 
LWTRANCHE_SUBTRANS_BUFFERS 
LWTRANCHE_MXACTOFFSET_BUFFERS 
LWTRANCHE_MXACTMEMBER_BUFFERS 
LWTRANCHE_ASYNC_BUFFERS 
LWTRANCHE_OLDSERXID_BUFFERS 
LWTRANCHE_WAL_INSERT 
LWTRANCHE_BUFFER_CONTENT 
LWTRANCHE_BUFFER_IO_IN_PROGRESS 
LWTRANCHE_REPLICATION_ORIGIN 
LWTRANCHE_REPLICATION_SLOT_IO_IN_PROGRESS 
LWTRANCHE_PROC 
LWTRANCHE_BUFFER_MAPPING 
LWTRANCHE_LOCK_MANAGER 
LWTRANCHE_PREDICATE_LOCK_MANAGER 
LWTRANCHE_PARALLEL_HASH_JOIN 
LWTRANCHE_PARALLEL_QUERY_DSA 
LWTRANCHE_SESSION_DSA 
LWTRANCHE_SESSION_RECORD_TABLE 
LWTRANCHE_SESSION_TYPMOD_TABLE 
LWTRANCHE_SHARED_TUPLESTORE 
LWTRANCHE_TBM 
LWTRANCHE_PARALLEL_APPEND 
LWTRANCHE_SXACT 
LWTRANCHE_FIRST_USER_DEFINED 

Definition at line 196 of file lwlock.h.

197 {
198  LWTRANCHE_CLOG_BUFFERS = NUM_INDIVIDUAL_LWLOCKS,
BuiltinTrancheIds
Definition: lwlock.h:196

◆ LWLockMode

enum LWLockMode
Enumerator
LW_EXCLUSIVE 
LW_SHARED 
LW_WAIT_UNTIL_FREE 

Definition at line 132 of file lwlock.h.

133 {
134  LW_EXCLUSIVE,
135  LW_SHARED,
136  LW_WAIT_UNTIL_FREE /* A special mode used in PGPROC->lwWaitMode,
137  * when waiting for lock to become free. Not
138  * to be used as LWLockAcquire argument */
139 } LWLockMode;
LWLockMode
Definition: lwlock.h:132

Function Documentation

◆ CreateLWLocks()

void CreateLWLocks ( void  )

Definition at line 381 of file lwlock.c.

References InitializeLWLocks(), IsUnderPostmaster, LW_VAL_EXCLUSIVE, LWLOCK_MINIMAL_SIZE, LWLOCK_PADDED_SIZE, LWLockShmemSize(), LWTRANCHE_FIRST_USER_DEFINED, MAX_BACKENDS, RegisterLWLockTranches(), ShmemAlloc(), and StaticAssertStmt.

Referenced by CreateSharedMemoryAndSemaphores().

382 {
384  "MAX_BACKENDS too big for lwlock.c");
385 
387  sizeof(LWLock) <= LWLOCK_PADDED_SIZE,
388  "Miscalculated LWLock padding");
389 
390  if (!IsUnderPostmaster)
391  {
392  Size spaceLocks = LWLockShmemSize();
393  int *LWLockCounter;
394  char *ptr;
395 
396  /* Allocate space */
397  ptr = (char *) ShmemAlloc(spaceLocks);
398 
399  /* Leave room for dynamic allocation of tranches */
400  ptr += sizeof(int);
401 
402  /* Ensure desired alignment of LWLock array */
403  ptr += LWLOCK_PADDED_SIZE - ((uintptr_t) ptr) % LWLOCK_PADDED_SIZE;
404 
405  MainLWLockArray = (LWLockPadded *) ptr;
406 
407  /*
408  * Initialize the dynamic-allocation counter for tranches, which is
409  * stored just before the first LWLock.
410  */
411  LWLockCounter = (int *) ((char *) MainLWLockArray - sizeof(int));
412  *LWLockCounter = LWTRANCHE_FIRST_USER_DEFINED;
413 
414  /* Initialize all LWLocks */
416  }
417 
418  /* Register all LWLock tranches */
420 }
Definition: lwlock.h:32
void * ShmemAlloc(Size size)
Definition: shmem.c:157
Size LWLockShmemSize(void)
Definition: lwlock.c:349
static void RegisterLWLockTranches(void)
Definition: lwlock.c:491
#define StaticAssertStmt(condition, errmessage)
Definition: c.h:842
#define LWLOCK_MINIMAL_SIZE
Definition: lwlock.h:74
#define MAX_BACKENDS
Definition: postmaster.h:75
bool IsUnderPostmaster
Definition: globals.c:109
unsigned int uint32
Definition: c.h:358
static void InitializeLWLocks(void)
Definition: lwlock.c:426
size_t Size
Definition: c.h:466
#define LW_VAL_EXCLUSIVE
Definition: lwlock.c:103
#define LWLOCK_PADDED_SIZE
Definition: lwlock.h:73
LWLockPadded * MainLWLockArray
Definition: lwlock.c:125

◆ GetLWLockIdentifier()

const char* GetLWLockIdentifier ( uint32  classId,
uint16  eventId 
)

Definition at line 714 of file lwlock.c.

References Assert, LWLockTrancheArray, LWLockTranchesAllocated, and PG_WAIT_LWLOCK.

Referenced by pgstat_get_wait_event().

715 {
716  Assert(classId == PG_WAIT_LWLOCK);
717 
718  /*
719  * It is quite possible that user has registered tranche in one of the
720  * backends (e.g. by allocating lwlocks in dynamic shared memory) but not
721  * all of them, so we can't assume the tranche is registered here.
722  */
723  if (eventId >= LWLockTranchesAllocated ||
724  LWLockTrancheArray[eventId] == NULL)
725  return "extension";
726 
727  return LWLockTrancheArray[eventId];
728 }
static int LWLockTranchesAllocated
Definition: lwlock.c:115
static const char ** LWLockTrancheArray
Definition: lwlock.c:114
#define Assert(condition)
Definition: c.h:732
#define PG_WAIT_LWLOCK
Definition: pgstat.h:754

◆ GetNamedLWLockTranche()

LWLockPadded* GetNamedLWLockTranche ( const char *  tranche_name)

Definition at line 552 of file lwlock.c.

References elog, ERROR, i, NamedLWLockTrancheRequests, NUM_FIXED_LWLOCKS, and NamedLWLockTrancheRequest::num_lwlocks.

Referenced by pgss_shmem_startup().

553 {
554  int lock_pos;
555  int i;
556 
557  /*
558  * Obtain the position of base address of LWLock belonging to requested
559  * tranche_name in MainLWLockArray. LWLocks for named tranches are placed
560  * in MainLWLockArray after fixed locks.
561  */
562  lock_pos = NUM_FIXED_LWLOCKS;
563  for (i = 0; i < NamedLWLockTrancheRequests; i++)
564  {
565  if (strcmp(NamedLWLockTrancheRequestArray[i].tranche_name,
566  tranche_name) == 0)
567  return &MainLWLockArray[lock_pos];
568 
570  }
571 
572  if (i >= NamedLWLockTrancheRequests)
573  elog(ERROR, "requested tranche is not registered");
574 
575  /* just to keep compiler quiet */
576  return NULL;
577 }
#define NUM_FIXED_LWLOCKS
Definition: lwlock.h:129
#define ERROR
Definition: elog.h:43
int NamedLWLockTrancheRequests
Definition: lwlock.c:154
NamedLWLockTrancheRequest * NamedLWLockTrancheRequestArray
Definition: lwlock.c:152
#define elog(elevel,...)
Definition: elog.h:226
int i
LWLockPadded * MainLWLockArray
Definition: lwlock.c:125

◆ InitLWLockAccess()

void InitLWLockAccess ( void  )

Definition at line 536 of file lwlock.c.

Referenced by InitProcess().

537 {
538 #ifdef LWLOCK_STATS
539  init_lwlock_stats();
540 #endif
541 }

◆ LWLockAcquire()

bool LWLockAcquire ( LWLock lock,
LWLockMode  mode 
)

Definition at line 1122 of file lwlock.c.

References Assert, AssertArg, elog, ERROR, HOLD_INTERRUPTS, IsUnderPostmaster, LWLockHandle::lock, LOG_LWDEBUG, LW_EXCLUSIVE, LW_FLAG_RELEASE_OK, LW_SHARED, LWLockAttemptLock(), LWLockDequeueSelf(), LWLockQueueSelf(), LWLockReportWaitEnd(), LWLockReportWaitStart(), PGPROC::lwWaiting, MAX_BACKENDS, MAX_SIMUL_LWLOCKS, LWLockHandle::mode, MyProc, num_held_lwlocks, pg_atomic_fetch_or_u32(), pg_atomic_fetch_sub_u32(), PG_USED_FOR_ASSERTS_ONLY, PGSemaphoreLock(), PGSemaphoreUnlock(), PRINT_LWDEBUG, PGPROC::sem, LWLock::state, and T_NAME.

Referenced by _bt_end_vacuum(), _bt_start_vacuum(), _bt_vacuum_cycleid(), AbortBufferIO(), AbsorbSyncRequests(), ActivateCommitTs(), AdvanceNextFullTransactionIdPastXid(), AdvanceOldestClogXid(), AdvanceOldestCommitTsXid(), AdvanceXLInsertBuffer(), alloc_object(), AlterSystemSetConfigFile(), analyze_rel(), ApplyLauncherMain(), apw_detach_shmem(), apw_dump_now(), apw_init_shmem(), apw_load_buffers(), asyncQueueAddEntries(), asyncQueueAdvanceTail(), asyncQueueReadAllNotifications(), asyncQueueUnregister(), AsyncShmemInit(), AtAbort_Twophase(), AtPrepare_PredicateLocks(), attach_internal(), autoprewarm_main(), autoprewarm_start_worker(), AutoVacLauncherMain(), AutoVacuumRequestWork(), AutoVacWorkerMain(), BackendIdGetProc(), BackendIdGetTransactionIds(), BackendPidGetProc(), BackendXidGetPid(), BecomeLockGroupLeader(), BecomeLockGroupMember(), BootStrapCLOG(), BootStrapMultiXact(), BootStrapSUBTRANS(), BufferAlloc(), CancelDBBackends(), CancelVirtualTransaction(), check_for_freed_segments(), CheckDeadLock(), CheckForSerializableConflictOut(), CheckPointPredicate(), CheckPointRelationMap(), CheckPointReplicationOrigin(), CheckPointReplicationSlots(), CheckPointTwoPhase(), CheckRecoveryConsistency(), CheckTableForSerializableConflictIn(), CheckTargetForConflictsIn(), choose_next_subplan_for_leader(), choose_next_subplan_for_worker(), CleanupInvalidationState(), ClearOldPredicateLocks(), clog_redo(), commit_ts_redo(), copy_replication_slot(), CountDBBackends(), CountDBConnections(), CountOtherDBBackends(), CountUserBackends(), CreateCheckPoint(), CreateEndOfRecoveryRecord(), CreateInitDecodingContext(), CreatePredicateLock(), CreateRestartPoint(), DeactivateCommitTs(), DeleteChildTargetLocks(), DeleteLockTarget(), destroy_superblock(), do_autovacuum(), do_pg_start_backup(), do_pg_stop_backup(), do_start_worker(), DropAllPredicateLocksFromTable(), DropSubscription(), DropTableSpace(), dsa_allocate_extended(), dsa_dump(), dsa_free(), dsa_pin(), dsa_release_in_place(), dsa_set_size_limit(), dsa_trim(), dsa_unpin(), dshash_delete_key(), dshash_dump(), dshash_find(), dshash_find_or_insert(), dsm_attach(), dsm_create(), dsm_detach(), dsm_pin_segment(), dsm_unpin_segment(), ensure_active_superblock(), entry_reset(), Exec_ListenPreCommit(), ExecParallelHashMergeCounters(), ExecParallelHashPopChunkQueue(), ExecParallelHashTupleAlloc(), ExecParallelHashTuplePrealloc(), ExpireAllKnownAssignedTransactionIds(), ExpireOldKnownAssignedTransactionIds(), ExpireTreeKnownAssignedTransactionIds(), ExtendCLOG(), ExtendCommitTs(), ExtendMultiXactMember(), ExtendMultiXactOffset(), ExtendSUBTRANS(), FastPathGetRelationLockEntry(), FastPathTransferRelationLocks(), FinishPreparedTransaction(), FlushDatabaseBuffers(), FlushRelationBuffers(), ForceTransactionIdLimitUpdate(), ForwardSyncRequest(), FreeWorkerInfo(), GetBackgroundWorkerPid(), GetBackgroundWorkerTypeByPid(), GetBlockerStatusData(), GetConflictingVirtualXIDs(), GetCurrentVirtualXIDs(), GetLastImportantRecPtr(), GetLastSegSwitchData(), GetLatestCommitTsData(), GetLockConflicts(), GetLockStatusData(), GetMultiXactIdMembers(), GetNewMultiXactId(), GetNewObjectId(), GetNewTransactionId(), GetOldestActiveTransactionId(), GetOldestMultiXactId(), GetOldestRestartPoint(), GetOldestSafeDecodingTransactionId(), GetOldestXmin(), GetPredicateLockStatusData(), GetPreparedTransactionList(), GetRunningTransactionData(), GetRunningTransactionLocks(), GetSafeSnapshot(), GetSafeSnapshotBlockingPids(), GetSerializableTransactionSnapshotInt(), GetSnapshotData(), GetVirtualXIDsDelayingChkpt(), HaveVirtualXIDsDelayingChkpt(), InstallXLogFileSegment(), InvalidateBuffer(), KnownAssignedXidsAdd(), KnownAssignedXidsReset(), lock_twophase_recover(), LockAcquireExtended(), LockBuffer(), LockErrorCleanup(), LockGXact(), LockHasWaiters(), LockRefindAndRelease(), LockRelease(), LockReleaseAll(), LockWaiterCount(), logicalrep_worker_attach(), logicalrep_worker_detach(), logicalrep_worker_launch(), logicalrep_worker_stop(), logicalrep_worker_wakeup(), MaintainOldSnapshotTimeMapping(), MarkAsPrepared(), MarkAsPreparing(), MaybeExtendOffsetSlru(), multixact_redo(), MultiXactAdvanceNextMXact(), MultiXactGetCheckptMulti(), MultiXactIdSetOldestMember(), MultiXactIdSetOldestVisible(), MultiXactSetNextMXact(), OldSerXidAdd(), OldSerXidGetMinConflictCommitSeqNo(), OldSerXidSetActiveSerXmin(), PageIsPredicateLocked(), perform_relmap_update(), pg_get_replication_slots(), pg_notification_queue_usage(), pg_show_replication_origin_status(), pg_stat_get_subscription(), pg_stat_get_wal_senders(), pg_stat_statements_internal(), pgss_shmem_startup(), pgss_store(), PostPrepare_Locks(), PostPrepare_MultiXact(), PostPrepare_Twophase(), PreCommit_CheckForSerializationFailure(), PreCommit_Notify(), predicatelock_twophase_recover(), PredicateLockPageSplit(), PredicateLockTwoPhaseFinish(), PrefetchBuffer(), PrescanPreparedTransactions(), ProcArrayAdd(), ProcArrayApplyRecoveryInfo(), ProcArrayApplyXidAssignment(), ProcArrayGetReplicationSlotXmin(), ProcArrayGroupClearXid(), ProcArrayInstallImportedXmin(), ProcArrayInstallRestoredXmin(), ProcArrayRemove(), ProcArraySetReplicationSlotXmin(), process_syncing_tables_for_apply(), ProcKill(), ProcSleep(), ReadBuffer_common(), ReadMultiXactCounts(), ReadNextFullTransactionId(), ReadNextMultiXactId(), ReadRecord(), RecordNewMultiXact(), RecoverPreparedTransactions(), RegisterDynamicBackgroundWorker(), RegisterPredicateLockingXid(), RelationCacheInitFilePreInvalidate(), ReleaseOneSerializableXact(), ReleasePredicateLocks(), RemoveScratchTarget(), ReplicationOriginExitCleanup(), ReplicationSlotAcquire(), ReplicationSlotCleanup(), ReplicationSlotCreate(), ReplicationSlotDropPtr(), ReplicationSlotRelease(), ReplicationSlotsComputeLogicalRestartLSN(), ReplicationSlotsComputeRequiredLSN(), ReplicationSlotsComputeRequiredXmin(), ReplicationSlotsCountDBSlots(), ReplicationSlotsDropDBSlots(), replorigin_advance(), replorigin_drop(), replorigin_get_progress(), replorigin_session_advance(), replorigin_session_get_progress(), replorigin_session_reset(), replorigin_session_setup(), resize(), RestoreScratchTarget(), restoreTwoPhaseData(), SaveSlotToPath(), SetCommitTsLimit(), SetMultiXactIdLimit(), SetOffsetVacuumLimit(), SetTransactionIdLimit(), SetXidCommitTsInPage(), SharedInvalBackendInit(), ShmemInitStruct(), SICleanupQueue(), SIGetDataEntries(), SignalBackends(), SIInsertDataEntries(), SimpleLruFlush(), SimpleLruReadPage(), SimpleLruReadPage_ReadOnly(), SimpleLruTruncate(), SimpleLruWaitIO(), SlruDeleteSegment(), SlruInternalWritePage(), SnapBuildInitialSnapshot(), ss_get_location(), StandbyRecoverPreparedTransactions(), StartBufferIO(), StartupCLOG(), StartupDecodingContext(), StartupSUBTRANS(), StartupXLOG(), sts_parallel_scan_next(), SubTransSetParent(), SummarizeOldestCommittedSxact(), SyncOneBuffer(), SyncRepCancelWait(), SyncRepCleanupAtProcExit(), SyncRepInitConfig(), SyncRepReleaseWaiters(), SyncRepUpdateSyncStandbysDefined(), SyncRepWaitForLSN(), TablespaceCreateDbspace(), tbm_shared_iterate(), TerminateBackgroundWorker(), TransactionGroupUpdateXidStatus(), TransactionIdGetCommitTsData(), TransactionIdIsActive(), TransactionIdIsInProgress(), TransactionIdLimitedForOldSnapshots(), TransactionIdSetPageStatus(), TransactionTreeSetCommitTsData(), TransferPredicateLocksToNewTarget(), TrimCLOG(), TrimMultiXact(), TruncateMultiXact(), TwoPhaseGetGXact(), txid_status(), UpdateMinRecoveryPoint(), vacuum_rel(), VirtualXactLock(), VirtualXactLockTableCleanup(), VirtualXactLockTableInsert(), wait_for_relation_state_change(), wait_for_worker_state_change(), WaitForReplicationWorkerAttach(), WaitIO(), WALInsertLockAcquire(), WALInsertLockAcquireExclusive(), write_relcache_init_file(), xact_redo(), XidCacheRemoveRunningXids(), xlog_redo(), and XLogBackgroundFlush().

1123 {
1124  PGPROC *proc = MyProc;
1125  bool result = true;
1126  int extraWaits = 0;
1127 #ifdef LWLOCK_STATS
1128  lwlock_stats *lwstats;
1129 
1130  lwstats = get_lwlock_stats_entry(lock);
1131 #endif
1132 
1134 
1135  PRINT_LWDEBUG("LWLockAcquire", lock, mode);
1136 
1137 #ifdef LWLOCK_STATS
1138  /* Count lock acquisition attempts */
1139  if (mode == LW_EXCLUSIVE)
1140  lwstats->ex_acquire_count++;
1141  else
1142  lwstats->sh_acquire_count++;
1143 #endif /* LWLOCK_STATS */
1144 
1145  /*
1146  * We can't wait if we haven't got a PGPROC. This should only occur
1147  * during bootstrap or shared memory initialization. Put an Assert here
1148  * to catch unsafe coding practices.
1149  */
1150  Assert(!(proc == NULL && IsUnderPostmaster));
1151 
1152  /* Ensure we will have room to remember the lock */
1154  elog(ERROR, "too many LWLocks taken");
1155 
1156  /*
1157  * Lock out cancel/die interrupts until we exit the code section protected
1158  * by the LWLock. This ensures that interrupts will not interfere with
1159  * manipulations of data structures in shared memory.
1160  */
1161  HOLD_INTERRUPTS();
1162 
1163  /*
1164  * Loop here to try to acquire lock after each time we are signaled by
1165  * LWLockRelease.
1166  *
1167  * NOTE: it might seem better to have LWLockRelease actually grant us the
1168  * lock, rather than retrying and possibly having to go back to sleep. But
1169  * in practice that is no good because it means a process swap for every
1170  * lock acquisition when two or more processes are contending for the same
1171  * lock. Since LWLocks are normally used to protect not-very-long
1172  * sections of computation, a process needs to be able to acquire and
1173  * release the same lock many times during a single CPU time slice, even
1174  * in the presence of contention. The efficiency of being able to do that
1175  * outweighs the inefficiency of sometimes wasting a process dispatch
1176  * cycle because the lock is not free when a released waiter finally gets
1177  * to run. See pgsql-hackers archives for 29-Dec-01.
1178  */
1179  for (;;)
1180  {
1181  bool mustwait;
1182 
1183  /*
1184  * Try to grab the lock the first time, we're not in the waitqueue
1185  * yet/anymore.
1186  */
1187  mustwait = LWLockAttemptLock(lock, mode);
1188 
1189  if (!mustwait)
1190  {
1191  LOG_LWDEBUG("LWLockAcquire", lock, "immediately acquired lock");
1192  break; /* got the lock */
1193  }
1194 
1195  /*
1196  * Ok, at this point we couldn't grab the lock on the first try. We
1197  * cannot simply queue ourselves to the end of the list and wait to be
1198  * woken up because by now the lock could long have been released.
1199  * Instead add us to the queue and try to grab the lock again. If we
1200  * succeed we need to revert the queuing and be happy, otherwise we
1201  * recheck the lock. If we still couldn't grab it, we know that the
1202  * other locker will see our queue entries when releasing since they
1203  * existed before we checked for the lock.
1204  */
1205 
1206  /* add to the queue */
1207  LWLockQueueSelf(lock, mode);
1208 
1209  /* we're now guaranteed to be woken up if necessary */
1210  mustwait = LWLockAttemptLock(lock, mode);
1211 
1212  /* ok, grabbed the lock the second time round, need to undo queueing */
1213  if (!mustwait)
1214  {
1215  LOG_LWDEBUG("LWLockAcquire", lock, "acquired, undoing queue");
1216 
1217  LWLockDequeueSelf(lock);
1218  break;
1219  }
1220 
1221  /*
1222  * Wait until awakened.
1223  *
1224  * Since we share the process wait semaphore with the regular lock
1225  * manager and ProcWaitForSignal, and we may need to acquire an LWLock
1226  * while one of those is pending, it is possible that we get awakened
1227  * for a reason other than being signaled by LWLockRelease. If so,
1228  * loop back and wait again. Once we've gotten the LWLock,
1229  * re-increment the sema by the number of additional signals received,
1230  * so that the lock manager or signal manager will see the received
1231  * signal when it next waits.
1232  */
1233  LOG_LWDEBUG("LWLockAcquire", lock, "waiting");
1234 
1235 #ifdef LWLOCK_STATS
1236  lwstats->block_count++;
1237 #endif
1238 
1239  LWLockReportWaitStart(lock);
1240  TRACE_POSTGRESQL_LWLOCK_WAIT_START(T_NAME(lock), mode);
1241 
1242  for (;;)
1243  {
1244  PGSemaphoreLock(proc->sem);
1245  if (!proc->lwWaiting)
1246  break;
1247  extraWaits++;
1248  }
1249 
1250  /* Retrying, allow LWLockRelease to release waiters again. */
1252 
1253 #ifdef LOCK_DEBUG
1254  {
1255  /* not waiting anymore */
1256  uint32 nwaiters PG_USED_FOR_ASSERTS_ONLY = pg_atomic_fetch_sub_u32(&lock->nwaiters, 1);
1257 
1258  Assert(nwaiters < MAX_BACKENDS);
1259  }
1260 #endif
1261 
1262  TRACE_POSTGRESQL_LWLOCK_WAIT_DONE(T_NAME(lock), mode);
1264 
1265  LOG_LWDEBUG("LWLockAcquire", lock, "awakened");
1266 
1267  /* Now loop back and try to acquire lock again. */
1268  result = false;
1269  }
1270 
1271  TRACE_POSTGRESQL_LWLOCK_ACQUIRE(T_NAME(lock), mode);
1272 
1273  /* Add lock to list of locks held by this backend */
1276 
1277  /*
1278  * Fix the process wait semaphore's count for any absorbed wakeups.
1279  */
1280  while (extraWaits-- > 0)
1281  PGSemaphoreUnlock(proc->sem);
1282 
1283  return result;
1284 }
#define T_NAME(lock)
Definition: lwlock.c:117
static PgChecksumMode mode
Definition: pg_checksums.c:61
static uint32 pg_atomic_fetch_sub_u32(volatile pg_atomic_uint32 *ptr, int32 sub_)
Definition: atomics.h:346
static bool LWLockAttemptLock(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:740
void PGSemaphoreUnlock(PGSemaphore sema)
Definition: posix_sema.c:329
PGPROC * MyProc
Definition: proc.c:68
bool lwWaiting
Definition: proc.h:130
#define MAX_SIMUL_LWLOCKS
Definition: lwlock.c:133
pg_atomic_uint32 state
Definition: lwlock.h:35
static LWLockHandle held_lwlocks[MAX_SIMUL_LWLOCKS]
Definition: lwlock.c:143
#define ERROR
Definition: elog.h:43
#define MAX_BACKENDS
Definition: postmaster.h:75
LWLockMode mode
Definition: lwlock.c:139
bool IsUnderPostmaster
Definition: globals.c:109
static void LWLockReportWaitEnd(void)
Definition: lwlock.c:705
unsigned int uint32
Definition: c.h:358
static void LWLockDequeueSelf(LWLock *lock)
Definition: lwlock.c:1027
#define AssertArg(condition)
Definition: c.h:734
static void LWLockReportWaitStart(LWLock *lock)
Definition: lwlock.c:696
static void LWLockQueueSelf(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:983
static int num_held_lwlocks
Definition: lwlock.c:142
#define Assert(condition)
Definition: c.h:732
LWLock * lock
Definition: lwlock.c:138
#define PRINT_LWDEBUG(a, b, c)
Definition: lwlock.c:227
#define LW_FLAG_RELEASE_OK
Definition: lwlock.c:100
void PGSemaphoreLock(PGSemaphore sema)
Definition: posix_sema.c:309
#define HOLD_INTERRUPTS()
Definition: miscadmin.h:116
#define elog(elevel,...)
Definition: elog.h:226
static uint32 pg_atomic_fetch_or_u32(volatile pg_atomic_uint32 *ptr, uint32 or_)
Definition: atomics.h:375
PGSemaphore sem
Definition: proc.h:101
#define PG_USED_FOR_ASSERTS_ONLY
Definition: c.h:123
Definition: proc.h:95
#define LOG_LWDEBUG(a, b, c)
Definition: lwlock.c:228

◆ LWLockAcquireOrWait()

bool LWLockAcquireOrWait ( LWLock lock,
LWLockMode  mode 
)

Definition at line 1349 of file lwlock.c.

References Assert, elog, ERROR, HOLD_INTERRUPTS, LWLockHandle::lock, LOG_LWDEBUG, LW_EXCLUSIVE, LW_SHARED, LW_WAIT_UNTIL_FREE, LWLockAttemptLock(), LWLockDequeueSelf(), LWLockQueueSelf(), LWLockReportWaitEnd(), LWLockReportWaitStart(), PGPROC::lwWaiting, MAX_BACKENDS, MAX_SIMUL_LWLOCKS, LWLockHandle::mode, MyProc, num_held_lwlocks, pg_atomic_fetch_sub_u32(), PG_USED_FOR_ASSERTS_ONLY, PGSemaphoreLock(), PGSemaphoreUnlock(), PRINT_LWDEBUG, RESUME_INTERRUPTS, PGPROC::sem, and T_NAME.

Referenced by XLogFlush().

1350 {
1351  PGPROC *proc = MyProc;
1352  bool mustwait;
1353  int extraWaits = 0;
1354 #ifdef LWLOCK_STATS
1355  lwlock_stats *lwstats;
1356 
1357  lwstats = get_lwlock_stats_entry(lock);
1358 #endif
1359 
1361 
1362  PRINT_LWDEBUG("LWLockAcquireOrWait", lock, mode);
1363 
1364  /* Ensure we will have room to remember the lock */
1366  elog(ERROR, "too many LWLocks taken");
1367 
1368  /*
1369  * Lock out cancel/die interrupts until we exit the code section protected
1370  * by the LWLock. This ensures that interrupts will not interfere with
1371  * manipulations of data structures in shared memory.
1372  */
1373  HOLD_INTERRUPTS();
1374 
1375  /*
1376  * NB: We're using nearly the same twice-in-a-row lock acquisition
1377  * protocol as LWLockAcquire(). Check its comments for details.
1378  */
1379  mustwait = LWLockAttemptLock(lock, mode);
1380 
1381  if (mustwait)
1382  {
1384 
1385  mustwait = LWLockAttemptLock(lock, mode);
1386 
1387  if (mustwait)
1388  {
1389  /*
1390  * Wait until awakened. Like in LWLockAcquire, be prepared for
1391  * bogus wakeups, because we share the semaphore with
1392  * ProcWaitForSignal.
1393  */
1394  LOG_LWDEBUG("LWLockAcquireOrWait", lock, "waiting");
1395 
1396 #ifdef LWLOCK_STATS
1397  lwstats->block_count++;
1398 #endif
1399 
1400  LWLockReportWaitStart(lock);
1401  TRACE_POSTGRESQL_LWLOCK_WAIT_START(T_NAME(lock), mode);
1402 
1403  for (;;)
1404  {
1405  PGSemaphoreLock(proc->sem);
1406  if (!proc->lwWaiting)
1407  break;
1408  extraWaits++;
1409  }
1410 
1411 #ifdef LOCK_DEBUG
1412  {
1413  /* not waiting anymore */
1414  uint32 nwaiters PG_USED_FOR_ASSERTS_ONLY = pg_atomic_fetch_sub_u32(&lock->nwaiters, 1);
1415 
1416  Assert(nwaiters < MAX_BACKENDS);
1417  }
1418 #endif
1419  TRACE_POSTGRESQL_LWLOCK_WAIT_DONE(T_NAME(lock), mode);
1421 
1422  LOG_LWDEBUG("LWLockAcquireOrWait", lock, "awakened");
1423  }
1424  else
1425  {
1426  LOG_LWDEBUG("LWLockAcquireOrWait", lock, "acquired, undoing queue");
1427 
1428  /*
1429  * Got lock in the second attempt, undo queueing. We need to treat
1430  * this as having successfully acquired the lock, otherwise we'd
1431  * not necessarily wake up people we've prevented from acquiring
1432  * the lock.
1433  */
1434  LWLockDequeueSelf(lock);
1435  }
1436  }
1437 
1438  /*
1439  * Fix the process wait semaphore's count for any absorbed wakeups.
1440  */
1441  while (extraWaits-- > 0)
1442  PGSemaphoreUnlock(proc->sem);
1443 
1444  if (mustwait)
1445  {
1446  /* Failed to get lock, so release interrupt holdoff */
1448  LOG_LWDEBUG("LWLockAcquireOrWait", lock, "failed");
1449  TRACE_POSTGRESQL_LWLOCK_ACQUIRE_OR_WAIT_FAIL(T_NAME(lock), mode);
1450  }
1451  else
1452  {
1453  LOG_LWDEBUG("LWLockAcquireOrWait", lock, "succeeded");
1454  /* Add lock to list of locks held by this backend */
1457  TRACE_POSTGRESQL_LWLOCK_ACQUIRE_OR_WAIT(T_NAME(lock), mode);
1458  }
1459 
1460  return !mustwait;
1461 }
#define T_NAME(lock)
Definition: lwlock.c:117
static PgChecksumMode mode
Definition: pg_checksums.c:61
static uint32 pg_atomic_fetch_sub_u32(volatile pg_atomic_uint32 *ptr, int32 sub_)
Definition: atomics.h:346
static bool LWLockAttemptLock(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:740
void PGSemaphoreUnlock(PGSemaphore sema)
Definition: posix_sema.c:329
PGPROC * MyProc
Definition: proc.c:68
bool lwWaiting
Definition: proc.h:130
#define MAX_SIMUL_LWLOCKS
Definition: lwlock.c:133
#define RESUME_INTERRUPTS()
Definition: miscadmin.h:118
static LWLockHandle held_lwlocks[MAX_SIMUL_LWLOCKS]
Definition: lwlock.c:143
#define ERROR
Definition: elog.h:43
#define MAX_BACKENDS
Definition: postmaster.h:75
LWLockMode mode
Definition: lwlock.c:139
static void LWLockReportWaitEnd(void)
Definition: lwlock.c:705
unsigned int uint32
Definition: c.h:358
static void LWLockDequeueSelf(LWLock *lock)
Definition: lwlock.c:1027
static void LWLockReportWaitStart(LWLock *lock)
Definition: lwlock.c:696
static void LWLockQueueSelf(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:983
static int num_held_lwlocks
Definition: lwlock.c:142
#define Assert(condition)
Definition: c.h:732
LWLock * lock
Definition: lwlock.c:138
#define PRINT_LWDEBUG(a, b, c)
Definition: lwlock.c:227
void PGSemaphoreLock(PGSemaphore sema)
Definition: posix_sema.c:309
#define HOLD_INTERRUPTS()
Definition: miscadmin.h:116
#define elog(elevel,...)
Definition: elog.h:226
PGSemaphore sem
Definition: proc.h:101
#define PG_USED_FOR_ASSERTS_ONLY
Definition: c.h:123
Definition: proc.h:95
#define LOG_LWDEBUG(a, b, c)
Definition: lwlock.c:228

◆ LWLockConditionalAcquire()

bool LWLockConditionalAcquire ( LWLock lock,
LWLockMode  mode 
)

Definition at line 1294 of file lwlock.c.

References AssertArg, elog, ERROR, HOLD_INTERRUPTS, LWLockHandle::lock, LOG_LWDEBUG, LW_EXCLUSIVE, LW_SHARED, LWLockAttemptLock(), MAX_SIMUL_LWLOCKS, LWLockHandle::mode, num_held_lwlocks, PRINT_LWDEBUG, RESUME_INTERRUPTS, and T_NAME.

Referenced by BufferAlloc(), ConditionalLockBuffer(), ProcArrayEndTransaction(), SimpleLruWaitIO(), ss_report_location(), TransactionIdSetPageStatus(), and XLogNeedsFlush().

1295 {
1296  bool mustwait;
1297 
1299 
1300  PRINT_LWDEBUG("LWLockConditionalAcquire", lock, mode);
1301 
1302  /* Ensure we will have room to remember the lock */
1304  elog(ERROR, "too many LWLocks taken");
1305 
1306  /*
1307  * Lock out cancel/die interrupts until we exit the code section protected
1308  * by the LWLock. This ensures that interrupts will not interfere with
1309  * manipulations of data structures in shared memory.
1310  */
1311  HOLD_INTERRUPTS();
1312 
1313  /* Check for the lock */
1314  mustwait = LWLockAttemptLock(lock, mode);
1315 
1316  if (mustwait)
1317  {
1318  /* Failed to get lock, so release interrupt holdoff */
1320 
1321  LOG_LWDEBUG("LWLockConditionalAcquire", lock, "failed");
1322  TRACE_POSTGRESQL_LWLOCK_CONDACQUIRE_FAIL(T_NAME(lock), mode);
1323  }
1324  else
1325  {
1326  /* Add lock to list of locks held by this backend */
1329  TRACE_POSTGRESQL_LWLOCK_CONDACQUIRE(T_NAME(lock), mode);
1330  }
1331  return !mustwait;
1332 }
#define T_NAME(lock)
Definition: lwlock.c:117
static PgChecksumMode mode
Definition: pg_checksums.c:61
static bool LWLockAttemptLock(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:740
#define MAX_SIMUL_LWLOCKS
Definition: lwlock.c:133
#define RESUME_INTERRUPTS()
Definition: miscadmin.h:118
static LWLockHandle held_lwlocks[MAX_SIMUL_LWLOCKS]
Definition: lwlock.c:143
#define ERROR
Definition: elog.h:43
LWLockMode mode
Definition: lwlock.c:139
#define AssertArg(condition)
Definition: c.h:734
static int num_held_lwlocks
Definition: lwlock.c:142
LWLock * lock
Definition: lwlock.c:138
#define PRINT_LWDEBUG(a, b, c)
Definition: lwlock.c:227
#define HOLD_INTERRUPTS()
Definition: miscadmin.h:116
#define elog(elevel,...)
Definition: elog.h:226
#define LOG_LWDEBUG(a, b, c)
Definition: lwlock.c:228

◆ LWLockHeldByMe()

◆ LWLockHeldByMeInMode()

bool LWLockHeldByMeInMode ( LWLock lock,
LWLockMode  mode 
)

Definition at line 1860 of file lwlock.c.

References i, and num_held_lwlocks.

Referenced by DeleteLockTarget(), dshash_delete_entry(), dshash_release_lock(), IsBufferCleanupOK(), logicalrep_worker_cleanup(), MarkAsPreparingGuts(), MarkBufferDirty(), PrepareRedoAdd(), PrepareRedoRemove(), ProcessTwoPhaseBuffer(), RemoveGXact(), TransactionIdSetPageStatusInternal(), and TransferPredicateLocksToNewTarget().

1861 {
1862  int i;
1863 
1864  for (i = 0; i < num_held_lwlocks; i++)
1865  {
1866  if (held_lwlocks[i].lock == l && held_lwlocks[i].mode == mode)
1867  return true;
1868  }
1869  return false;
1870 }
static PgChecksumMode mode
Definition: pg_checksums.c:61
static LWLockHandle held_lwlocks[MAX_SIMUL_LWLOCKS]
Definition: lwlock.c:143
static int num_held_lwlocks
Definition: lwlock.c:142
int i

◆ LWLockInitialize()

void LWLockInitialize ( LWLock lock,
int  tranche_id 
)

Definition at line 678 of file lwlock.c.

References LW_FLAG_RELEASE_OK, pg_atomic_init_u32(), proclist_init(), LWLock::state, LWLock::tranche, and LWLock::waiters.

Referenced by apw_init_shmem(), create_internal(), dshash_create(), ExecAppendInitializeDSM(), ExecHashJoinInitializeDSM(), InitBufferPool(), InitializeLWLocks(), InitPredicateLocks(), InitProcGlobal(), ReplicationOriginShmemInit(), ReplicationSlotsShmemInit(), SimpleLruInit(), sts_initialize(), tbm_prepare_shared_iterate(), and XLOGShmemInit().

679 {
681 #ifdef LOCK_DEBUG
682  pg_atomic_init_u32(&lock->nwaiters, 0);
683 #endif
684  lock->tranche = tranche_id;
685  proclist_init(&lock->waiters);
686 }
proclist_head waiters
Definition: lwlock.h:36
pg_atomic_uint32 state
Definition: lwlock.h:35
uint16 tranche
Definition: lwlock.h:34
#define LW_FLAG_RELEASE_OK
Definition: lwlock.c:100
static void proclist_init(proclist_head *list)
Definition: proclist.h:29
static void pg_atomic_init_u32(volatile pg_atomic_uint32 *ptr, uint32 val)
Definition: atomics.h:226

◆ LWLockNewTrancheId()

int LWLockNewTrancheId ( void  )

Definition at line 583 of file lwlock.c.

References ShmemLock, SpinLockAcquire, and SpinLockRelease.

Referenced by apw_init_shmem(), and InitializeLWLocks().

584 {
585  int result;
586  int *LWLockCounter;
587 
588  LWLockCounter = (int *) ((char *) MainLWLockArray - sizeof(int));
590  result = (*LWLockCounter)++;
592 
593  return result;
594 }
#define SpinLockAcquire(lock)
Definition: spin.h:62
#define SpinLockRelease(lock)
Definition: spin.h:64
slock_t * ShmemLock
Definition: shmem.c:84
LWLockPadded * MainLWLockArray
Definition: lwlock.c:125

◆ LWLockRegisterTranche()

void LWLockRegisterTranche ( int  tranche_id,
const char *  tranche_name 
)

Definition at line 603 of file lwlock.c.

References Assert, i, LWLockTrancheArray, LWLockTranchesAllocated, and repalloc().

Referenced by apw_init_shmem(), CreateSharedProcArray(), InitBufferPool(), RegisterLWLockTranches(), ReplicationOriginShmemInit(), ReplicationSlotsShmemInit(), SimpleLruInit(), and XLOGShmemInit().

604 {
605  Assert(LWLockTrancheArray != NULL);
606 
607  if (tranche_id >= LWLockTranchesAllocated)
608  {
610  int j = LWLockTranchesAllocated;
611 
612  while (i <= tranche_id)
613  i *= 2;
614 
615  LWLockTrancheArray = (const char **)
616  repalloc(LWLockTrancheArray, i * sizeof(char *));
618  while (j < LWLockTranchesAllocated)
619  LWLockTrancheArray[j++] = NULL;
620  }
621 
622  LWLockTrancheArray[tranche_id] = tranche_name;
623 }
static int LWLockTranchesAllocated
Definition: lwlock.c:115
static const char ** LWLockTrancheArray
Definition: lwlock.c:114
#define Assert(condition)
Definition: c.h:732
void * repalloc(void *pointer, Size size)
Definition: mcxt.c:1044
int i

◆ LWLockRelease()

void LWLockRelease ( LWLock lock)

Definition at line 1726 of file lwlock.c.

References Assert, elog, ERROR, i, LOG_LWDEBUG, LW_EXCLUSIVE, LW_FLAG_HAS_WAITERS, LW_FLAG_RELEASE_OK, LW_LOCK_MASK, LW_VAL_EXCLUSIVE, LW_VAL_SHARED, LWLockWakeup(), LWLockHandle::mode, num_held_lwlocks, pg_atomic_sub_fetch_u32(), PRINT_LWDEBUG, RESUME_INTERRUPTS, and T_NAME.

Referenced by _bt_end_vacuum(), _bt_start_vacuum(), _bt_vacuum_cycleid(), AbsorbSyncRequests(), ActivateCommitTs(), AdvanceNextFullTransactionIdPastXid(), AdvanceOldestClogXid(), AdvanceOldestCommitTsXid(), AdvanceXLInsertBuffer(), alloc_object(), AlterSystemSetConfigFile(), analyze_rel(), ApplyLauncherMain(), apw_detach_shmem(), apw_dump_now(), apw_init_shmem(), apw_load_buffers(), asyncQueueAddEntries(), asyncQueueAdvanceTail(), asyncQueueReadAllNotifications(), asyncQueueUnregister(), AsyncShmemInit(), AtAbort_Twophase(), AtPrepare_PredicateLocks(), attach_internal(), autoprewarm_main(), autoprewarm_start_worker(), AutoVacLauncherMain(), AutoVacuumRequestWork(), AutoVacWorkerMain(), BackendIdGetProc(), BackendIdGetTransactionIds(), BackendPidGetProc(), BackendXidGetPid(), BecomeLockGroupLeader(), BecomeLockGroupMember(), BootStrapCLOG(), BootStrapMultiXact(), BootStrapSUBTRANS(), BufferAlloc(), CancelDBBackends(), CancelVirtualTransaction(), check_for_freed_segments(), CheckDeadLock(), CheckForSerializableConflictOut(), CheckPointPredicate(), CheckPointRelationMap(), CheckPointReplicationOrigin(), CheckPointReplicationSlots(), CheckPointTwoPhase(), CheckRecoveryConsistency(), CheckTableForSerializableConflictIn(), CheckTargetForConflictsIn(), choose_next_subplan_for_leader(), choose_next_subplan_for_worker(), CleanupInvalidationState(), ClearOldPredicateLocks(), clog_redo(), commit_ts_redo(), copy_replication_slot(), CountDBBackends(), CountDBConnections(), CountOtherDBBackends(), CountUserBackends(), CreateCheckPoint(), CreateEndOfRecoveryRecord(), CreateInitDecodingContext(), CreatePredicateLock(), CreateRestartPoint(), DeactivateCommitTs(), DeleteChildTargetLocks(), DeleteLockTarget(), destroy_superblock(), do_autovacuum(), do_pg_start_backup(), do_pg_stop_backup(), do_start_worker(), DropAllPredicateLocksFromTable(), DropSubscription(), DropTableSpace(), dsa_allocate_extended(), dsa_dump(), dsa_free(), dsa_pin(), dsa_release_in_place(), dsa_set_size_limit(), dsa_trim(), dsa_unpin(), dshash_delete_entry(), dshash_delete_key(), dshash_dump(), dshash_find(), dshash_find_or_insert(), dshash_release_lock(), dsm_attach(), dsm_create(), dsm_detach(), dsm_pin_segment(), dsm_unpin_segment(), ensure_active_superblock(), entry_reset(), Exec_ListenPreCommit(), ExecParallelHashMergeCounters(), ExecParallelHashPopChunkQueue(), ExecParallelHashTupleAlloc(), ExecParallelHashTuplePrealloc(), ExpireAllKnownAssignedTransactionIds(), ExpireOldKnownAssignedTransactionIds(), ExpireTreeKnownAssignedTransactionIds(), ExtendCLOG(), ExtendCommitTs(), ExtendMultiXactMember(), ExtendMultiXactOffset(), ExtendSUBTRANS(), FastPathGetRelationLockEntry(), FastPathTransferRelationLocks(), find_multixact_start(), FinishPreparedTransaction(), FlushDatabaseBuffers(), FlushRelationBuffers(), ForceTransactionIdLimitUpdate(), ForwardSyncRequest(), FreeWorkerInfo(), GetBackgroundWorkerPid(), GetBackgroundWorkerTypeByPid(), GetBlockerStatusData(), GetConflictingVirtualXIDs(), GetCurrentVirtualXIDs(), GetLastImportantRecPtr(), GetLastSegSwitchData(), GetLatestCommitTsData(), GetLockConflicts(), GetLockStatusData(), GetMultiXactIdMembers(), GetNewMultiXactId(), GetNewObjectId(), GetNewTransactionId(), GetOldestActiveTransactionId(), GetOldestMultiXactId(), GetOldestRestartPoint(), GetOldestSafeDecodingTransactionId(), GetOldestXmin(), GetPredicateLockStatusData(), GetPreparedTransactionList(), GetRunningTransactionLocks(), GetSafeSnapshot(), GetSafeSnapshotBlockingPids(), GetSerializableTransactionSnapshotInt(), GetSnapshotData(), GetVirtualXIDsDelayingChkpt(), HaveVirtualXIDsDelayingChkpt(), InstallXLogFileSegment(), InvalidateBuffer(), KnownAssignedXidsAdd(), KnownAssignedXidsReset(), lock_twophase_recover(), LockAcquireExtended(), LockBuffer(), LockErrorCleanup(), LockGXact(), LockHasWaiters(), LockRefindAndRelease(), LockRelease(), LockReleaseAll(), LockWaiterCount(), logicalrep_worker_attach(), logicalrep_worker_detach(), logicalrep_worker_launch(), logicalrep_worker_stop(), logicalrep_worker_wakeup(), LogStandbySnapshot(), LWLockReleaseAll(), LWLockReleaseClearVar(), MaintainOldSnapshotTimeMapping(), MarkAsPrepared(), MarkAsPreparing(), MaybeExtendOffsetSlru(), multixact_redo(), MultiXactAdvanceNextMXact(), MultiXactGetCheckptMulti(), MultiXactIdSetOldestMember(), MultiXactIdSetOldestVisible(), MultiXactSetNextMXact(), OldSerXidAdd(), OldSerXidGetMinConflictCommitSeqNo(), OldSerXidSetActiveSerXmin(), OnConflict_CheckForSerializationFailure(), PageIsPredicateLocked(), perform_relmap_update(), pg_get_replication_slots(), pg_notification_queue_usage(), pg_show_replication_origin_status(), pg_stat_get_subscription(), pg_stat_get_wal_senders(), pg_stat_statements_internal(), pgss_shmem_startup(), pgss_store(), PostPrepare_Locks(), PostPrepare_MultiXact(), PostPrepare_Twophase(), PreCommit_CheckForSerializationFailure(), PreCommit_Notify(), predicatelock_twophase_recover(), PredicateLockPageSplit(), PredicateLockTwoPhaseFinish(), PrefetchBuffer(), PrescanPreparedTransactions(), ProcArrayAdd(), ProcArrayApplyRecoveryInfo(), ProcArrayApplyXidAssignment(), ProcArrayEndTransaction(), ProcArrayGetReplicationSlotXmin(), ProcArrayGroupClearXid(), ProcArrayInstallImportedXmin(), ProcArrayInstallRestoredXmin(), ProcArrayRemove(), ProcArraySetReplicationSlotXmin(), process_syncing_tables_for_apply(), ProcKill(), ProcSleep(), ReadMultiXactCounts(), ReadNextFullTransactionId(), ReadNextMultiXactId(), ReadRecord(), RecordNewMultiXact(), RecoverPreparedTransactions(), RegisterDynamicBackgroundWorker(), RegisterPredicateLockingXid(), RelationCacheInitFilePostInvalidate(), ReleaseOneSerializableXact(), ReleasePredicateLocks(), RemoveScratchTarget(), ReplicationOriginExitCleanup(), ReplicationSlotAcquire(), ReplicationSlotCleanup(), ReplicationSlotCreate(), ReplicationSlotDropPtr(), ReplicationSlotRelease(), ReplicationSlotsComputeLogicalRestartLSN(), ReplicationSlotsComputeRequiredLSN(), ReplicationSlotsComputeRequiredXmin(), ReplicationSlotsCountDBSlots(), ReplicationSlotsDropDBSlots(), replorigin_advance(), replorigin_drop(), replorigin_get_progress(), replorigin_session_advance(), replorigin_session_get_progress(), replorigin_session_reset(), replorigin_session_setup(), resize(), RestoreScratchTarget(), restoreTwoPhaseData(), SaveSlotToPath(), SetCommitTsLimit(), SetMultiXactIdLimit(), SetOffsetVacuumLimit(), SetTransactionIdLimit(), SetXidCommitTsInPage(), SharedInvalBackendInit(), ShmemInitStruct(), SICleanupQueue(), SIGetDataEntries(), SignalBackends(), SIInsertDataEntries(), SimpleLruFlush(), SimpleLruReadPage(), SimpleLruReadPage_ReadOnly(), SimpleLruTruncate(), SimpleLruWaitIO(), SlruDeleteSegment(), SlruInternalWritePage(), SnapBuildInitialSnapshot(), ss_get_location(), ss_report_location(), StandbyRecoverPreparedTransactions(), StartBufferIO(), StartupCLOG(), StartupDecodingContext(), StartupSUBTRANS(), StartupXLOG(), sts_parallel_scan_next(), SubTransGetParent(), SubTransSetParent(), SummarizeOldestCommittedSxact(), SyncOneBuffer(), SyncRepCancelWait(), SyncRepCleanupAtProcExit(), SyncRepInitConfig(), SyncRepReleaseWaiters(), SyncRepUpdateSyncStandbysDefined(), SyncRepWaitForLSN(), TablespaceCreateDbspace(), tbm_shared_iterate(), TerminateBackgroundWorker(), TerminateBufferIO(), TransactionGroupUpdateXidStatus(), TransactionIdGetCommitTsData(), TransactionIdGetStatus(), TransactionIdIsActive(), TransactionIdIsInProgress(), TransactionIdLimitedForOldSnapshots(), TransactionIdSetPageStatus(), TransactionTreeSetCommitTsData(), TransferPredicateLocksToNewTarget(), TrimCLOG(), TrimMultiXact(), TruncateMultiXact(), TwoPhaseGetGXact(), txid_status(), UpdateMinRecoveryPoint(), vacuum_rel(), VirtualXactLock(), VirtualXactLockTableCleanup(), VirtualXactLockTableInsert(), wait_for_relation_state_change(), wait_for_worker_state_change(), WaitForReplicationWorkerAttach(), WaitIO(), WaitOnLock(), write_relcache_init_file(), xact_redo(), XidCacheRemoveRunningXids(), xlog_redo(), XLogBackgroundFlush(), XLogFlush(), and XLogNeedsFlush().

1727 {
1728  LWLockMode mode;
1729  uint32 oldstate;
1730  bool check_waiters;
1731  int i;
1732 
1733  /*
1734  * Remove lock from list of locks held. Usually, but not always, it will
1735  * be the latest-acquired lock; so search array backwards.
1736  */
1737  for (i = num_held_lwlocks; --i >= 0;)
1738  if (lock == held_lwlocks[i].lock)
1739  break;
1740 
1741  if (i < 0)
1742  elog(ERROR, "lock %s is not held", T_NAME(lock));
1743 
1744  mode = held_lwlocks[i].mode;
1745 
1746  num_held_lwlocks--;
1747  for (; i < num_held_lwlocks; i++)
1748  held_lwlocks[i] = held_lwlocks[i + 1];
1749 
1750  PRINT_LWDEBUG("LWLockRelease", lock, mode);
1751 
1752  /*
1753  * Release my hold on lock, after that it can immediately be acquired by
1754  * others, even if we still have to wakeup other waiters.
1755  */
1756  if (mode == LW_EXCLUSIVE)
1757  oldstate = pg_atomic_sub_fetch_u32(&lock->state, LW_VAL_EXCLUSIVE);
1758  else
1759  oldstate = pg_atomic_sub_fetch_u32(&lock->state, LW_VAL_SHARED);
1760 
1761  /* nobody else can have that kind of lock */
1762  Assert(!(oldstate & LW_VAL_EXCLUSIVE));
1763 
1764 
1765  /*
1766  * We're still waiting for backends to get scheduled, don't wake them up
1767  * again.
1768  */
1769  if ((oldstate & (LW_FLAG_HAS_WAITERS | LW_FLAG_RELEASE_OK)) ==
1771  (oldstate & LW_LOCK_MASK) == 0)
1772  check_waiters = true;
1773  else
1774  check_waiters = false;
1775 
1776  /*
1777  * As waking up waiters requires the spinlock to be acquired, only do so
1778  * if necessary.
1779  */
1780  if (check_waiters)
1781  {
1782  /* XXX: remove before commit? */
1783  LOG_LWDEBUG("LWLockRelease", lock, "releasing waiters");
1784  LWLockWakeup(lock);
1785  }
1786 
1787  TRACE_POSTGRESQL_LWLOCK_RELEASE(T_NAME(lock));
1788 
1789  /*
1790  * Now okay to allow cancel/die interrupts.
1791  */
1793 }
#define T_NAME(lock)
Definition: lwlock.c:117
static PgChecksumMode mode
Definition: pg_checksums.c:61
LWLockMode
Definition: lwlock.h:132
#define LW_FLAG_HAS_WAITERS
Definition: lwlock.c:99
static uint32 pg_atomic_sub_fetch_u32(volatile pg_atomic_uint32 *ptr, int32 sub_)
Definition: atomics.h:404
#define LW_LOCK_MASK
Definition: lwlock.c:106
#define LW_VAL_SHARED
Definition: lwlock.c:104
#define RESUME_INTERRUPTS()
Definition: miscadmin.h:118
static LWLockHandle held_lwlocks[MAX_SIMUL_LWLOCKS]
Definition: lwlock.c:143
#define ERROR
Definition: elog.h:43
LWLockMode mode
Definition: lwlock.c:139
static void LWLockWakeup(LWLock *lock)
Definition: lwlock.c:876
unsigned int uint32
Definition: c.h:358
static int num_held_lwlocks
Definition: lwlock.c:142
#define Assert(condition)
Definition: c.h:732
#define PRINT_LWDEBUG(a, b, c)
Definition: lwlock.c:227
#define LW_FLAG_RELEASE_OK
Definition: lwlock.c:100
#define LW_VAL_EXCLUSIVE
Definition: lwlock.c:103
#define elog(elevel,...)
Definition: elog.h:226
int i
#define LOG_LWDEBUG(a, b, c)
Definition: lwlock.c:228

◆ LWLockReleaseAll()

void LWLockReleaseAll ( void  )

Definition at line 1825 of file lwlock.c.

References HOLD_INTERRUPTS, LWLockRelease(), and num_held_lwlocks.

Referenced by AbortSubTransaction(), AbortTransaction(), AutoVacLauncherMain(), AuxiliaryProcKill(), BackgroundWriterMain(), CheckpointerMain(), ProcKill(), ShutdownAuxiliaryProcess(), WalSndErrorCleanup(), and WalWriterMain().

1826 {
1827  while (num_held_lwlocks > 0)
1828  {
1829  HOLD_INTERRUPTS(); /* match the upcoming RESUME_INTERRUPTS */
1830 
1832  }
1833 }
void LWLockRelease(LWLock *lock)
Definition: lwlock.c:1726
static LWLockHandle held_lwlocks[MAX_SIMUL_LWLOCKS]
Definition: lwlock.c:143
static int num_held_lwlocks
Definition: lwlock.c:142
#define HOLD_INTERRUPTS()
Definition: miscadmin.h:116

◆ LWLockReleaseClearVar()

void LWLockReleaseClearVar ( LWLock lock,
uint64 *  valptr,
uint64  val 
)

Definition at line 1799 of file lwlock.c.

References LWLockRelease(), LWLockWaitListLock(), LWLockWaitListUnlock(), and val.

Referenced by WALInsertLockRelease().

1800 {
1801  LWLockWaitListLock(lock);
1802 
1803  /*
1804  * Set the variable's value before releasing the lock, that prevents race
1805  * a race condition wherein a new locker acquires the lock, but hasn't yet
1806  * set the variables value.
1807  */
1808  *valptr = val;
1809  LWLockWaitListUnlock(lock);
1810 
1811  LWLockRelease(lock);
1812 }
static void LWLockWaitListUnlock(LWLock *lock)
Definition: lwlock.c:863
void LWLockRelease(LWLock *lock)
Definition: lwlock.c:1726
static void LWLockWaitListLock(LWLock *lock)
Definition: lwlock.c:811
long val
Definition: informix.c:684

◆ LWLockShmemSize()

Size LWLockShmemSize ( void  )

Definition at line 349 of file lwlock.c.

References add_size(), i, lock_named_request_allowed, LWLOCK_PADDED_SIZE, mul_size(), NamedLWLockTrancheRequests, NUM_FIXED_LWLOCKS, and NumLWLocksByNamedTranches().

Referenced by CreateLWLocks(), and CreateSharedMemoryAndSemaphores().

350 {
351  Size size;
352  int i;
353  int numLocks = NUM_FIXED_LWLOCKS;
354 
355  numLocks += NumLWLocksByNamedTranches();
356 
357  /* Space for the LWLock array. */
358  size = mul_size(numLocks, sizeof(LWLockPadded));
359 
360  /* Space for dynamic allocation counter, plus room for alignment. */
361  size = add_size(size, sizeof(int) + LWLOCK_PADDED_SIZE);
362 
363  /* space for named tranches. */
365 
366  /* space for name of each tranche. */
367  for (i = 0; i < NamedLWLockTrancheRequests; i++)
368  size = add_size(size, strlen(NamedLWLockTrancheRequestArray[i].tranche_name) + 1);
369 
370  /* Disallow named LWLocks' requests after startup */
372 
373  return size;
374 }
static bool lock_named_request_allowed
Definition: lwlock.c:158
#define NUM_FIXED_LWLOCKS
Definition: lwlock.h:129
int NamedLWLockTrancheRequests
Definition: lwlock.c:154
Size mul_size(Size s1, Size s2)
Definition: shmem.c:492
Size add_size(Size s1, Size s2)
Definition: shmem.c:475
size_t Size
Definition: c.h:466
static int NumLWLocksByNamedTranches(void)
Definition: lwlock.c:334
NamedLWLockTrancheRequest * NamedLWLockTrancheRequestArray
Definition: lwlock.c:152
int i
#define LWLOCK_PADDED_SIZE
Definition: lwlock.h:73

◆ LWLockUpdateVar()

void LWLockUpdateVar ( LWLock lock,
uint64 *  valptr,
uint64  value 
)

Definition at line 1672 of file lwlock.c.

References Assert, proclist_mutable_iter::cur, GetPGProcByNumber, LW_EXCLUSIVE, LW_VAL_EXCLUSIVE, LW_WAIT_UNTIL_FREE, LWLockWaitListLock(), LWLockWaitListUnlock(), PGPROC::lwWaiting, PGPROC::lwWaitMode, pg_atomic_read_u32(), pg_write_barrier, PGSemaphoreUnlock(), PRINT_LWDEBUG, proclist_delete, proclist_foreach_modify, proclist_init(), proclist_push_tail, PGPROC::sem, LWLock::state, val, and LWLock::waiters.

Referenced by WALInsertLockAcquireExclusive(), and WALInsertLockUpdateInsertingAt().

1673 {
1674  proclist_head wakeup;
1675  proclist_mutable_iter iter;
1676 
1677  PRINT_LWDEBUG("LWLockUpdateVar", lock, LW_EXCLUSIVE);
1678 
1679  proclist_init(&wakeup);
1680 
1681  LWLockWaitListLock(lock);
1682 
1684 
1685  /* Update the lock's value */
1686  *valptr = val;
1687 
1688  /*
1689  * See if there are any LW_WAIT_UNTIL_FREE waiters that need to be woken
1690  * up. They are always in the front of the queue.
1691  */
1692  proclist_foreach_modify(iter, &lock->waiters, lwWaitLink)
1693  {
1694  PGPROC *waiter = GetPGProcByNumber(iter.cur);
1695 
1696  if (waiter->lwWaitMode != LW_WAIT_UNTIL_FREE)
1697  break;
1698 
1699  proclist_delete(&lock->waiters, iter.cur, lwWaitLink);
1700  proclist_push_tail(&wakeup, iter.cur, lwWaitLink);
1701  }
1702 
1703  /* We are done updating shared state of the lock itself. */
1704  LWLockWaitListUnlock(lock);
1705 
1706  /*
1707  * Awaken any waiters I removed from the queue.
1708  */
1709  proclist_foreach_modify(iter, &wakeup, lwWaitLink)
1710  {
1711  PGPROC *waiter = GetPGProcByNumber(iter.cur);
1712 
1713  proclist_delete(&wakeup, iter.cur, lwWaitLink);
1714  /* check comment in LWLockWakeup() about this barrier */
1715  pg_write_barrier();
1716  waiter->lwWaiting = false;
1717  PGSemaphoreUnlock(waiter->sem);
1718  }
1719 }
#define GetPGProcByNumber(n)
Definition: proc.h:282
void PGSemaphoreUnlock(PGSemaphore sema)
Definition: posix_sema.c:329
proclist_head waiters
Definition: lwlock.h:36
bool lwWaiting
Definition: proc.h:130
static void LWLockWaitListUnlock(LWLock *lock)
Definition: lwlock.c:863
#define proclist_foreach_modify(iter, lhead, link_member)
Definition: proclist.h:206
uint8 lwWaitMode
Definition: proc.h:131
pg_atomic_uint32 state
Definition: lwlock.h:35
#define proclist_delete(list, procno, link_member)
Definition: proclist.h:187
#define Assert(condition)
Definition: c.h:732
#define PRINT_LWDEBUG(a, b, c)
Definition: lwlock.c:227
#define proclist_push_tail(list, procno, link_member)
Definition: proclist.h:191
static void LWLockWaitListLock(LWLock *lock)
Definition: lwlock.c:811
#define LW_VAL_EXCLUSIVE
Definition: lwlock.c:103
static void proclist_init(proclist_head *list)
Definition: proclist.h:29
#define pg_write_barrier()
Definition: atomics.h:162
PGSemaphore sem
Definition: proc.h:101
Definition: proc.h:95
long val
Definition: informix.c:684
static uint32 pg_atomic_read_u32(volatile pg_atomic_uint32 *ptr)
Definition: atomics.h:244

◆ LWLockWaitForVar()

bool LWLockWaitForVar ( LWLock lock,
uint64 *  valptr,
uint64  oldval,
uint64 *  newval 
)

Definition at line 1533 of file lwlock.c.

References Assert, HOLD_INTERRUPTS, LOG_LWDEBUG, LW_EXCLUSIVE, LW_FLAG_RELEASE_OK, LW_WAIT_UNTIL_FREE, LWLockConflictsWithVar(), LWLockDequeueSelf(), LWLockQueueSelf(), LWLockReportWaitEnd(), LWLockReportWaitStart(), PGPROC::lwWaiting, MAX_BACKENDS, MyProc, pg_atomic_fetch_or_u32(), pg_atomic_fetch_sub_u32(), PG_USED_FOR_ASSERTS_ONLY, PGSemaphoreLock(), PGSemaphoreUnlock(), PRINT_LWDEBUG, RESUME_INTERRUPTS, PGPROC::sem, LWLock::state, and T_NAME.

Referenced by WaitXLogInsertionsToFinish().

1534 {
1535  PGPROC *proc = MyProc;
1536  int extraWaits = 0;
1537  bool result = false;
1538 #ifdef LWLOCK_STATS
1539  lwlock_stats *lwstats;
1540 
1541  lwstats = get_lwlock_stats_entry(lock);
1542 #endif
1543 
1544  PRINT_LWDEBUG("LWLockWaitForVar", lock, LW_WAIT_UNTIL_FREE);
1545 
1546  /*
1547  * Lock out cancel/die interrupts while we sleep on the lock. There is no
1548  * cleanup mechanism to remove us from the wait queue if we got
1549  * interrupted.
1550  */
1551  HOLD_INTERRUPTS();
1552 
1553  /*
1554  * Loop here to check the lock's status after each time we are signaled.
1555  */
1556  for (;;)
1557  {
1558  bool mustwait;
1559 
1560  mustwait = LWLockConflictsWithVar(lock, valptr, oldval, newval,
1561  &result);
1562 
1563  if (!mustwait)
1564  break; /* the lock was free or value didn't match */
1565 
1566  /*
1567  * Add myself to wait queue. Note that this is racy, somebody else
1568  * could wakeup before we're finished queuing. NB: We're using nearly
1569  * the same twice-in-a-row lock acquisition protocol as
1570  * LWLockAcquire(). Check its comments for details. The only
1571  * difference is that we also have to check the variable's values when
1572  * checking the state of the lock.
1573  */
1575 
1576  /*
1577  * Set RELEASE_OK flag, to make sure we get woken up as soon as the
1578  * lock is released.
1579  */
1581 
1582  /*
1583  * We're now guaranteed to be woken up if necessary. Recheck the lock
1584  * and variables state.
1585  */
1586  mustwait = LWLockConflictsWithVar(lock, valptr, oldval, newval,
1587  &result);
1588 
1589  /* Ok, no conflict after we queued ourselves. Undo queueing. */
1590  if (!mustwait)
1591  {
1592  LOG_LWDEBUG("LWLockWaitForVar", lock, "free, undoing queue");
1593 
1594  LWLockDequeueSelf(lock);
1595  break;
1596  }
1597 
1598  /*
1599  * Wait until awakened.
1600  *
1601  * Since we share the process wait semaphore with the regular lock
1602  * manager and ProcWaitForSignal, and we may need to acquire an LWLock
1603  * while one of those is pending, it is possible that we get awakened
1604  * for a reason other than being signaled by LWLockRelease. If so,
1605  * loop back and wait again. Once we've gotten the LWLock,
1606  * re-increment the sema by the number of additional signals received,
1607  * so that the lock manager or signal manager will see the received
1608  * signal when it next waits.
1609  */
1610  LOG_LWDEBUG("LWLockWaitForVar", lock, "waiting");
1611 
1612 #ifdef LWLOCK_STATS
1613  lwstats->block_count++;
1614 #endif
1615 
1616  LWLockReportWaitStart(lock);
1617  TRACE_POSTGRESQL_LWLOCK_WAIT_START(T_NAME(lock), LW_EXCLUSIVE);
1618 
1619  for (;;)
1620  {
1621  PGSemaphoreLock(proc->sem);
1622  if (!proc->lwWaiting)
1623  break;
1624  extraWaits++;
1625  }
1626 
1627 #ifdef LOCK_DEBUG
1628  {
1629  /* not waiting anymore */
1630  uint32 nwaiters PG_USED_FOR_ASSERTS_ONLY = pg_atomic_fetch_sub_u32(&lock->nwaiters, 1);
1631 
1632  Assert(nwaiters < MAX_BACKENDS);
1633  }
1634 #endif
1635 
1636  TRACE_POSTGRESQL_LWLOCK_WAIT_DONE(T_NAME(lock), LW_EXCLUSIVE);
1638 
1639  LOG_LWDEBUG("LWLockWaitForVar", lock, "awakened");
1640 
1641  /* Now loop back and check the status of the lock again. */
1642  }
1643 
1644  TRACE_POSTGRESQL_LWLOCK_ACQUIRE(T_NAME(lock), LW_EXCLUSIVE);
1645 
1646  /*
1647  * Fix the process wait semaphore's count for any absorbed wakeups.
1648  */
1649  while (extraWaits-- > 0)
1650  PGSemaphoreUnlock(proc->sem);
1651 
1652  /*
1653  * Now okay to allow cancel/die interrupts.
1654  */
1656 
1657  return result;
1658 }
#define T_NAME(lock)
Definition: lwlock.c:117
static uint32 pg_atomic_fetch_sub_u32(volatile pg_atomic_uint32 *ptr, int32 sub_)
Definition: atomics.h:346
void PGSemaphoreUnlock(PGSemaphore sema)
Definition: posix_sema.c:329
PGPROC * MyProc
Definition: proc.c:68
bool lwWaiting
Definition: proc.h:130
pg_atomic_uint32 state
Definition: lwlock.h:35
#define RESUME_INTERRUPTS()
Definition: miscadmin.h:118
#define MAX_BACKENDS
Definition: postmaster.h:75
static void LWLockReportWaitEnd(void)
Definition: lwlock.c:705
unsigned int uint32
Definition: c.h:358
static void LWLockDequeueSelf(LWLock *lock)
Definition: lwlock.c:1027
static void LWLockReportWaitStart(LWLock *lock)
Definition: lwlock.c:696
static void LWLockQueueSelf(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:983
#define Assert(condition)
Definition: c.h:732
#define newval
#define PRINT_LWDEBUG(a, b, c)
Definition: lwlock.c:227
#define LW_FLAG_RELEASE_OK
Definition: lwlock.c:100
void PGSemaphoreLock(PGSemaphore sema)
Definition: posix_sema.c:309
static bool LWLockConflictsWithVar(LWLock *lock, uint64 *valptr, uint64 oldval, uint64 *newval, bool *result)
Definition: lwlock.c:1473
#define HOLD_INTERRUPTS()
Definition: miscadmin.h:116
static uint32 pg_atomic_fetch_or_u32(volatile pg_atomic_uint32 *ptr, uint32 or_)
Definition: atomics.h:375
PGSemaphore sem
Definition: proc.h:101
#define PG_USED_FOR_ASSERTS_ONLY
Definition: c.h:123
Definition: proc.h:95
#define LOG_LWDEBUG(a, b, c)
Definition: lwlock.c:228

◆ RequestNamedLWLockTranche()

void RequestNamedLWLockTranche ( const char *  tranche_name,
int  num_lwlocks 
)

Definition at line 638 of file lwlock.c.

References Assert, i, IsUnderPostmaster, lock_named_request_allowed, MemoryContextAlloc(), NAMEDATALEN, NamedLWLockTrancheRequests, NamedLWLockTrancheRequestsAllocated, NamedLWLockTrancheRequest::num_lwlocks, repalloc(), StrNCpy, TopMemoryContext, and NamedLWLockTrancheRequest::tranche_name.

Referenced by _PG_init().

639 {
640  NamedLWLockTrancheRequest *request;
641 
643  return; /* too late */
644 
645  if (NamedLWLockTrancheRequestArray == NULL)
646  {
651  * sizeof(NamedLWLockTrancheRequest));
652  }
653 
655  {
657 
658  while (i <= NamedLWLockTrancheRequests)
659  i *= 2;
660 
663  i * sizeof(NamedLWLockTrancheRequest));
665  }
666 
668  Assert(strlen(tranche_name) + 1 < NAMEDATALEN);
669  StrNCpy(request->tranche_name, tranche_name, NAMEDATALEN);
670  request->num_lwlocks = num_lwlocks;
672 }
static bool lock_named_request_allowed
Definition: lwlock.c:158
char tranche_name[NAMEDATALEN]
Definition: lwlock.c:148
#define NAMEDATALEN
int NamedLWLockTrancheRequests
Definition: lwlock.c:154
bool IsUnderPostmaster
Definition: globals.c:109
MemoryContext TopMemoryContext
Definition: mcxt.c:44
static int NamedLWLockTrancheRequestsAllocated
Definition: lwlock.c:153
#define Assert(condition)
Definition: c.h:732
#define StrNCpy(dst, src, len)
Definition: c.h:928
void * repalloc(void *pointer, Size size)
Definition: mcxt.c:1044
NamedLWLockTrancheRequest * NamedLWLockTrancheRequestArray
Definition: lwlock.c:152
void * MemoryContextAlloc(MemoryContext context, Size size)
Definition: mcxt.c:771
int i

Variable Documentation

◆ MainLWLockArray

PGDLLIMPORT LWLockPadded* MainLWLockArray

Definition at line 125 of file lwlock.c.

Referenced by PostmasterMarkPIDForWorkerNotify().

◆ MainLWLockNames

const char* const MainLWLockNames[]

Referenced by RegisterLWLockTranches().

◆ NamedLWLockTrancheArray

PGDLLIMPORT NamedLWLockTranche* NamedLWLockTrancheArray

Definition at line 156 of file lwlock.c.

Referenced by PostmasterMarkPIDForWorkerNotify().

◆ NamedLWLockTrancheRequests