Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] 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: Erol Akarsu <eakarsu_33@y...>
Subject: Re: [Caml-list] Real Time Ocaml
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 <tews@tcs.inf.tu-dresden.de> 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