This is true, and in an ideal world we would definitely leave it up to the operating system. I would love to see the Linux kernel get so good as massive parallelism that we can simply do it that way.

But as far as I know, it's still not competitive. Which makes sense, since the kernel offers far stronger separation guarantees.