Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package vchan-unix
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include Vchan.S.EVENTS
an identifier for a source of events. Ports are allocated by calls to listen, then exchanged out-of-band (typically by xenstore) and finally calls to connect creates a channel between the two domains. Events are send and received over these channels.
val sexp_of_port : port -> Sexplib0.Sexp.tval port_of_string : string -> [ `Ok of port | `Error of string ]val string_of_port : port -> stringval sexp_of_channel : channel -> Sexplib0.Sexp.tan event notification received from a remote domain. Events contain no data and may be coalesced. Domains which are blocked will be woken up by an event.
val sexp_of_event : event -> Sexplib0.Sexp.tval initial : eventrepresents an event which 'fired' when the program started
recv channel event blocks until the system receives an event newer than event on channel channel. If an event is received while we aren't looking then this will be remembered and the next call to after will immediately unblock. If the system is suspended and then resumed, all event channel bindings are invalidated and this function will fail with Generation.Invalid
val send : channel -> unitsend channel sends an event along channel, to another domain which will be woken up
listen domid allocates a fresh port and event channel. The port may be supplied to connect
val close : channel -> unitclose channel closes this side of an event channel