From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id EAE8CBBAF for ; Mon, 30 Nov 2009 16:26:55 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao4DAOFyE0vBMHhLnGdsb2JhbACZKIJeAQEBAQEGDQgJE7t4hDEEgXI X-IronPort-AV: E=Sophos;i="4.47,314,1257116400"; d="asc'?scan'208";a="41092630" Received: from net.univ-savoie.fr ([193.48.120.75]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/EDH-RSA-DES-CBC3-SHA; 30 Nov 2009 16:26:55 +0100 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id nAUFQp6C010493 for ; Mon, 30 Nov 2009 16:26:51 +0100 Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id nAUFQmfY029659 ; Mon, 30 Nov 2009 16:26:48 +0100 Message-ID: <4B13E43E.2010602@univ-savoie.fr> Date: Mon, 30 Nov 2009 16:26:54 +0100 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.23 (X11/20090817) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Stack size on OS X X-Enigmail-Version: 0.95.7 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigDB636D09BD77ED3156F0F3AF" X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 ulimit:01 sig:01 ocaml:01 cheers:01 chablais:01 73376:01 univ-savoie:01 stack:01 stack:01 lama:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigDB636D09BD77ED3156F0F3AF Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello, It seems that the problem of stack size is still not solved in OS X (limi= ted to 8Mo by default and hard limit in the kernel to 64Mo with ulimit -s 64000). My unison is stil= l crashing on very big changes ... However, I stumbled on this pdf http://www.google.fr/url?sa=3Dt&source=3Dweb&ct=3Dres&cd=3D1&ved=3D0CAcQF= jAA&url=3Dhttp%3A%2F%2Fhomepage.mac.com%2Feric.c%2Fhpc%2Fcontents%2Fdocum= entation%2FHow%2520to%2520increase%2520the%2520stack%2520size%2520on%2520= Mac%2520OS%2520X.pdf&ei=3Dv-MTS4aMG4Wj_AbFmok2&usg=3DAFQjCNH1qCjydtM1doAd= twtTJxaEAmwLSw&sig2=3Du9faAiBSuB7v-VzvHDPHRA) (This is the first hit on google with "increasing stack size on OS X") which explain how to use -stack-addr and -stack-size in the gnu linker to= change the stack address and size. Did anyone try this on OS X for OCaml program ? I think stack limitation, for a functional program is not good and it is = even worse when the limit depends upon the platform. Cheers, Christophe --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------enigDB636D09BD77ED3156F0F3AF Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAksT5D4ACgkQi9jr/RgYAS6XwgCfbZwIQmZNMnbFwJhKKXF/Oy6T dZEAn3iqCJ/LdQW5l38YMjDlkmGLdvUk =SQRH -----END PGP SIGNATURE----- --------------enigDB636D09BD77ED3156F0F3AF--