3 ms·
When can microkernels finally become a reality? The previous complaints was that it was always slower than a monolithic kernel. But with all the multicores, me
by blackrock 6y ago
When can microkernels finally become a reality?
The previous complaints was that it was always slower than a monolithic kernel. But with all the multicores, memory, and SSD storage available today, then at some point, the extra processing becomes irrelevant.
- renox 6y ago- Spectre's mitigation are probably extra painful for microkernels. - AFAIK the most secure microkernel is SeL4, but AFAIK it isn't proven for multiple cores, and I wouldn't be surprised if (some) low-power settings of CPUs would give him troubles.
- AstralStorm 6y agoAnd ultimately none of the microkernels has a credible set of drivers for a typical PC, much less verified ones. Drivers are a huge hole, especially easily accessible ones like video due to 3D APIs.