From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 77EBCBC69; Sat, 10 Mar 2007 22:24:36 +0100 (CET) Received: from smtpout.mac.com (smtpout.mac.com [17.250.248.175]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2ALOZOG011713; Sat, 10 Mar 2007 22:24:35 +0100 Received: from mac.com (smtpin06-en2 [10.13.10.151]) by smtpout.mac.com (Xserve/smtpout05/MantshX 4.0) with ESMTP id l2ALOYWR008326; Sat, 10 Mar 2007 13:24:34 -0800 (PST) Received: from [192.168.0.54] (dsl092-032-215.lax1.dsl.speakeasy.net [66.92.32.215]) (authenticated bits=0) by mac.com (Xserve/smtpin06/MantshX 4.0) with ESMTP id l2ALOVq6000396; Sat, 10 Mar 2007 13:24:32 -0800 (PST) In-Reply-To: <45EEB9CE.9080405@inria.fr> References: <45EEB9CE.9080405@inria.fr> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: multipart/mixed; boundary=Apple-Mail-2--166341778 Message-Id: Cc: Caml List From: Paul Snively Subject: Re: [Caml-list] beta-test of OCaml 3.10.0 Date: Sat, 10 Mar 2007 13:24:30 -0800 To: Xavier Leroy X-Mailer: Apple Mail (2.752.2) X-Brightmail-Tracker: AAAAAA== X-Brightmail-scanned: yes X-Miltered: at concorde with ID 45F32213.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 o'caml:01 o'caml:01 -naur:01 ocaml-:01 otherlibs:01 threads:01 ocaml-:01 patched:01 otherlibs:01 threads:01 patched:01 keepalive:01 -naur:01 sockopt:01 X-Attachments: name="ocaml-3.08.3.the_patch.txt" name="ocaml-3.08.3.the_patch.txt" --Apple-Mail-2--166341778 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Dr. Leroy: First, my deepest thanks to you and your colleagues for your excellent, hard work on the Objective Caml system and its related tools. I'm simultaneously learning a tremendous amount from programming in O'Caml and having great fun doing so. I'm curious as to whether there's any chance of having (some variant of) the attached patch applied to the O'Caml 3.10.0 codebase. The attached patch was provided to me by Alon Kama, maintainer of the Ensemble process group communication system, in support of enabling Ensemble 2.01 to work correctly on Mac OS X. As you know, Mac OS X is a BSD-derived platform, hence makes the distinction between SO_REUSEADDR and SO_REUSEPORT in socket options related socket rebinding--a distinction that affects much server-oriented socket code. So this patch should benefit any BSD-derived platform, not only Mac OS X. Having said that, I cannot honestly say that I fully understand what changes, particularly conditionalization, might be necessary to ensure its proper use on all supported O'Caml platforms; nor, of course, can I say whether making that determination with your available staff, hardware, OS, and time resources is realistic at all, let alone in the time remaining to deliver O'Caml 3.10.0. So I appreciate your forbearance. Many thanks and best regards, Paul Snively --Apple-Mail-2--166341778 Content-Transfer-Encoding: 7bit Content-Type: text/plain; x-unix-mode=0600; name=ocaml-3.08.3.the_patch.txt Content-Disposition: attachment; filename=ocaml-3.08.3.the_patch.txt diff -Naur ocaml-3.08.3.orig/otherlibs/threads/unix.ml ocaml-3.08.3.patched/otherlibs/threads/unix.ml --- ocaml-3.08.3.orig/otherlibs/threads/unix.ml Sat Nov 6 11:14:58 2004 +++ ocaml-3.08.3.patched/otherlibs/threads/unix.ml Sun Jul 10 17:54:35 2005 @@ -544,6 +544,7 @@ SO_DEBUG | SO_BROADCAST | SO_REUSEADDR + | SO_REUSEPORT | SO_KEEPALIVE | SO_DONTROUTE | SO_OOBINLINE diff -Naur ocaml-3.08.3.orig/otherlibs/unix/sockopt.c ocaml-3.08.3.patched/otherlibs/unix/sockopt.c --- ocaml-3.08.3.orig/otherlibs/unix/sockopt.c Mon Jan 17 19:10:36 2005 +++ ocaml-3.08.3.patched/otherlibs/unix/sockopt.c Sun Jul 10 17:56:34 2005 @@ -35,6 +35,9 @@ #ifndef SO_REUSEADDR #define SO_REUSEADDR (-1) #endif +#ifndef SO_REUSEPORT +#define SO_REUSEPORT (-1) +#endif #ifndef SO_KEEPALIVE #define SO_KEEPALIVE (-1) #endif @@ -76,7 +79,7 @@ #endif static int sockopt_bool[] = { - SO_DEBUG, SO_BROADCAST, SO_REUSEADDR, SO_KEEPALIVE, + SO_DEBUG, SO_BROADCAST, SO_REUSEADDR, SO_REUSEPORT, SO_KEEPALIVE, SO_DONTROUTE, SO_OOBINLINE, SO_ACCEPTCONN }; static int sockopt_int[] = { diff -Naur ocaml-3.08.3.orig/otherlibs/unix/unix.ml ocaml-3.08.3.patched/otherlibs/unix/unix.ml --- ocaml-3.08.3.orig/otherlibs/unix/unix.ml Sat Nov 6 11:14:58 2004 +++ ocaml-3.08.3.patched/otherlibs/unix/unix.ml Sun Jul 10 17:57:40 2005 @@ -436,6 +436,7 @@ SO_DEBUG | SO_BROADCAST | SO_REUSEADDR + | SO_REUSEPORT | SO_KEEPALIVE | SO_DONTROUTE | SO_OOBINLINE diff -Naur ocaml-3.08.3.orig/otherlibs/unix/unix.mli ocaml-3.08.3.patched/otherlibs/unix/unix.mli --- ocaml-3.08.3.orig/otherlibs/unix/unix.mli Wed Dec 22 17:11:13 2004 +++ ocaml-3.08.3.patched/otherlibs/unix/unix.mli Sun Jul 10 18:05:16 2005 @@ -988,6 +988,7 @@ SO_DEBUG (** Record debugging information *) | SO_BROADCAST (** Permit sending of broadcast messages *) | SO_REUSEADDR (** Allow reuse of local addresses for bind *) + | SO_REUSEPORT | SO_KEEPALIVE (** Keep connection active *) | SO_DONTROUTE (** Bypass the standard routing algorithms *) | SO_OOBINLINE (** Leave out-of-band data in line *) diff -Naur ocaml-3.08.3.orig/otherlibs/unix/unixLabels.mli ocaml-3.08.3.patched/otherlibs/unix/unixLabels.mli --- ocaml-3.08.3.orig/otherlibs/unix/unixLabels.mli Fri Jul 2 11:37:17 2004 +++ ocaml-3.08.3.patched/otherlibs/unix/unixLabels.mli Sun Jul 10 17:58:36 2005 @@ -1003,6 +1003,7 @@ SO_DEBUG (** Record debugging information *) | SO_BROADCAST (** Permit sending of broadcast messages *) | SO_REUSEADDR (** Allow reuse of local addresses for bind *) + | SO_REUSEPORT | SO_KEEPALIVE (** Keep connection active *) | SO_DONTROUTE (** Bypass the standard routing algorithms *) | SO_OOBINLINE (** Leave out-of-band data in line *) --Apple-Mail-2--166341778 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed On Mar 7, 2007, at 5:10 AM, Xavier Leroy wrote: > Hello, > > The long-awaited release 3.10 of Objective Caml is making good > progress and is now ready for beta-testing. A source-only > beta distribution can be downloaded from > > http://caml.inria.fr/pub/distrib/ocaml-3.10/ocaml-3.10.0 > +beta.tar.gz > > We would be grateful if some of you could compile it, give it a > good workout on your favorite Caml programs, and report any problems > you might encounter via the Caml bug tracker. > > The main novelties in 3.10 are: > > - A new tool: ocamlbuild, a compilation manager for OCaml projects. > - Much work on Camlp4, including a new API. > - A long-awaited feature: stack backtraces on uncaught exceptions > that work for native-code as well as for bytecode. > - Two new 64-bit ports: to Windows 64/AMD64 and MacOS X/PowerPC 64. > > Other changes are listed below. > > The documentation is not up to date yet, but some preliminary > documentation on ocamlbuild and the new Camlp4 can be found on > Nicolas Pouillard's Web page, http://gallium.inria.fr/~pouillar/ > > Enjoy, > > - Xavier Leroy, for the Caml development team > > ---------------------------------------------------------------------- > > Objective Caml 3.10.0: > ---------------------- > > (Changes that can break existing programs are marked with a "*" ) > > Language features: > - Added virtual instance variables in classes "val virtual v : t" > * Changed the behaviour of instance variable overriding; the new > definition replaces the old one, rather than creating a new > variable. > > New tools: > - ocamlbuild: compilation manager for OCaml applications and > libraries. > See draft documentation at http://gallium.inria.fr/~pouillar/ > * Camlp4: heavily revised implementation, new API. > > New ports: > - MacOS X PowerPC 64 bits. > - MS Windows 64 bits (x64) using the Microsoft PSDK toolchain. > - MS Windows 32 bits using the Visual Studio 2005 toolchain. > > Compilers: > - Faster type-checking of functor applications. > - Referencing an interface compiled with -rectypes from a module > not compiled with -rectypes is now an error. > - Revised the "fragile matching" warning. > > Native-code compiler: > - Print a stack backtrace on an uncaught exception. > (Compile and link with ocamlopt -g; execute with OCAMLRUNPARAM=b.) > Supported on Intel/AMD in 32 and 64 bits, PPC in 32 and 64 bits. > - Stack overflow detection on MS Windows 32 bits (courtesy O. > Andrieu). > - Stack overflow detection on MacOS X PPC and Intel. > - Intel/AMD 64 bits: generate position-independent code by default. > - Fixed bug involving -for-pack and missing .cmx files (PR#4124). > - Fixed bug causing duplication of literals (PR#4152). > > Run-time system: > - C/Caml interface functions take "char const *" arguments > instead of "char *" when appropriate. > - Faster string comparisons (fast case if strings are ==). > > Standard library: > - Refined typing of format strings (type format6). > - Printf, Format: new function ifprintf that consumes its arguments > and prints nothing (useful to print conditionally). > - Scanf: > new function format_from_string to convert a string to a format > string; > new %r conversion to accomodate user defined scanners. > - Filename: improved Win32 implementation of Filename.quote. > - List: List.nth now tail-recursive. > - Sys: added Sys.is_directory. Some functions (e.g. Sys.command) that > could incorrectly raise Sys_io_blocked now raise Sys_error as > intended. > > Other libraries: > - Bigarray: mmap_file takes an optional argument specifying > the start position of the data in the mapped file. > - Dynlink: now defines only two modules, Dynlink and Dynlinkaux > (internal), > reducing risks of name conflicts with user modules. > - Labltk under Win32: now uses Tcl/Tk 8.4 instead of 8.3 by default. > - VM threads: improved performance of I/O operations (less polling). > - Unix: new function Unix.isatty. > - Unix emulation under Win32: > fixed incorrect error reporting in several functions (PR#4097); > better handling of channels opened on sockets (PR#4098); > fixed GC bug in Unix.system (PR#4112). > > Documentation generator (OCamldoc): > - correctly handle '?' in value names (PR#4215) > - new option -hide-warnings not to print ocamldoc warnings > > Lexer generator (ocamllex): improved error reporting. > > License: fixed a typo in the "special exception" to the LGPL. > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --Apple-Mail-2--166341778--