Re: Incrementally implementing a simple ML compiler using LLVM

Jon Harrop schrieb:
> Is the Cheney semi-space GC a suitable starting point? Is there an
> abstract interface for using a GC from generated code that I could
> adhere to?
>
> Is there anything else that I should be aware of?


Let me comlement the already-given advice by remarking that
implementing an efficient, robust GC is D**n Bl**dy Hard (TM). Entire
lifetimes have been devoted to writing and tuning a GC.


That's the reason why most people stick with the Boehm/Demers/Weiser
collector. This will give you a reasonable GC, allow you to
concentrate on other issues, and come back to the GC side of your
system when you have the time.


The risk with that strategy is that the Boehm collector will warp the
design of your run-time. OTOH unless you're already a GC guru, your
run-time design will likely warp the GC design into something less
efficient than it could be, so there's no risk-free strategy anyway...


Regards,
Jo

Return to the comp.compilers page.
Search the comp.compilers archives again.