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 PAA15919; Tue, 20 Apr 2004 15:44:30 +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 PAA15269 for ; Tue, 20 Apr 2004 15:44:28 +0200 (MET DST) Received: from moby.atcorp.com (moby.atcorp.com [204.72.172.2]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3KDiRYM020382 for ; Tue, 20 Apr 2004 15:44:27 +0200 Received: from [192.168.172.137] (conger.atcorp.com [204.72.172.102]) by moby.atcorp.com (8.11.6/8.11.2) with ESMTP id i3KDlKE22515 for ; Tue, 20 Apr 2004 08:47:20 -0500 Mime-Version: 1.0 (Apple Message framework v613) In-Reply-To: <16516.55717.690259.910986@ithif51.inf.tu-dresden.de> References: <16510.17663.1463.981075@ithif51.inf.tu-dresden.de> <20040415223355.1345.qmail@web12403.mail.yahoo.com> <16516.55717.690259.910986@ithif51.inf.tu-dresden.de> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit From: Eric Dahlman Subject: Re: [Caml-list] Real Time Ocaml Date: Tue, 20 Apr 2004 08:44:26 -0500 To: caml-list@inria.fr X-Mailer: Apple Mail (2.613) X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 hendrik:01 tews:01 2004:99 caml-list:01 slower:01 tightly:01 rafael:01 ocaml:01 ocaml:01 garbage:01 garbage:01 writes:01 collector:02 collector:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Apr 20, 2004, at 3:04 AM, Hendrik Tews wrote: > Erol Akarsu writes: > Date: Thu, 15 Apr 2004 15:33:55 -0700 (PDT) > Subject: Re: [Caml-list] Real Time Ocaml > > How long does it take to write a specific garbage > collector for OCAML for real time environment? > > I don't know either. I only have the impression that real time > garbage collection is really hard. Therefore, I propose: Leave > the Ocaml garbage collector as it is and write your real time > code in an allocation free subset of Ocaml. As a previous message mentioned the reason there is not much interest in hard real time garbage collection for Ocaml is that is is slow, slow, slow!!! For most people going to the effort of making a real time garbage collector which will make your program run 40% slower just is not a rational choice. The problem of real time collection is not particularly hard in and of itself it is just that it is of very limited utility outside of a very tightly defined application domain. A great book on garbage collection in general that also includes some info on real time garbage collection is _Garbage Collection_ by Richard Jones and Rafael Lins. Armed with that someone could write a real time collector for OCaml running on some sort of a real time OS. Have Fun! -Eric ------------------- 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