Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2004-04-20 (01:50)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Real Time Ocaml
On Tue, 2004-04-20 at 10:31, Karl Zilles wrote:

> In a realtime garbage collector, how can you prove that you are freeing 
> unused memory as fast as you allocate it?

by computing bounds on performance.

For example: once per millisecond you allocate at most 1K objects,
and you have at least 0.2 milliseconds left for the
collector, and the collector collects 1K objects in 0.1
milliseconds worst case .. all garbage is collected
at the start of each 1ms cycle. Assume constant
persistent store: result follows.

John Skaller,
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: