Answers are grounded in this paper and cite their sources.
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39%) of bugs are due to two key shortcomings in the device-driver architecture enforced by current operating systems: poorly-defined communication protocols between drivers and the OS, which confuse developers and lead to protocol violations, and a multithreaded model of computation that leads to numerous race conditions and deadlocks.
No takes yet. Share an insight, caveat, or question.
Ryzhyk et al. (2009) studied this question.
Synapse has enriched 7 closely related papers on similar clinical questions. Consider them for comparative context: