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, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net



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