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 BAA31417; Sun, 18 Apr 2004 01:40:13 +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 BAA29012 for ; Sun, 18 Apr 2004 01:40:12 +0200 (MET DST) Received: from remailer.privacy.at (remailer.privacy.at [212.124.142.99]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3HNeCYM022435 for ; Sun, 18 Apr 2004 01:40:12 +0200 Received: from mixmaster (localhost [127.0.0.1]) by remailer.privacy.at (Postfix) with ESMTP id 8D36CA583A for ; Sun, 18 Apr 2004 01:40:11 +0200 (CEST) From: "privacy.at Anonymous Remailer" Comments: This message did not originate from the Sender address above. It was remailed automatically by anonymizing remailer software. Please report problems or inappropriate use to the remailer administrator at . To: caml-list@inria.fr Subject: [Caml-list] Re: Real Time Ocaml Message-ID: <0dd189421ab146b83d7783c7eaa531df@remailer.privacy.at> Date: Sun, 18 Apr 2004 01:40:11 +0200 (CEST) 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; privacy:99 privacy:99 malloc:01 fprintf:01 outputs:01 ocaml:01 ocaml:01 htm:97 eecs:03 eecs:03 library:03 behavior:03 functions:05 executes:05 send:93 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Have we tried to run Ocaml application on any real > time os? > > Best Regards > > Erol Akarsu > > > Please note that even standard C is not real-time: there is no > real-time guarantee (or even specification) of the behavior of > essential C library functions like malloc or fprintf. > > OCaml could be back-ended to Giotto/Ptolemy, which outputs compilable C code that executes in real time. The system should be very compatible with OCaml because it is VM based. Actually I think there are two VMs, one is code the other is scheduler, but the end result is C code if you want it. http://ptolemy.eecs.berkeley.edu/projects/mobies/index.htm http://www-cad.eecs.berkeley.edu/~cm/ It would be COOL to run OCaml real-time! (Sorry I am not an expert, send questions to them.) ------------------- 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