Re: [Caml-list] a bad value detector

[Frederic Perriot <fperriot@gmail.com>]

Perry E. Metzger  answered:
> Once, I built a precise garbage collector for a language I'd
> implemented in C. It was a simple Cheney collector with two
> semispaces. I munmapped the unused semispace after each gc.
> [...]

I only now realize your very trick is applicable to Ocaml's generational GC too:
just alternate the young generation between two virtual address ranges.

Then well-behaved programs should incur no page faults.

I'll give it a try, thanks.

Chet Murthy said:
>If I remember correctly, a company once started with Boehm's conservative GC, and by doing things somewhat like you suggest, built a memory-leak-detector product.

Interesting.

thank you guys,
regards,
FP