Plasma GitLab Archive
Projects Blog Knowledge

(* $Id: netsys_pollset_win32.mli 1262 2009-08-31 18:14:21Z gerd $ *)

(** Pollsets for Win32 *)

open Netsys_pollset

exception Too_many_descriptors

val pollset : unit -> pollset
  (** This is a pollset implementation that works for 
       - sockets, and
       - named pipes as provided by {!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 -> 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 ref
    (** Enables {!Netlog}-style debugging of this module  *)
end

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml