Function on_process_died 

pub fn on_process_died(pid: usize)

パニックハンドラから呼ぶ。ロックを取らない。

pid が枠を持っていたら解放し、種別ごとの死亡数を 1 増やす。 種別の数え上げは pump() が active_workers の補正に使う。