DeCAF: Moving device drivers to a modern language

Proceedings of the 2009 USENIX Annual Technical Conference

Volumn , Issue , 2019, Pages 187-200

  Renzelmann, Matthew J ^a   Swift, Michael M ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; JAVA PROGRAMMING LANGUAGE; LINUX; PROBLEM ORIENTED LANGUAGES;

DEVELOPMENT COSTS; DEVICE DRIVER; ERROR HANDLING; KERNEL DRIVERS; MODERN LANGUAGES; PROGRAM ANALYSIS; PROGRAMMING ENVIRONMENT; WRITING CODES;

C (PROGRAMMING LANGUAGE);

EID: 85077034716     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (52)

1. H. Albrecht. Remote Tea. http://remotetea.sourceforge.net/.
2. J. Allchin. Windows Vista team blog: Updating a brand-new product, Nov. 2006. http://windowsvistablog.com/blogs/windowsvista/archive/2006/11/17/updating-a-brand-new-product.aspx.
3. F. Armand. Give a process to your drivers! In Proc. of the EurOpen Autumn 1991, Sept. 1991.
4. A. D. Birrell and B. J. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2(1):39-59, Feb. 1984.
5. E. Brewer, J. Condit, B. McCloskey, and F. Zhou. Thirty years is long enough: getting beyond c. In Proc. of the Tenth IEEE HOTOS, 2005.
6. A. Catorcini, B. Grunkemeyer, and B. Grunkemeyer. CLR inside out: Writing reliabile .NET code. MSDN Magazine, Dec. 2007. http://msdn2.microsoft.com/enus/magazine/cc163298.aspx.
7. P. Chandrashekaran, C. Conway, J. M. Joy, and S. K. Rajamani. Programming asynchronous layers with CLARITY. In Proc. of the 15th ACMFSE, Sept. 2007.
8. P. Chubb. Get more device drivers out of the kernel! In Ottawa Linux Symp., 2004.
9. J. Condit, M. Harren, S. McPeak, G. C. Necula, and W. Weimer. CCured in the real world. In Proc. of the ACM SIGPLAN'03 ACM Conference on Programming Language Design and Implementation, June 2003.
10. C. L. Conway and S. A. Edwards. NDL: a domain-specific language for device drivers. In Proc. of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, June 2004.
11. J. Corbet, A. Rubini, and G. Kroah-Hartman. Linux Device Drivers, 3rd Edition. O'Reilly Associates, Feb. 2005.
12. I. N. Division. Netperf: A network performance benchmark. http://www.netperf.org.
13. M. Eisler. XDR: External data representation standard. RFC 4506, Internet Engineering Task Force, May 2006.
14. J. Elson. FUSD: A Linux framework for user-space devices, 2004. User manual for FUSD 1.0.
15. D. Engler, D. Y. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Proc. of the 18th ACM SOSP, Oct. 2001.
16. Ú. Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. C. Necula. XFI: software guards for system address spaces. In Proc. of the 7th USENIX OSDI, 2006.
17. Ú. Erlingsson, T. Roeder, and T. Wobber. Virtual environments for unreliable extensions. Technical Report MSR-TR-05-82, Microsoft Research, June 2005.
18. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure, 2004.
19. V. Ganapathy, M. J. Renzelmann, A. Balakrishnan, M. M. Swift, and S. Jha. The design and implementation of microdrivers. In Proc. of the Thirteenth ACM ASPLOS, Mar. 2008.
20. B. Goetz. Plugging memory leaks with weak references. http://www.ibm.com/developerworks/java/library/jjtp11225/index.html, 2005.
21. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. Failure resilience for device drivers. In Proc. of the 2007 IEEE DSN, June 2007.
22. M. Hirzel and R. Grimm. Jeannie: Granting Java native interface developers their wishes. In Proc. of the ACM OOPSLA'07, Oct. 2007.
23. W. Hsieh, M. Fiuczynski, C. Garrett, S. Savage, D. Becker, and B. Bershad. Language support for extensible operating systems. In Proc. of the Workshop on Compiler Support for System Software, Feb. 1996.
24. G. Hunt, J. Larus, M.Abadii, M. A. PP. Barham, M. Fähdrich, C. Hawblitzel, O. Hodson, S. L.Ni. Murphy, B. Steensgaard, D. Tarditi, T. Wobber, and B. Zill. An overview of the Singularity project. Technical Report MSR-TR-2005-135, Microsoft Research, Oct. 2005.
25. Jungo. Windriver cross platform device driver development environment. Technical report, Jungo Corporation, Feb. 2002. http://www.jungo.com/windriver.html.
26. B. Leslie, P. Chubb, N. Fitzroy-Dale, S. Gotz, C. Gray, L. Macpherson, D. Potts, Y. Shen, K. Elphinstone, and G. Heiser. User-level device drivers: Achieved performance. Jour. Comp. Sci. and Tech., 20(5), 2005.
27. J. LeVasseur, V. Uhlig, J. Stoess, and S. Gotz. Unmodified device driver reuse and improved system dependability via virtual machines. In Proc. of the 6th USENIX OSDI, 2004.
28. Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A tool for finding copy-paste and related bugs in operating system code. In Proc. of the 6th USENIX OSDI, 2004.
29. R. Love. Kernel locking techniques. Linux Journal, Aug. 2002. http://www.linuxjournal.com/article/5833.
30. F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for hardware programming. In Proc. of the 4th USENIX OSDI, Oct. 2000.
31. Microsoft Corp. PREfast for drivers. http://www.microsoft.com/whdc/devtools/tools/prefast.mspx.
32. Microsoft Corporation. Windows Server 2003 DDK. http://www.microsoft.com/whdc/DevTools/ddk/default.mspx, 2003.
33. Microsoft Corporation. Architecture of the user-mode driver framework. http://www.microsoft.com/whdc/driver/wdf/UMDFarch.mspx, May 2006. Version 0.7.
34. Microsoft Corporation. Interoperating with unmanaged code. http://msdn.microsoft.com/enus/library/sd10k43k(VS.71).aspx, 2008.
35. G. C. Necula, S. Mcpeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Intl. Conf. on Compiler Constr., 2002.
36. T. Okumura, B. R. Childers, and D. Mosse. Running a Java VM inside an operating system kernel. In Proc. of the 4th ACM VEE, Mar. 2008.
37. Y. Padioleau, J. Lawall, R. R. Hansen, and G. Muller. Documenting and automating collateral evolutions in linux device drivers. In Proc. of the 2008 EuroSys Conference, apr 2008.
38. Project UDI. Uniform Driver Interface: Introduction to UDI version 1.0. http://udi.certek.cc/Docs/pdf/UDI tech - white paper.pdf, Aug. 1999.
39. D. Richie. The Unix tree: the'nsys' kernel, Jan. 1999. http://minnie.tuhs.org/UnixTree/Nsys/.
40. L. Ryzhyk, P. Chubb, I. Kuz, and G. Heiser. Dingo: Taming device drivers. In Proc. of the 2009 EuroSys Conference, Apr. 2009.
41. L. Ryzhyk, I. Kuz, and G. Heiser. Formalising device driver interfaces. In Proc. of the Workshop on Programming Languages and Systems, Oct. 2007.
42. M. Spear, T. Roeder, O. Hodson, G. Hunt, and S. Levi. Solving the starting problem: Device drivers as self-describing artifacts. In Proc. of the 2006 EuroSys Conference, Apr. 2006.
43. Sun Microsystems. UNIX programmer's supplementary documents: rpcgen programming guide. http://docs.freebsd.org/44doc/psd/22.rpcgen/paper.pdf.
44. M. Susskraut and C. Fetzer. Automatically finding and patching bad error handling. In Proceedings of the Sixth European Dependable Computing Conference, 2006.
45. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the reliability of commodity operating systems. ACM Transactions on Computer Systems, 23(1), Feb. 2005.
46. L. Torvalds. Linux kernel source tree. http://www.kernel.org.
47. L. Torvalds. UIO: Linux patch for user-mode I/O, July 2007.
48. T. von Eicken, C.-C. Chang, G. Czajkowski, C. Hawblitzel, D. Hu, and D. Spoonhower. J-Kernel: a capability-based operating system for Java. In Secure Internet Programming: Security Issues for Distributed and Mobile Objects, volume 1603 of LNCS, pages 369-393. Springer-Verlag, 1999.
49. D. Williams, P. Reynolds, K. Walsh, E. G. Sirer, and F. B. Schneider. Device driver safety through a reference validation mechanism. In Proc. of the 8th USENIX OSDI, Dec. 2008.
50. E. Witchel, J. Rhee, and K. Asanovic. Mondrix: Memory isolation for Linux using Mondriaan memory protection. In Proc. of the 20th ACM SOSP, 2005.
51. H. Yamauchi and M. Wolczko. Writing Solaris device drivers in Java. Technical Report TR-2006-156, Sun Microsystems, Apr. 2006.
52. F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer. SafeDrive: Safe and recoverable extensions using language-based techniques. In Proc. of the 7th USENIX OSDI, 2006.