Software:Tanenbaum–Torvalds debate

From HandWiki
Short description: 1990s debate regarding the Linux kernel
Andrew S. Tanenbaum
Linus Torvalds

The Tanenbaum–Torvalds debate was a written debate between Andrew S. Tanenbaum and Linus Torvalds, regarding the Linux kernel and kernel architecture in general. Tanenbaum, the creator of Minix, began the debate in 1992 on the Usenet discussion group comp.os.minix, arguing that microkernels are superior to monolithic kernels and therefore Linux was, even in 1992, obsolete.[1] The debate has sometimes been considered a flame war.[2]

The debate

Graphic of a monolithic kernel running kernel space entirely in supervisor mode
Microkernel architecture relies on user-space server programs

While the debate initially started out as relatively moderate, with both parties involved making only banal statements about kernel design, it grew progressively more detailed and sophisticated with every round of posts. Besides just kernel design, the debate branched into several other topics, such as which microprocessor architecture would win out over others in the future. Besides Tanenbaum and Torvalds, several other people joined the debate, including Peter MacDonald, an early Linux kernel developer and creator of one of the first distributions, Softlanding Linux System; David S. Miller, one of the core developers of the Linux kernel; and Theodore Ts'o, the first North American Linux kernel developer.[1]

The debate opened on January 29, 1992, when Tanenbaum first posted his criticism on the Linux kernel to comp.os.minix, noting how the monolithic design was detrimental to its abilities, in a post titled "LINUX is obsolete".[1] While he initially did not go into great technical detail to explain why he felt that the microkernel design was better, he did suggest that it was mostly related to portability, arguing that the Linux kernel was too closely tied to the x86 line of processors to be of any use in the future, as this architecture would be superseded by then. To put things into perspective, he mentioned how writing a monolithic kernel in 1991 is "a giant step back into the 1970s".

Since the criticism was posted in a public newsgroup, Torvalds was able to respond to it directly. He did so a day later, arguing that MINIX has inherent design flaws (naming the lack of multithreading as a specific example), while acknowledging that he finds the microkernel kernel design to be superior "from a theoretical and aesthetical" point of view.[3] He also claimed that since he was developing the Linux kernel in his spare time and giving it away for free (Tanenbaum's MINIX was not free at that time), Tanenbaum should not object to his efforts. Furthermore, he mentioned how he developed Linux specifically for the Intel 80386 because it was partly intended as a learning exercise for Torvalds himself; while he conceded that this made the kernel itself less portable than MINIX, he asserted that this was an acceptable design principle, as it made the application programming interface simpler and more portable. For this reason, he stated, "linux is more portable than minix."

Following Linus' reply, Tanenbaum argued that the limitations of MINIX relate to him being a professor, stating the requirement for the system to be able to run on the rather limited hardware of the average student, which he noted was an Intel 8088-based computer, sometimes even without a hard drive.[4] Linux was, at that time, specifically built for the Intel 386, a significantly more powerful (and expensive) processor. Tanenbaum also specifically states "... as of about 1 year ago, there were two versions [of MINIX], one for the PC (360K diskettes) and one for the 286/386 (1.2M). The PC version was outselling the 286/386 version by 2 to 1." He noted that even though Linux was free, it wouldn't be a viable choice for his students, as they would not be able to afford the expensive hardware required to run it, and that MINIX could be used on "a regular 4.77 MHz PC with no hard disk." To this, Kevin Brown, another user of the Usenet group, replied that Tanenbaum should not complain about Linux's ties to the 386 architecture, as it was the result of a conscious choice rather than lack of knowledge about operating system design, stating "... an explicit design goal of Linux was to take advantage of the special features of the 386 architecture. So what exactly is your point? Different design goals get you different designs."[5] He also stated that designing a system specifically for cheap hardware would cause it to have portability problems in the future. Despite the fact that MINIX did not fully support the newer hardware, Tanenbaum argued that since the x86 architecture would be outdone by other architecture designs in the future, he did not need to address the issue, noting "Of course 5 years from now that will be different, but 5 years from now everyone will be running free GNU on their 200 MIPS, 64M SPARCstation-5." He stated that the Linux kernel would eventually fall out of style as hardware progressed, due to it being so closely tied to the 386 architecture.[4]

Torvalds attempted to end the discussion at that point, stating that he felt he should not have overreacted to Tanenbaum's initial statements, and that he was composing a personal email to him to apologise.[6] However, he would continue the debate at a later time.

Aftermath

Despite this debate, Torvalds and Tanenbaum appear to be on good speaking terms; Torvalds wants it understood that he holds no animosity towards Tanenbaum, and Tanenbaum underlines that disagreements about ideas or technical issues should not be interpreted as personal feuds.[2]

Early 1990s perspectives

When the issue and full initial debate were published in the O'Reilly Media book Open Sources: Voices from the Open Source Revolution in 1999, it stated that the debate exemplified "the way the world was thinking about OS design at the time".[2]

The 386 processor was then the most widespread chip "by several times", according to participant Kevin Brown, with the 486 used in high-end computers, the 286 almost obsolete, and the World Wide Web not yet widely used. One of Tanenbaum's arguments against Linux was that it was too closely tied to the x86 architecture and instruction set, which he regarded as a mistake.[1] Modern Linux now has a more portable codebase and has been ported to many other processor architectures.

Another recurring topic in the debate discusses alternatives to Linux and MINIX, such as GNU (Hurd) and 4.4BSD. Tanenbaum suggested the former in his first post, stating that unlike Linux, it was a "modern" system".[1] In his second post, he mentioned that "... 5 years from now everyone will be running free GNU on their 200 MIPS, 64M SPARCstation-5".[4] Several debaters disagreed that GNU was a suitable alternative. Kevin Brown called it vaporware, and stated that Linux would likely benefit from the x86 architecture which would continue to be common and become more accessible to a general audience. Theodore Ts'o, an early Linux contributor, said that while a microkernel approach would have benefits, "... Linux is here, and GNU isn't—and people have been working on Hurd for a lot longer than Linus has been working on Linux".[7] Torvalds, aware of GNU's efforts to create a kernel, stated "If the GNU kernel had been ready last spring, I'd not have bothered to even start my project: the fact is that it wasn't and still isn't."[8]

4.4BSD-Lite would not be available until two years later due to the USL v. BSDi lawsuit, filed by AT&T's subsidiary Unix System Laboratories against Berkeley Software Design, which pertained to the intellectual property related to UNIX. The lawsuit slowed development of the free-software descendants of BSD for nearly two years while their legal status was in question. As Linux did not have such legal ambiguity, systems based on it gained greater support. A settlement between USL v. BSDi was reached in January 1994, and 4.4BSD was released in June. (While the final release was in 1995, several free versions based on this version have been maintained since, including FreeBSD, DragonFly BSD, OpenBSD and NetBSD.)

The Samizdat incident

On March 23, 2004, Kenneth Brown, president of the Alexis de Tocqueville Institution, interviewed Tanenbaum. This was a prelude to the pending publication of a book by Brown titled Samizdat: And Other Issues Regarding the 'Source' of Open Source Code. The book claims that Linux was initially illegally copied from MINIX. Tanenbaum published a strong rebuttal, defending Torvalds,[9] and stated at that time:

I would like to close by clearing up a few misconceptions and also correcting a couple of errors. First, I REALLY am not angry with Linus. HONEST. He's not angry with me either. I am not some kind of "sore loser" who feels he has been eclipsed by Linus. MINIX was only a kind of fun hobby for me. I am a professor. I teach and do research and write books and go to conferences and do things professors do. I like my job and my students and my university. ... I wrote MINIX because I wanted my students to have hands-on experience playing with an operating system. After AT&T forbade teaching from John Lions' book, I decided to write a UNIX-like system for my students to play with. ... I was not trying to replace GNU/HURD or Berkeley UNIX. Heaven knows, I have said this enough times. I just wanted to show my students and other students how you could write a UNIX-like system using modern technology. A lot of other people wanted a free production UNIX with lots of bells and whistles and wanted to convert MINIX into that. I was dragged along in the maelstrom for a while, but when Linux came along, I was actually relieved that I could go back to professoring. ... Linus seems to be doing excellent work and I wish him much success in the future.

While writing MINIX was fun, I don't really regard it as the most important thing I have ever done. It was more of a distraction than anything else. The most important thing I have done is produce a number of incredibly good students, especially Ph.D. students. See my home page for the list. They have done great things. I am as proud as a mother hen. To the extent that Linus can be counted as my student, I'm proud of him, too. Professors like it when their students go on to greater glory.[10]

Continued dialogue

This subject was revisited in 2006 after Tanenbaum wrote a cover story for Computer magazine titled "Can We Make Operating Systems Reliable and Secure?".[11] While Tanenbaum himself has mentioned that he did not write the article to renew the debate on kernel design,[12] the juxtaposition of the article and an archived copy of the 1992 debate on the technology site Slashdot caused the subject to be rekindled.[13] Torvalds posted a rebuttal of Tanenbaum's arguments via an online discussion forum,[14] and several technology news sites began reporting the issue.[15] This prompted Jonathan Shapiro (primary developer of the EROS microkernel) to respond that most of the field-proven reliable and secure computer systems use a more microkernel-like approach.[16]

Intel Management Engine revelations

In 2017, it was revealed that Intel was running MINIX inside the Management Engine, a separate processor incorporated in Intel processor chipsets since 2008. As a response to this, Tanenbaum wrote an open letter to Intel claiming MINIX to be "the most widely used computer operating system in the world".[17]

References

  1. 1.0 1.1 1.2 1.3 1.4 A. S. Tanenbaum (January 29, 1992). "LINUX is obsolete". Newsgroupcomp.os.minix. Usenet: 12595@star.cs.vu.nl. Retrieved November 27, 2006.
  2. 2.0 2.1 2.2 DiBona, Chris; Ockman, Sam; Stone, Mark; Behlendorf, Brian; Bradner, Scott; Hamerly, Jim; McKusick, Kirk; O'Reilly, Tim et al. (January 1999). "The Tanenbaum-Torvalds Debate". Open Sources: Voices from the Open Source Revolution. O'Reilly Media. ISBN 978-1-56592-582-3. http://www.oreilly.com/catalog/opensources/book/appa.html. "When Linus himself heard that we were including this, he wanted to make sure that the world understood that he holds no animus towards Tanenbaum and in fact would not have sanctioned its inclusion if we had not been able to convince him that it would show the way the world was thinking about OS design at the time." 
  3. L. Torvalds (January 29, 1992). "Re: LINUX is obsolete". Newsgroupcomp.os.minix. Usenet: 1992Jan29.231426.20469@klaava.Helsinki.FI. Retrieved November 28, 2006.
  4. 4.0 4.1 4.2 A. S. Tanenbaum (January 30, 1992). "LINUX is obsolete". Newsgroupcomp.os.minix. Usenet: 12615@star.cs.vu.nl. Retrieved January 10, 2006.
  5. Kevin Brown (January 31, 1992). "RE: LINUX is obsolete". Newsgroupcomp.os.minix. Usenet: 1992Jan31.074347.1198@menudo.uh.edu. Retrieved April 7, 2007.
  6. L. Torvalds (January 30, 1992). "Apologies (was Re: LINUX is obsolete)". Newsgroupcomp.os.minix. Usenet: 1992Jan30.153816.1901@klaava.Helsinki.FI. Retrieved January 10, 2007.
  7. Theodore Y. Ts'o (January 31, 1992). "Re: LINUX is obsolete". Newsgroupcomp.os.minix. Usenet: TYTSO.92Jan31164013@SOS.mit.edu. Retrieved May 11, 2007.
  8. L. Torvalds (January 29, 1992). "Re: LINUX is obsolete". Newsgroupcomp.os.minix. Usenet: 1992Jan29.231426.20469@klaava.Helsinki.FI. Retrieved May 11, 2006.
  9. Tanenbaum, Andrew S.. "Some Notes on the "Who wrote Linux" Kerfuffle, Release 1.5". http://www.cs.vu.nl/~ast/brown/. 
  10. Tanenbaum, Andrew S.. "Ken Brown's Motivation". http://www.cs.vu.nl/~ast/brown/followup/. 
  11. Tanenbaum, A. S. (May 2006). "Can We Make Operating Systems Reliable and Secure?". IEEE Computer Society 39 (5): 44–51. doi:10.1109/MC.2006.156. https://lass.cs.umass.edu/~shenoy/courses/677/readings/ast-Computer06.pdf. Retrieved November 26, 2006. 
  12. Tanenbaum, A. S. (May 2006). "Tanenbaum-Torvalds Debate: Part II". https://www.cs.vu.nl/~ast/reliable-os/. 
  13. "Microkernel: The Comeback?". May 2006. https://developers.slashdot.org/developers/06/05/08/1058248.shtml. 
  14. Torvalds, L. (May 2006). "Hybrid kernel, not NT". https://www.realworldtech.com/forums/index.cfm?action=detail&id=66630&threadid=66595&roomid=11. 
  15. "Torvalds on the Microkernel Debate". May 10, 2006. https://linux.slashdot.org/article.pl?sid=06/05/10/0439246&tid=190. 
  16. Jonathan Shapiro (May 11, 2006). "Debunking Linus's Latest". https://www.cosy.sbg.ac.at/~clausen/PVSE2006/linus-rebuttal.html. 
  17. Tanenbaum, Andrew S.. "An Open Letter to Intel" (in en). https://www.cs.vu.nl/~ast/intel/. 

External links