Portability | non-portable (requires POSIX) |
---|---|
Stability | provisional |
Maintainer | libraries@haskell.org |
Safe Haskell | Trustworthy |
POSIX process support. See also the System.Cmd and System.Process modules in the process package.
- forkProcess :: IO () -> IO ProcessID
- executeFile :: RawFilePath -> Bool -> [ByteString] -> Maybe [(ByteString, ByteString)] -> IO a
- exitImmediately :: ExitCode -> IO ()
- getProcessID :: IO ProcessID
- getParentProcessID :: IO ProcessID
- getProcessGroupID :: IO ProcessGroupID
- getProcessGroupIDOf :: ProcessID -> IO ProcessGroupID
- createProcessGroupFor :: ProcessID -> IO ProcessGroupID
- joinProcessGroup :: ProcessGroupID -> IO ()
- setProcessGroupIDOf :: ProcessID -> ProcessGroupID -> IO ()
- createSession :: IO ProcessGroupID
- data ProcessTimes = ProcessTimes {}
- getProcessTimes :: IO ProcessTimes
- nice :: Int -> IO ()
- getProcessPriority :: ProcessID -> IO Int
- getProcessGroupPriority :: ProcessGroupID -> IO Int
- getUserPriority :: UserID -> IO Int
- setProcessPriority :: ProcessID -> Int -> IO ()
- setProcessGroupPriority :: ProcessGroupID -> Int -> IO ()
- setUserPriority :: UserID -> Int -> IO ()
- data ProcessStatus
- getProcessStatus :: Bool -> Bool -> ProcessID -> IO (Maybe ProcessStatus)
- getAnyProcessStatus :: Bool -> Bool -> IO (Maybe (ProcessID, ProcessStatus))
- getGroupProcessStatus :: Bool -> Bool -> ProcessGroupID -> IO (Maybe (ProcessID, ProcessStatus))
- createProcessGroup :: ProcessID -> IO ProcessGroupID
- setProcessGroupID :: ProcessID -> ProcessGroupID -> IO ()
Processes
Forking and executing
forkProcess :: IO () -> IO ProcessIDSource
forkProcess
corresponds to the POSIX fork
system call.
The IO
action passed as an argument is executed in the child process; no other
threads will be copied to the child process.
On success, forkProcess
returns the child's ProcessID
to the parent process;
in case of an error, an exception is thrown.
forkProcess
comes with a giant warning: since any other running
threads are not copied into the child process, it's easy to go wrong:
e.g. by accessing some shared resource that was held by another thread
in the parent.
:: RawFilePath | Command |
-> Bool | Search PATH? |
-> [ByteString] | Arguments |
-> Maybe [(ByteString, ByteString)] | Environment |
-> IO a |
calls one of the
executeFile
cmd args envexecv*
family, depending on whether or not the current
PATH is to be searched for the command, and whether or not an
environment is provided to supersede the process's current
environment. The basename (leading directory names suppressed) of
the command is passed to execv*
as arg[0]
;
the argument list passed to executeFile
therefore
begins with arg[1]
.
Exiting
exitImmediately :: ExitCode -> IO ()Source
calls exitImmediately
status_exit
to terminate the process
with the indicated exit status
.
The operation never returns.
Process environment
getProcessID :: IO ProcessIDSource
getProcessID
calls getpid
to obtain the ProcessID
for
the current process.
getParentProcessID :: IO ProcessIDSource
getProcessID
calls getppid
to obtain the ProcessID
for
the parent of the current process.
Process groups
getProcessGroupID :: IO ProcessGroupIDSource
getProcessGroupID
calls getpgrp
to obtain the
ProcessGroupID
for the current process.
getProcessGroupIDOf :: ProcessID -> IO ProcessGroupIDSource
calls getProcessGroupIDOf
pidgetpgid
to obtain the
ProcessGroupID
for process pid
.
createProcessGroupFor :: ProcessID -> IO ProcessGroupIDSource
calls createProcessGroupFor
pidsetpgid
to make
process pid
a new process group leader.
joinProcessGroup :: ProcessGroupID -> IO ()Source
calls joinProcessGroup
pgidsetpgid
to set the
ProcessGroupID
of the current process to pgid
.
setProcessGroupIDOf :: ProcessID -> ProcessGroupID -> IO ()Source
calls setProcessGroupIDOf
pid pgidsetpgid
to set the
ProcessGroupIDOf
for process pid
to pgid
.
Sessions
createSession :: IO ProcessGroupIDSource
createSession
calls setsid
to create a new session
with the current process as session leader.
Process times
data ProcessTimes Source
getProcessTimes :: IO ProcessTimesSource
getProcessTimes
calls times
to obtain time-accounting
information for the current process and its children.
Scheduling priority
getUserPriority :: UserID -> IO IntSource
setProcessPriority :: ProcessID -> Int -> IO ()Source
setProcessGroupPriority :: ProcessGroupID -> Int -> IO ()Source
setUserPriority :: UserID -> Int -> IO ()Source
Process status
data ProcessStatus Source
getProcessStatus :: Bool -> Bool -> ProcessID -> IO (Maybe ProcessStatus)Source
calls getProcessStatus
blk stopped pidwaitpid
, returning
, the Just
tcProcessStatus
for process pid
if it is
available, Nothing
otherwise. If blk
is False
, then
WNOHANG
is set in the options for waitpid
, otherwise not.
If stopped
is True
, then WUNTRACED
is set in the
options for waitpid
, otherwise not.
getAnyProcessStatus :: Bool -> Bool -> IO (Maybe (ProcessID, ProcessStatus))Source
calls getAnyProcessStatus
blk stoppedwaitpid
, returning
, the Just
(pid, tc)ProcessID
and ProcessStatus
for any
child process if one is available, Nothing
otherwise. If
blk
is False
, then WNOHANG
is set in the options for
waitpid
, otherwise not. If stopped
is True
, then
WUNTRACED
is set in the options for waitpid
, otherwise not.
getGroupProcessStatus :: Bool -> Bool -> ProcessGroupID -> IO (Maybe (ProcessID, ProcessStatus))Source
calls getGroupProcessStatus
blk stopped pgidwaitpid
,
returning
, the Just
(pid, tc)ProcessID
and
ProcessStatus
for any process in group pgid
if one is
available, Nothing
otherwise. If blk
is False
, then
WNOHANG
is set in the options for waitpid
, otherwise not.
If stopped
is True
, then WUNTRACED
is set in the
options for waitpid
, otherwise not.
Deprecated
createProcessGroup :: ProcessID -> IO ProcessGroupIDSource
calls createProcessGroup
pidsetpgid
to make
process pid
a new process group leader.
This function is currently deprecated,
and might be changed to making the current
process a new process group leader in future versions.
setProcessGroupID :: ProcessID -> ProcessGroupID -> IO ()Source
calls setProcessGroupID
pid pgidsetpgid
to set the
ProcessGroupID
for process pid
to pgid
.
This function is currently deprecated,
and might be changed to setting the ProcessGroupID
for the current process in future versions.