package vchan
Library
Module
Module type
Parameter
Class
Class type
include 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 port_of_string : string -> (port, [> `Msg of string ]) Stdlib.resultval string_of_port : port -> stringan 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 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