#include <mplib1/pid_check.h>This header file contains the definitions for two functions which deal with process IDs.
void gen_pid_str( char *buf, pid_t the_pid );The gen_pid_str function generates an ASCII string based on the supplied program ID. The buffer should be at least PID_STR_LEN bytes long.
NB: Previously, this function would return a string giving the current pid if the parameter passed was (pid_t)0. This is no longer the case. If (pid_t)0 is passed, the string will be 0
extern int is_pid_dead( pid_t the_pid )The is_pid_dead function tests whether the supplied process is dead. If it is the function returns a non-zero value, otherwise it returns zero.