From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 71715BBAF for ; Wed, 24 Nov 2010 18:03:06 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqkAABPU7EzBMHhLmWdsb2JhbACjBBUBAQEBAQgLCgcRIr8ThUcEihWDWg X-IronPort-AV: E=Sophos;i="4.59,249,1288566000"; d="asc'?scan'208";a="80140391" Received: from net.univ-savoie.fr ([193.48.120.75]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/EDH-RSA-DES-CBC3-SHA; 24 Nov 2010 18:03:06 +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 oAOH33fN009623 for ; Wed, 24 Nov 2010 18:03:03 +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 oAOH2tn4031849 ; Wed, 24 Nov 2010 18:02:55 +0100 Message-ID: <4CED4542.7050805@univ-savoie.fr> Date: Wed, 24 Nov 2010 18:02:58 +0100 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.12) Gecko/20101027 Lightning/1.0b2 Thunderbird/3.1.6 MIME-Version: 1.0 To: Caml List , Pierre Hyvernat , Guillaume Theyssier , Tom Hirschowitz , Florian Hatat Subject: Automated GC tweaking for OCaml X-Enigmail-Version: 1.1.2 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig487598FD269C08BB7536EF3F" 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 tweaking:01 ocaml:01 tweaking:01 ocaml:01 val:01 cheers:01 chablais:01 73376:01 univ-savoie:01 3.0:98 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig487598FD269C08BB7536EF3F Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello, Here is a temptative of automated GC tweaking. It mainly tries to guess a minor_heap_size that will both increase speed = and reactivity !!! It has a description in it ! It also move to a proportional increment of = major_heap instead of a constant one, but this is not very usefull in my tests. To use it, adjust the parameter at the beginning of the file and just lin= k with it ! The main questions are - more testing : I am interested on the behavior on your programs especia= lly * interactive ones ! * seems not to do oscillation very much ... do you have a program where= minor heap size oscillates * does it reaches the maximum minor_heap_size for you (with not a too l= ow reactivity parameter) - measuring the value of the "gamma" constant uses in the program on real= OCaml program: let gamma =3D 3.0 (* time in major slice attached to a minor GC / time f= or minor GC : should use a real estimation, here just a guess !!! *) Is this a universal constant that does not depend too much on the program= and architecture ? Probably not, because of the grey_val for instance ... 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 --------------------------------------------- --------------enig487598FD269C08BB7536EF3F 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.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkztRUIACgkQi9jr/RgYAS4ecACgoxEp69luDcWTQ9Mz+fc+aX3a BO4AoLkeS0ybVOnP22SEhVeECpfaNx1J =5f34 -----END PGP SIGNATURE----- --------------enig487598FD269C08BB7536EF3F--