14.3.7  Posix_Process

The standard library Posix_Process api is a sub-API of the Posixlib api.

The above information is manually maintained and may contain errors.

api {
    eqtype Process_Id;
    unt_to_pid : one_word_unt::Unt -> Process_Id;
    pid_to_unt : Process_Id -> one_word_unt::Unt;
    fork : Void -> Null_Or(Process_Id );
    exec : (String , List(String )) -> X;
    exece : (String , List(String ) , List(String )) -> X;
    execp : (String , List(String )) -> X;
    Waitpid_Arg  = W_ANY_CHILD | W_CHILD Process_Id | W_GROUP Process_Id | W_SAME_GROUP;
        Exit_Status
        = W_EXITED
        |
        W_EXITSTATUS
        one_byte_unt::Unt
        |
        W_SIGNALED
        interprocess_signals::Signal
        |
        W_STOPPED
        interprocess_signals::Signal;
        package w
          : api {
                eqtype Flags;
                to_unt : Flags -> one_word_unt::Unt;
                from_unt : one_word_unt::Unt -> Flags;
                all : Flags;
                flags : List(Flags ) -> Flags;
                intersect : List(Flags ) -> Flags;
                clear : (Flags , Flags) -> Flags;
                all_set : (Flags , Flags) -> Bool;
                any_set : (Flags , Flags) -> Bool;
                untraced : Flags;};;
    wait : Void -> (Process_Id , Exit_Status);
    waitpid : (Waitpid_Arg , List(w::Flags )) -> (Process_Id , Exit_Status);
        waitpid_without_blocking :
        (Waitpid_Arg , List(w::Flags )) -> Null_Or(((Process_Id , Exit_Status)) );
    exit : one_byte_unt::Unt -> X;
    Killpid_Arg  = K_GROUP Process_Id | K_PROC Process_Id | K_SAME_GROUP;
    kill : (Killpid_Arg , interprocess_signals::Signal) -> Void;
    alarm : time::Time -> time::Time;
    pause : Void -> Void;
    sleep : time::Time -> time::Time;
    osval : String -> Int;
    osval__syscall : String -> Int;
        set__osval__ref :
        ({fun_name:String, io_call:String -> Int, lib_name:String} -> String -> Int) -> Void;
    sysconf__syscall : String -> one_word_unt::Unt;
        set__sysconf__ref :
                (
                {fun_name:String, io_call:String -> one_word_unt::Unt, lib_name:String}
                ->
                String -> one_word_unt::Unt
                )
            ->
            Void;
    waitpid__syscall : (Int , one_word_unt::Unt) -> (Int , Int , Int);
        set__waitpid__ref :
                (
                {fun_name:String, io_call:(Int , one_word_unt::Unt) -> (Int , Int , Int), lib_name:String}
                ->
                (Int , one_word_unt::Unt) -> (Int , Int , Int)
                )
            ->
            Void;
    kill__syscall : (Int , Int) -> Void;
        set__kill__ref :
        ({fun_name:String, io_call:(Int , Int) -> Void, lib_name:String} -> (Int , Int) -> Void) -> Void;};