DocumentCode
1336116
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
Volume
9
Issue
5
fYear
2011
Firstpage
838
Lastpage
844
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;
fLanguage
English
Journal_Title
Latin America Transactions, IEEE (Revista IEEE America Latina)
Publisher
ieee
ISSN
1548-0992
Type
jour
DOI
10.1109/TLA.2011.6030998
Filename
6030998
Link To Document