摘要
J.Appavo、M.Auslander、M.Burtico、D.D.Silva、O.Krieger、M.Mergen、M.Ostrowski、B.Rosenburg、R.W.Wisniewski和J.Xenidis。 K42：一个开源的兼容Linux的可扩展操作系统内核。 《IBM系统期刊》，44（2）：427-4402005。]] 谷歌学者 
数字图书馆 
T.Ball、E.Bounimova、B.Cook、V.Levin、J.Lichtenberg、C.McGarvey、B.Ondrusek、S.K.Rajamani和A.Ustuner。 对设备驱动程序进行全面的静态分析。 2006年4月，在比利时鲁汶举行的首届ACM SIGOPS EuroSys会议（EuroSys 2006）上。 出现。]] 谷歌学者 数字图书馆 A.Chou、J.Yang、B.Chelf、S.Hallem和D.Engler。 操作系统错误的实证研究。 在SOSP'01{21}中，第73--88页。]] 谷歌学者 数字图书馆 A.C.de Melo、D.Jones和J.Garzik，2001年。 http://umeet.uninet.edu/umeet2001/talk/15-12-2001/arnaldo-talk.html。 ]] 谷歌学者 D.R.Engler、B.Chelf、A.Chou和S.Hallem。 使用特定于系统的程序员编写的编译器扩展检查系统规则。 第四届USENIX操作系统设计与实现研讨会（OSDI）会议记录，第1-16页，加利福尼亚州圣地亚哥，2000年10月。]] 谷歌学者 数字图书馆 D.R.Engler、D.Y.Chen、A.Chou和B.Chelf。 错误作为异常行为：推断系统代码中错误的一般方法。 在SOSP'01{21}中，第57--72页。]] 谷歌学者 数字图书馆 J.-P.Fassino、J.-B.Stefani、J.Lawall和G.Muller。 思考：基于组件的操作系统内核的软件框架。 2000年USENIX年度技术会议，第73-86页，加利福尼亚州蒙特雷，2002年6月。]] 谷歌学者 数字图书馆 B.Ford、G.Back、G.Benson、J.Lepreau、A.Lin和O.Shivers。 Flux OSKit：内核和语言研究的基础。 第16届ACM操作系统原理研讨会论文集（SOSP'97），第38-51页，法国圣马洛，1997年10月。]] 谷歌学者 数字图书馆 J.S.Foster、T.Terauchi和A.Aiken。 流敏感类型限定符。 2002年ACM SIGPLAN编程语言设计与实现会议记录，第38-51页，德国柏林，2002年6月。]] 谷歌学者 数字图书馆 M.Fowler、K.Beck、J.Brant、W.Opdyke和D.Roberts。 重构：改进现有代码的设计。 Addison-Wesley Professional，1999年。]] 谷歌学者 数字图书馆 M.W.Godfrey和Q.Tu。开源软件的进化：案例研究。 国际软件维护会议（ICSM'00），第131-142页，加利福尼亚州圣何塞，2000年。 IEEE.]] 谷歌学者 数字图书馆 A.E.哈桑。 挖掘软件存储库以帮助开发人员和支持经理。 加拿大安大略省滑铁卢大学数学系计算机科学学院博士论文，2004年。]] 谷歌学者 数字图书馆 C.Hellwig，2003年。 http://www.cs.helsinki.fi/linux/linux- kernel/2003--20/1120.html。]] 谷歌学者 P.Koellner，2002年2月。 http://www.uwsg.iu.edu/hypermail/linux/kernel/0202.2/0106.html。 ]] 谷歌学者 J.LeVasseur、V.Uhlig、J.Stoess和S.Götz。 未经修改的设备驱动程序重用，并通过虚拟机提高了系统可靠性。 在OSDI’04｛19｝中，第17-30页。]] 谷歌学者 数字图书馆 Z.Li、S.Lu、S.Myagmar和Y.Zhou。 CP-Miner：用于查找操作系统代码中的复制页和相关错误的工具。 在OSDI’04{19}中，第289--302页。]] 谷歌学者 数字图书馆 LWN。 2.6内核系列中的API更改，2005年10月。 http://lwn.net/Articles/2.6-kernel-api/。 ]] 谷歌学者 D.S.Miller，2002年2月。 http://www.ussg.iu.edu/hypermail/linux/kernel/0202.1/0855.html。 ]] 谷歌学者 第六届USENIX操作系统设计与实现研讨会（OSDI）会议记录，加州旧金山，2004年12月。]] 谷歌学者 A.Rubini和J.Corbet。 Linux设备驱动程序，第2版。 O'Reilly，2001年6月。]] 谷歌学者 数字图书馆 第18届ACM操作系统原理研讨会会议记录，加拿大班夫，2001年10月。]] 谷歌学者 M.M.Swift、M.Annamalai、B.N.Bershad和H.M.Levy。 正在恢复设备驱动程序。 在OSDI’04{19}中，第1-16页。]] 谷歌学者 数字图书馆 M.M.Swift、B.N.Bershad和H.M.Levy。 提高商品操作系统的可靠性。 ACM计算机系统交易，23（1）：77--1102005年2月。]] 谷歌学者 数字图书馆 D.Wambolt，2001年12月。 http://seclists.org/lists/linux-kernel/2001/Dec/2027.html。 ]] 谷歌学者 J.Weber，2002年2月。 http://www.ussg.iu.edu/hypermail/linux/kernel/0202.1/0697.html。 ]] 谷歌学者
建议
记录和自动化linux设备驱动程序中的并行演进 Eurosys’08：第三届ACM SIGOPS/Eurosys欧洲计算机系统会议记录 Linux的内部库正在迅速发展，以满足新的需求并提高性能。 然而，这些演变带来了Linux设备驱动程序中并行演变的巨大问题：对于影响API的每一个更改，都。。。 了解Linux设备驱动程序的附带发展 EuroSys’06：2006年第一届ACM SIGOPS/EuroSys欧洲计算机系统会议记录 在现代操作系统（OS）中，设备驱动程序可以占源代码的70%以上。 对于内核和驱动程序支持库中定义的函数和数据结构，驱动程序代码也严重依赖于操作系统的其余部分。 这些。。。 记录和自动化linux设备驱动程序中的并行演进 2008年欧洲系统 Linux的内部库正在迅速发展，以满足新的需求并提高性能。 然而，这些演变带来了Linux设备驱动程序中并行演变的巨大问题：对于影响API的每一个更改，都。。。
