package eio

  1. Overview
  2. Docs
On This Page
  1. Actions
Effect-based direct-style IO API for OCaml

Install 

dune-project
 Dependency

github.com Edit opam file Versions (20)

Authors

  1. A
    Anil Madhavapeddy
  2. T
    Thomas Leonard

Maintainers

  1. A
    anil@recoil.org

Sources

eio-1.4.tbz
sha256=ba11ad486f492130dbb486f2b3bdc4905643f10016806ddf86e9a34e4346aaa5
sha512=57ef2c137ccdc26d8029e636b6a4ee92da7c6b2f35954946bd56ca595d6947a8ec42f6f83f8552f73d6719e6ce2314cae2e2fad1686a387522935e6f90e9a8d9

doc/eio.unix/Eio_unix/Private/Fork_action/index.html

Module Private.Fork_actionSource

Actions to perform after forking a child process.

To spawn a child executable on Unix, the parent forks a copy of itself, then has the child copy set up the environment for the new program and execute it.

However, we cannot run any OCaml code in the forked child process. This is because `fork` only duplicates its own domain. To the child, it appears that all other domains have stopped responding and if it tries to e.g. perform a GC then the child process will hang.

Therefore, the fork call and all child actions need to be written in C. This module provides some support code for doing that. Individual backends will wrap these actions with higher-level APIs and can also add their own platform-specific actions.

Sourcetype fork_fn

A C function, as defined in "include/fork_action.h".

Sourcetype c_action = Obj.t

An action to be performed in a child process after forking. This must be a tuple whose first field is a fork_fn.

Sourcetype t = {
  1. run : 'a. (c_action -> 'a) -> 'a;
}

An action that calls run k in the parent process to create the C action. run passes the action to k, which forks the child and runs it. When k returns, run can free any resources used.

Sourceval with_actions : t list -> (c_action list -> 'a) -> 'a

Actions

Sourceval execve : string -> argv:string array -> env:string array -> t

See execve(2).

This replaces the current executable, so it only makes sense as the last action to be performed.

Sourceval chdir : string -> t

chdir path changes directory to path.

Sourceval fchdir : Fd.t -> t

fchdir fd changes directory to fd.

Sourcetype blocking = [
  1. | `Blocking
    (*

    Clear the O_NONBLOCK flag in the child process.

    *)
  2. | `Nonblocking
    (*

    Set the O_NONBLOCK flag in the child process.

    *)
  3. | `Preserve_blocking
    (*

    Don't change the blocking mode of the FD.

    *)
]
Sourceval inherit_fds : (int * Fd.t * [< blocking ]) list -> t

inherit_fds mapping marks file descriptors as not close-on-exec and renumbers them.

For each (fd, src, flags) in mapping, we use dup2 to duplicate src as fd. If there are cycles in mapping, a temporary FD is used to break the cycle. A mapping from an FD to itself simply clears the close-on-exec flag.

After this, the new FDs may also be set as blocking or non-blocking, depending on flags.

Sourceval setpgid : int -> t

setpgid pgid sets the child's process group ID to pgid.

If pgid is 0 the child's process ID will be used as the PGID, placing the child in a new process group.

Sourceval setuid : int -> t

setuid uid sets the user ID to uid.

Sourceval setgid : int -> t

setgid gid sets the group ID to gid.

Sourceval login_tty : Fd.t -> t

login_tty tty makes tty the controlling terminal of the child.

It starts a new session and makes tty the session's controlling terminal. It does not duplicate it to the child's stdin/stdout/stderr; use inherit_fds for that. tty is typically the terminal-device end of a pair returned by Eio_unix.Pty.open_pty.

Sourceval report_spawn_error : string -> 'a

report_spawn_error msg raises an exception describing a failed spawn.

msg is the message read from the errors pipe written by a failed fork action, of the form "<fn>:<errno>". The errno is turned back into a Unix.Unix_error. A message that can't be parsed is raised as a Failure.