package eio

  1. Overview
  2. Docs
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/Eio/Private/Trace/index.html

Module Private.TraceSource

Trace Eio events using OCaml's runtime events system.

Sourcetype id = private int

Each thread/fiber/promise is identified by a unique ID.

Sourceval mint_id : unit -> id

mint_id () is a fresh unique id.

Recording events

Libraries and applications can use these functions to make the traces more useful.

Sourceval log : string -> unit

log msg attaches text msg to the current fiber.

Sourceval name : id -> string -> unit

name id label sets label as the name for id.

Sourceval with_span : string -> (unit -> 'a) -> 'a

with_span op fn runs fn (), labelling the timespan during which it runs with op.

Sourceval suspend_fiber : string -> unit

suspend_fiber op records that the current fiber is now suspended waiting for op.

Recording system events

These are normally only called by the scheduler.

Sourceval create_fiber : cc:id -> id -> unit

create_fiber ~cc id records the creation of fiber id in context cc.

Sourceval create_cc : id -> Eio_runtime_events.cc_ty -> unit

create_cc id ty records the creation of cancellation context id.

Sourceval create_obj : ?label:string -> id -> Eio_runtime_events.obj_ty -> unit

create_obj id ty records the creation of id.

Sourceval get : id -> unit

get src records reading a promise, taking from a stream, taking a lock, etc.

Sourceval try_get : id -> unit

try_get src records that the current fiber wants to get from src (which is not currently ready).

Sourceval put : id -> unit

put dst records resolving a promise, adding to a stream, releasing a lock, etc.

Sourceval fiber : id -> unit

fiber id records that id is now the current fiber for this domain.

Sourceval suspend_domain : Runtime_events.Type.span -> unit

suspend_domain records when the event loop is stopped waiting for events from the OS.

Sourceval domain_spawn : parent:id -> unit

domain_spawn ~parent records that the current domain was spawned by fiber parent.

Sourceval exit_cc : unit -> unit

exit_cc () records that the current CC has finished.

Sourceval exit_fiber : id -> unit

exit_fiber id records that fiber id has finished.

Sourceval error : id -> exn -> unit

error id exn records that id received an error.