Re: Many core processors
Isn't this just the next iteration of the Microkernel architecture (as epitomized by the Gnu Hurd)? In the past, efficiency penalties were always too high for this approach to OS design to take off. Today, with CPU power benefitting for more from Moore's law than other constraints of the overall system, it has a chance.
The problem I forsee, is that if somebody does manage to subvert the hypervisor / master control process / whatever, it'll be far harder for ordinary users to do anything about it. A dream for the NSA? Until China also breaks in to the party? then North Korea? Followed by private industrial espionage funded by reclusive billionaires?
There's no such thing as nontrivial bug-free software. Even the hardware has bugs these days!