]> Zhao Yanbai Git Server - minix.git/commit
PM: resolve fork/kill race condition
authorDavid van Moolenbroek <david@minix3.org>
Tue, 29 Oct 2013 23:39:55 +0000 (00:39 +0100)
committerLionel Sambuc <lionel@minix3.org>
Sat, 1 Mar 2014 08:04:59 +0000 (09:04 +0100)
commitf310aefcbd1f25ed36822f80b791077e82128132
tree4688269182439683803efa6f71bfb933059739c5
parent595d73a8966e24a72fc1ecb0efa37f8f7cac435e
PM: resolve fork/kill race condition

When a process forks, VFS is informed on behalf of the child. This is
correct, because otherwise signals to the new child could get lost.
However, that means that the parent is not blocked from being killed
by a signal while the child is blocked on this VFS call. As a result,
by the time that the VFS reply comes in, the parent may already be
dead, and the child may thus have been assigned a new parent: INIT.

Previously, PM would blindly reply to the parent when the VFS reply
for the fork came in. Thus, it could end up sending a reply to INIT,
even though INIT did not issue the fork(2) call. This could end up
satisfying a different call from INIT (typically waitpid(2)) and then
cause an error when that other call was complete.

It would be possible to set VFS_CALL on both forking parent and child.
This patch instead adds a flag (NEW_PARENT) to note that a process's
parent has changed during a VFS call.

Change-Id: Iad930b2e441db54fe6f7d2fd011f0f6a26e2923d
servers/pm/forkexit.c
servers/pm/main.c
servers/pm/mproc.h
test/test79.c