Title :
Is Minix more robust because it is microkernel?
Author :
Kinoshita, J. ; Omoto, H.T. ; de S Barbuda, P. d´A F. F. ; Neto, W.L.
Author_Institution :
Univ. de Sao Paulo (USP), Sao Paulo, Brazil
Abstract :
In 2006, professor Tanenbaum released Minix3 with a new book and papers supporting that drivers running as processes in user mode made Minix, a microkernel operating system, more reliable than monolithic operating systems. We tested Minix3 in a operating system course at University of Sao Paulo University and unfortunately, we were able to deadlock the system after inserting a bug in a driver. Based on this problem, we make some considerations about performance and reliability in Minix3.
Keywords :
operating system kernels; software reliability; Minix3; microkernel operating system; monolithic operating systems; reliability; user mode made Minix; Kernel; Linux; Monitoring; Robustness; Servers; System recovery; microkernel; minix; operating systems;
Journal_Title :
Latin America Transactions, IEEE (Revista IEEE America Latina)
DOI :
10.1109/TLA.2011.6030998
