Sure, you'd need hardware support. But, for example, hardware dedup is infeasible (IE you can make the compression go in hardware, but the management, not so m

Sure, you'd need hardware support. But, for example, hardware dedup is infeasible (IE you can make the compression go in hardware, but the management, not so much or sanely. Unless you can make both constant time, ...). Sparse pages are at least feasible in hardware. Also, you realize that passing all memory reads through the kernel is what any read barrier garbage collected language does, right?