On Thu, Dec 24, 2020 at 9:12 PM Michael Paquier <mich...@paquier.xyz> wrote: > On Mon, Dec 21, 2020 at 10:11:53PM -0600, Justin Pryzby wrote: > > Specifies the amount of memory that should be allocated at server > > - startup time for use by parallel queries. When this memory region > > is > > + startup for use by parallel queries. When this memory region is > > insufficient or exhausted by concurrent queries, new parallel > > queries > > try to allocate extra shared memory temporarily from the operating > > system using the method configured with > > <varname>dynamic_shared_memory_type</varname>, which may be slower > > due > > to memory management overheads. Memory that is allocated at > > startup > > - time with <varname>min_dynamic_shared_memory</varname> is affected > > by > > + with <varname>min_dynamic_shared_memory</varname> is affected by > > the <varname>huge_pages</varname> setting on operating systems > > where > > that is supported, and may be more likely to benefit from larger > > pages > > on operating systems where that is managed automatically. > > The current formulation is not that confusing, but I agree that this > is an improvement. Thomas, you are behind this one. What do you > think?
LGTM.
