Make sure __death messages hit the correct proc
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 13 Jun 2018 22:12:49 +0000 (18:12 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 13 Jun 2018 22:12:49 +0000 (18:12 -0400)
commita44067a0d12b76b09441ccf8cf834e558797b3a0
tree1fc1e1dcc2452b02ea2985ede4f1b2b61d581021
parentd3d87f64cda1511505b9dee183686c3eb5cb2884
Make sure __death messages hit the correct proc

Similar to __preempt, we now track the process that the message is meant
for.  AFAIK, we should not be sending __death messages to a process that
isn't the owning_proc, though it might not be the current_proc.

We had a bug where owning_proc was cleared and the __death was getting sent
to the wrong process.  Hilarity ensued.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/process.c