From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA17670 for caml-red; Tue, 8 Aug 2000 22:36:42 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA15546 for ; Tue, 8 Aug 2000 18:21:19 +0200 (MET DST) From: ortmann@us.ibm.com Received: from e1.ny.us.ibm.com (e1.ny.us.ibm.com [32.97.182.101]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e78GLIX21724; Tue, 8 Aug 2000 18:21:18 +0200 (MET DST) Received: from northrelay02.pok.ibm.com (northrelay02.pok.ibm.com [9.117.200.22]) by e1.ny.us.ibm.com (8.9.3/8.9.3) with ESMTP id MAA27240; Tue, 8 Aug 2000 12:21:11 -0400 Received: from D51MTA04.pok.ibm.com (d51mta04.pok.ibm.com [9.117.200.32]) by northrelay02.pok.ibm.com (8.8.8m3/NCO v4.92) with SMTP id MAA51966; Tue, 8 Aug 2000 12:21:15 -0400 Received: by D51MTA04.pok.ibm.com(Lotus SMTP MTA v4.6.5 (863.2 5-20-1999)) id 85256935.0059D3D6 ; Tue, 8 Aug 2000 12:21:09 -0400 X-Lotus-FromDomain: IBMUS To: Pierre Weis cc: georges.mariano@inrets.fr (Georges Mariano), caml-list@inria.fr Message-ID: <85256935.0059D0CD.00@D51MTA04.pok.ibm.com> Date: Tue, 8 Aug 2000 11:21:09 -0500 Subject: Re: tiny toplevel Mime-Version: 1.0 Content-type: text/plain; charset=us-ascii Content-Disposition: inline Sender: weis@pauillac.inria.fr > However, a very simple experiment shows that the Caml toplevels are > not extremely big, compared to usual command interpreters: > mouton:/$ ps ug > USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND > weis 7506 0.1 0.7 1564 904 pts/5 S 14:15 0:00 /bin/bash -i > weis 7546 0.1 1.2 2840 1652 pts/5 T 14:16 0:00 ocamlrun /usr/bin > weis 7656 1.6 0.5 1484 660 pts/5 T 14:17 0:00 camlrun /usr/loca > weis 7665 0.0 0.6 2252 844 pts/5 T 14:18 0:00 perl > weis 7657 0.0 0.6 2500 876 pts/5 R 14:18 0:00 ps ug > Hope this helps, > Pierre Weis Any idea how big Java is? -- Daniel Ortmann, IBM Circuit Technology, Rochester, MN 55901-7829 ortmann@us.ibm.com / internal 8.553.6795 / external 507.253.6795 ortmann@isl.net home 507.288.7732 "The answers are so simple, and we all know where to look, but it's easier just to avoid the question." -- Kansas