Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Re: Real Time Ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: privacy.at Anonymous Remailer <mixmaster@r...>
Subject: [Caml-list] Re: Real Time Ocaml



> 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