Slashdot Mirror


Linux Has Fewer Bugs Than Rivals

sushant_bhatia_progr writes "Wired has an article stating that according to a four-year analysis of the 5.7 million lines of Linux source code conducted by five Stanford University computer science researchers, the Linux kernel programming code is better and more secure than the programming code of most proprietary software. The report, set to be released on Tuesday, states that the 2.6 Linux production kernel, shipped with software from Red Hat, Novell and other major Linux software vendors, contains 985 bugs in 5.7 million lines of code, well below the industry average for commercial enterprise software. Windows XP, by comparison, contains about 40 million lines of code, with new bugs found on a frequent basis. Commercial software typically has 20 to 30 bugs for every 1,000 lines of code, according to Carnegie Mellon University's CyLab Sustainable Computing Consortium. This would be equivalent to 114,000 to 171,000 bugs in 5.7 million lines of code."

36 of 626 comments (clear)

  1. Mistake by StevenHenderson · · Score: 3, Funny
    Windows XP, by comparison, contains about 40 million lines of code

    I think they mean "40 million lines of bugs" :)

    1. Re:Mistake by chrish · · Score: 5, Insightful

      Somehow I doubt that the XP kernel is 40 million lines of code. I know it's not good "news" but they should really compare apples to apples in their study.

      This just in! "Hello world" has 0 bugs per three lines of code! Most stable and secure software ever devised!

      --
      - chrish
    2. Re:Mistake by Allen+Zadr · · Score: 3, Insightful
      I actually agree here. I'm a big Linux proponent, but the whole text seems fishy to me. And if they are certain there are exactly that number of bugs in the code, then they probably have been addressed. Yet, there are probably more bugs yet to be found.

      Then, when speaking of XP, they don't quantify the bugs, but merely say, "more are being found daily". Great... a pear.

      --
      Kinetic stupidity has a new brand leader: Allen Zadr.
    3. Re:Mistake by Kjella · · Score: 3, Funny

      This just in! "Hello world" has 0 bugs per three lines of code! Most stable and secure software ever devised!

      Actually, hello world has the highest ratio of bugs/program complexity I've seen. Depends on who is doing the implementation, I guess.

      Kjella

      --
      Live today, because you never know what tomorrow brings
    4. Re:Mistake by dbacher · · Score: 5, Insightful

      X.Org, Mesa and your choice of KDE/GNome and the tools necessary to have the same base application set as Windows has have over 5m lines of code, so it's safe to say Apache 2, Samba, etc. weren't included in this count, either, nor the GNU C compiler suite.

      There's no central Linux repository for reporting bugs in ancillary packages, while at Microsoft's site, all reported bugs go into a single database that can be queried. Each individual Linux distro and each individual Linux package maintains its own bug lists, which would have to be some how amalgamated.

      In order to do the stated comparison, you would need to state what distribution you were using, you would have to state which patches you were using, and you would have to document where the information on bug counts came from for both products.

      On top of all this, bugs per 1000 lines of code, while an industry metric, isn't a valid measurement of code quality, either, by the way.

      One good code metric is the number of control points per function. The more control points per function, the more likely that you have a bug. It's always possible to take a complicated function and break it up into smaller pieces, and with C/C++ (but not .NET or Java), it's possible to do so with no performance impact at all in all ISO compilers.

      Another good metric is the distribution of severity of the reported issues. Draw a bell curve of severity of issues, compare percentage to percentage. You're not concerned with 1000 bugs vs. 100 bugs, you're concerned about how many of those bugs compromise your system or cause a crash.

      Another good metric is delta bugs over time. There will always be bugs, everyone knows that there will be bugs. The question is the bug count going up or down.

      Another good metric is delta time between open and close. Again, there will always be bugs, but how fast they are getting closed is a measure of whether a product is good or bad.

      Another good metric is distribution of the number of days that bugs have been open and reported (by severity).

      The reason for this is that the number of lines to implement a given function using a given algorithm varies between programmers and programming styles. Some will use two lines or statements to do what can be done in one, to make code easier to read. The line number is something that a developer can manipulate easily.

      However, these other measurements are tied directly into the quality of the code. Nobody cares how big the Linux kernel is compared to the Windows kernel, or vice versa. What they care about is how well the Linux kernel works compared to the Windows kernel.

      Any count related to bugs, also, needs to take into account the fact that on Windows, you have billions of users any of whom could find and report a bug. On Linux, bugs are more likely to go undiscovered for a longer period of time, simply because there aren't as many people trying to hit them.

      The Windows and Linux kernel tend to be very similar in bug counts. The kernels of both OSes tend not to have bugs, because kernels tend to have simple code that's hard to mess up in any meaningful way.

      It's only when you start including all these ancillary subsystems, device drivers, etc. that you start to see significant percentages of the bug.

      And it is exceptionally hard to get an accurate count of those on Linux. On vMac, I documented approximately one bug in ten that I fixed, and I think that would be typical of other open source projects (although I can't swear to that).

      I think that on these other, valid measurements that aren't dependent on lines of code, that if you could collect the statistics on a package per package basis, and compare them, that Open Source would still come out ahead of Windows.

      It's just a matter of using a meaningless metric on widely divergent code bases to prove any point is irresponsible, and by reporting it, the media is doing a disservice to the Open Source community by perpetuating the image of the community as a bunch of college students who don't understand real development practices.

      --
      If your code is acting bloated, and is running rather slow, it's likely and predicted that some loops you will unroll.
    5. Re:Mistake by Dread_ed · · Score: 4, Funny

      Dammit dbacher, stop making sense and being all rational and stuff!

      We're trying to bash the dogshit out of MS products here and you are messing it up!

      Go to your cubicle!

      --
      When the only tool you have is a claw hammer every problem starts to look like the back of someone's skull.
  2. Congratulations... by kjones692 · · Score: 5, Funny

    ...but while they were going through all those 5.7 million lines of code, would it really have killed them to debug them while they were at it??

    --

    Love the Third Amendment?
    1. Re:Congratulations... by MadKeithV · · Score: 4, Insightful

      From TFA

      Seth Hallem, CEO of Coverity, a provider of source-code analysis, noted that the majority of the bugs documented in the study have already been fixed by members of the open-source development community.

    2. Re:Congratulations... by chialea · · Score: 4, Informative

      I'm not a programmer-type either, but I'm familiar with some of this research. There are a few techniques that I've seen, but don't consider this to be complete, my research is in crypto, not code.

      1. code patterns -- if you see something that looks like a pattern, it is probably a bug... "if(x = 0)", for example. of course, you have to check that it actually IS a bug, but you can catch certain common things that way.

      2. type safety -- tools can go through your code (either statically or while it's running) and look for type violations. for example, you might write an int to an unsigned int, or mix up pointers and ints, which could be bad. you can catch a stunning number of bugs this way.

      3. pointer analysis -- another annoying bug can be in aliasing, where you have multiple pointers that may or may not be pointing at the same memory. are you really /trying/ to overwrite that data structure pointed to by another pointer? In general, this sort of analysis is hard (undecidable, off of the top of my head), but feasible in limited cases.

      I'm not sure what sorts of current tools are released by these researchers, but this is a very basic overview of the techniques I've heard about people using recently. (Repeat disclaimer: I'm a theorist.)

      Lea

  3. How can one be sure by UltimaGuy · · Score: 5, Insightful

    How can one be sure about closed source kernels like Windows XP. Even though I agree that it has to contain more bugs, without the actual source how can any one make any judgement in this matter?

    --
    "In questions of science the authority of a thousand is not worth the humble reasoning of a single individual."
  4. Conflict of interest... by BJZQ8 · · Score: 5, Funny

    The problem is that there is very often little vested interest in fixing bugs in closed software...if it can be covered up, then so be it. In open software, there's always a reason, even if it is just to keep people from pointing at your code and laughing.

    1. Re:Conflict of interest... by akadruid · · Score: 4, Funny

      If it can be covered up then it's not a very serious bug. Why spend money fixing bugs that aren't a big deal?

      See Also: Diebold

      --
      "Those who cast the votes decide nothing; those who count the votes decide everything." (attrib. Joseph Stalin)
  5. Apple != Orange by kin_korn_karn · · Score: 5, Interesting

    Talk about misleading stats...

    The Windows XP code base includes all of the extraneous crap that gets bundled with and on top of the kernel.

    The "Linux" code base just includes the kernel.

    1. Re:Apple != Orange by abb3w · · Score: 4, Insightful
      The Windows XP code base includes all of the extraneous crap that gets bundled with and on top of the kernel.

      This is what you get for integrating your web browser into your operating system. Legality aside, there was a low cunning to that business move when M$ did it. Now, however, that decision is coming back to bite them on the tender bits: the browser is part of the OS, ergo bugs in the browser count as bugs in the OS.

      --
      //Information does not want to be free; it wants to breed.
    2. Re:Apple != Orange by falsified · · Score: 4, Insightful
      Forgive me, O Moderators, for being blunt:

      Do you use only the Linux kernel? No. You run Slackware, or Fedora, or SuSE (my personal choice), or Gentoo, or something. A fresh copy of the latest version of a distribution is what should have been analyzed. All of the other stuff that's piled onto the kernel is what you use, such as the GUI, time-killing games, and all the other shit that a standard XP install disc contains. You don't click on line 11359 of the Linux kernel to open up Konqueror. You click on an icon, which starts a process that you use. The stuff piled onto the kernel is far more buggy than the kernel would be. I'd bet that a distribution of Linux is still far less buggy than Windows is, but it's certainly not 985 vs. 800,000. For example, when I minimize my windows on XP, there isn't hard drive activity for the next five minutes, as can happen with SuSE with not very much open. I'm sure something's misconfigured, but if a distribution, in 2004, is that poorly configured by default, then that's a bug.

      --
      HI, MY NAME IS ISAAC.
    3. Re:Apple != Orange by MojoRilla · · Score: 3, Insightful

      You are suggesting that they should have sacrifice usability for a meaningless statistic. What a typical dumb PHB statement.

      Exactly how does making the browser part of the operating system make Windows more usable?

      Because they did this, I now can't remove IE if I want to. I have trouble with outlook if I set mozilla as my default browser. I can't upgrade IE without patching the OS (which means other programs that use IE components might break). There is no way for me to downgrade to earlier browser versions. There is no way for me to have multiple versions of IE installed, so it makes it hard to test. Because IE is in the operating system, Microsoft has delayed releasing new features until the next version of the OS is shipped.

      I can't think of a single thing that integrating the browser into the OS buys you, except some code reusability. From my engineering perspective, this wasn't done for any legitimate engineering reason, but because of legal and business reasons.

    4. Re:Apple != Orange by truthsearch · · Score: 3, Informative

      Start up time and rendering speeds are fast for IE.

      And both can be achieved without OS integration. Rendering for any 3rd party app can be direct to the video driver if the OS allows it. That's not integration.

      It's already been proven that startup time for all Office apps is from hidden API calls near the start the executable code. They load the visual interface before the application's actually ready for use. That plus pre-loading of DLLs gives fast startup. Office isn't considered part of the OS, yet IE is. Therefore fast startup times have nothing to do with integration.

      Try supporting 5 different applications vs. one. Over the phone. With a user with no training or previous knowledge.

      I have. An entire office of old-fashioned accountants who prefer ledgers and pencils. How is blending 2 apps tightly together better than having 2 separate apps? If there's a problem with Firefox I can tell someone to not launch it. If there's a problem with IE parts of it are in memory whether I choose them to be or not. If there was less integration in Windows then it could be trimmed down to a minimal size for each user. Instead everything including the kitchen sink must continually be supported. You're only increasing your headache by using Windows and its tight integration.

      I'm questioning the statistic mentioned is valid or not. Can this number even be trusted?

      Not as purely fact. Yet someone who reads the study may determine that it's better to have the code open to all who can fix bugs instead of one select group. Or it may give insight to management that security can be better achieved when they can have their own people analyze the code. When read properly I don't see how anything but good can come from a study such as this.

  6. Not completely scientific by The-Bus · · Score: 5, Interesting

    First off, what does this statement mean?

    "[Linux has] 985 bugs in 5.7 million lines of code, well below the industry average for commercial enterprise software. Windows XP, by comparison, contains about 40 million lines of code, with new bugs found on a frequent basis."

    So Linux has 985 bugs. Windows has bugs that appear frequently. Ok that doesn't really tell me anything. I tried to dig a bit deeper and came up with: "Coverity has not analysed the source code to Microsoft Windows because the company does not have access to the source code, Hallem said. Apple Computer's Mac OS X has a great deal of proprietary programming, but the core of the operating system is based on BSD, an open-source operating system similar to Linux."

    So everything is based on estimates. Now, you know and I know that the Linux kernel has less bugs... but this is a tentative (at best, shoddy at worst) way of presenting that idea.

    --

    Small potatoes make the steak look bigger.

  7. Linux Kernel vs Windows XP by vasqzr · · Score: 3, Insightful


    What about if you throw in KDE or GNOME, Mozilla, etc, everything that you'd have to add to really equal the features of Windows XP....

    1. Re:Linux Kernel vs Windows XP by beuges · · Score: 3, Informative

      the windows shell is explorer.exe, microsoft's equivalent to kde. if explorer.exe crashes, web servers, ftp servers, database servers, and anything else running on the box, even user applications that are not tied in to the shell, will continue to run unhindered. so, to respond to your first statement, crashing explorer.exe wont kill your system (do it yourself on windows xp, go to task manager and kill the explorer process). system services will keep on rolling just fine. contrary to /. belief, the windows shell is not "tied in" to the windows kernel any more than kde is tied into bzImage.

  8. Re:20-30 bugs per 1000 lines??? by Bachus9000 · · Score: 5, Funny

    A rate of 20-30 bugs per 1000 lines would render most programs unusable.

    Sounds like Windows to me! :-)

    It's a joke, laugh. :)

  9. Mistaking symptoms for bugs by MoebiusStreet · · Score: 3, Insightful

    In proprietary closed code, it's impossible for an outside party to determine the number of bugs.

    The best you can hope to do is to count the number of *symptoms*, but that's not the same thing as bugs. It's possible, even likely, that a single bug in the code manifests itself as 100 apparently different external symptoms.

    So this comparison is apples to oranges and completely meaningless.

  10. Update by Tom · · Score: 3, Funny

    Update: 18 hours after posting the study, the Linux kernel team had eliminated all the bugs documented in the study, forcing the researchers to correct the bug count down to 0 per 10,000 lines.

    --
    Assorted stuff I do sometimes: Lemuria.org
  11. smells like BS by OldAndSlow · · Score: 5, Insightful
    This post pisses me off:

    How do you analyze 5.7 million lines of code except to run it through a static analyzer? Static analyzers can't detect most errors, which tend to be data dependent. So a company selling an uberlint donates their tool, 5 academics run it and write a paper. *Blech*

    Commercial software typically has 20 to 30 bugs for every 1,000 lines of code Bull. Software with 20-30 errors per KSLOC doesn't work. (I know, I just spent a year trying to save a project that had 10 errors per KSLOC. Even at that defect density (found and fixed) it was undeliverable. Notice that the link in TFA doesn't take you to anything that supports this assertion, just to the organization's home page. I could't find anything to support these numbers.

    Weasely non-comparisons: 2.6 Linux production kernel, ... contains 985 bugs in 5.7 million lines of code as opposed to Windows XP, by comparison, contains about 40 million lines of code, with new bugs found on a frequent basis.What, bug in Linux are found on an infrequent basis?

    This is all hot air.

  12. Re:20-30 bugs per 1000 lines??? by Rob+Riggs · · Score: 4, Insightful
    I still believe this figure is BS

    It's not.

    There are bugs that affects applications to a level the user notices, and there are bugs that affect the maintainability of the code, the reusability of the code, and the ease of use of the code. Most bugs are hidden from the user's view.

    Does a stack overflow in a piece of code that only occurs when a craftily created exploit is executed constitute a bug? Yes it does -- even when no exploit exists. Under normal operations it does not affect the use of the system -- at least not until an exploit is developed and widely used. The fact that Windows, especially the older versions of the OS, were vulnerable to so many simple exploits illustrates the bugginess of the code. And most of the bugs are not even in close enough to the surface to be so readily exploited.

    Does an end user see API bugs? Does anyone outside of Microsoft experience architectural flaws in the Windows OS? No, but that does not mean they do not exist.

    What about code that misbehaves when presented with certain data. That may not be a problem for the original application that the code was written for, but any time that code gets reused, the programmer must know about these "hidden features" (read: bugs). Again, the user never sees this sort of bug.

    The number they came up with wasn't pulled out their ass. See this article on measuring bugs for a more detailed discussion on the topic.

    When reading it, bear in mind that most commercial software is produced for in-house use, receives very little QC, and frequently does not even compile cleanly. It's usuall just "good enough" to get the job done.

    --
    the growth in cynicism and rebellion has not been without cause
  13. Re:20-30 bugs per 1000 lines??? by Iphtashu+Fitz · · Score: 4, Interesting

    I'm gonna call bullshit on this figure.

    Keep in mind that you need to know the definition of a bug. It's not necessarially what you think it might be, but what the researchers defined. By their definition a condition that could never occur could be considered to be a bug. For example:

    int foo ()
    {
    if (0)
    return;

    do_something();

    return (0);
    }

    This overly-simple example could be considered to be a bug. If the condition is ever true the function will return an undefined value, but the condition will never be true so you couldn't possibly return an undefined value. It's not at all uncommon to find code with similar logic scattered throughout - improperly defined loops, conditionals, etc. could result in theoretical bugs that no path of execution can actually get to.

    Then there are the kinds of bugs that only occur in extremly specific situations. About 13 years ago I had to track down a bug that caused a report package to crash. It took me a while to figure it out but eventually I did. The program would crash only on specific days. It'd only crash on Wednesdays. It'd only crash on certian Wednesdays - Wednesdays in September. Even more specifically, usually only the 3rd or 4th Wednesday in September.

    The bug was that whoever wrote the code that printed a header on the reports was extremely anal about memory usage. He calculated exactly how many characters it would take for a buffer to hold the full date. The problem was he miscalculated by 1 character. With "Wednesday" being the longest day spelled out and "September" being the longest month, a 2 digit date (eg. Wednesday September 23) meant that the full date string would overflow the buffer by 1 character. This kind of bug wouldn't show up very often - only a few times a year - but it was a pretty nasty one when it did.

  14. Flawed comparison by willgott · · Score: 3, Insightful

    The article claims that "...the Linux kernel programming code is better and more secure than the programming code of most proprietary software..."

    Of course it is.

    Most proprietary software are user-level apps where a bug here or a bug there isn't critical. The economic loss that can be atributed to a bug in MS Word's bullet-point-algorithm isn't as great as a datacenter going down due a Oops in the linux-box running the SQL-database. To put it simply: there are different requirements for different tasks. A comparison between the quality of WinXP's GUI and GNOME for example would have been much more interesting.

    I don't understand how this story could make slashdot's frontpage.

  15. IEFBR14 by iBod · · Score: 3, Funny

    When I walked with dinosaurs (ok, IBM mainframes) as a sysprog, there was a utility program named IEFBR14.

    The purpose of IEFBR14 was to do exactly nothing, and pass a zero return code to the caller after doing the 'nothing' (branching on the return address in register 14 - thus BR 14).

    This was actually more useful than it sounds and was used frequently in MVS JCL (Job Control Language) to make JCL do its thing without having to run a real program in a JCL 'step'.

    Thing is, this program that had to do precisely nothing, had no less than 3 patches issued from IBM. Mostly to do with not clearing R15 (the return code register) correctly.

    Go figure!

  16. Re:Now tell us what the bugs are by mahdi13 · · Score: 3, Informative

    How could they analyse the 2.6 kernel 4 years ago when 2.6 is less then a year old?
    ReadingTFA: "The Linux source-code analysis project started in 2000"...

    This is an ongoing study, to find the bugs checkout Bugzilla.kernel.org it's not like they hide them or anything

    --
    "Some things have to be believed to be seen." - Ralph Hodgson
  17. Classic case for the do-nothing argument by ClosedSource · · Score: 3, Insightful

    For most proprietary software, the source is not available. So when contemplating this study the authors should have realized that it couldn't possibly be valid and decided to go do something else. The fact that they went ahead anyway, is a strong indication of their lack of dedication to scientific principles.

  18. Re:20-30 bugs per 1000 lines??? by julesh · · Score: 3, Insightful

    Sounds like Windows to me! :-)

    It's a joke, laugh. :)


    It's a sure sign that the moderators are getting stupid when you have to point out the jokes to them. ;-) <--- NOTE SMILEY. :) :)

  19. Is anyone else bothered by this? by rd_syringe · · Score: 5, Insightful

    Is anyone else bothered by the idea that an article entitled "Linux Has Fewer Bugs Than Rivals" is posted that compares 5 million lines of code that make up just a kernel to 40 million lines of code that make up a kernel, an operating system, a desktop, its integrated components, and its included applications? 40 million lines has more bugs than 5 million? Who'd have thunk it?

    Why does "Linux is just a kernel" suddenly not apply here? Is it because we're bashing Microsoft? This is kind of lame and makes the community look silly and vitriolic.

    1. Re:Is anyone else bothered by this? by ColMustard · · Score: 3, Insightful

      This guy has a valid point, and to mod him down as if this argument isn't valid is just silly. Mod points shouldn't be used to kill people who you happen to disagree with.

      --
      Moof.
    2. Re:Is anyone else bothered by this? by Anonymous Coward · · Score: 3, Insightful

      Read the article again.

      According to the author: Linux has fewer lines of code AND fewer bugs per thousand lines of code when compared to typical commercial software.

      Currently linux has 985 known bugs in 5.7 million lines of code. If linux is to compete with commercial code it will need about 114,000 to 171,000 bugs in 5.7 million lines of code.

    3. Re:Is anyone else bothered by this? by JudicatorX · · Score: 4, Informative
      Why does "Linux is just a kernel" suddenly not apply here?

      Linux is a kernel. The problem is that this is comparing the linux kernel to all of windows XP

      --
      "It is a good divine that follows his own instructions" - Portia, The Merchant of Venice
  20. And yet by Anonymous Coward · · Score: 3, Insightful

    And yet, Linux has more security advisories than Windows each month.

    I'd like to see a serious discussion of the methods and funding sources in this study. You know, the same kind of discussions that appear whenever a Microsoft study is posted. Mysteriously, that critical thinking is absent in articles like this.

    40 million lines of code != 5 million lines of code. If Microsoft attempted such a skewed study, I can already picture the kinds of posts people would be writing, asking about methods, funding, and more. Those posts aren't appearing in this article. Why? Well, that's because this isn't about the quest for finding out which operating system actually has less bugs (sorry, I forgot, "Linux is just a kernel!"...funny how that oft-uttered phrase is missing in the article discussion), this is nothing more than a Microsoft-bash article intended to generate Microsoft-bashing replies.

    OSTG, the corporation that owns Slashdot, makes money off of OSS products. It's rather convenient that they run a "tech news" site that just so happens to post news stories that are all critical of their competitors, isn't it? Imagine if Microsoft owned a tech news site that posted nothing but anti-Linux articles? You guys would be all over it, but your biases against Microsoft make you have a double-standard. So you ignore that Slashdot is a corporate-owned website with a major bias and an editorial staff that can barely read and write correctly, much less bother to read their own website.