Up

module Netsys_pollset_win32

: sig

Pollsets for Win32

#
exception Too_many_descriptors
#
val pollset : unit -> Netsys_pollset.pollset

This is a pollset implementation that works for

  • sockets, and
  • named pipes as provided by [root:Netsys_win32] (add the descriptors returned by pipe_descr or pipe_server_descr to the pollset)

The number of descriptors that can be added to the pollset has a quite low limit (usually 63 sockets or 31 pipes). If the number is exceeded the exception Too_many_descriptors is raised (by add).

POLLERR, POLLHUP, and POLLNVAL are not detected by this impl.

#
val threaded_pollset : unit -> Netsys_pollset.pollset

This implementation overcomes the limit on the number of descriptors one can add to the set. It is, however, only available for multi-threaded programs, because it uses helper threads.

#
module Debug : sig
#
val enable : bool Pervasives.ref

Enables [root:Netlog]-style debugging of this module

end
end