On Wed, Mar 29, 2017 at 01:58:29PM +0200, Laszlo Ersek wrote: > (8) When QEMU gets SIGBUS from the kernel -- I hope that's going to come > through a signalfd -- QEMU can format the CPER right into guest memory, > and then inject whatever interrupt (or assert whatever GPIO line) is > necessary for notifying the guest. I think I see a race condition potential - what if guest accesses CPER in guest memory while it's being written? We can probably use another level of indirection to fix this: allocate twice the space, add a pointer to where the valid table is located and update that after writing CPER completely. The pointer can be written atomically but also needs to be read atomically, so I suspect it should be a single byte as we don't know how are OSPMs implementing this. -- MST
