Re: Vacuuming the operating system documentation

Thomas Munro <thomas(dot)munro(at)gmail(dot)com> writes:
> On Mon, Jun 8, 2020 at 3:00 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> ... Unfortunately it seems there's nothing
>> equivalent for POSIX shmem, so (2) is possible. See

> Ah, I see. Ok, I propose we update the example symptom to (2), and
> back-patch to 10. See attached.

+1, except s/attemping/attempting/

>> Relevant to the current discussion: this creates a possible positive
>> reason for setting dynamic_shared_memory_type to "sysv", namely if it's
>> the best available way to get around RemoveIPC in a particular situation.
>> Should we document that?

> Doesn't seem worth the trouble, especially since the real solution is
> to tell systemd to back off by one of the two methods described.

Agreed.

regards, tom lane