| Weekly edition | Kernel | Security | Distributions | Search |
| Archives | Calendar | Subscribe | Write for LWN | LWN.net FAQ |
Stanford CHECKER?
Stanford CHECKER?
Posted Feb 20, 2003 19:44 UTC (Thu) by wh (guest, #9477)In reply to: Stanford CHECKER? by ncm
Parent article: Comparing free and proprietary software defect rates
True, but the story's author interprets the results of Reasoning's findings differently. Just because Linux has less memory leaks (found by the Stanford Checker) than other operating systems doesn't mean that Linux has less race conditions (not found by the Stanford Checker) than other operating systems.
(Log in to post comments)
Race conditions
Posted Feb 23, 2003 8:36 UTC (Sun) by ncm (subscriber, #165) [Link]
Linux also has many more people looking for race conditions in it than any of the proprietary systems that they compared it to. Therefore, we can reasonably expect it to compare favorably in that area vs. the other systems.This is not to say Linux would show well, on an absolute scale, in its number of remaining race conditions. It probably stinks. The proprietary stacks, though, probably stink far, far worse, for exactly the same reasons that they leak worse.