1
(* $Id: netsys_pollset_win32.mli 1262 2009-08-31 18:14:21Z gerd $ *)
3
(** Pollsets for Win32 *)
7
exception Too_many_descriptors
9
val pollset : unit -> pollset
10
(** This is a pollset implementation that works for
12
- named pipes as provided by {!Netsys_win32} (add the descriptors
13
returned by [pipe_descr] or [pipe_server_descr] to the pollset)
15
The number of descriptors that can be added to the pollset
16
has a quite low limit (usually 63 sockets or 31 pipes).
17
If the number is exceeded the exception [Too_many_descriptors]
20
POLLERR, POLLHUP, and POLLNVAL are not detected by this impl.
23
val threaded_pollset : unit -> pollset
24
(** This implementation overcomes the limit on the number of descriptors
26
to the set. It is, however, only available for multi-threaded
27
programs, because it uses helper threads.
32
(** Enables {!Netlog}-style debugging of this module *)