1 files changed, 110 insertions, 0 deletions
diff --git a/ocaml-binary-annot/otherlibs/unix/select.c b/ocaml-binary-annot/otherlibs/unix/select.c
new file mode 100644
index 0000000000..612d597014
--- /dev/null
+++ b/ocaml-binary-annot/otherlibs/unix/select.c
@@ -0,0 +1,110 @@
+/***********************************************************************/
+/*                                                                     */
+/*                           Objective Caml                            */
+/*                                                                     */
+/*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         */
+/*                                                                     */
+/*  Copyright 1996 Institut National de Recherche en Informatique et   */
+/*  en Automatique.  All rights reserved.  This file is distributed    */
+/*  under the terms of the GNU Library General Public License, with    */
+/*  the special exception on linking described in file ../../LICENSE.  */
+/*                                                                     */
+/***********************************************************************/
+
+/* $Id$ */
+
+#include <mlvalues.h>
+#include <alloc.h>
+#include <fail.h>
+#include <memory.h>
+#include <signals.h>
+#include "unixsupport.h"
+
+#ifdef HAS_SELECT
+
+#include <sys/types.h>
+#include <sys/time.h>
+#ifdef HAS_SYS_SELECT_H
+#include <sys/select.h>
+#endif
+#include <string.h>
+#include <unistd.h>
+
+typedef fd_set file_descr_set;
+
+static void fdlist_to_fdset(value fdlist, fd_set *fdset, int *maxfd)
+{
+  value l;
+  FD_ZERO(fdset);
+  for (l = fdlist; l != Val_int(0); l = Field(l, 1)) {
+    int fd = Int_val(Field(l, 0));
+    FD_SET(fd, fdset);
+    if (fd > *maxfd) *maxfd = fd;
+  }
+}
+
+static value fdset_to_fdlist(value fdlist, fd_set *fdset)
+{
+  value l;
+  value res = Val_int(0);
+
+  Begin_roots2(l, res);
+    for (l = fdlist; l != Val_int(0); l = Field(l, 1)) {
+      int fd = Int_val(Field(l, 0));
+      if (FD_ISSET(fd, fdset)) {
+        value newres = alloc_small(2, 0);
+        Field(newres, 0) = Val_int(fd);
+        Field(newres, 1) = res;
+        res = newres;
+      }
+    }
+  End_roots();
+  return res;
+}
+
+CAMLprim value unix_select(value readfds, value writefds, value exceptfds,
+                           value timeout)
+{
+  fd_set read, write, except;
+  int maxfd;
+  double tm;
+  struct timeval tv;
+  struct timeval * tvp;
+  int retcode;
+  value res;
+
+  Begin_roots3 (readfds, writefds, exceptfds);
+    maxfd = -1;
+    fdlist_to_fdset(readfds, &read, &maxfd);
+    fdlist_to_fdset(writefds, &write, &maxfd);
+    fdlist_to_fdset(exceptfds, &except, &maxfd);
+    tm = Double_val(timeout);
+    if (tm < 0.0)
+      tvp = (struct timeval *) NULL;
+    else {
+      tv.tv_sec = (int) tm;
+      tv.tv_usec = (int) (1e6 * (tm - tv.tv_sec));
+      tvp = &tv;
+    }
+    enter_blocking_section();
+    retcode = select(maxfd + 1, &read, &write, &except, tvp);
+    leave_blocking_section();
+    if (retcode == -1) uerror("select", Nothing);
+    readfds = fdset_to_fdlist(readfds, &read);
+    writefds = fdset_to_fdlist(writefds, &write);
+    exceptfds = fdset_to_fdlist(exceptfds, &except);
+    res = alloc_small(3, 0);
+    Field(res, 0) = readfds;
+    Field(res, 1) = writefds;
+    Field(res, 2) = exceptfds;
+  End_roots();
+  return res;
+}
+
+#else
+
+CAMLprim value unix_select(value readfds, value writefds, value exceptfds,
+                           value timeout)
+{ invalid_argument("select not implemented"); }
+
+#endif