proc.c 33.9 KB
Newer Older
1 2
/*-------------------------------------------------------------------------
 *
3
 * proc.c
4
 *	  routines to manage per-process shared memory data structure
5
 *
P
 
PostgreSQL Daemon 已提交
6
 * Portions Copyright (c) 1996-2005, PostgreSQL Global Development Group
B
Add:  
Bruce Momjian 已提交
7
 * Portions Copyright (c) 1994, Regents of the University of California
8 9 10
 *
 *
 * IDENTIFICATION
11
 *	  $PostgreSQL: pgsql/src/backend/storage/lmgr/proc.c,v 1.158 2005/05/19 21:35:46 tgl Exp $
12 13 14 15 16
 *
 *-------------------------------------------------------------------------
 */
/*
 * Interface (a):
17
 *		ProcSleep(), ProcWakeup(),
18 19
 *		ProcQueueAlloc() -- create a shm queue for sleeping processes
 *		ProcQueueInit() -- create a queue without allocing memory
20 21 22 23 24 25 26 27
 *
 * Locking and waiting for buffers can cause the backend to be
 * put to sleep.  Whoever releases the lock, etc. wakes the
 * process up again (and gives it an error code so it knows
 * whether it was awoken on an error condition).
 *
 * Interface (b):
 *
28 29
 * ProcReleaseLocks -- frees the locks associated with current transaction
 *
30
 * ProcKill -- destroys the shared memory state (and locks)
31
 *		associated with the process.
32 33
 *
 * 5/15/91 -- removed the buffer pool based lock chain in favor
34 35 36 37 38 39
 *		of a shared memory lock chain.	The write-protection is
 *		more expensive if the lock chain is in the buffer pool.
 *		The only reason I kept the lock chain in the buffer pool
 *		in the first place was to allow the lock table to grow larger
 *		than available shared memory and that isn't going to work
 *		without a lot of unimplemented support anyway.
40
 */
41 42
#include "postgres.h"

43
#include <signal.h>
44 45
#include <unistd.h>
#include <sys/time.h>
M
Marc G. Fournier 已提交
46

47
#include "miscadmin.h"
48
#include "access/xact.h"
49
#include "storage/bufmgr.h"
50
#include "storage/ipc.h"
51
#include "storage/proc.h"
52
#include "storage/procarray.h"
53
#include "storage/spin.h"
54

55

56
/* GUC variables */
B
Bruce Momjian 已提交
57
int			DeadlockTimeout = 1000;
58
int			StatementTimeout = 0;
M
 
Marc G. Fournier 已提交
59

60
/* Pointer to this process's PGPROC struct, if any */
J
Jan Wieck 已提交
61
PGPROC	   *MyProc = NULL;
62 63

/*
J
Jan Wieck 已提交
64
 * This spinlock protects the freelist of recycled PGPROC structures.
65
 * We cannot use an LWLock because the LWLock manager depends on already
J
Jan Wieck 已提交
66
 * having a PGPROC and a wait semaphore!  But these structures are touched
67 68
 * relatively infrequently (only at backend startup or shutdown) and not for
 * very long, so a spinlock is okay.
69
 */
70
NON_EXEC_STATIC slock_t *ProcStructLock = NULL;
71

72
/* Pointers to shared-memory structures */
73
static PROC_HDR *ProcGlobal = NULL;
74
static PGPROC *DummyProcs = NULL;
75

76 77
static bool waitingForLock = false;

78 79 80
/* Mark these volatile because they can be changed by signal handler */
static volatile bool statement_timeout_active = false;
static volatile bool deadlock_timeout_active = false;
B
Bruce Momjian 已提交
81

82 83 84 85
/* statement_fin_time is valid only if statement_timeout_active is true */
static struct timeval statement_fin_time;


86 87
static void ProcKill(int code, Datum arg);
static void DummyProcKill(int code, Datum arg);
88
static bool CheckStatementTimeout(void);
89

V
Vadim B. Mikheev 已提交
90

91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
/*
 * Report shared-memory space needed by InitProcGlobal.
 */
int
ProcGlobalShmemSize(int maxBackends)
{
	int			size = 0;

	size += MAXALIGN(sizeof(PROC_HDR)); /* ProcGlobal */
	size += MAXALIGN(NUM_DUMMY_PROCS * sizeof(PGPROC));	/* DummyProcs */
	size += MAXALIGN(maxBackends * sizeof(PGPROC));		/* MyProcs */
	size += MAXALIGN(sizeof(slock_t)); /* ProcStructLock */

	return size;
}

107 108 109 110 111 112
/*
 * Report number of semaphores needed by InitProcGlobal.
 */
int
ProcGlobalSemas(int maxBackends)
{
113 114
	/* We need a sema per backend, plus one for each dummy process. */
	return maxBackends + NUM_DUMMY_PROCS;
115 116
}

117 118
/*
 * InitProcGlobal -
119
 *	  Initialize the global process table during postmaster startup.
120
 *
121
 *	  We also create all the per-process semaphores we will need to support
122 123 124 125 126 127 128 129 130
 *	  the requested number of backends.  We used to allocate semaphores
 *	  only when backends were actually started up, but that is bad because
 *	  it lets Postgres fail under load --- a lot of Unix systems are
 *	  (mis)configured with small limits on the number of semaphores, and
 *	  running out when trying to start another backend is a common failure.
 *	  So, now we grab enough semaphores to support the desired max number
 *	  of backends immediately at initialization --- if the sysadmin has set
 *	  MaxBackends higher than his kernel will support, he'll find out sooner
 *	  rather than later.
131 132 133 134
 *
 *	  Another reason for creating semaphores here is that the semaphore
 *	  implementation typically requires us to create semaphores in the
 *	  postmaster, not in backends.
135 136
 */
void
137
InitProcGlobal(int maxBackends)
138
{
B
Bruce Momjian 已提交
139 140
	bool		foundProcGlobal,
				foundDummy;
141

142
	/* Create or attach to the ProcGlobal shared structure */
143
	ProcGlobal = (PROC_HDR *)
144
		ShmemInitStruct("Proc Header", sizeof(PROC_HDR), &foundProcGlobal);
145

146 147
	/*
	 * Create or attach to the PGPROC structures for dummy (checkpoint)
148
	 * processes, too.	These do not get linked into the freeProcs list.
149
	 */
150
	DummyProcs = (PGPROC *)
151
		ShmemInitStruct("DummyProcs", NUM_DUMMY_PROCS * sizeof(PGPROC),
152
						&foundDummy);
153 154 155 156 157 158 159

	if (foundProcGlobal || foundDummy)
	{
		/* both should be present or neither */
		Assert(foundProcGlobal && foundDummy);
	}
	else
160
	{
161 162 163
		/*
		 * We're the first - initialize.
		 */
164
		PGPROC	   *procs;
165
		int			i;
166

167
		ProcGlobal->freeProcs = INVALID_OFFSET;
168

B
Bruce Momjian 已提交
169
		/*
B
Bruce Momjian 已提交
170 171
		 * Pre-create the PGPROC structures and create a semaphore for
		 * each.
172
		 */
173 174 175 176 177 178
		procs = (PGPROC *) ShmemAlloc(maxBackends * sizeof(PGPROC));
		if (!procs)
			ereport(FATAL,
					(errcode(ERRCODE_OUT_OF_MEMORY),
					 errmsg("out of shared memory")));
		MemSet(procs, 0, maxBackends * sizeof(PGPROC));
179
		for (i = 0; i < maxBackends; i++)
180
		{
181 182 183
			PGSemaphoreCreate(&(procs[i].sem));
			procs[i].links.next = ProcGlobal->freeProcs;
			ProcGlobal->freeProcs = MAKE_OFFSET(&procs[i]);
184
		}
185

186
		MemSet(DummyProcs, 0, NUM_DUMMY_PROCS * sizeof(PGPROC));
J
Jan Wieck 已提交
187 188
		for (i = 0; i < NUM_DUMMY_PROCS; i++)
		{
189 190
			DummyProcs[i].pid = 0;		/* marks dummy proc as not in use */
			PGSemaphoreCreate(&(DummyProcs[i].sem));
J
Jan Wieck 已提交
191
		}
192 193 194 195

		/* Create ProcStructLock spinlock, too */
		ProcStructLock = (slock_t *) ShmemAlloc(sizeof(slock_t));
		SpinLockInit(ProcStructLock);
196 197 198
	}
}

199
/*
200
 * InitProcess -- initialize a per-process data structure for this backend
201 202
 */
void
203
InitProcess(void)
204
{
205
	SHMEM_OFFSET myOffset;
B
Bruce Momjian 已提交
206

207 208
	/* use volatile pointer to prevent code rearrangement */
	volatile PROC_HDR *procglobal = ProcGlobal;
209 210

	/*
211 212
	 * ProcGlobal should be set by a previous call to InitProcGlobal (if
	 * we are a backend, we inherit this by fork() from the postmaster).
213
	 */
214
	if (procglobal == NULL)
215
		elog(PANIC, "proc header uninitialized");
216 217

	if (MyProc != NULL)
218
		elog(ERROR, "you already exist");
219

220
	/*
B
Bruce Momjian 已提交
221 222
	 * Try to get a proc struct from the free list.  If this fails, we
	 * must be out of PGPROC structures (not to mention semaphores).
223
	 */
224
	SpinLockAcquire(ProcStructLock);
225

226
	myOffset = procglobal->freeProcs;
227 228

	if (myOffset != INVALID_OFFSET)
229
	{
J
Jan Wieck 已提交
230
		MyProc = (PGPROC *) MAKE_PTR(myOffset);
231
		procglobal->freeProcs = MyProc->links.next;
232
		SpinLockRelease(ProcStructLock);
233 234 235 236
	}
	else
	{
		/*
J
Jan Wieck 已提交
237
		 * If we reach here, all the PGPROCs are in use.  This is one of
238 239
		 * the possible places to detect "too many backends", so give the
		 * standard error message.
240
		 */
241
		SpinLockRelease(ProcStructLock);
242 243 244
		ereport(FATAL,
				(errcode(ERRCODE_TOO_MANY_CONNECTIONS),
				 errmsg("sorry, too many clients already")));
245
	}
246

247
	/*
B
Bruce Momjian 已提交
248 249
	 * Initialize all fields of MyProc, except for the semaphore which was
	 * prepared for us by InitProcGlobal.
250
	 */
251
	SHMQueueElemInit(&(MyProc->links));
252
	MyProc->waitStatus = STATUS_OK;
253
	MyProc->xid = InvalidTransactionId;
254
	MyProc->xmin = InvalidTransactionId;
255 256
	MyProc->pid = MyProcPid;
	MyProc->databaseId = MyDatabaseId;
257
	MyProc->logRec.xrecoff = 0;
258 259 260
	MyProc->lwWaiting = false;
	MyProc->lwExclusive = false;
	MyProc->lwWaitLink = NULL;
261
	MyProc->waitLock = NULL;
262 263
	MyProc->waitProcLock = NULL;
	SHMQueueInit(&(MyProc->procLocks));
264

265 266 267 268 269
	/*
	 * Add our PGPROC to the PGPROC array in shared memory.
	 */
	ProcArrayAddMyself();

270
	/*
271
	 * Arrange to clean up at backend exit.
272
	 */
273
	on_shmem_exit(ProcKill, 0);
274

275
	/*
276
	 * We might be reusing a semaphore that belonged to a failed process.
277 278
	 * So be careful and reinitialize its value here.
	 */
279
	PGSemaphoreReset(&MyProc->sem);
280

281
	/*
J
Jan Wieck 已提交
282
	 * Now that we have a PGPROC, we could try to acquire locks, so
B
Bruce Momjian 已提交
283
	 * initialize the deadlock checker.
284 285
	 */
	InitDeadLockChecking();
286 287
}

288 289 290 291
/*
 * InitDummyProcess -- create a dummy per-process data structure
 *
 * This is called by checkpoint processes so that they will have a MyProc
J
Jan Wieck 已提交
292
 * value that's real enough to let them wait for LWLocks.  The PGPROC and
293
 * sema that are assigned are the extra ones created during InitProcGlobal.
294 295 296
 *
 * Dummy processes are presently not expected to wait for real (lockmgr)
 * locks, nor to participate in sinval messaging.
297 298
 */
void
J
Jan Wieck 已提交
299
InitDummyProcess(int proctype)
300
{
B
Bruce Momjian 已提交
301
	PGPROC	   *dummyproc;
J
Jan Wieck 已提交
302

303
	/*
304 305
	 * ProcGlobal should be set by a previous call to InitProcGlobal (we
	 * inherit this by fork() from the postmaster).
306
	 */
307
	if (ProcGlobal == NULL || DummyProcs == NULL)
308
		elog(PANIC, "proc header uninitialized");
309 310

	if (MyProc != NULL)
311
		elog(ERROR, "you already exist");
312

313 314 315
	Assert(proctype >= 0 && proctype < NUM_DUMMY_PROCS);

	dummyproc = &DummyProcs[proctype];
J
Jan Wieck 已提交
316

317
	/*
J
Jan Wieck 已提交
318
	 * dummyproc should not presently be in use by anyone else
319
	 */
J
Jan Wieck 已提交
320 321
	if (dummyproc->pid != 0)
		elog(FATAL, "DummyProc[%d] is in use by PID %d",
322
			 proctype, dummyproc->pid);
J
Jan Wieck 已提交
323
	MyProc = dummyproc;
324 325

	/*
326 327
	 * Initialize all fields of MyProc, except MyProc->sem which was set
	 * up by InitProcGlobal.
328
	 */
329
	MyProc->pid = MyProcPid;	/* marks dummy proc as in use by me */
330
	SHMQueueElemInit(&(MyProc->links));
331
	MyProc->waitStatus = STATUS_OK;
332 333 334 335 336 337 338 339
	MyProc->xid = InvalidTransactionId;
	MyProc->xmin = InvalidTransactionId;
	MyProc->databaseId = MyDatabaseId;
	MyProc->logRec.xrecoff = 0;
	MyProc->lwWaiting = false;
	MyProc->lwExclusive = false;
	MyProc->lwWaitLink = NULL;
	MyProc->waitLock = NULL;
340 341
	MyProc->waitProcLock = NULL;
	SHMQueueInit(&(MyProc->procLocks));
342 343 344 345

	/*
	 * Arrange to clean up at process exit.
	 */
346
	on_shmem_exit(DummyProcKill, Int32GetDatum(proctype));
347 348 349 350 351

	/*
	 * We might be reusing a semaphore that belonged to a failed process.
	 * So be careful and reinitialize its value here.
	 */
352
	PGSemaphoreReset(&MyProc->sem);
353 354
}

355 356 357
/*
 * Cancel any pending wait for lock, when aborting a transaction.
 *
358 359
 * Returns true if we had been waiting for a lock, else false.
 *
360
 * (Normally, this would only happen if we accept a cancel/die
361
 * interrupt while waiting; but an ereport(ERROR) while waiting is
362 363
 * within the realm of possibility, too.)
 */
364
bool
365 366 367 368
LockWaitCancel(void)
{
	/* Nothing to do if we weren't waiting for a lock */
	if (!waitingForLock)
369 370
		return false;

371
	/* Turn off the deadlock timer, if it's still running (see ProcSleep) */
372
	disable_sig_alarm(false);
373 374

	/* Unlink myself from the wait queue, if on it (might not be anymore!) */
375
	LWLockAcquire(LockMgrLock, LW_EXCLUSIVE);
376

377
	if (MyProc->links.next != INVALID_OFFSET)
378 379 380
	{
		/* We could not have been granted the lock yet */
		Assert(MyProc->waitStatus == STATUS_ERROR);
381
		RemoveFromWaitQueue(MyProc);
382 383 384 385 386
	}
	else
	{
		/*
		 * Somebody kicked us off the lock queue already.  Perhaps they
B
Bruce Momjian 已提交
387 388 389
		 * granted us the lock, or perhaps they detected a deadlock. If
		 * they did grant us the lock, we'd better remember it in our
		 * local lock table.
390
		 */
391 392
		if (MyProc->waitStatus == STATUS_OK)
			GrantAwaitedLock();
393 394 395 396
	}

	waitingForLock = false;

397
	LWLockRelease(LockMgrLock);
H
Hiroshi Inoue 已提交
398

399 400 401
	/*
	 * Reset the proc wait semaphore to zero.  This is necessary in the
	 * scenario where someone else granted us the lock we wanted before we
B
Bruce Momjian 已提交
402 403 404 405 406
	 * were able to remove ourselves from the wait-list.  The semaphore
	 * will have been bumped to 1 by the would-be grantor, and since we
	 * are no longer going to wait on the sema, we have to force it back
	 * to zero. Otherwise, our next attempt to wait for a lock will fall
	 * through prematurely.
407
	 */
408
	PGSemaphoreReset(&MyProc->sem);
409 410

	/*
B
Bruce Momjian 已提交
411 412
	 * Return true even if we were kicked off the lock before we were able
	 * to remove ourselves.
413 414
	 */
	return true;
H
Hiroshi Inoue 已提交
415
}
416

417

418
/*
419
 * ProcReleaseLocks() -- release locks associated with current transaction
420
 *			at main transaction commit or abort
421 422 423 424 425 426
 *
 * At main transaction commit, we release all locks except session locks.
 * At main transaction abort, we release all locks including session locks;
 * this lets us clean up after a VACUUM FULL failure.
 *
 * At subtransaction commit, we don't release any locks (so this func is not
427
 * needed at all); we will defer the releasing to the parent transaction.
428
 * At subtransaction abort, we release all locks held by the subtransaction;
429 430
 * this is implemented by retail releasing of the locks under control of
 * the ResourceOwner mechanism.
431 432
 *
 * Note that user locks are not released in any case.
433 434
 */
void
435
ProcReleaseLocks(bool isCommit)
436
{
437 438
	if (!MyProc)
		return;
439 440 441
	/* If waiting, get off wait queue (should only be needed after error) */
	LockWaitCancel();
	/* Release locks */
442
	LockReleaseAll(DEFAULT_LOCKMETHOD, !isCommit);
443 444 445 446 447
}


/*
 * ProcKill() -- Destroy the per-proc data structure for
448
 *		this process. Release any of its held LW locks.
449 450
 */
static void
451
ProcKill(int code, Datum arg)
452
{
453 454 455
	/* use volatile pointer to prevent code rearrangement */
	volatile PROC_HDR *procglobal = ProcGlobal;

456
	Assert(MyProc != NULL);
457

458 459 460
	/* Release any LW locks I am holding */
	LWLockReleaseAll();

461 462 463 464 465 466
	/*
	 * Make real sure we release any buffer locks and pins we might be
	 * holding, too.  It is pretty ugly to do this here and not in a
	 * shutdown callback registered by the bufmgr ... but we must do this
	 * *after* LWLockReleaseAll and *before* zapping MyProc.
	 */
467
	AtProcExit_Buffers();
468

469 470
	/* Get off any wait queue I might be on */
	LockWaitCancel();
471

472
	/* Remove from the standard lock table */
473
	LockReleaseAll(DEFAULT_LOCKMETHOD, true);
474

475 476
#ifdef USER_LOCKS
	/* Remove from the user lock table */
477
	LockReleaseAll(USER_LOCKMETHOD, true);
478
#endif
479

480 481 482
	/* Remove our PGPROC from the PGPROC array in shared memory */
	ProcArrayRemoveMyself();

483
	SpinLockAcquire(ProcStructLock);
484

J
Jan Wieck 已提交
485
	/* Return PGPROC structure (and semaphore) to freelist */
486 487
	MyProc->links.next = procglobal->freeProcs;
	procglobal->freeProcs = MAKE_OFFSET(MyProc);
488

J
Jan Wieck 已提交
489
	/* PGPROC struct isn't mine anymore */
490
	MyProc = NULL;
491

492 493 494 495 496
	SpinLockRelease(ProcStructLock);
}

/*
 * DummyProcKill() -- Cut-down version of ProcKill for dummy (checkpoint)
J
Jan Wieck 已提交
497
 *		processes.	The PGPROC and sema are not released, only marked
498 499 500
 *		as not-in-use.
 */
static void
501
DummyProcKill(int code, Datum arg)
502
{
B
Bruce Momjian 已提交
503 504
	int			proctype = DatumGetInt32(arg);
	PGPROC	   *dummyproc;
J
Jan Wieck 已提交
505

506
	Assert(proctype >= 0 && proctype < NUM_DUMMY_PROCS);
J
Jan Wieck 已提交
507

508
	dummyproc = &DummyProcs[proctype];
J
Jan Wieck 已提交
509

510
	Assert(MyProc == dummyproc);
511 512 513 514

	/* Release any LW locks I am holding */
	LWLockReleaseAll();

515
	/* Release buffer locks and pins, too */
516
	AtProcExit_Buffers();
517 518 519

	/* I can't be on regular lock queues, so needn't check */

520
	/* Mark dummy proc no longer in use */
521 522
	MyProc->pid = 0;

J
Jan Wieck 已提交
523
	/* PGPROC struct isn't mine anymore */
524
	MyProc = NULL;
525 526
}

527

528 529
/*
 * ProcQueue package: routines for putting processes to sleep
530
 *		and  waking them up
531 532 533 534 535 536 537 538
 */

/*
 * ProcQueueAlloc -- alloc/attach to a shared memory process queue
 *
 * Returns: a pointer to the queue or NULL
 * Side Effects: Initializes the queue if we allocated one
 */
539
#ifdef NOT_USED
540
PROC_QUEUE *
541 542
ProcQueueAlloc(char *name)
{
543 544
	bool		found;
	PROC_QUEUE *queue = (PROC_QUEUE *)
B
Bruce Momjian 已提交
545
	ShmemInitStruct(name, sizeof(PROC_QUEUE), &found);
546 547

	if (!queue)
548
		return NULL;
549 550
	if (!found)
		ProcQueueInit(queue);
551
	return queue;
552
}
553
#endif
554 555 556 557 558

/*
 * ProcQueueInit -- initialize a shared memory process queue
 */
void
559
ProcQueueInit(PROC_QUEUE *queue)
560
{
561 562
	SHMQueueInit(&(queue->links));
	queue->size = 0;
563 564 565 566 567 568
}


/*
 * ProcSleep -- put a process to sleep
 *
569 570
 * Caller must have set MyProc->heldLocks to reflect locks already held
 * on the lockable object by this process (under all XIDs).
571
 *
572
 * Locktable's masterLock must be held at entry, and will be held
573
 * at exit.
574
 *
575
 * Result: STATUS_OK if we acquired the lock, STATUS_ERROR if not (deadlock).
576
 *
577
 * ASSUME: that no one will fiddle with the queue until after
578
 *		we release the masterLock.
579 580
 *
 * NOTES: The process queue is now a priority queue for locking.
581 582 583
 *
 * P() on the semaphore should put us to sleep.  The process
 * semaphore is normally zero, so when we try to acquire it, we sleep.
584 585
 */
int
586
ProcSleep(LockMethod lockMethodTable,
587 588
		  LOCKMODE lockmode,
		  LOCK *lock,
589
		  PROCLOCK *proclock)
590
{
B
Bruce Momjian 已提交
591
	LWLockId	masterLock = lockMethodTable->masterLock;
592
	PROC_QUEUE *waitQueue = &(lock->waitProcs);
593
	LOCKMASK	myHeldLocks = MyProc->heldLocks;
594
	bool		early_deadlock = false;
J
Jan Wieck 已提交
595
	PGPROC	   *proc;
596
	int			i;
597

598
	/*
599 600 601 602 603 604
	 * Determine where to add myself in the wait queue.
	 *
	 * Normally I should go at the end of the queue.  However, if I already
	 * hold locks that conflict with the request of any previous waiter,
	 * put myself in the queue just in front of the first such waiter.
	 * This is not a necessary step, since deadlock detection would move
605 606 607
	 * me to before that waiter anyway; but it's relatively cheap to
	 * detect such a conflict immediately, and avoid delaying till
	 * deadlock timeout.
608
	 *
609 610
	 * Special case: if I find I should go in front of some waiter, check to
	 * see if I conflict with already-held locks or the requests before
611 612
	 * that waiter.  If not, then just grant myself the requested lock
	 * immediately.  This is the same as the test for immediate grant in
613 614
	 * LockAcquire, except we are only considering the part of the wait
	 * queue before my insertion point.
615 616
	 */
	if (myHeldLocks != 0)
V
Vadim B. Mikheev 已提交
617
	{
618
		LOCKMASK	aheadRequests = 0;
619

J
Jan Wieck 已提交
620
		proc = (PGPROC *) MAKE_PTR(waitQueue->links.next);
621
		for (i = 0; i < waitQueue->size; i++)
V
Vadim B. Mikheev 已提交
622
		{
623
			/* Must he wait for me? */
B
Bruce Momjian 已提交
624
			if (lockMethodTable->conflictTab[proc->waitLockMode] & myHeldLocks)
V
Vadim B. Mikheev 已提交
625
			{
626
				/* Must I wait for him ? */
B
Bruce Momjian 已提交
627
				if (lockMethodTable->conflictTab[lockmode] & proc->heldLocks)
628
				{
629
					/*
630 631 632 633
					 * Yes, so we have a deadlock.	Easiest way to clean
					 * up correctly is to call RemoveFromWaitQueue(), but
					 * we can't do that until we are *on* the wait queue.
					 * So, set a flag to check below, and break out of
B
Bruce Momjian 已提交
634 635
					 * loop.  Also, record deadlock info for later
					 * message.
636
					 */
637
					RememberSimpleDeadLock(MyProc, lockmode, lock, proc);
638 639
					early_deadlock = true;
					break;
640
				}
641
				/* I must go before this waiter.  Check special case. */
B
Bruce Momjian 已提交
642
				if ((lockMethodTable->conflictTab[lockmode] & aheadRequests) == 0 &&
643 644 645
					LockCheckConflicts(lockMethodTable,
									   lockmode,
									   lock,
646
									   proclock,
647 648
									   MyProc,
									   NULL) == STATUS_OK)
649
				{
650
					/* Skip the wait and just grant myself the lock. */
651
					GrantLock(lock, proclock, lockmode);
652
					GrantAwaitedLock();
653
					return STATUS_OK;
654 655
				}
				/* Break out of loop to put myself before him */
V
Vadim B. Mikheev 已提交
656
				break;
657
			}
658
			/* Nope, so advance to next waiter */
659
			aheadRequests |= LOCKBIT_ON(proc->waitLockMode);
J
Jan Wieck 已提交
660
			proc = (PGPROC *) MAKE_PTR(proc->links.next);
V
Vadim B. Mikheev 已提交
661
		}
B
Bruce Momjian 已提交
662

663 664 665 666
		/*
		 * If we fall out of loop normally, proc points to waitQueue head,
		 * so we will insert at tail of queue as desired.
		 */
667 668 669 670
	}
	else
	{
		/* I hold no locks, so I can't push in front of anyone. */
J
Jan Wieck 已提交
671
		proc = (PGPROC *) &(waitQueue->links);
V
Vadim B. Mikheev 已提交
672
	}
673

674 675 676
	/*
	 * Insert self into queue, ahead of the given proc (or at tail of
	 * queue).
677
	 */
678
	SHMQueueInsertBefore(&(proc->links), &(MyProc->links));
B
Bruce Momjian 已提交
679
	waitQueue->size++;
680

681
	lock->waitMask |= LOCKBIT_ON(lockmode);
682

J
Jan Wieck 已提交
683
	/* Set up wait information in PGPROC object, too */
684
	MyProc->waitLock = lock;
685
	MyProc->waitProcLock = proclock;
686 687
	MyProc->waitLockMode = lockmode;

688
	MyProc->waitStatus = STATUS_ERROR;	/* initialize result for error */
689 690 691

	/*
	 * If we detected deadlock, give up without waiting.  This must agree
692
	 * with CheckDeadLock's recovery code, except that we shouldn't
693
	 * release the semaphore since we haven't tried to lock it yet.
694 695 696 697 698 699
	 */
	if (early_deadlock)
	{
		RemoveFromWaitQueue(MyProc);
		return STATUS_ERROR;
	}
700

701 702 703
	/* mark that we are waiting for a lock */
	waitingForLock = true;

704
	/*
705
	 * Release the locktable's masterLock.
706
	 *
707 708 709 710
	 * NOTE: this may also cause us to exit critical-section state, possibly
	 * allowing a cancel/die interrupt to be accepted. This is OK because
	 * we have recorded the fact that we are waiting for a lock, and so
	 * LockWaitCancel will clean up if cancel/die happens.
711
	 */
712
	LWLockRelease(masterLock);
713

714
	/*
715 716
	 * Set timer so we can wake up after awhile and check for a deadlock.
	 * If a deadlock is detected, the handler releases the process's
B
Bruce Momjian 已提交
717 718
	 * semaphore and sets MyProc->waitStatus = STATUS_ERROR, allowing us
	 * to know that we must report failure rather than success.
719 720 721
	 *
	 * By delaying the check until we've waited for a bit, we can avoid
	 * running the rather expensive deadlock-check code in most cases.
722
	 */
723
	if (!enable_sig_alarm(DeadlockTimeout, false))
724
		elog(FATAL, "could not set timer for process wakeup");
725

726
	/*
727
	 * If someone wakes us between LWLockRelease and PGSemaphoreLock,
B
Bruce Momjian 已提交
728
	 * PGSemaphoreLock will not block.	The wakeup is "saved" by the
729
	 * semaphore implementation.  Note also that if CheckDeadLock is
730
	 * invoked but does not detect a deadlock, PGSemaphoreLock() will
731 732
	 * continue to wait.  There used to be a loop here, but it was useless
	 * code...
733 734 735 736
	 *
	 * We pass interruptOK = true, which eliminates a window in which
	 * cancel/die interrupts would be held off undesirably.  This is a
	 * promise that we don't mind losing control to a cancel/die interrupt
737 738
	 * here.  We don't, because we have no shared-state-change work to do
	 * after being granted the lock (the grantor did it all).  We do have
739 740
	 * to worry about updating the locallock table, but if we lose control
	 * to an error, LockWaitCancel will fix that up.
741
	 */
742
	PGSemaphoreLock(&MyProc->sem, true);
743

744
	/*
745
	 * Disable the timer, if it's still running
B
Bruce Momjian 已提交
746
	 */
747
	if (!disable_sig_alarm(false))
748
		elog(FATAL, "could not disable timer for process wakeup");
B
Bruce Momjian 已提交
749

750
	/*
751 752
	 * Re-acquire the locktable's masterLock.  We have to do this to hold
	 * off cancel/die interrupts before we can mess with waitingForLock
753
	 * (else we might have a missed or duplicated locallock update).
754 755 756 757 758
	 */
	LWLockAcquire(masterLock, LW_EXCLUSIVE);

	/*
	 * We no longer want LockWaitCancel to do anything.
759 760 761
	 */
	waitingForLock = false;

762
	/*
763
	 * If we got the lock, be sure to remember it in the locallock table.
764
	 */
765
	if (MyProc->waitStatus == STATUS_OK)
766
		GrantAwaitedLock();
767

768 769 770 771
	/*
	 * We don't have to do anything else, because the awaker did all the
	 * necessary update of the lock table and MyProc.
	 */
772
	return MyProc->waitStatus;
773 774 775 776 777 778
}


/*
 * ProcWakeup -- wake up a process by releasing its private semaphore.
 *
779
 *	 Also remove the process from the wait queue and set its links invalid.
780
 *	 RETURN: the next process in the wait queue.
781 782 783 784
 *
 * XXX: presently, this code is only used for the "success" case, and only
 * works correctly for that case.  To clean up in failure case, would need
 * to twiddle the lock's request counts too --- see RemoveFromWaitQueue.
785
 */
J
Jan Wieck 已提交
786
PGPROC *
787
ProcWakeup(PGPROC *proc, int waitStatus)
788
{
J
Jan Wieck 已提交
789
	PGPROC	   *retProc;
790

791
	/* assume that masterLock has been acquired */
792

793
	/* Proc should be sleeping ... */
794 795
	if (proc->links.prev == INVALID_OFFSET ||
		proc->links.next == INVALID_OFFSET)
796
		return NULL;
797

798
	/* Save next process before we zap the list link */
J
Jan Wieck 已提交
799
	retProc = (PGPROC *) MAKE_PTR(proc->links.next);
800

801
	/* Remove process from wait queue */
802
	SHMQueueDelete(&(proc->links));
803
	(proc->waitLock->waitProcs.size)--;
804

805 806
	/* Clean up process' state and pass it the ok/fail signal */
	proc->waitLock = NULL;
807
	proc->waitProcLock = NULL;
808
	proc->waitStatus = waitStatus;
809

810
	/* And awaken it */
811
	PGSemaphoreUnlock(&proc->sem);
812 813

	return retProc;
814 815 816 817
}

/*
 * ProcLockWakeup -- routine for waking up processes when a lock is
818 819
 *		released (or a prior waiter is aborted).  Scan all waiters
 *		for lock, waken any that are no longer blocked.
820
 */
821
void
822
ProcLockWakeup(LockMethod lockMethodTable, LOCK *lock)
823
{
824 825
	PROC_QUEUE *waitQueue = &(lock->waitProcs);
	int			queue_size = waitQueue->size;
J
Jan Wieck 已提交
826
	PGPROC	   *proc;
827
	LOCKMASK	aheadRequests = 0;
M
 
Marc G. Fournier 已提交
828

829
	Assert(queue_size >= 0);
830

831 832
	if (queue_size == 0)
		return;
833

J
Jan Wieck 已提交
834
	proc = (PGPROC *) MAKE_PTR(waitQueue->links.next);
835

836 837
	while (queue_size-- > 0)
	{
B
Bruce Momjian 已提交
838
		LOCKMODE	lockmode = proc->waitLockMode;
M
 
Marc G. Fournier 已提交
839 840

		/*
841 842
		 * Waken if (a) doesn't conflict with requests of earlier waiters,
		 * and (b) doesn't conflict with already-held locks.
M
 
Marc G. Fournier 已提交
843
		 */
B
Bruce Momjian 已提交
844
		if ((lockMethodTable->conflictTab[lockmode] & aheadRequests) == 0 &&
845 846 847
			LockCheckConflicts(lockMethodTable,
							   lockmode,
							   lock,
848
							   proc->waitProcLock,
849 850
							   proc,
							   NULL) == STATUS_OK)
M
 
Marc G. Fournier 已提交
851
		{
852
			/* OK to waken */
853
			GrantLock(lock, proc->waitProcLock, lockmode);
854
			proc = ProcWakeup(proc, STATUS_OK);
B
Bruce Momjian 已提交
855

856
			/*
B
Bruce Momjian 已提交
857 858 859
			 * ProcWakeup removes proc from the lock's waiting process
			 * queue and returns the next proc in chain; don't use proc's
			 * next-link, because it's been cleared.
860
			 */
M
 
Marc G. Fournier 已提交
861
		}
862
		else
863
		{
B
Bruce Momjian 已提交
864 865 866 867
			/*
			 * Cannot wake this guy. Remember his request for later
			 * checks.
			 */
868
			aheadRequests |= LOCKBIT_ON(lockmode);
J
Jan Wieck 已提交
869
			proc = (PGPROC *) MAKE_PTR(proc->links.next);
870
		}
M
 
Marc G. Fournier 已提交
871
	}
872 873

	Assert(waitQueue->size >= 0);
874 875 876
}

/* --------------------
877
 * We only get to this routine if we got SIGALRM after DeadlockTimeout
878 879 880 881
 * while waiting for a lock to be released by some other process.  Look
 * to see if there's a deadlock; if not, just return and continue waiting.
 * If we have a real deadlock, remove ourselves from the lock's wait queue
 * and signal an error to ProcSleep.
882 883
 * --------------------
 */
884
static void
885
CheckDeadLock(void)
886
{
887
	/*
888 889
	 * Acquire locktable lock.	Note that the deadlock check interrupt had
	 * better not be enabled anywhere that this process itself holds the
890
	 * locktable lock, else this will wait forever.  Also note that
891 892
	 * LWLockAcquire creates a critical section, so that this routine
	 * cannot be interrupted by cancel/die interrupts.
893
	 */
894
	LWLockAcquire(LockMgrLock, LW_EXCLUSIVE);
895

896
	/*
897 898 899
	 * Check to see if we've been awoken by anyone in the interim.
	 *
	 * If we have we can return and resume our transaction -- happy day.
900 901
	 * Before we are awoken the process releasing the lock grants it to us
	 * so we know that we don't have to wait anymore.
902
	 *
903
	 * We check by looking to see if we've been unlinked from the wait queue.
904 905 906
	 * This is quicker than checking our semaphore's state, since no
	 * kernel call is needed, and it is safe because we hold the locktable
	 * lock.
907 908 909 910
	 */
	if (MyProc->links.prev == INVALID_OFFSET ||
		MyProc->links.next == INVALID_OFFSET)
	{
911
		LWLockRelease(LockMgrLock);
912 913 914
		return;
	}

915
#ifdef LOCK_DEBUG
B
Bruce Momjian 已提交
916 917
	if (Debug_deadlocks)
		DumpAllLocks();
918 919
#endif

920
	if (!DeadLockCheck(MyProc))
B
Bruce Momjian 已提交
921
	{
922
		/* No deadlock, so keep waiting */
923
		LWLockRelease(LockMgrLock);
B
Bruce Momjian 已提交
924 925 926
		return;
	}

927
	/*
928 929 930
	 * Oops.  We have a deadlock.
	 *
	 * Get this process out of wait state.
931
	 */
932 933
	RemoveFromWaitQueue(MyProc);

934
	/*
B
Bruce Momjian 已提交
935 936
	 * Set MyProc->waitStatus to STATUS_ERROR so that ProcSleep will
	 * report an error after we return from the signal handler.
937
	 */
938
	MyProc->waitStatus = STATUS_ERROR;
939

940 941 942
	/*
	 * Unlock my semaphore so that the interrupted ProcSleep() call can
	 * finish.
943
	 */
944
	PGSemaphoreUnlock(&MyProc->sem);
945

946 947 948 949 950 951 952 953 954
	/*
	 * We're done here.  Transaction abort caused by the error that
	 * ProcSleep will raise will cause any other locks we hold to be
	 * released, thus allowing other processes to wake up; we don't need
	 * to do that here. NOTE: an exception is that releasing locks we hold
	 * doesn't consider the possibility of waiters that were blocked
	 * behind us on the lock we just failed to get, and might now be
	 * wakable because we're not in front of them anymore.  However,
	 * RemoveFromWaitQueue took care of waking up any such processes.
955
	 */
956
	LWLockRelease(LockMgrLock);
957 958 959
}


960 961 962 963 964 965 966 967 968 969 970
/*
 * ProcWaitForSignal - wait for a signal from another backend.
 *
 * This can share the semaphore normally used for waiting for locks,
 * since a backend could never be waiting for a lock and a signal at
 * the same time.  As with locks, it's OK if the signal arrives just
 * before we actually reach the waiting state.
 */
void
ProcWaitForSignal(void)
{
971
	PGSemaphoreLock(&MyProc->sem, true);
972 973 974 975 976 977 978 979 980 981 982 983
}

/*
 * ProcCancelWaitForSignal - clean up an aborted wait for signal
 *
 * We need this in case the signal arrived after we aborted waiting,
 * or if it arrived but we never reached ProcWaitForSignal() at all.
 * Caller should call this after resetting the signal request status.
 */
void
ProcCancelWaitForSignal(void)
{
984
	PGSemaphoreReset(&MyProc->sem);
985 986 987
}

/*
988
 * ProcSendSignal - send a signal to a backend identified by PID
989 990
 */
void
991
ProcSendSignal(int pid)
992
{
993
	PGPROC	   *proc = BackendPidGetProc(pid);
994 995

	if (proc != NULL)
996
		PGSemaphoreUnlock(&proc->sem);
997 998 999
}


1000 1001 1002 1003 1004 1005 1006 1007 1008
/*****************************************************************************
 * SIGALRM interrupt support
 *
 * Maybe these should be in pqsignal.c?
 *****************************************************************************/

/*
 * Enable the SIGALRM interrupt to fire after the specified delay
 *
1009
 * Delay is given in milliseconds.	Caller should be sure a SIGALRM
1010 1011
 * signal handler is installed before this is called.
 *
1012 1013
 * This code properly handles nesting of deadlock timeout alarms within
 * statement timeout alarms.
1014
 *
1015 1016 1017
 * Returns TRUE if okay, FALSE on failure.
 */
bool
1018
enable_sig_alarm(int delayms, bool is_statement_timeout)
1019
{
1020
	struct timeval fin_time;
B
Bruce Momjian 已提交
1021

1022
#ifndef __BEOS__
1023
	struct itimerval timeval;
B
Bruce Momjian 已提交
1024

1025
#else
1026
	bigtime_t	time_interval;
1027
#endif
1028

1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053
	/* Compute target timeout time if we will need it */
	if (is_statement_timeout || statement_timeout_active)
	{
		gettimeofday(&fin_time, NULL);
		fin_time.tv_sec += delayms / 1000;
		fin_time.tv_usec += (delayms % 1000) * 1000;
		if (fin_time.tv_usec >= 1000000)
		{
			fin_time.tv_sec++;
			fin_time.tv_usec -= 1000000;
		}
	}

	if (is_statement_timeout)
	{
		/* Begin statement-level timeout */
		Assert(!deadlock_timeout_active);
		statement_fin_time = fin_time;
		statement_timeout_active = true;
	}
	else if (statement_timeout_active)
	{
		/*
		 * Begin deadlock timeout with statement-level timeout active
		 *
B
Bruce Momjian 已提交
1054 1055 1056 1057
		 * Here, we want to interrupt at the closer of the two timeout times.
		 * If fin_time >= statement_fin_time then we need not touch the
		 * existing timer setting; else set up to interrupt at the
		 * deadlock timeout time.
1058 1059 1060
		 *
		 * NOTE: in this case it is possible that this routine will be
		 * interrupted by the previously-set timer alarm.  This is okay
B
Bruce Momjian 已提交
1061 1062 1063
		 * because the signal handler will do only what it should do
		 * according to the state variables.  The deadlock checker may get
		 * run earlier than normal, but that does no harm.
1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075
		 */
		deadlock_timeout_active = true;
		if (fin_time.tv_sec > statement_fin_time.tv_sec ||
			(fin_time.tv_sec == statement_fin_time.tv_sec &&
			 fin_time.tv_usec >= statement_fin_time.tv_usec))
			return true;
	}
	else
	{
		/* Begin deadlock timeout with no statement-level timeout */
		deadlock_timeout_active = true;
	}
1076

1077
	/* If we reach here, okay to set the timer interrupt */
1078
#ifndef __BEOS__
1079
	MemSet(&timeval, 0, sizeof(struct itimerval));
1080 1081
	timeval.it_value.tv_sec = delayms / 1000;
	timeval.it_value.tv_usec = (delayms % 1000) * 1000;
1082
	if (setitimer(ITIMER_REAL, &timeval, NULL))
1083 1084 1085
		return false;
#else
	/* BeOS doesn't have setitimer, but has set_alarm */
1086
	time_interval = delayms * 1000;		/* usecs */
1087
	if (set_alarm(time_interval, B_ONE_SHOT_RELATIVE_ALARM) < 0)
1088
		return false;
1089
#endif
1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110
	return true;
}

/*
 * Cancel the SIGALRM timer, either for a deadlock timeout or a statement
 * timeout.  If a deadlock timeout is canceled, any active statement timeout
 * remains in force.
 *
 * Returns TRUE if okay, FALSE on failure.
 */
bool
disable_sig_alarm(bool is_statement_timeout)
{
	/*
	 * Always disable the interrupt if it is active; this avoids being
	 * interrupted by the signal handler and thereby possibly getting
	 * confused.
	 *
	 * We will re-enable the interrupt if necessary in CheckStatementTimeout.
	 */
	if (statement_timeout_active || deadlock_timeout_active)
1111 1112
	{
#ifndef __BEOS__
1113
		struct itimerval timeval;
1114

1115
		MemSet(&timeval, 0, sizeof(struct itimerval));
1116
		if (setitimer(ITIMER_REAL, &timeval, NULL))
1117
		{
1118 1119 1120
			statement_timeout_active = deadlock_timeout_active = false;
			return false;
		}
1121
#else
1122 1123 1124 1125 1126
		/* BeOS doesn't have setitimer, but has set_alarm */
		if (set_alarm(B_INFINITE_TIMEOUT, B_PERIODIC_ALARM) < 0)
		{
			statement_timeout_active = deadlock_timeout_active = false;
			return false;
1127
		}
1128
#endif
1129 1130
	}

1131 1132 1133 1134
	/* Always cancel deadlock timeout, in case this is error cleanup */
	deadlock_timeout_active = false;

	/* Cancel or reschedule statement timeout */
1135
	if (is_statement_timeout)
1136 1137 1138 1139 1140 1141
		statement_timeout_active = false;
	else if (statement_timeout_active)
	{
		if (!CheckStatementTimeout())
			return false;
	}
1142 1143 1144
	return true;
}

1145

1146
/*
1147 1148 1149
 * Check for statement timeout.  If the timeout time has come,
 * trigger a query-cancel interrupt; if not, reschedule the SIGALRM
 * interrupt to occur at the right time.
1150
 *
1151
 * Returns true if okay, false if failed to set the interrupt.
1152
 */
1153 1154
static bool
CheckStatementTimeout(void)
1155
{
1156
	struct timeval now;
B
Bruce Momjian 已提交
1157

1158 1159 1160 1161
	if (!statement_timeout_active)
		return true;			/* do nothing if not active */

	gettimeofday(&now, NULL);
1162

1163 1164 1165
	if (now.tv_sec > statement_fin_time.tv_sec ||
		(now.tv_sec == statement_fin_time.tv_sec &&
		 now.tv_usec >= statement_fin_time.tv_usec))
1166
	{
1167 1168
		/* Time to die */
		statement_timeout_active = false;
1169
		kill(MyProcPid, SIGINT);
1170 1171 1172 1173
	}
	else
	{
		/* Not time yet, so (re)schedule the interrupt */
1174
#ifndef __BEOS__
1175 1176
		struct itimerval timeval;

1177
		MemSet(&timeval, 0, sizeof(struct itimerval));
1178 1179 1180 1181 1182 1183 1184 1185
		timeval.it_value.tv_sec = statement_fin_time.tv_sec - now.tv_sec;
		timeval.it_value.tv_usec = statement_fin_time.tv_usec - now.tv_usec;
		if (timeval.it_value.tv_usec < 0)
		{
			timeval.it_value.tv_sec--;
			timeval.it_value.tv_usec += 1000000;
		}
		if (setitimer(ITIMER_REAL, &timeval, NULL))
1186 1187 1188
			return false;
#else
		/* BeOS doesn't have setitimer, but has set_alarm */
1189
		bigtime_t	time_interval;
B
Bruce Momjian 已提交
1190

1191 1192 1193 1194
		time_interval =
			(statement_fin_time.tv_sec - now.tv_sec) * 1000000 +
			(statement_fin_time.tv_usec - now.tv_usec);
		if (set_alarm(time_interval, B_ONE_SHOT_RELATIVE_ALARM) < 0)
1195 1196 1197 1198
			return false;
#endif
	}

1199 1200
	return true;
}
1201 1202 1203


/*
1204 1205 1206 1207 1208 1209
 * Signal handler for SIGALRM
 *
 * Process deadlock check and/or statement timeout check, as needed.
 * To avoid various edge cases, we must be careful to do nothing
 * when there is nothing to be done.  We also need to be able to
 * reschedule the timer interrupt if called before end of statement.
1210 1211 1212 1213
 */
void
handle_sig_alarm(SIGNAL_ARGS)
{
1214 1215 1216
	int			save_errno = errno;

	if (deadlock_timeout_active)
1217
	{
1218
		deadlock_timeout_active = false;
1219 1220
		CheckDeadLock();
	}
1221 1222 1223 1224 1225

	if (statement_timeout_active)
		(void) CheckStatementTimeout();

	errno = save_errno;
1226
}