PostgreSQL Source Code git master
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

typedef union SemTPadded 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;
223 maxSems = maxSemas;
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
#define malloc(a)
Definition: header.h:50
void on_shmem_exit(pg_on_exit_callback function, Datum arg)
Definition: ipc.c:365
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
void * ShmemAlloc(Size size)
Definition: shmem.c:154
#define stat
Definition: win32_port.h:274

References DataDir, elog, ereport, errcode_for_file_access(), errmsg(), FATAL, malloc, maxSems, nextSemKey, numSems, on_shmem_exit(), PANIC, PGSemaphoreShmemSize(), ReleaseSemaphores(), sharedSemas, ShmemAlloc(), stat::st_ino, 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
269 newsem = PosixSemaphoreCreate();
270 /* Remember new sema for ReleaseSemaphores */
271 mySemPointers[numSems] = newsem;
272 sema = (PGSemaphore) newsem;
273#else
274 sema = &sharedSemas[numSems];
275 newsem = PG_SEM_REF(sema);
276 PosixSemaphoreCreate(newsem);
277#endif
278
279 numSems++;
280
281 return sema;
282}
bool IsUnderPostmaster
Definition: globals.c:120
Assert(PointerIsAligned(start, uint64))
static void PosixSemaphoreCreate(sem_t *sem)
Definition: posix_sema.c:135
#define PG_SEM_REF(x)
Definition: posix_sema.c:57

References Assert(), elog, 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 {
322 errStatus = sem_wait(PG_SEM_REF(sema));
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:364

References EINTR, elog, FATAL, and PG_SEM_REF.

Referenced by 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:362

References EAGAIN, EINTR, elog, FATAL, 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 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 {
371 errStatus = sem_trywait(PG_SEM_REF(sema));
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, 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 {
347 errStatus = sem_post(PG_SEM_REF(sema));
348 } while (errStatus < 0 && errno == EINTR);
349
350 if (errStatus < 0)
351 elog(FATAL, "sem_post failed: %m");
352}

References EINTR, elog, FATAL, and PG_SEM_REF.

Referenced by 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, 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, 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++)
241 PosixSemaphoreKill(mySemPointers[i]);
242 free(mySemPointers);
243#endif
244
245#ifdef USE_UNNAMED_POSIX_SEMAPHORES
246 for (i = 0; i < numSems; i++)
248#endif
249}
#define free(a)
Definition: header.h:65
int i
Definition: isn.c:77
static void PosixSemaphoreKill(sem_t *sem)
Definition: posix_sema.c:147

References 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().