des@des.no (=?iso-8859-1?q?Dag-Erling_Sm=F8rgrav?=) writes:
> You can use file-backed shared memory instead. You need a directory
> which you know is writeable and unique to this instance, on a file
> system with enough free space to accomodate the full size of the
> shared memory segment. DataDir is probably a good choice. If the
> file does not exist, you create it at startup. If it does exist, you
> map it in and perform the same checks as in the SysV case.
The check we need is "are there any other processes (still) attached to
this shmem" and AFAIK that is not available in the mmap API. Do you
know how to get it?
> Anyway, I'm not sure you fully understand the problem this patch
> addresses.
Yes, I do. I'm not interested in substituting a risk of data corruption
for them.
regards, tom lane