Lessons learned from 30 years of MINIX

Abstract

MINIX shows even an operating system can be made to be self-healing.

References

1. Accetta, M., Baron, R., Golub, D., Rashid, R., Tevian, A., and Young, M. Mach 1986: A new kernel foundation for Unix development. In Proceedings of the USENIX Summer Conference (Atlanta, GA, June 9--13). USENIX Association, Berkeley, CA, 1986, 93--112.
2. Appuswamy, R., van Moolenbroek, D.C., and Tanenbaum, A.S. Loris: A dependable, modular file-based storage stack. In Proceedings of the 16^th Pacific Rim International Symposium of Dependable Computing (Tokyo, Dec. 13--15). IEEE Computer Society, Washington, D.C., 2010, 165--174.
3. Brinch Hansen, P. The nucleus of a multiprogramming system. Commun. ACM 13, 4 (Apr. 1970), 238--241.
4. Cheriton, D.R. The V kernel, a software base for distributed systems. IEEE Software 1, 4 (Apr. 1984), 19--42.
5. Giuffrida, C., Iorgulescu, C., Kuijsten, A., and Tanenbaum, A.S. Back to the future: Fault-tolerant live update with time-traveling state transfer. In Proceedings of the 27^th Large Installation System Administration Conference (Washington D.C., Nov. 3--8). USENIX Association, Berkeley, CA, 2013, 89--104.
6. Giuffrida, C., Kuijsten, A., and Tanenbaum, A.S. Safe and automatic live update for operating systems. In Proceedings of the 18^th International Conference on Architectural Support for Programming Languages and Operating Systems (Houston, TX, Mar. 16--20). ACM Press, New York, 2013, 279--292.
7. Herder, J. Building a Dependable Operating System, Fault Tolerance in MINIX 3. Ph.D. Thesis, Vrije Universiteit, Amsterdam, the Netherlands, 2010; http://www.cs.vu.nl/~ast/Theses/herder-thesis.pdf
8. Hruby, T., Bos, H., and Tanenbaum, A.S. When slower is faster: On heterogeneous multicores for reliable systems. In Proceedings of the Annual Technical Conference (San Jose, CA, June 26--28). USENIX Association, Berkeley, CA, 2013, 255--266.
9. Klein G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Swell, T., Tuch, H., and Winwood, S. seL4: Formal verification of an OS kernel. In Proceedings of the 22^nd Symposium on Operating Systems Principles (Big Sky, MT, Oct. 11--14). ACM Press, New York, 2009, 207--220.
10. Liedtke, J. Improving IPC by kernel design. In Proceedings of the 14^th ACM Symposium on Operating Systems Principles (Asheville, NC, Dec. 5--8). ACM Press, New York, 1993, 174--188.
11. Liedtke, J. On microkernel construction. In Proceedings of the 15^th ACM Symposium on Operating Systems Principles (Copper Mountain Resort, CO, Dec. 3--6). ACM Press, New York, 1995, 237--250.
12. Rozier, M., Abrossimov, V., Armand, F., Boule, I., Gien, M. Guillemont, M., Herrmann, F., Kaiser, C., Langlois, S., Leonard, P., and Neuhauser, W. The CHORUS distributed operating system. Computing Systems Journal 1, 4 (Dec. 1988), 305--370.
13. Saltzer, J.H. and Schroeder, M.D. The protection of information in computer systems. Proceedings of the IEEE 63, 9 (Sept. 1975), 1278--1308.
14. Salus, P.H. A Quarter Century of UNIX. Addison-Wesley, Reading, MA, 1994.
15. Tanenbaum, A.S. Operating Systems Design and Implementation, First Edition. Prentice Hall, Upper Saddle River, NJ, 1987.
16. Tanenbaum, A.S., Herder, J., and Bos, H.J. Can we make operating systems reliable and secure? Computer 39, 5 (May 2006), 44--51.
17. Tanenbaum, A.S. and Mullender, S.J. A capability-based distributed operating system. In Proceedings of the Conference on Local Networks & Distributed Office Systems (London, U.K., May 1981), 363--377.
18. Tanenbaum, A.S, van Staveren, H., Keizer, E.G., and Stevenson, J.W. A practical toolkit for making portable compilers. Commun. ACM 26, 9 (Sept. 1983), 654--660.

Index Terms

• Software and its engineering

  • Software creation and management