[Caml-list] How to write a GC for size > memory

2009-11-12 Thread Goswin von Brederlow
Hi, as I might have mentioned in the past I'm writing C bindings for libaio and libfuse to write a filesystem in ocaml. The problem I'm now facing is freeing blocks on the filesystem when they are no longer used. The filesystem has a huge B-Tree containing inodes, file attributes, directory entri

Re: [Caml-list] How to write a GC for size > memory

2009-11-13 Thread Richard Jones
On Fri, Nov 13, 2009 at 06:10:03AM +0100, Goswin von Brederlow wrote: > Normaly the GC would switch between defrag and freeing chunk > mode. Both would be concurrent to normal filesystem > operations. Possibly only run when the filesystem is idle. The > compation mode would only happen in situation

Re: [Caml-list] How to write a GC for size > memory

2009-11-13 Thread Goswin von Brederlow
Richard Jones writes: > On Fri, Nov 13, 2009 at 06:10:03AM +0100, Goswin von Brederlow wrote: >> Normaly the GC would switch between defrag and freeing chunk >> mode. Both would be concurrent to normal filesystem >> operations. Possibly only run when the filesystem is idle. The >> compation mode