diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-06-26 09:48:00 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-06-26 09:48:00 +0000 |
commit | 0a47a75d566f3d4746b9975f97703aea005265c6 (patch) | |
tree | f87906fb7dc4d07d4b1019dfd9208244389438e1 | |
parent | 17db5ace3ec6765e28e009cca4a51ffda3cdcd56 (diff) |
MAJ doc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4951 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | otherlibs/systhreads/threadUnix.mli | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/otherlibs/systhreads/threadUnix.mli b/otherlibs/systhreads/threadUnix.mli index 4db8d348a..c05346fef 100644 --- a/otherlibs/systhreads/threadUnix.mli +++ b/otherlibs/systhreads/threadUnix.mli @@ -15,11 +15,11 @@ (** Thread-compatible system calls. - This module reimplements some of the functions from [Unix] - so that they only block the calling thread, not all threads - in the program, if they cannot complete immediately. - See the documentation of the {!Unix} module for more - precise descriptions of the functions below. *) + @deprecated The functionality of this module has been merged back into + the {!Unix} module. Threaded programs can now call the functions + from module {!Unix} directly, and still get the correct behavior + (block the calling thread, if required, but do not block all threads + in the process). *) (** {6 Process handling} *) @@ -40,13 +40,15 @@ val write : Unix.file_descr -> string -> int -> int -> int val timed_read : Unix.file_descr -> string -> int -> int -> float -> int +(** See {!ThreadUnix.timed_write}. *) + val timed_write : Unix.file_descr -> string -> int -> int -> float -> int - (** Behave as [read] and [write], except that - [Unix_error(ETIMEDOUT,_,_)] is raised if no data is - available for reading or ready for writing after [d] seconds. - The delay [d] is given in the fifth argument, in seconds. *) +(** Behave as {!ThreadUnix.read} and {!ThreadUnix.write}, except that + [Unix_error(ETIMEDOUT,_,_)] is raised if no data is + available for reading or ready for writing after [d] seconds. + The delay [d] is given in the fifth argument, in seconds. *) (** {6 Polling} *) |