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
ocaml garbage collector_S_
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-02-22 (11:26)
From: Philippe Strauss <philou@p...>
Subject: ocaml garbage collector_S_
Hello ocaml'ers,

I've been long thinking about programming languages others than C, Perl, Python, the .Net family, java etc.
Anytime I discover a language come to mind a rather "niche" but interesting field: audio signal processing,
i.e. soft real time constraint and good numerical/overall performance.
Ocaml was not designed/targetted with such constraint in head (RT), but actually fit the bill not too badly with
a relatively simple and efficient GC, designed to be good at tasks functional prog. languages are used
to: lots of small sized values to allocate and free frequently.

industrial control process, audio processing share a need for others pattern of allocation, solved using pools
of memory range of various size.

Those 3 URL's point to a really interesting garbage collector project for real-time software,
using memory pools.
Initial versions of this project used "two level segregate fit" rather than pools and is still
available in later revision it seems:

Remembering other needs like a concurrent GC and the multicore GC project of the OSP 2008, does the
idea of modifiying the GC of ocaml to make it a "pluggable" subsystem, with 3 runtimes you may choose from,
the "traditional" GC, the "real-time, pool based", and the "concurrent" one sounds reasonable?

Did this kind of need often pop-up in your mind?

Philippe Strauss