Function process_alive 

pub fn process_alive(pid: u32) -> bool

true if the process identified by pid is still running. ESRCH from kill(pid, 0) is treated as dead. Any other error (notably EPERM — the process exists but is owned by a different user) is treated as alive: “alive in another uid namespace” still means the reservation might be valid.