Add huge_page_size setting for use on Linux.
This allows the huge page size to be set explicitly. The default is 0,
meaning it will use the system default, as before.
Author: Odin Ugedal <odin@ugedal.com>
Discussion: https://postgr.es/m/20200608154639.20254-1-odin%40ugedal.com
Branch
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/d2bddc2500fb74d56e5bc53a1cfa269e2e846510
Modified Files
--------------
doc/src/sgml/config.sgml | 27 ++++++++++++
doc/src/sgml/runtime.sgml | 55 +++++++++++++++---------
src/backend/port/sysv_shmem.c | 62 +++++++++++++++++++--------
src/backend/utils/misc/guc.c | 32 +++++++++++++-
src/backend/utils/misc/postgresql.conf.sample | 2 +
src/include/storage/pg_shmem.h | 1 +
6 files changed, 141 insertions(+), 38 deletions(-)