Every time I've tried to figure out ways to implement solutions for SMP and memory protection, I've been told that the way that handles using addresses, that enforced flat memory models, were non-conducive to solutions in those cases and unless that was changed in some way, they would continue to be unsolvable. This would be a light at the end of the tunnel for those previously "unsolvable" problems.