On Oct 29, 2005, at 13:29, Gerd Stolpmann wrote:

> Major GC: In principle, you can stop it at any time. You should  
> probably
> do so when the interrupt occurs. And then? The ISR must not allocate
> memory in this case, because the memory manager cannot give it to  
> you in
> this moment (major GCs are triggered from minor GCs, so the minor heap
> is currently full).

Actually, in OCaml a major GC slice is triggered right _after_ each  
minor
GC, so the minor heap is always empty when the major GC is running.

-- Damien