The standard library Threadkit_Spawn api defines access to functionality for conveniently firing up subprocesses for multithreaded Mythryl programs. This functionality is built on top of Posix_1003_1b fork functionality; it encapsulates most of the work required to do a useful fork of a subprocess.
The Threadkit_Spawn api is implemented by the threadkit_spawn package.
The Threadkit_Spawn api source code is in src/lib/std/src/posix/threadkit-spawn.api.
See also: Posix_1003_1b.
See also: Spawn.
The above information is manually maintained and may contain errors.
api {
Process ;
spawn_process_in_environment : (String , List(String ) , List(String ))
-> Process;
spawn_process : (String , List(String )) -> Process;
spawn : (String , List(String ))
-> {from_stream:threadkit_winix_text_file_for_posix::Input_Stream,
process:Process,
to_stream:threadkit_winix_text_file_for_posix::Output_Stream};
streams_of : Process
-> (threadkit_winix_text_file_for_posix::Input_Stream
, threadkit_winix_text_file_for_posix::Output_Stream);
reap_mailop : Process -> Mailop(?.posix_process::Exit_Status );
reap : Process -> ?.posix_process::Exit_Status;
kill : (Process , ?.posix_signal::Signal) -> Void;
};