From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA00814; Mon, 17 May 2004 13:15:07 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA00474 for ; Mon, 17 May 2004 13:15:06 +0200 (MET DST) Received: from nemerle.org (lilith.ii.uni.wroc.pl [156.17.4.7]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4HBF5SH018903 for ; Mon, 17 May 2004 13:15:06 +0200 Received: from malekith by nemerle.org with local (Exim 4.24) id 1BPg5J-0003GM-0D for caml-list@inria.fr; Mon, 17 May 2004 13:15:05 +0200 Date: Mon, 17 May 2004 13:12:43 +0200 From: Michal Moskal To: caml-list@inria.fr Subject: Re: [Caml-list] Ocaml shared libraries Message-ID: <20040517111243.GA14617@roke.freak> Mail-Followup-To: caml-list@inria.fr References: <20040517102254.A22324@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040517102254.A22324@pauillac.inria.fr> User-Agent: Mutt/1.4.2.1i X-PGP-Fingerprint: CF89 1B14 11BE 1CC9 2CA3 7497 5E32 69B4 BC71 B4C2 X-Miltered: at concorde with ID 40A89EB9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; michal:01 moskal:01 malekith:01 pld-linux:01 caml-list:01 2004:99 sunos:01 sunos:01 movies:99 non-issue:01 michal:01 moskal:01 malekith:01 kernel:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, May 17, 2004 at 10:22:54AM +0200, Xavier Leroy wrote: > As for feature 1- (smaller executables), I'm not convinced this is a > major issue. I'm old enough to remember the introduction of shared > libraries in the Unix world (in SunOS 4). At that time, the saving in > disk space was significant: disks were small (a complete SunOS 4 > install could fit in as little as 100 Mb) and the size of executables > wasn't negligible compared to the size of data files. Times have > changed, however: disk space has increased much faster than executable > sizes, and the disks on a modern machine are mostly filled with data > (think MP3 and movies :-), making executable sizes a non-issue. Disk is one thing. Memory is another. Under unix each shared library resides in memory once. Of course each executable is also loaded once, so this is only an issue when there are multiple ocaml programs (different executables) run simultaneously. Nevertheless this is sometimes the case. -- : Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++ : When in doubt, use brute force. -- Ken Thompson :: UL++++$ C++ E--- a? ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners