Module process 

Constants

TERMINATE_GRACE

Functions

is_process_alive

is_recorded_process_alive

Check that a persisted PID still names the process instance launched for a task. On platforms without process start-time inspection, a live PID is protected; deleting a live task is worse than temporarily retaining a recycled PID.

terminate_pgid

terminate_process