Newsgroups: comp.os.minix
From: ty...@athena.mit.edu (Theodore Y. Ts'o)
Date: Fri, 31 Jan 1992 21:40:23 GMT
Local: Fri, Jan 31 1992 4:40 pm
Subject: Re: LINUX is obsolete
>From: a...@cs.vu.nl (Andy Tanenbaum) It's not your fault for believing that Linux is tied to the 80386 >ftp.cs.vu.nl = 192.31.231.42 in dir minix/simulator.) I think it is a >gross error to design an OS for any specific architecture, since that is >not going to be around all that long. architecture, since many Linux supporters (including Linus himself) have made the this statement. However, the amount of 80386-specific code is probably not much more than what is in a Minix implementation, and there is certainly a lot less 80386 specific code in Linux than here is Vax-specific code in BSD 4.3. Granted, the port to other architectures hasn't been done yet. But if I >While I could go into a long story here about the relative merits of the This is not necessarily the case; I think you're painting a much more >two designs, suffice it to say that among the people who actually design >operating systems, the debate is essentially over. Microkernels have won. >The only real argument for monolithic systems was performance, and there >is now enough evidence showing that microkernel systems can be just as >fast as monolithic systems (e.g., Rick Rashid has published papers comparing >Mach 3.0 to monolithic systems) that it is now all over but the shoutin`. black and white view of the universe than necessarily exists. I refer you to such papers as Brent Welsh's (we...@parc.xerox.com) "The Filsystem Belongs in the Kernel" paper, where in he argues that the filesystem is a mature enough abstraction that it should live in the kernel, not outside of it as it would in a strict microkernel design. There also several people who have been concerned about the speed of I am aware of the benefits of a micro kernel approach. However, the I suspect that the balance of micro kernels versus monolithic kernels By the way, I don't buy your arguments that you don't need a You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| ||||||||||||||