proc.c 45.8 KB
Newer Older
1 2
/*-------------------------------------------------------------------------
 *
3
 * proc.c
4
 *	  routines to manage per-process shared memory data structure
5
 *
6
 * Portions Copyright (c) 1996-2010, 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.211 2010/01/02 16:57:52 momjian 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
 * Waiting for a lock causes the backend to be put to sleep.  Whoever releases
 * the lock wakes the process up again (and gives it an error code so it knows
23 24 25 26
 * whether it was awoken on an error condition).
 *
 * Interface (b):
 *
27 28
 * ProcReleaseLocks -- frees the locks associated with current transaction
 *
29
 * ProcKill -- destroys the shared memory state (and locks)
30
 * associated with the process.
31
 */
32 33
#include "postgres.h"

34
#include <signal.h>
35 36
#include <unistd.h>
#include <sys/time.h>
M
Marc G. Fournier 已提交
37

38
#include "access/transam.h"
39
#include "access/xact.h"
40
#include "miscadmin.h"
41
#include "postmaster/autovacuum.h"
42
#include "storage/ipc.h"
43
#include "storage/lmgr.h"
44
#include "storage/pmsignal.h"
45
#include "storage/proc.h"
46
#include "storage/procarray.h"
47
#include "storage/spin.h"
48

49

50
/* GUC variables */
B
Bruce Momjian 已提交
51
int			DeadlockTimeout = 1000;
52
int			StatementTimeout = 0;
53
bool		log_lock_waits = false;
M
 
Marc G. Fournier 已提交
54

55
/* Pointer to this process's PGPROC struct, if any */
J
Jan Wieck 已提交
56
PGPROC	   *MyProc = NULL;
57 58

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

67
/* Pointers to shared-memory structures */
68
NON_EXEC_STATIC PROC_HDR *ProcGlobal = NULL;
69
NON_EXEC_STATIC PGPROC *AuxiliaryProcs = NULL;
70

71 72
/* If we are waiting for a lock, this points to the associated LOCALLOCK */
static LOCALLOCK *lockAwaited = NULL;
73

74 75 76
/* 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;
77
static volatile DeadLockState deadlock_state = DS_NOT_YET_CHECKED;
78
volatile bool cancel_from_timeout = false;
B
Bruce Momjian 已提交
79

80 81 82
/* timeout_start_time is set when log_lock_waits is true */
static TimestampTz timeout_start_time;

83
/* statement_fin_time is valid only if statement_timeout_active is true */
84
static TimestampTz statement_fin_time;
85 86


87
static void RemoveProcFromArray(int code, Datum arg);
88
static void ProcKill(int code, Datum arg);
89
static void AuxiliaryProcKill(int code, Datum arg);
90
static bool CheckStatementTimeout(void);
91

V
Vadim B. Mikheev 已提交
92

93 94 95
/*
 * Report shared-memory space needed by InitProcGlobal.
 */
96
Size
97
ProcGlobalShmemSize(void)
98
{
99 100 101 102
	Size		size = 0;

	/* ProcGlobal */
	size = add_size(size, sizeof(PROC_HDR));
103 104
	/* AuxiliaryProcs */
	size = add_size(size, mul_size(NUM_AUXILIARY_PROCS, sizeof(PGPROC)));
105
	/* MyProcs, including autovacuum workers and launcher */
106 107 108
	size = add_size(size, mul_size(MaxBackends, sizeof(PGPROC)));
	/* ProcStructLock */
	size = add_size(size, sizeof(slock_t));
109 110 111 112

	return size;
}

113 114 115 116
/*
 * Report number of semaphores needed by InitProcGlobal.
 */
int
117
ProcGlobalSemas(void)
118
{
119 120 121 122
	/*
	 * We need a sema per backend (including autovacuum), plus one for each
	 * auxiliary process.
	 */
123
	return MaxBackends + NUM_AUXILIARY_PROCS;
124 125
}

126 127
/*
 * InitProcGlobal -
128 129
 *	  Initialize the global process table during postmaster or standalone
 *	  backend startup.
130
 *
131
 *	  We also create all the per-process semaphores we will need to support
132 133 134 135 136 137 138
 *	  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
139 140
 *	  MaxConnections or autovacuum_max_workers higher than his kernel will
 *	  support, he'll find out sooner rather than later.
141 142 143 144
 *
 *	  Another reason for creating semaphores here is that the semaphore
 *	  implementation typically requires us to create semaphores in the
 *	  postmaster, not in backends.
145 146
 *
 * Note: this is NOT called by individual backends under a postmaster,
147
 * not even in the EXEC_BACKEND case.  The ProcGlobal and AuxiliaryProcs
148
 * pointers must be propagated specially for EXEC_BACKEND operation.
149 150
 */
void
151
InitProcGlobal(void)
152
{
153 154 155
	PGPROC	   *procs;
	int			i;
	bool		found;
156

157
	/* Create the ProcGlobal shared structure */
158
	ProcGlobal = (PROC_HDR *)
159 160
		ShmemInitStruct("Proc Header", sizeof(PROC_HDR), &found);
	Assert(!found);
161

162
	/*
163 164
	 * Create the PGPROC structures for auxiliary (bgwriter) processes, too.
	 * These do not get linked into the freeProcs list.
165
	 */
166 167
	AuxiliaryProcs = (PGPROC *)
		ShmemInitStruct("AuxiliaryProcs", NUM_AUXILIARY_PROCS * sizeof(PGPROC),
168 169
						&found);
	Assert(!found);
170

171 172 173
	/*
	 * Initialize the data structures.
	 */
174 175
	ProcGlobal->freeProcs = NULL;
	ProcGlobal->autovacFreeProcs = NULL;
176

177
	ProcGlobal->spins_per_delay = DEFAULT_SPINS_PER_DELAY;
178

179 180 181
	/*
	 * Pre-create the PGPROC structures and create a semaphore for each.
	 */
182
	procs = (PGPROC *) ShmemAlloc((MaxConnections) * sizeof(PGPROC));
183 184 185 186
	if (!procs)
		ereport(FATAL,
				(errcode(ERRCODE_OUT_OF_MEMORY),
				 errmsg("out of shared memory")));
187 188
	MemSet(procs, 0, MaxConnections * sizeof(PGPROC));
	for (i = 0; i < MaxConnections; i++)
189 190
	{
		PGSemaphoreCreate(&(procs[i].sem));
191 192
		procs[i].links.next = (SHM_QUEUE *) ProcGlobal->freeProcs;
		ProcGlobal->freeProcs = &procs[i];
193
	}
194

195 196 197 198 199 200
	/*
	 * Likewise for the PGPROCs reserved for autovacuum.
	 *
	 * Note: the "+1" here accounts for the autovac launcher
	 */
	procs = (PGPROC *) ShmemAlloc((autovacuum_max_workers + 1) * sizeof(PGPROC));
201 202 203 204
	if (!procs)
		ereport(FATAL,
				(errcode(ERRCODE_OUT_OF_MEMORY),
				 errmsg("out of shared memory")));
205 206
	MemSet(procs, 0, (autovacuum_max_workers + 1) * sizeof(PGPROC));
	for (i = 0; i < autovacuum_max_workers + 1; i++)
207 208
	{
		PGSemaphoreCreate(&(procs[i].sem));
209 210
		procs[i].links.next = (SHM_QUEUE *) ProcGlobal->autovacFreeProcs;
		ProcGlobal->autovacFreeProcs = &procs[i];
211 212
	}

213 214 215
	/*
	 * And auxiliary procs.
	 */
216 217
	MemSet(AuxiliaryProcs, 0, NUM_AUXILIARY_PROCS * sizeof(PGPROC));
	for (i = 0; i < NUM_AUXILIARY_PROCS; i++)
218
	{
B
Bruce Momjian 已提交
219
		AuxiliaryProcs[i].pid = 0;		/* marks auxiliary proc as not in use */
220
		PGSemaphoreCreate(&(AuxiliaryProcs[i].sem));
221
	}
222 223 224 225

	/* Create ProcStructLock spinlock, too */
	ProcStructLock = (slock_t *) ShmemAlloc(sizeof(slock_t));
	SpinLockInit(ProcStructLock);
226 227
}

228
/*
229
 * InitProcess -- initialize a per-process data structure for this backend
230 231
 */
void
232
InitProcess(void)
233
{
234 235
	/* use volatile pointer to prevent code rearrangement */
	volatile PROC_HDR *procglobal = ProcGlobal;
236
	int			i;
237 238

	/*
239 240
	 * ProcGlobal should be set up already (if we are a backend, we inherit
	 * this by fork() or EXEC_BACKEND mechanism from the postmaster).
241
	 */
242
	if (procglobal == NULL)
243
		elog(PANIC, "proc header uninitialized");
244 245

	if (MyProc != NULL)
246
		elog(ERROR, "you already exist");
247

248
	/*
B
Bruce Momjian 已提交
249 250
	 * Try to get a proc struct from the free list.  If this fails, we must be
	 * out of PGPROC structures (not to mention semaphores).
251
	 *
B
Bruce Momjian 已提交
252 253
	 * While we are holding the ProcStructLock, also copy the current shared
	 * estimate of spins_per_delay to local storage.
254
	 */
255
	SpinLockAcquire(ProcStructLock);
256

257 258
	set_spins_per_delay(procglobal->spins_per_delay);

259
	if (IsAnyAutoVacuumProcess())
260
		MyProc = procglobal->autovacFreeProcs;
261
	else
262
		MyProc = procglobal->freeProcs;
263

264
	if (MyProc != NULL)
265
	{
266
		if (IsAnyAutoVacuumProcess())
267
			procglobal->autovacFreeProcs = (PGPROC *) MyProc->links.next;
268
		else
269
			procglobal->freeProcs = (PGPROC *) MyProc->links.next;
270
		SpinLockRelease(ProcStructLock);
271 272 273 274
	}
	else
	{
		/*
B
Bruce Momjian 已提交
275 276
		 * If we reach here, all the PGPROCs are in use.  This is one of the
		 * possible places to detect "too many backends", so give the standard
277 278
		 * error message.  XXX do we need to give a different failure message
		 * in the autovacuum case?
279
		 */
280
		SpinLockRelease(ProcStructLock);
281 282 283
		ereport(FATAL,
				(errcode(ERRCODE_TOO_MANY_CONNECTIONS),
				 errmsg("sorry, too many clients already")));
284
	}
285

286 287
	/*
	 * Now that we have a PGPROC, mark ourselves as an active postmaster
288
	 * child; this is so that the postmaster can detect it if we exit without
289 290
	 * cleaning up.  (XXX autovac launcher currently doesn't participate in
	 * this; it probably should.)
291
	 */
292
	if (IsUnderPostmaster && !IsAutoVacuumLauncherProcess())
293 294
		MarkPostmasterChildActive();

295
	/*
B
Bruce Momjian 已提交
296 297
	 * Initialize all fields of MyProc, except for the semaphore which was
	 * prepared for us by InitProcGlobal.
298
	 */
299
	SHMQueueElemInit(&(MyProc->links));
300
	MyProc->waitStatus = STATUS_OK;
301
	MyProc->lxid = InvalidLocalTransactionId;
302
	MyProc->xid = InvalidTransactionId;
303
	MyProc->xmin = InvalidTransactionId;
304
	MyProc->pid = MyProcPid;
305 306
	/* backendId, databaseId and roleId will be filled in later */
	MyProc->backendId = InvalidBackendId;
307
	MyProc->databaseId = InvalidOid;
308
	MyProc->roleId = InvalidOid;
309
	MyProc->inCommit = false;
310
	MyProc->vacuumFlags = 0;
311
	/* NB -- autovac launcher intentionally does not set IS_AUTOVACUUM */
312 313
	if (IsAutoVacuumWorkerProcess())
		MyProc->vacuumFlags |= PROC_IS_AUTOVACUUM;
314 315 316
	MyProc->lwWaiting = false;
	MyProc->lwExclusive = false;
	MyProc->lwWaitLink = NULL;
317
	MyProc->waitLock = NULL;
318
	MyProc->waitProcLock = NULL;
319 320
	for (i = 0; i < NUM_LOCK_PARTITIONS; i++)
		SHMQueueInit(&(MyProc->myProcLocks[i]));
321
	MyProc->recoveryConflictMode = 0;
322

323
	/*
324
	 * We might be reusing a semaphore that belonged to a failed process. So
B
Bruce Momjian 已提交
325
	 * be careful and reinitialize its value here.	(This is not strictly
326
	 * necessary anymore, but seems like a good idea for cleanliness.)
327
	 */
328
	PGSemaphoreReset(&MyProc->sem);
329

330
	/*
331
	 * Arrange to clean up at backend exit.
332
	 */
333
	on_shmem_exit(ProcKill, 0);
334 335

	/*
B
Bruce Momjian 已提交
336 337
	 * Now that we have a PGPROC, we could try to acquire locks, so initialize
	 * the deadlock checker.
338 339
	 */
	InitDeadLockChecking();
340 341
}

342 343 344 345
/*
 * InitProcessPhase2 -- make MyProc visible in the shared ProcArray.
 *
 * This is separate from InitProcess because we can't acquire LWLocks until
346 347
 * we've created a PGPROC, but in the EXEC_BACKEND case ProcArrayAdd won't
 * work until after we've done CreateSharedMemoryAndSemaphores.
348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364
 */
void
InitProcessPhase2(void)
{
	Assert(MyProc != NULL);

	/*
	 * Add our PGPROC to the PGPROC array in shared memory.
	 */
	ProcArrayAdd(MyProc);

	/*
	 * Arrange to clean that up at backend exit.
	 */
	on_shmem_exit(RemoveProcFromArray, 0);
}

365
/*
366
 * InitAuxiliaryProcess -- create a per-auxiliary-process data structure
367
 *
368 369
 * This is called by bgwriter and similar processes so that they will have a
 * MyProc value that's real enough to let them wait for LWLocks.  The PGPROC
370
 * and sema that are assigned are one of the extra ones created during
371
 * InitProcGlobal.
372
 *
373
 * Auxiliary processes are presently not expected to wait for real (lockmgr)
374
 * locks, so we need not set up the deadlock checker.  They are never added
B
Bruce Momjian 已提交
375
 * to the ProcArray or the sinval messaging mechanism, either.	They also
376 377
 * don't get a VXID assigned, since this is only useful when we actually
 * hold lockmgr locks.
378 379 380 381 382
 *
 * Startup process however uses locks but never waits for them in the
 * normal backend sense. Startup process also takes part in sinval messaging
 * as a sendOnly process, so never reads messages from sinval queue. So
 * Startup process does have a VXID and does show up in pg_locks.
383 384
 */
void
385
InitAuxiliaryProcess(void)
386
{
387
	PGPROC	   *auxproc;
388
	int			proctype;
389
	int			i;
J
Jan Wieck 已提交
390

391
	/*
392 393
	 * ProcGlobal should be set up already (if we are a backend, we inherit
	 * this by fork() or EXEC_BACKEND mechanism from the postmaster).
394
	 */
395
	if (ProcGlobal == NULL || AuxiliaryProcs == NULL)
396
		elog(PANIC, "proc header uninitialized");
397 398

	if (MyProc != NULL)
399
		elog(ERROR, "you already exist");
400

401
	/*
402
	 * We use the ProcStructLock to protect assignment and releasing of
403
	 * AuxiliaryProcs entries.
404
	 *
B
Bruce Momjian 已提交
405 406
	 * While we are holding the ProcStructLock, also copy the current shared
	 * estimate of spins_per_delay to local storage.
407 408 409 410 411
	 */
	SpinLockAcquire(ProcStructLock);

	set_spins_per_delay(ProcGlobal->spins_per_delay);

412
	/*
413
	 * Find a free auxproc ... *big* trouble if there isn't one ...
414
	 */
415
	for (proctype = 0; proctype < NUM_AUXILIARY_PROCS; proctype++)
416
	{
417 418
		auxproc = &AuxiliaryProcs[proctype];
		if (auxproc->pid == 0)
419 420
			break;
	}
421
	if (proctype >= NUM_AUXILIARY_PROCS)
422 423
	{
		SpinLockRelease(ProcStructLock);
424
		elog(FATAL, "all AuxiliaryProcs are in use");
425
	}
426

427
	/* Mark auxiliary proc as in use by me */
428
	/* use volatile pointer to prevent code rearrangement */
429
	((volatile PGPROC *) auxproc)->pid = MyProcPid;
430

431
	MyProc = auxproc;
432 433 434

	SpinLockRelease(ProcStructLock);

435
	/*
436 437
	 * Initialize all fields of MyProc, except for the semaphore which was
	 * prepared for us by InitProcGlobal.
438 439
	 */
	SHMQueueElemInit(&(MyProc->links));
440
	MyProc->waitStatus = STATUS_OK;
441
	MyProc->lxid = InvalidLocalTransactionId;
442 443
	MyProc->xid = InvalidTransactionId;
	MyProc->xmin = InvalidTransactionId;
444
	MyProc->backendId = InvalidBackendId;
445
	MyProc->databaseId = InvalidOid;
446
	MyProc->roleId = InvalidOid;
447
	MyProc->inCommit = false;
448
	MyProc->vacuumFlags = 0;
449 450 451 452
	MyProc->lwWaiting = false;
	MyProc->lwExclusive = false;
	MyProc->lwWaitLink = NULL;
	MyProc->waitLock = NULL;
453
	MyProc->waitProcLock = NULL;
454 455
	for (i = 0; i < NUM_LOCK_PARTITIONS; i++)
		SHMQueueInit(&(MyProc->myProcLocks[i]));
456 457

	/*
B
Bruce Momjian 已提交
458
	 * We might be reusing a semaphore that belonged to a failed process. So
B
Bruce Momjian 已提交
459
	 * be careful and reinitialize its value here.	(This is not strictly
460
	 * necessary anymore, but seems like a good idea for cleanliness.)
461
	 */
462
	PGSemaphoreReset(&MyProc->sem);
463 464 465 466

	/*
	 * Arrange to clean up at process exit.
	 */
467
	on_shmem_exit(AuxiliaryProcKill, Int32GetDatum(proctype));
468 469
}

470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487
/*
 * Record the PID and PGPROC structures for the Startup process, for use in
 * ProcSendSignal().  See comments there for further explanation.
 */
void
PublishStartupProcessInformation(void)
{
	/* use volatile pointer to prevent code rearrangement */
	volatile PROC_HDR *procglobal = ProcGlobal;

	SpinLockAcquire(ProcStructLock);

	procglobal->startupProc = MyProc;
	procglobal->startupProcPid = MyProcPid;

	SpinLockRelease(ProcStructLock);
}

488 489 490 491 492 493 494 495 496
/*
 * Check whether there are at least N free PGPROC objects.
 *
 * Note: this is designed on the assumption that N will generally be small.
 */
bool
HaveNFreeProcs(int n)
{
	PGPROC	   *proc;
B
Bruce Momjian 已提交
497

498 499 500 501 502
	/* use volatile pointer to prevent code rearrangement */
	volatile PROC_HDR *procglobal = ProcGlobal;

	SpinLockAcquire(ProcStructLock);

503
	proc = procglobal->freeProcs;
504

505
	while (n > 0 && proc != NULL)
506
	{
507
		proc = (PGPROC *) proc->links.next;
508 509 510 511 512 513 514 515
		n--;
	}

	SpinLockRelease(ProcStructLock);

	return (n <= 0);
}

516 517 518 519
/*
 * Cancel any pending wait for lock, when aborting a transaction.
 *
 * (Normally, this would only happen if we accept a cancel/die
520
 * interrupt while waiting; but an ereport(ERROR) while waiting is
521 522
 * within the realm of possibility, too.)
 */
523
void
524 525
LockWaitCancel(void)
{
526 527
	LWLockId	partitionLock;

528
	/* Nothing to do if we weren't waiting for a lock */
529
	if (lockAwaited == NULL)
530
		return;
531

532
	/* Turn off the deadlock timer, if it's still running (see ProcSleep) */
533
	disable_sig_alarm(false);
534 535

	/* Unlink myself from the wait queue, if on it (might not be anymore!) */
536
	partitionLock = LockHashPartitionLock(lockAwaited->hashcode);
537
	LWLockAcquire(partitionLock, LW_EXCLUSIVE);
538

539
	if (MyProc->links.next != NULL)
540 541
	{
		/* We could not have been granted the lock yet */
542
		RemoveFromWaitQueue(MyProc, lockAwaited->hashcode);
543 544 545 546 547
	}
	else
	{
		/*
		 * Somebody kicked us off the lock queue already.  Perhaps they
B
Bruce Momjian 已提交
548 549 550
		 * 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.
551
		 */
552 553
		if (MyProc->waitStatus == STATUS_OK)
			GrantAwaitedLock();
554 555
	}

556
	lockAwaited = NULL;
557

558
	LWLockRelease(partitionLock);
H
Hiroshi Inoue 已提交
559

560
	/*
561
	 * We used to do PGSemaphoreReset() here to ensure that our proc's wait
B
Bruce Momjian 已提交
562 563 564 565 566 567
	 * semaphore is reset to zero.	This prevented a leftover wakeup signal
	 * from remaining in the semaphore if someone else had granted us the lock
	 * we wanted before we were able to remove ourselves from the wait-list.
	 * However, now that ProcSleep loops until waitStatus changes, a leftover
	 * wakeup signal isn't harmful, and it seems not worth expending cycles to
	 * get rid of a signal that most likely isn't there.
568
	 */
H
Hiroshi Inoue 已提交
569
}
570

571

572
/*
573
 * ProcReleaseLocks() -- release locks associated with current transaction
574
 *			at main transaction commit or abort
575 576 577 578 579 580
 *
 * 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
581
 * needed at all); we will defer the releasing to the parent transaction.
582
 * At subtransaction abort, we release all locks held by the subtransaction;
583 584
 * this is implemented by retail releasing of the locks under control of
 * the ResourceOwner mechanism.
585 586
 *
 * Note that user locks are not released in any case.
587 588
 */
void
589
ProcReleaseLocks(bool isCommit)
590
{
591 592
	if (!MyProc)
		return;
593 594 595
	/* If waiting, get off wait queue (should only be needed after error) */
	LockWaitCancel();
	/* Release locks */
596
	LockReleaseAll(DEFAULT_LOCKMETHOD, !isCommit);
597 598 599
}


600 601 602 603 604 605 606
/*
 * RemoveProcFromArray() -- Remove this process from the shared ProcArray.
 */
static void
RemoveProcFromArray(int code, Datum arg)
{
	Assert(MyProc != NULL);
607
	ProcArrayRemove(MyProc, InvalidTransactionId);
608 609
}

610 611
/*
 * ProcKill() -- Destroy the per-proc data structure for
612
 *		this process. Release any of its held LW locks.
613 614
 */
static void
615
ProcKill(int code, Datum arg)
616
{
617 618 619
	/* use volatile pointer to prevent code rearrangement */
	volatile PROC_HDR *procglobal = ProcGlobal;

620
	Assert(MyProc != NULL);
621

622
	/*
B
Bruce Momjian 已提交
623 624
	 * Release any LW locks I am holding.  There really shouldn't be any, but
	 * it's cheap to check again before we cut the knees off the LWLock
625
	 * facility by releasing our PGPROC ...
626
	 */
627
	LWLockReleaseAll();
628

629
	SpinLockAcquire(ProcStructLock);
630

631 632
	/* Return PGPROC structure (and semaphore) to appropriate freelist */
	if (IsAnyAutoVacuumProcess())
633
	{
634 635
		MyProc->links.next = (SHM_QUEUE *) procglobal->autovacFreeProcs;
		procglobal->autovacFreeProcs = MyProc;
636 637 638
	}
	else
	{
639 640
		MyProc->links.next = (SHM_QUEUE *) procglobal->freeProcs;
		procglobal->freeProcs = MyProc;
641
	}
642

J
Jan Wieck 已提交
643
	/* PGPROC struct isn't mine anymore */
644
	MyProc = NULL;
645

646 647 648
	/* Update shared estimate of spins_per_delay */
	procglobal->spins_per_delay = update_spins_per_delay(procglobal->spins_per_delay);

649
	SpinLockRelease(ProcStructLock);
650

651 652 653
	/*
	 * This process is no longer present in shared memory in any meaningful
	 * way, so tell the postmaster we've cleaned up acceptably well.
654
	 * (XXX autovac launcher should be included here someday)
655
	 */
656
	if (IsUnderPostmaster && !IsAutoVacuumLauncherProcess())
657 658
		MarkPostmasterChildInactive();

659 660
	/* wake autovac launcher if needed -- see comments in FreeWorkerInfo */
	if (AutovacuumLauncherPid != 0)
661
		kill(AutovacuumLauncherPid, SIGUSR2);
662 663 664
}

/*
665 666 667
 * AuxiliaryProcKill() -- Cut-down version of ProcKill for auxiliary
 *		processes (bgwriter, etc).	The PGPROC and sema are not released, only
 *		marked as not-in-use.
668 669
 */
static void
670
AuxiliaryProcKill(int code, Datum arg)
671
{
B
Bruce Momjian 已提交
672
	int			proctype = DatumGetInt32(arg);
673
	PGPROC	   *auxproc;
J
Jan Wieck 已提交
674

675
	Assert(proctype >= 0 && proctype < NUM_AUXILIARY_PROCS);
J
Jan Wieck 已提交
676

677
	auxproc = &AuxiliaryProcs[proctype];
J
Jan Wieck 已提交
678

679
	Assert(MyProc == auxproc);
680

681
	/* Release any LW locks I am holding (see notes above) */
682 683
	LWLockReleaseAll();

684 685
	SpinLockAcquire(ProcStructLock);

686
	/* Mark auxiliary proc no longer in use */
687 688
	MyProc->pid = 0;

J
Jan Wieck 已提交
689
	/* PGPROC struct isn't mine anymore */
690
	MyProc = NULL;
691 692 693 694 695

	/* Update shared estimate of spins_per_delay */
	ProcGlobal->spins_per_delay = update_spins_per_delay(ProcGlobal->spins_per_delay);

	SpinLockRelease(ProcStructLock);
696 697
}

698

699 700
/*
 * ProcQueue package: routines for putting processes to sleep
701
 *		and  waking them up
702 703 704 705 706 707 708 709
 */

/*
 * 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
 */
710
#ifdef NOT_USED
711
PROC_QUEUE *
712 713
ProcQueueAlloc(char *name)
{
714 715
	bool		found;
	PROC_QUEUE *queue = (PROC_QUEUE *)
B
Bruce Momjian 已提交
716
	ShmemInitStruct(name, sizeof(PROC_QUEUE), &found);
717 718

	if (!queue)
719
		return NULL;
720 721
	if (!found)
		ProcQueueInit(queue);
722
	return queue;
723
}
724
#endif
725 726 727 728 729

/*
 * ProcQueueInit -- initialize a shared memory process queue
 */
void
730
ProcQueueInit(PROC_QUEUE *queue)
731
{
732 733
	SHMQueueInit(&(queue->links));
	queue->size = 0;
734 735 736 737
}


/*
738
 * ProcSleep -- put a process to sleep on the specified lock
739
 *
740 741
 * Caller must have set MyProc->heldLocks to reflect locks already held
 * on the lockable object by this process (under all XIDs).
742
 *
743
 * The lock table's partition lock must be held at entry, and will be held
744
 * at exit.
745
 *
746
 * Result: STATUS_OK if we acquired the lock, STATUS_ERROR if not (deadlock).
747
 *
748
 * ASSUME: that no one will fiddle with the queue until after
749
 *		we release the partition lock.
750 751
 *
 * NOTES: The process queue is now a priority queue for locking.
752 753 754
 *
 * P() on the semaphore should put us to sleep.  The process
 * semaphore is normally zero, so when we try to acquire it, we sleep.
755 756
 */
int
757
ProcSleep(LOCALLOCK *locallock, LockMethod lockMethodTable)
758
{
759 760 761
	LOCKMODE	lockmode = locallock->tag.mode;
	LOCK	   *lock = locallock->lock;
	PROCLOCK   *proclock = locallock->proclock;
762 763
	uint32		hashcode = locallock->hashcode;
	LWLockId	partitionLock = LockHashPartitionLock(hashcode);
764
	PROC_QUEUE *waitQueue = &(lock->waitProcs);
765
	LOCKMASK	myHeldLocks = MyProc->heldLocks;
766
	bool		early_deadlock = false;
B
Bruce Momjian 已提交
767
	bool		allow_autovacuum_cancel = true;
768
	int			myWaitStatus;
J
Jan Wieck 已提交
769
	PGPROC	   *proc;
770
	int			i;
771

772
	/*
773 774
	 * Determine where to add myself in the wait queue.
	 *
775 776 777 778
	 * 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 me to before that
B
Bruce Momjian 已提交
779 780
	 * waiter anyway; but it's relatively cheap to detect such a conflict
	 * immediately, and avoid delaying till deadlock timeout.
781
	 *
782 783
	 * 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 that
B
Bruce Momjian 已提交
784 785 786 787
	 * waiter.	If not, then just grant myself the requested lock immediately.
	 * This is the same as the test for immediate grant in LockAcquire, except
	 * we are only considering the part of the wait queue before my insertion
	 * point.
788 789
	 */
	if (myHeldLocks != 0)
V
Vadim B. Mikheev 已提交
790
	{
791
		LOCKMASK	aheadRequests = 0;
792

793
		proc = (PGPROC *) waitQueue->links.next;
794
		for (i = 0; i < waitQueue->size; i++)
V
Vadim B. Mikheev 已提交
795
		{
796
			/* Must he wait for me? */
B
Bruce Momjian 已提交
797
			if (lockMethodTable->conflictTab[proc->waitLockMode] & myHeldLocks)
V
Vadim B. Mikheev 已提交
798
			{
799
				/* Must I wait for him ? */
B
Bruce Momjian 已提交
800
				if (lockMethodTable->conflictTab[lockmode] & proc->heldLocks)
801
				{
802
					/*
B
Bruce Momjian 已提交
803 804 805 806 807
					 * 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 loop.  Also,
					 * record deadlock info for later message.
808
					 */
809
					RememberSimpleDeadLock(MyProc, lockmode, lock, proc);
810 811
					early_deadlock = true;
					break;
812
				}
813
				/* I must go before this waiter.  Check special case. */
B
Bruce Momjian 已提交
814
				if ((lockMethodTable->conflictTab[lockmode] & aheadRequests) == 0 &&
815 816 817
					LockCheckConflicts(lockMethodTable,
									   lockmode,
									   lock,
818
									   proclock,
819
									   MyProc) == STATUS_OK)
820
				{
821
					/* Skip the wait and just grant myself the lock. */
822
					GrantLock(lock, proclock, lockmode);
823
					GrantAwaitedLock();
824
					return STATUS_OK;
825 826
				}
				/* Break out of loop to put myself before him */
V
Vadim B. Mikheev 已提交
827
				break;
828
			}
829
			/* Nope, so advance to next waiter */
830
			aheadRequests |= LOCKBIT_ON(proc->waitLockMode);
831
			proc = (PGPROC *) proc->links.next;
V
Vadim B. Mikheev 已提交
832
		}
B
Bruce Momjian 已提交
833

834
		/*
B
Bruce Momjian 已提交
835 836
		 * If we fall out of loop normally, proc points to waitQueue head, so
		 * we will insert at tail of queue as desired.
837
		 */
838 839 840 841
	}
	else
	{
		/* I hold no locks, so I can't push in front of anyone. */
J
Jan Wieck 已提交
842
		proc = (PGPROC *) &(waitQueue->links);
V
Vadim B. Mikheev 已提交
843
	}
844

845
	/*
B
Bruce Momjian 已提交
846
	 * Insert self into queue, ahead of the given proc (or at tail of queue).
847
	 */
848
	SHMQueueInsertBefore(&(proc->links), &(MyProc->links));
B
Bruce Momjian 已提交
849
	waitQueue->size++;
850

851
	lock->waitMask |= LOCKBIT_ON(lockmode);
852

J
Jan Wieck 已提交
853
	/* Set up wait information in PGPROC object, too */
854
	MyProc->waitLock = lock;
855
	MyProc->waitProcLock = proclock;
856 857
	MyProc->waitLockMode = lockmode;

858
	MyProc->waitStatus = STATUS_WAITING;
859 860

	/*
B
Bruce Momjian 已提交
861 862 863
	 * If we detected deadlock, give up without waiting.  This must agree with
	 * CheckDeadLock's recovery code, except that we shouldn't release the
	 * semaphore since we haven't tried to lock it yet.
864 865 866
	 */
	if (early_deadlock)
	{
867
		RemoveFromWaitQueue(MyProc, hashcode);
868 869
		return STATUS_ERROR;
	}
870

871
	/* mark that we are waiting for a lock */
872
	lockAwaited = locallock;
873

874
	/*
875
	 * Release the lock table's partition lock.
876
	 *
877
	 * NOTE: this may also cause us to exit critical-section state, possibly
B
Bruce Momjian 已提交
878 879
	 * 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
880
	 * LockWaitCancel will clean up if cancel/die happens.
881
	 */
882
	LWLockRelease(partitionLock);
883

884 885 886
	/* Reset deadlock_state before enabling the signal handler */
	deadlock_state = DS_NOT_YET_CHECKED;

887
	/*
B
Bruce Momjian 已提交
888 889 890 891
	 * 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 semaphore and
	 * sets MyProc->waitStatus = STATUS_ERROR, allowing us to know that we
	 * must report failure rather than success.
892
	 *
893 894
	 * By delaying the check until we've waited for a bit, we can avoid
	 * running the rather expensive deadlock-check code in most cases.
895
	 */
896
	if (!enable_sig_alarm(DeadlockTimeout, false))
897
		elog(FATAL, "could not set timer for process wakeup");
898

899
	/*
900
	 * If someone wakes us between LWLockRelease and PGSemaphoreLock,
B
Bruce Momjian 已提交
901
	 * PGSemaphoreLock will not block.	The wakeup is "saved" by the semaphore
B
Bruce Momjian 已提交
902 903 904 905 906
	 * implementation.	While this is normally good, there are cases where a
	 * saved wakeup might be leftover from a previous operation (for example,
	 * we aborted ProcWaitForSignal just before someone did ProcSendSignal).
	 * So, loop to wait again if the waitStatus shows we haven't been granted
	 * nor denied the lock yet.
907
	 *
908 909 910 911 912 913 914
	 * 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 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 to worry about
	 * updating the locallock table, but if we lose control to an error,
	 * LockWaitCancel will fix that up.
915
	 */
B
Bruce Momjian 已提交
916 917
	do
	{
918
		PGSemaphoreLock(&MyProc->sem, true);
919

920 921
		/*
		 * waitStatus could change from STATUS_WAITING to something else
B
Bruce Momjian 已提交
922
		 * asynchronously.	Read it just once per loop to prevent surprising
923 924 925 926
		 * behavior (such as missing log messages).
		 */
		myWaitStatus = MyProc->waitStatus;

927 928
		/*
		 * If we are not deadlocked, but are waiting on an autovacuum-induced
B
Bruce Momjian 已提交
929
		 * task, send a signal to interrupt it.
930 931 932
		 */
		if (deadlock_state == DS_BLOCKED_BY_AUTOVACUUM && allow_autovacuum_cancel)
		{
B
Bruce Momjian 已提交
933
			PGPROC	   *autovac = GetBlockingAutoVacuumPgproc();
934 935 936 937 938 939 940 941 942 943 944

			LWLockAcquire(ProcArrayLock, LW_EXCLUSIVE);

			/*
			 * Only do it if the worker is not working to protect against Xid
			 * wraparound.
			 */
			if ((autovac != NULL) &&
				(autovac->vacuumFlags & PROC_IS_AUTOVACUUM) &&
				!(autovac->vacuumFlags & PROC_VACUUM_FOR_WRAPAROUND))
			{
B
Bruce Momjian 已提交
945
				int			pid = autovac->pid;
946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968

				elog(DEBUG2, "sending cancel to blocking autovacuum pid = %d",
					 pid);

				/* don't hold the lock across the kill() syscall */
				LWLockRelease(ProcArrayLock);

				/* send the autovacuum worker Back to Old Kent Road */
				if (kill(pid, SIGINT) < 0)
				{
					/* Just a warning to allow multiple callers */
					ereport(WARNING,
							(errmsg("could not send signal to process %d: %m",
									pid)));
				}
			}
			else
				LWLockRelease(ProcArrayLock);

			/* prevent signal from being resent more than once */
			allow_autovacuum_cancel = false;
		}

969 970 971 972
		/*
		 * If awoken after the deadlock check interrupt has run, and
		 * log_lock_waits is on, then report about the wait.
		 */
973
		if (log_lock_waits && deadlock_state != DS_NOT_YET_CHECKED)
974
		{
975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992
			StringInfoData buf;
			const char *modename;
			long		secs;
			int			usecs;
			long		msecs;

			initStringInfo(&buf);
			DescribeLockTag(&buf, &locallock->tag.lock);
			modename = GetLockmodeName(locallock->tag.lock.locktag_lockmethodid,
									   lockmode);
			TimestampDifference(timeout_start_time, GetCurrentTimestamp(),
								&secs, &usecs);
			msecs = secs * 1000 + usecs / 1000;
			usecs = usecs % 1000;

			if (deadlock_state == DS_SOFT_DEADLOCK)
				ereport(LOG,
						(errmsg("process %d avoided deadlock for %s on %s by rearranging queue order after %ld.%03d ms",
B
Bruce Momjian 已提交
993
							  MyProcPid, modename, buf.data, msecs, usecs)));
994
			else if (deadlock_state == DS_HARD_DEADLOCK)
995
			{
996
				/*
B
Bruce Momjian 已提交
997 998 999 1000
				 * This message is a bit redundant with the error that will be
				 * reported subsequently, but in some cases the error report
				 * might not make it to the log (eg, if it's caught by an
				 * exception handler), and we want to ensure all long-wait
1001 1002 1003 1004
				 * events get logged.
				 */
				ereport(LOG,
						(errmsg("process %d detected deadlock while waiting for %s on %s after %ld.%03d ms",
B
Bruce Momjian 已提交
1005
							  MyProcPid, modename, buf.data, msecs, usecs)));
1006
			}
1007 1008 1009 1010

			if (myWaitStatus == STATUS_WAITING)
				ereport(LOG,
						(errmsg("process %d still waiting for %s on %s after %ld.%03d ms",
B
Bruce Momjian 已提交
1011
							  MyProcPid, modename, buf.data, msecs, usecs)));
1012 1013
			else if (myWaitStatus == STATUS_OK)
				ereport(LOG,
B
Bruce Momjian 已提交
1014 1015
					(errmsg("process %d acquired %s on %s after %ld.%03d ms",
							MyProcPid, modename, buf.data, msecs, usecs)));
1016 1017 1018
			else
			{
				Assert(myWaitStatus == STATUS_ERROR);
B
Bruce Momjian 已提交
1019

1020 1021
				/*
				 * Currently, the deadlock checker always kicks its own
B
Bruce Momjian 已提交
1022 1023 1024 1025 1026
				 * process, which means that we'll only see STATUS_ERROR when
				 * deadlock_state == DS_HARD_DEADLOCK, and there's no need to
				 * print redundant messages.  But for completeness and
				 * future-proofing, print a message if it looks like someone
				 * else kicked us off the lock.
1027 1028 1029 1030
				 */
				if (deadlock_state != DS_HARD_DEADLOCK)
					ereport(LOG,
							(errmsg("process %d failed to acquire %s on %s after %ld.%03d ms",
B
Bruce Momjian 已提交
1031
							  MyProcPid, modename, buf.data, msecs, usecs)));
1032 1033 1034
			}

			/*
B
Bruce Momjian 已提交
1035 1036
			 * At this point we might still need to wait for the lock. Reset
			 * state so we don't print the above messages again.
1037 1038 1039 1040
			 */
			deadlock_state = DS_NO_DEADLOCK;

			pfree(buf.data);
1041
		}
1042
	} while (myWaitStatus == STATUS_WAITING);
1043

1044
	/*
1045
	 * Disable the timer, if it's still running
B
Bruce Momjian 已提交
1046
	 */
1047
	if (!disable_sig_alarm(false))
1048
		elog(FATAL, "could not disable timer for process wakeup");
B
Bruce Momjian 已提交
1049

1050
	/*
B
Bruce Momjian 已提交
1051 1052 1053
	 * Re-acquire the lock table's partition lock.  We have to do this to hold
	 * off cancel/die interrupts before we can mess with lockAwaited (else we
	 * might have a missed or duplicated locallock update).
1054
	 */
1055
	LWLockAcquire(partitionLock, LW_EXCLUSIVE);
1056 1057 1058

	/*
	 * We no longer want LockWaitCancel to do anything.
1059
	 */
1060
	lockAwaited = NULL;
1061

1062
	/*
1063
	 * If we got the lock, be sure to remember it in the locallock table.
1064
	 */
1065
	if (MyProc->waitStatus == STATUS_OK)
1066
		GrantAwaitedLock();
1067

1068 1069 1070 1071
	/*
	 * We don't have to do anything else, because the awaker did all the
	 * necessary update of the lock table and MyProc.
	 */
1072
	return MyProc->waitStatus;
1073 1074 1075 1076 1077 1078
}


/*
 * ProcWakeup -- wake up a process by releasing its private semaphore.
 *
1079
 *	 Also remove the process from the wait queue and set its links invalid.
1080
 *	 RETURN: the next process in the wait queue.
1081
 *
1082 1083
 * The appropriate lock partition lock must be held by caller.
 *
1084 1085 1086
 * 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.
1087
 * Hence, in practice the waitStatus parameter must be STATUS_OK.
1088
 */
J
Jan Wieck 已提交
1089
PGPROC *
1090
ProcWakeup(PGPROC *proc, int waitStatus)
1091
{
J
Jan Wieck 已提交
1092
	PGPROC	   *retProc;
1093

1094
	/* Proc should be sleeping ... */
1095 1096
	if (proc->links.prev == NULL ||
		proc->links.next == NULL)
1097
		return NULL;
1098
	Assert(proc->waitStatus == STATUS_WAITING);
1099

1100
	/* Save next process before we zap the list link */
1101
	retProc = (PGPROC *) proc->links.next;
1102

1103
	/* Remove process from wait queue */
1104
	SHMQueueDelete(&(proc->links));
1105
	(proc->waitLock->waitProcs.size)--;
1106

1107 1108
	/* Clean up process' state and pass it the ok/fail signal */
	proc->waitLock = NULL;
1109
	proc->waitProcLock = NULL;
1110
	proc->waitStatus = waitStatus;
1111

1112
	/* And awaken it */
1113
	PGSemaphoreUnlock(&proc->sem);
1114 1115

	return retProc;
1116 1117 1118 1119
}

/*
 * ProcLockWakeup -- routine for waking up processes when a lock is
1120 1121
 *		released (or a prior waiter is aborted).  Scan all waiters
 *		for lock, waken any that are no longer blocked.
1122 1123
 *
 * The appropriate lock partition lock must be held by caller.
1124
 */
1125
void
1126
ProcLockWakeup(LockMethod lockMethodTable, LOCK *lock)
1127
{
1128 1129
	PROC_QUEUE *waitQueue = &(lock->waitProcs);
	int			queue_size = waitQueue->size;
J
Jan Wieck 已提交
1130
	PGPROC	   *proc;
1131
	LOCKMASK	aheadRequests = 0;
M
 
Marc G. Fournier 已提交
1132

1133
	Assert(queue_size >= 0);
1134

1135 1136
	if (queue_size == 0)
		return;
1137

1138
	proc = (PGPROC *) waitQueue->links.next;
1139

1140 1141
	while (queue_size-- > 0)
	{
B
Bruce Momjian 已提交
1142
		LOCKMODE	lockmode = proc->waitLockMode;
M
 
Marc G. Fournier 已提交
1143 1144

		/*
B
Bruce Momjian 已提交
1145 1146
		 * Waken if (a) doesn't conflict with requests of earlier waiters, and
		 * (b) doesn't conflict with already-held locks.
M
 
Marc G. Fournier 已提交
1147
		 */
B
Bruce Momjian 已提交
1148
		if ((lockMethodTable->conflictTab[lockmode] & aheadRequests) == 0 &&
1149 1150 1151
			LockCheckConflicts(lockMethodTable,
							   lockmode,
							   lock,
1152
							   proc->waitProcLock,
1153
							   proc) == STATUS_OK)
M
 
Marc G. Fournier 已提交
1154
		{
1155
			/* OK to waken */
1156
			GrantLock(lock, proc->waitProcLock, lockmode);
1157
			proc = ProcWakeup(proc, STATUS_OK);
B
Bruce Momjian 已提交
1158

1159
			/*
B
Bruce Momjian 已提交
1160 1161 1162
			 * 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.
1163
			 */
M
 
Marc G. Fournier 已提交
1164
		}
1165
		else
1166
		{
B
Bruce Momjian 已提交
1167
			/*
B
Bruce Momjian 已提交
1168
			 * Cannot wake this guy. Remember his request for later checks.
B
Bruce Momjian 已提交
1169
			 */
1170
			aheadRequests |= LOCKBIT_ON(lockmode);
1171
			proc = (PGPROC *) proc->links.next;
1172
		}
M
 
Marc G. Fournier 已提交
1173
	}
1174 1175

	Assert(waitQueue->size >= 0);
1176 1177
}

1178 1179 1180
/*
 * CheckDeadLock
 *
1181
 * We only get to this routine if we got SIGALRM after DeadlockTimeout
1182 1183
 * 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.
1184
 * (But signal ProcSleep to log a message, if log_lock_waits is true.)
1185 1186
 * If we have a real deadlock, remove ourselves from the lock's wait queue
 * and signal an error to ProcSleep.
1187 1188 1189
 *
 * NB: this is run inside a signal handler, so be very wary about what is done
 * here or in called routines.
1190
 */
1191
static void
1192
CheckDeadLock(void)
1193
{
1194 1195
	int			i;

1196
	/*
B
Bruce Momjian 已提交
1197 1198
	 * Acquire exclusive lock on the entire shared lock data structures. Must
	 * grab LWLocks in partition-number order to avoid LWLock deadlock.
1199 1200 1201 1202 1203 1204
	 *
	 * Note that the deadlock check interrupt had better not be enabled
	 * anywhere that this process itself holds lock partition locks, else this
	 * will wait forever.  Also note that LWLockAcquire creates a critical
	 * section, so that this routine cannot be interrupted by cancel/die
	 * interrupts.
1205
	 */
1206 1207
	for (i = 0; i < NUM_LOCK_PARTITIONS; i++)
		LWLockAcquire(FirstLockMgrLock + i, LW_EXCLUSIVE);
1208

1209
	/*
1210 1211
	 * Check to see if we've been awoken by anyone in the interim.
	 *
1212
	 * If we have, we can return and resume our transaction -- happy day.
1213 1214
	 * Before we are awoken the process releasing the lock grants it to us so
	 * we know that we don't have to wait anymore.
1215
	 *
1216
	 * We check by looking to see if we've been unlinked from the wait queue.
B
Bruce Momjian 已提交
1217
	 * This is quicker than checking our semaphore's state, since no kernel
1218
	 * call is needed, and it is safe because we hold the lock partition lock.
1219
	 */
1220 1221
	if (MyProc->links.prev == NULL ||
		MyProc->links.next == NULL)
1222 1223 1224 1225 1226 1227 1228 1229 1230 1231
		goto check_done;

#ifdef LOCK_DEBUG
	if (Debug_deadlocks)
		DumpAllLocks();
#endif

	/* Run the deadlock check, and set deadlock_state for use by ProcSleep */
	deadlock_state = DeadLockCheck(MyProc);

1232
	if (deadlock_state == DS_HARD_DEADLOCK)
B
Bruce Momjian 已提交
1233
	{
1234 1235 1236
		/*
		 * Oops.  We have a deadlock.
		 *
1237 1238 1239 1240
		 * Get this process out of wait state. (Note: we could do this more
		 * efficiently by relying on lockAwaited, but use this coding to
		 * preserve the flexibility to kill some other transaction than the
		 * one detecting the deadlock.)
1241 1242
		 *
		 * RemoveFromWaitQueue sets MyProc->waitStatus to STATUS_ERROR, so
1243 1244
		 * ProcSleep will report an error after we return from the signal
		 * handler.
1245 1246 1247
		 */
		Assert(MyProc->waitLock != NULL);
		RemoveFromWaitQueue(MyProc, LockTagHashCode(&(MyProc->waitLock->tag)));
1248

1249 1250 1251 1252 1253
		/*
		 * Unlock my semaphore so that the interrupted ProcSleep() call can
		 * finish.
		 */
		PGSemaphoreUnlock(&MyProc->sem);
1254

1255
		/*
1256 1257 1258 1259 1260 1261 1262 1263
		 * 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.
1264 1265
		 */
	}
1266
	else if (log_lock_waits || deadlock_state == DS_BLOCKED_BY_AUTOVACUUM)
1267 1268 1269 1270
	{
		/*
		 * Unlock my semaphore so that the interrupted ProcSleep() call can
		 * print the log message (we daren't do it here because we are inside
B
Bruce Momjian 已提交
1271 1272
		 * a signal handler).  It will then sleep again until someone releases
		 * the lock.
1273 1274 1275
		 *
		 * If blocked by autovacuum, this wakeup will enable ProcSleep to send
		 * the cancelling signal to the autovacuum worker.
1276 1277 1278
		 */
		PGSemaphoreUnlock(&MyProc->sem);
	}
1279 1280

	/*
B
Bruce Momjian 已提交
1281 1282 1283 1284 1285
	 * And release locks.  We do this in reverse order for two reasons: (1)
	 * Anyone else who needs more than one of the locks will be trying to lock
	 * them in increasing order; we don't want to release the other process
	 * until it can get all the locks it needs. (2) This avoids O(N^2)
	 * behavior inside LWLockRelease.
1286
	 */
1287
check_done:
B
Bruce Momjian 已提交
1288
	for (i = NUM_LOCK_PARTITIONS; --i >= 0;)
1289
		LWLockRelease(FirstLockMgrLock + i);
1290 1291 1292
}


1293 1294 1295 1296 1297 1298
/*
 * 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
B
Bruce Momjian 已提交
1299
 * before we actually reach the waiting state.	Also as with locks,
1300 1301
 * it's necessary that the caller be robust against bogus wakeups:
 * always check that the desired state has occurred, and wait again
B
Bruce Momjian 已提交
1302
 * if not.	This copes with possible "leftover" wakeups.
1303 1304 1305 1306
 */
void
ProcWaitForSignal(void)
{
1307
	PGSemaphoreLock(&MyProc->sem, true);
1308 1309 1310
}

/*
1311
 * ProcSendSignal - send a signal to a backend identified by PID
1312 1313
 */
void
1314
ProcSendSignal(int pid)
1315
{
1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340
	PGPROC	   *proc = NULL;

	if (RecoveryInProgress())
	{
		/* use volatile pointer to prevent code rearrangement */
		volatile PROC_HDR *procglobal = ProcGlobal;

		SpinLockAcquire(ProcStructLock);

		/*
		 * Check to see whether it is the Startup process we wish to signal.
		 * This call is made by the buffer manager when it wishes to wake
		 * up a process that has been waiting for a pin in so it can obtain a
		 * cleanup lock using LockBufferForCleanup(). Startup is not a normal
		 * backend, so BackendPidGetProc() will not return any pid at all.
		 * So we remember the information for this special case.
		 */
		if (pid == procglobal->startupProcPid)
			proc = procglobal->startupProc;

		SpinLockRelease(ProcStructLock);
	}

	if (proc == NULL)
		proc = BackendPidGetProc(pid);
1341 1342

	if (proc != NULL)
1343
		PGSemaphoreUnlock(&proc->sem);
1344 1345 1346
}


1347 1348 1349 1350 1351 1352 1353 1354 1355
/*****************************************************************************
 * SIGALRM interrupt support
 *
 * Maybe these should be in pqsignal.c?
 *****************************************************************************/

/*
 * Enable the SIGALRM interrupt to fire after the specified delay
 *
1356
 * Delay is given in milliseconds.	Caller should be sure a SIGALRM
1357 1358
 * signal handler is installed before this is called.
 *
1359 1360
 * This code properly handles nesting of deadlock timeout alarms within
 * statement timeout alarms.
1361
 *
1362 1363 1364
 * Returns TRUE if okay, FALSE on failure.
 */
bool
1365
enable_sig_alarm(int delayms, bool is_statement_timeout)
1366
{
1367
	TimestampTz fin_time;
1368
	struct itimerval timeval;
1369

1370 1371
	if (is_statement_timeout)
	{
1372 1373 1374 1375 1376 1377 1378 1379 1380 1381
		/*
		 * Begin statement-level timeout
		 *
		 * Note that we compute statement_fin_time with reference to the
		 * statement_timestamp, but apply the specified delay without any
		 * correction; that is, we ignore whatever time has elapsed since
		 * statement_timestamp was set.  In the normal case only a small
		 * interval will have elapsed and so this doesn't matter, but there
		 * are corner cases (involving multi-statement query strings with
		 * embedded COMMIT or ROLLBACK) where we might re-initialize the
B
Bruce Momjian 已提交
1382 1383 1384 1385
		 * statement timeout long after initial receipt of the message. In
		 * such cases the enforcement of the statement timeout will be a bit
		 * inconsistent.  This annoyance is judged not worth the cost of
		 * performing an additional gettimeofday() here.
1386
		 */
1387
		Assert(!deadlock_timeout_active);
1388 1389
		fin_time = GetCurrentStatementStartTimestamp();
		fin_time = TimestampTzPlusMilliseconds(fin_time, delayms);
1390
		statement_fin_time = fin_time;
1391
		cancel_from_timeout = false;
1392
		statement_timeout_active = true;
1393 1394 1395 1396 1397 1398
	}
	else if (statement_timeout_active)
	{
		/*
		 * Begin deadlock timeout with statement-level timeout active
		 *
1399 1400 1401 1402
		 * 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.
1403 1404 1405
		 *
		 * 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 已提交
1406 1407 1408
		 * 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.
1409
		 */
1410 1411
		timeout_start_time = GetCurrentTimestamp();
		fin_time = TimestampTzPlusMilliseconds(timeout_start_time, delayms);
1412
		deadlock_timeout_active = true;
1413
		if (fin_time >= statement_fin_time)
1414 1415 1416 1417 1418 1419
			return true;
	}
	else
	{
		/* Begin deadlock timeout with no statement-level timeout */
		deadlock_timeout_active = true;
1420 1421 1422
		/* GetCurrentTimestamp can be expensive, so only do it if we must */
		if (log_lock_waits)
			timeout_start_time = GetCurrentTimestamp();
1423
	}
1424

1425
	/* If we reach here, okay to set the timer interrupt */
1426
	MemSet(&timeval, 0, sizeof(struct itimerval));
1427 1428
	timeval.it_value.tv_sec = delayms / 1000;
	timeval.it_value.tv_usec = (delayms % 1000) * 1000;
1429
	if (setitimer(ITIMER_REAL, &timeval, NULL))
1430
		return false;
1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451
	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)
1452
	{
1453
		struct itimerval timeval;
1454

1455
		MemSet(&timeval, 0, sizeof(struct itimerval));
1456
		if (setitimer(ITIMER_REAL, &timeval, NULL))
1457
		{
1458 1459 1460
			statement_timeout_active = false;
			cancel_from_timeout = false;
			deadlock_timeout_active = false;
1461 1462
			return false;
		}
1463 1464
	}

1465 1466 1467 1468
	/* Always cancel deadlock timeout, in case this is error cleanup */
	deadlock_timeout_active = false;

	/* Cancel or reschedule statement timeout */
1469
	if (is_statement_timeout)
1470
	{
1471
		statement_timeout_active = false;
1472 1473
		cancel_from_timeout = false;
	}
1474 1475 1476 1477 1478
	else if (statement_timeout_active)
	{
		if (!CheckStatementTimeout())
			return false;
	}
1479 1480 1481
	return true;
}

1482

1483
/*
1484 1485 1486
 * 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.
1487
 *
1488
 * Returns true if okay, false if failed to set the interrupt.
1489
 */
1490 1491
static bool
CheckStatementTimeout(void)
1492
{
1493
	TimestampTz now;
B
Bruce Momjian 已提交
1494

1495 1496 1497
	if (!statement_timeout_active)
		return true;			/* do nothing if not active */

1498
	now = GetCurrentTimestamp();
1499

1500
	if (now >= statement_fin_time)
1501
	{
1502 1503
		/* Time to die */
		statement_timeout_active = false;
1504
		cancel_from_timeout = true;
1505 1506 1507 1508
#ifdef HAVE_SETSID
		/* try to signal whole process group */
		kill(-MyProcPid, SIGINT);
#endif
1509
		kill(MyProcPid, SIGINT);
1510 1511 1512 1513
	}
	else
	{
		/* Not time yet, so (re)schedule the interrupt */
1514 1515
		long		secs;
		int			usecs;
1516 1517
		struct itimerval timeval;

1518 1519
		TimestampDifference(now, statement_fin_time,
							&secs, &usecs);
B
Bruce Momjian 已提交
1520

1521 1522 1523 1524 1525 1526
		/*
		 * It's possible that the difference is less than a microsecond;
		 * ensure we don't cancel, rather than set, the interrupt.
		 */
		if (secs == 0 && usecs == 0)
			usecs = 1;
1527
		MemSet(&timeval, 0, sizeof(struct itimerval));
1528 1529
		timeval.it_value.tv_sec = secs;
		timeval.it_value.tv_usec = usecs;
1530
		if (setitimer(ITIMER_REAL, &timeval, NULL))
1531 1532 1533
			return false;
	}

1534 1535
	return true;
}
1536 1537 1538


/*
1539 1540 1541 1542 1543 1544
 * 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.
1545 1546 1547 1548
 */
void
handle_sig_alarm(SIGNAL_ARGS)
{
1549 1550 1551
	int			save_errno = errno;

	if (deadlock_timeout_active)
1552
	{
1553
		deadlock_timeout_active = false;
1554 1555
		CheckDeadLock();
	}
1556 1557 1558 1559 1560

	if (statement_timeout_active)
		(void) CheckStatementTimeout();

	errno = save_errno;
1561
}