Quoting Tom Lane <tgl@sss.pgh.pa.us>:
> Mischa Sandberg <mischa_sandberg@telus.net> writes:
> > I'm going to skip the kill(1,0) test and depend on nattch only,
> > with a function that PGSharedMemoryIsInUse() can also use.
> > (For a healthy server, nattch is never less than 2, right?)
>
> Oh, forgot to mention: healthy servers are not the point here.
> You should make the code keep its hands off any segment with
> nonzero nattch, because even one orphaned backend is enough
> to cause trouble.
Note taken. Worth putting a warning in the log, too?
Engineers think that equations approximate reality.
Physicists think that reality approximates the equations.
Mathematicians never make the connection.