PostgreSQL Source Code git master
Loading...
Searching...
No Matches
posix_sema.c File Reference
#include "postgres.h"
#include <fcntl.h>
#include <semaphore.h>
#include <signal.h>
#include <unistd.h>
#include <sys/stat.h>
#include "miscadmin.h"
#include "storage/ipc.h"
#include "storage/pg_sema.h"
#include "storage/shmem.h"
Include dependency graph for posix_sema.c:

Go to the source code of this file.

Data Structures

union  SemTPadded
 
struct  PGSemaphoreData
 

Macros

#define PG_SEM_REF(x)   (&(x)->sem_padded.pgsem)
 
#define IPCProtection   (0600) /* access/modify by user only */
 

Typedefs

typedef union SemTPadded SemTPadded
 
typedef struct PGSemaphoreData PGSemaphoreData
 

Functions

static void ReleaseSemaphores (int status, Datum arg)
 
static void PosixSemaphoreCreate (sem_t *sem)
 
static void PosixSemaphoreKill (sem_t *sem)
 
Size PGSemaphoreShmemSize (int maxSemas)
 
void PGReserveSemaphores (int maxSemas)
 
PGSemaphore PGSemaphoreCreate (void)
 
void PGSemaphoreReset (PGSemaphore sema)
 
void PGSemaphoreLock (PGSemaphore sema)
 
void PGSemaphoreUnlock (PGSemaphore sema)
 
bool PGSemaphoreTryLock (PGSemaphore sema)
 

Variables

static PGSemaphore sharedSemas
 
static int numSems
 
static int maxSems
 
static int nextSemKey
 

Macro Definition Documentation

◆ IPCProtection

#define IPCProtection   (0600) /* access/modify by user only */

Definition at line 59 of file posix_sema.c.

◆ PG_SEM_REF

#define PG_SEM_REF (   x)    (&(x)->sem_padded.pgsem)

Definition at line 57 of file posix_sema.c.

Typedef Documentation

◆ PGSemaphoreData

◆ SemTPadded

Function Documentation

◆ PGReserveSemaphores()

void PGReserveSemaphores ( int  maxSemas)

Definition at line 196 of file posix_sema.c.

197{
198 struct stat statbuf;
199
200 /*
201 * We use the data directory's inode number to seed the search for free
202 * semaphore keys. This minimizes the odds of collision with other
203 * postmasters, while maximizing the odds that we will detect and clean up
204 * semaphores left over from a crashed postmaster in our own directory.
205 */
206 if (stat(DataDir, &statbuf) < 0)
209 errmsg("could not stat data directory \"%s\": %m",
210 DataDir)));
211
212#ifdef USE_NAMED_POSIX_SEMAPHORES
213 mySemPointers = (sem_t **) malloc(maxSemas * sizeof(sem_t *));
214 if (mySemPointers == NULL)
215 elog(PANIC, "out of memory");
216#else
217
220#endif
221
222 numSems = 0;
224 nextSemKey = statbuf.st_ino;
225
227}
int errcode_for_file_access(void)
Definition elog.c:886
int errmsg(const char *fmt,...)
Definition elog.c:1080
#define FATAL
Definition elog.h:41
#define PANIC
Definition elog.h:42
#define elog(elevel,...)
Definition elog.h:226
#define ereport(elevel,...)
Definition elog.h:150
char * DataDir
Definition globals.c:71
void on_shmem_exit(pg_on_exit_callback function, Datum arg)
Definition ipc.c:372
struct PGSemaphoreData * PGSemaphore
Definition pg_sema.h:34
Size PGSemaphoreShmemSize(int maxSemas)
Definition posix_sema.c:165
static int maxSems
Definition posix_sema.c:67
static int nextSemKey
Definition posix_sema.c:68
static int numSems
Definition posix_sema.c:66
static PGSemaphore sharedSemas
Definition posix_sema.c:64
static void ReleaseSemaphores(int status, Datum arg)
Definition posix_sema.c:235
static int fb(int x)
void * ShmemAlloc(Size size)
Definition shmem.c:154
#define malloc(a)
#define stat
Definition win32_port.h:74

References DataDir, elog, ereport, errcode_for_file_access(), errmsg(), FATAL, fb(), malloc, maxSems, nextSemKey, numSems, on_shmem_exit(), PANIC, PGSemaphoreShmemSize(), ReleaseSemaphores(), sharedSemas, ShmemAlloc(), and stat.

Referenced by InitProcGlobal().

◆ PGSemaphoreCreate()

PGSemaphore PGSemaphoreCreate ( void  )

Definition at line 257 of file posix_sema.c.

258{
259 PGSemaphore sema;
260 sem_t *newsem;
261
262 /* Can't do this in a backend, because static state is postmaster's */
264
265 if (numSems >= maxSems)
266 elog(PANIC, "too many semaphores created");
267
268#ifdef USE_NAMED_POSIX_SEMAPHORES
270 /* Remember new sema for ReleaseSemaphores */
272 sema = (PGSemaphore) newsem;
273#else
274 sema = &sharedSemas[numSems];
275 newsem = PG_SEM_REF(sema);
277#endif
278
279 numSems++;
280
281 return sema;
282}
#define Assert(condition)
Definition c.h:873
bool IsUnderPostmaster
Definition globals.c:120
static void PosixSemaphoreCreate(sem_t *sem)
Definition posix_sema.c:135
#define PG_SEM_REF(x)
Definition posix_sema.c:57

References Assert, elog, fb(), IsUnderPostmaster, maxSems, numSems, PANIC, PG_SEM_REF, PosixSemaphoreCreate(), and sharedSemas.

Referenced by InitProcGlobal().

◆ PGSemaphoreLock()

void PGSemaphoreLock ( PGSemaphore  sema)

Definition at line 315 of file posix_sema.c.

316{
317 int errStatus;
318
319 /* See notes in sysv_sema.c's implementation of PGSemaphoreLock. */
320 do
321 {
323 } while (errStatus < 0 && errno == EINTR);
324
325 if (errStatus < 0)
326 elog(FATAL, "sem_wait failed: %m");
327}
#define EINTR
Definition win32_port.h:361

References EINTR, elog, FATAL, fb(), and PG_SEM_REF.

Referenced by BufferLockAcquire(), BufferLockDequeueSelf(), LWLockAcquire(), LWLockAcquireOrWait(), LWLockDequeueSelf(), LWLockWaitForVar(), ProcArrayGroupClearXid(), and TransactionGroupUpdateXidStatus().

◆ PGSemaphoreReset()

void PGSemaphoreReset ( PGSemaphore  sema)

Definition at line 290 of file posix_sema.c.

291{
292 /*
293 * There's no direct API for this in POSIX, so we have to ratchet the
294 * semaphore down to 0 with repeated trywait's.
295 */
296 for (;;)
297 {
298 if (sem_trywait(PG_SEM_REF(sema)) < 0)
299 {
300 if (errno == EAGAIN || errno == EDEADLK)
301 break; /* got it down to 0 */
302 if (errno == EINTR)
303 continue; /* can this happen? */
304 elog(FATAL, "sem_trywait failed: %m");
305 }
306 }
307}
#define EAGAIN
Definition win32_port.h:359

References EAGAIN, EINTR, elog, FATAL, fb(), and PG_SEM_REF.

Referenced by InitAuxiliaryProcess(), and InitProcess().

◆ PGSemaphoreShmemSize()

Size PGSemaphoreShmemSize ( int  maxSemas)

Definition at line 165 of file posix_sema.c.

166{
167#ifdef USE_NAMED_POSIX_SEMAPHORES
168 /* No shared memory needed in this case */
169 return 0;
170#else
171 /* Need a PGSemaphoreData per semaphore */
172 return mul_size(maxSemas, sizeof(PGSemaphoreData));
173#endif
174}
Size mul_size(Size s1, Size s2)
Definition shmem.c:510

References fb(), and mul_size().

Referenced by PGReserveSemaphores(), and ProcGlobalShmemSize().

◆ PGSemaphoreTryLock()

bool PGSemaphoreTryLock ( PGSemaphore  sema)

Definition at line 360 of file posix_sema.c.

361{
362 int errStatus;
363
364 /*
365 * Note: if errStatus is -1 and errno == EINTR then it means we returned
366 * from the operation prematurely because we were sent a signal. So we
367 * try and lock the semaphore again.
368 */
369 do
370 {
372 } while (errStatus < 0 && errno == EINTR);
373
374 if (errStatus < 0)
375 {
376 if (errno == EAGAIN || errno == EDEADLK)
377 return false; /* failed to lock it */
378 /* Otherwise we got trouble */
379 elog(FATAL, "sem_trywait failed: %m");
380 }
381
382 return true;
383}

References EAGAIN, EINTR, elog, FATAL, fb(), and PG_SEM_REF.

◆ PGSemaphoreUnlock()

void PGSemaphoreUnlock ( PGSemaphore  sema)

Definition at line 335 of file posix_sema.c.

336{
337 int errStatus;
338
339 /*
340 * Note: if errStatus is -1 and errno == EINTR then it means we returned
341 * from the operation prematurely because we were sent a signal. So we
342 * try and unlock the semaphore again. Not clear this can really happen,
343 * but might as well cope.
344 */
345 do
346 {
348 } while (errStatus < 0 && errno == EINTR);
349
350 if (errStatus < 0)
351 elog(FATAL, "sem_post failed: %m");
352}

References EINTR, elog, FATAL, fb(), and PG_SEM_REF.

Referenced by BufferLockAcquire(), BufferLockDequeueSelf(), BufferLockWakeup(), LWLockAcquire(), LWLockAcquireOrWait(), LWLockDequeueSelf(), LWLockUpdateVar(), LWLockWaitForVar(), LWLockWakeup(), ProcArrayGroupClearXid(), and TransactionGroupUpdateXidStatus().

◆ PosixSemaphoreCreate()

static void PosixSemaphoreCreate ( sem_t sem)
static

Definition at line 135 of file posix_sema.c.

136{
137 if (sem_init(sem, 1, 1) < 0)
138 elog(FATAL, "sem_init failed: %m");
139}
static JsonSemAction sem

References elog, FATAL, fb(), and sem.

Referenced by PGSemaphoreCreate().

◆ PosixSemaphoreKill()

static void PosixSemaphoreKill ( sem_t sem)
static

Definition at line 147 of file posix_sema.c.

148{
149#ifdef USE_NAMED_POSIX_SEMAPHORES
150 /* Got to use sem_close for named semaphores */
151 if (sem_close(sem) < 0)
152 elog(LOG, "sem_close failed: %m");
153#else
154 /* Got to use sem_destroy for unnamed semaphores */
155 if (sem_destroy(sem) < 0)
156 elog(LOG, "sem_destroy failed: %m");
157#endif
158}
#define LOG
Definition elog.h:31

References elog, fb(), LOG, and sem.

Referenced by ReleaseSemaphores().

◆ ReleaseSemaphores()

static void ReleaseSemaphores ( int  status,
Datum  arg 
)
static

Definition at line 235 of file posix_sema.c.

236{
237 int i;
238
239#ifdef USE_NAMED_POSIX_SEMAPHORES
240 for (i = 0; i < numSems; i++)
243#endif
244
245#ifdef USE_UNNAMED_POSIX_SEMAPHORES
246 for (i = 0; i < numSems; i++)
248#endif
249}
int i
Definition isn.c:77
static void PosixSemaphoreKill(sem_t *sem)
Definition posix_sema.c:147
#define free(a)

References fb(), free, i, numSems, PG_SEM_REF, PosixSemaphoreKill(), and sharedSemas.

Referenced by PGReserveSemaphores().

Variable Documentation

◆ maxSems

int maxSems
static

Definition at line 67 of file posix_sema.c.

Referenced by PGReserveSemaphores(), and PGSemaphoreCreate().

◆ nextSemKey

int nextSemKey
static

Definition at line 68 of file posix_sema.c.

Referenced by PGReserveSemaphores().

◆ numSems

◆ sharedSemas

PGSemaphore sharedSemas
static

Definition at line 64 of file posix_sema.c.

Referenced by PGReserveSemaphores(), PGSemaphoreCreate(), and ReleaseSemaphores().