]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56a7147) | patch
Use signals for postmaster death on Linux.
authorThomas Munro <tmunro@postgresql.org>
Wed, 11 Jul 2018 00:40:58 +0000 (12:40 +1200)
committerThomas Munro <tmunro@postgresql.org>
Wed, 11 Jul 2018 00:47:06 +0000 (12:47 +1200)
commit9f09529952ac41a10e5874cba745c1c24e67ac79
tree2648f22d9b6c1bd0767e73415688031ae16b5cf3tree | snapshot
parent56a714721343e6f52c0b1b911c0f160592348e84commit | diff
Use signals for postmaster death on Linux.

Linux provides a way to ask for a signal when your parent process dies.
Use that to make PostmasterIsAlive() very cheap.

Based on a suggestion from Andres Freund.

Author: Thomas Munro, Heikki Linnakangas
Reviewed-By: Michael Paquier
Discussion: https://postgr.es/m/7261eb39-0369-f2f4-1bb5-62f3b6083b5e%40iki.fi
Discussion: https://postgr.es/m/20180411002643.6buofht4ranhei7k%40alap3.anarazel.de
configure diff | blob | history
configure.in diff | blob | history
src/backend/storage/ipc/latch.c diff | blob | history
src/backend/storage/ipc/pmsignal.c diff | blob | history
src/backend/utils/init/miscinit.c diff | blob | history
src/include/pg_config.h.in diff | blob | history
src/include/pg_config.h.win32 diff | blob | history
src/include/storage/pmsignal.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.