Re: [Caml-list] Real Time Ocaml

[Hendrik Tews <tews@tcs.inf.tu-dresden.de>]

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