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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alex Baretta <alex@b...>
Subject: Re: [Caml-list] Ocaml automation update
skaller wrote:
> On Sun, 2004-09-05 at 01:36, Alex Baretta wrote:
> 
>>I wish to let you know that the first application of ocaml to realtime 
>>industrial control has succeeded. 
> 
> 
> Nice job! Now we all want to know -- how did the
> Ocaml GC stand up? How did you tweak it? :)
> 

Sorry for not answering earlier. GC simpòy is not an issue. We allocate 
a lot, but newly allocated blocks tend to have a very short life. The GC 
  is kept latent during PLC rounds and activated between rounds with 
heap compaction disabled. The full_major collection is an order of 
magnitude faster than the cycle time we require, and since we run it 
sistematically between rounds it runs in constant and predictable time.

The only unpredictable latencies are due to heap compaction, but we only 
run heap compaction when the system is known to be in quiescent state 
until user input.

Alex

-------------------
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