package eio

  1. Overview
  2. No Docs
Effect-based direct-style IO API for OCaml

Install 

dune-project
 Dependency

github.com Edit opam file Versions (19)

Authors

  1. A
    Anil Madhavapeddy
  2. T
    Thomas Leonard

Maintainers

  1. A
    anil@recoil.org

Sources

eio-1.3.tbz
sha256=8ed5c13e6689f31c85dca5f12762d84b8cc0042a7b07d3e464df6eb4b72b3dfc
sha512=46e8f817f32c3316e7f35835a136ad177a295b3306351eb2efa2386482b0169a5b19ed2925b32da2a1f10d40f083fe3d588dd401908f9fec6e4a44cd68535204

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.