The Singularity system

Abstract

Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system.

References

1. Aiken, M., Fähndrich, M., Hawblitzel, C., Hunt, G., and Larus, J.R. Deconstructing process isolation. In Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (San Jose, CA, Oct.). ACM Press, New York, 2006, 1--10.
2. Ball, T. and Rajamani, S.K. The SLAM toolkit. In Proceedings of the 13th Conference on Computer-Aided Verification (Paris, July). Springer, 2001, 260--264.
3. Barnett, M., Change, B.-y.E., Deline, R., Jacobs, B., and Leino, K.R. Boogie: A modular reusable verifier for object-oriented programs. In Proceedings of the Fourth International Symposium on Formal Methods for Components and Objects (Amsterdam, The Netherlands, Nov.). Springer, 2005, 364--387.
4. Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynski, M., Becker, D., Eggers, S., and Chambers, C. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain Resort, CO, Dec.). ACM Press, New York, 1995, 267--284.
5. Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler D. An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (Chateau Lake Louise, Banff, Canada, Oct.). ACM Press, New York, 2001, 73--88.
6. Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., and Levi, S. Language support for fast and reliable message-based communication in Singularity OS. In Proceedings of the First ACM SIGOPS/EuroSys European Conference on Computer Systems (Leuven, Belgium, Apr.). ACM Press, New York, 2006, 177--190.
7. Flatt, M. and Findler, R.B. Kill-safe synchronization abstractions. In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (Washington, D.C., June). ACM Press, New York, 2004, 47--58.
8. Hinchey, M., Jackson, M., Cousot, P., Cook, B., Bowen, J.P., and Margaria, T. Software engineering and formal methods. Commun. ACM 51, 9 (Sept. 2008), 54--59.
9. Hunt, G. and Larus, J. Singularity: Rethinking the software stack. ACM SIGOPS Operating Systems Review 41, 2 (Apr. 2007), 37--49.
10. Hunt, G., Aiken, M., Fähndrich, M., Hawblitzel, C., Hodson, O., Larus, J., Levi, S., Steensgaard, B., Tarditi, D., and Wobber, T. Sealing OS processes to improve dependability and safety. In Proceedings of the Second ACM SIGOPS/EuroSys European Conference on Computer Systems (Lisbon, Portugal, Mar.). ACM Press, New York, 2007, 341--354.
11. Orgovan, V. and Tricker, M. An Introduction to Driver Quality. Microsoft WinHEC 2004 presentation DDT301, New Orleans, LA, 2003.
12. Spear, M.F., Roeder, T., Levi, S., and Hunt, G. Solving the starting problem: Device drivers as self-describing artifacts. In Proceedings of the EuroSys 2006 Conference (Leuven, Belgium, Apr.). ACM Press, New York, 2006, 45--58.

Index Terms

• Software and its engineering

  • Software notations and tools

    • General programming languages

  • Software organization and properties

    • Contextual software domains

      • Operating systems

    • Software system structures

      • Software architectures

• Theory of computation