ocaml garbage collector_S_

[Philippe Strauss <philou@philou.ch>]

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:

http://www.notam02.no/index.php?/nor/Teknologi-og-tekst/Programvare/Audio-Rollendurchmesserzeitsammler
http://www.notam02.no/index.php?/nor/Teknologi-og-tekst/Programvare/Audio-Rollendurchmesserzeitsammler-Updates
http://archive.notam02.no/arkiv/src/?M=D

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
http://philou.ch