Re: [Qemu-devel] [ANNOUNCE] QEMU 0.14.0-rc2 is available

[Gerd Hoffmann]

  Hi,

> > Indeed. It isn't a pidfile, it is a shared memory segment where spice
> > stores statistics. spice registers a cleanup handler via atexit()
> > which removes this
>
> fork() with an inherited pipe and then waiting for EOF on the pipe() is
> a bit more robust of a mechanism to handle this.

Feels a bit like overkill in that case though.  The extra process 
doesn't come for free.  We are talking about a shared memory segment 
with a single page only.  It is leaked only on crashes.  It can 
trivially be cleaned up manually if needed, just rm the file.

cheers,
  Gerd