Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-07-08 18:33:53 -0700 (Thu, 08 Jul 2004)
Revision: 412
Log message:

      Fixing the select hack on win32, I did some of this in Japan.
      This is a branch because I'm not sure if we will want to commit it.
      
      The issue is this:
         1. omake uses select to poll the running jobs for output.
         2. win32 does not support select on pipes, but it does
            on sockets.
         3. The current hack is to use localhost TCP sockets on win32,
            but this is probably slow.
         4. This branch will try using threads, and see if it works better.
      

Changes  Path
+31 -0 libmojave-branches/thread_select/stdlib/lm_map.ml
+1 -0 libmojave-branches/thread_select/stdlib/lm_map_sig.mlz
+5 -0 omake-branches/thread_select/Files
+4 -0 omake-branches/thread_select/Makefile.dep.nt
+5 -5 omake-branches/thread_select/Makefile.nt
+2 -2 omake-branches/thread_select/OMakeroot.src.in
Added omake-branches/thread_select/omake_exec_thread.ml
Properties omake-branches/thread_select/omake_exec_thread.ml
Added omake-branches/thread_select/omake_exec_thread.mli
Properties omake-branches/thread_select/omake_exec_thread.mli
+2 -0 omake-branches/thread_select/src/exec/omake_exec.ml
+65 -68 omake-branches/thread_select/src/exec/omake_exec_local.ml
+7 -9 omake-branches/thread_select/src/exec/omake_exec_remote.ml
+2 -74 omake-branches/thread_select/src/exec/omake_exec_util.ml
+4 -3 omake-branches/thread_select/src/exec/omake_exec_util.mli