Has anyone ever tried a generational mark-compact garbage collector where the "generations" are just watermark pointers within the compacting space. Tenuring objects out of the young gen would just be a matter of updating the "young gen begins here" pointer to point to the current allocate head. (Assume you have enough control over the virtual memory mapper that you can always test an object's generation with a single pointer compare.)