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 AAA31748; Fri, 16 Apr 2004 00:33:58 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 AAA31585 for ; Fri, 16 Apr 2004 00:33:57 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web12403.mail.yahoo.com (web12403.mail.yahoo.com [216.136.173.130]) by nez-perce.inria.fr (8.12.10/8.12.10) with SMTP id i3FMYwjq032221 for ; Fri, 16 Apr 2004 00:34:59 +0200 Message-ID: <20040415223355.1345.qmail@web12403.mail.yahoo.com> Received: from [208.251.204.71] by web12403.mail.yahoo.com via HTTP; Thu, 15 Apr 2004 15:33:55 PDT Date: Thu, 15 Apr 2004 15:33:55 -0700 (PDT) From: Erol Akarsu Subject: Re: [Caml-list] Real Time Ocaml To: Hendrik Tews , caml-list@inria.fr In-Reply-To: <16510.17663.1463.981075@ithif51.inf.tu-dresden.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce 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 hendrik:01 tews:01 tews:01 typeful:01 citeseer:01 cardelli:01 typeful:01 cornell:01 bug:01 faq:01 faq:01 beginner's:01 beginners:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello Hendrik, Thanks for your advice, How long does it take to write a specific garbage collector for OCAML for real time environment? This is beyond my knowledge. Do you know anyone who can guide me on this project? But your idea of writing GC in Ocaml seems to me a cool idea. Writing in OCAML should be more quicker than low level C, Actually, I may target on hard-real time systems also in the future, If we can get a real-time Ocaml, it can change the speed and quality of the product easily, Thanks Best Regards Erol Akarsu --- Hendrik Tews wrote: > Erol Akarsu writes: > > Have we tried to run Ocaml application on any > real > time os? > > I believe, in order to use Ocaml for real time > applications you > have to go (at least) the way sketched in Section > 9.2 of Luca > Cardellis "Typeful Programming" [1]: > > - identify the subset of Ocaml that is heap > allocation free > - possibly modify the compiler to enlarge the heap > allocation > free subset > - make sure any programm in this subset does not > invoke the > garbage collector > > You also have to do something about signal delivery. > > Then you can write your real time application in > this heap > allocation free subset. You could even write the > ocaml garbage > collector in Ocaml then. > > > Of course as others pointed out, depending on your > real time > needs Ocaml might already be completely > satisfactory. Another > example of Ocaml code in a time critical environment > is provided > by the Ensemble project [2]. Garbage collection does > not pose any > problems there. > > > Bye, > > Hendrik > > [1] > http://citeseer.ist.psu.edu/cardelli89typeful.html > [2] > http://www.cs.cornell.edu/Info/Projects/Ensemble/index.htm > > ------------------- > 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 __________________________________ Do you Yahoo!? Yahoo! Tax Center - File online by April 15th http://taxes.yahoo.com/filing.html ------------------- 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