 |
Coverity Introduces New Code Analysis Capabilities for Multi-threaded Applications
Author: coverity  | Posted: 24-04-2008 | Comments: 0 | Views: 12 | Rating: (51)  (?) 
Coverity, the leader in improving software quality and security automatically, has introduced a sophisticated new concurrency defect detection capabilities in Coverity Prevent™, the company’s flagship static code analysis solution for C/C++ and Java. This new technology introduces the first static defect detection of race conditions, one of the most difficult to find concurrency errors that occurs in multi-threaded applications. This new capability will benefit developers by automatically identifying race conditions in addition to other concurrency defects early in the development cycle where they are most cost effective to eliminate.
“To remain competitive, software companies need to support multi-core hardware, which will make multi-threaded applications inevitable for most developers,” said Theresa Lanowitz, founder of Voke, a technology analyst firm. “The challenge for developers is that multi-threaded applications add complexity to the application lifecycle, requiring new expertise and technology to maintain application quality and security.”
Race condition defects have been responsible for some of the most notorious failures in software. For example, race conditions in the software of the Therac-25 radiation therapy machine were cited as contributing to the death of five patients. Race conditions were also a contributing factor in the North American Blackout of August 2003, during which 50 million people lost power.
The advent of multi-core hardware, whether computers from vendors such as AMD or Intel, or consumer goods such as the Sony PlayStation 3, are driving the emergence of multi-threaded software applications that are susceptible to race condition defects. To take advantage of multi-core hardware requires new, multi-threaded applications that can simultaneously execute multiple, interacting computational tasks.
Designing multi-threaded applications is highly complex, and introduces a new class of potential application failures when the intricacies of concurrently running threads are not handled properly. To date, testing for concurrency defects such as race conditions has been extremely difficult due to the complexity in run-time environments where multiple threads execute simultaneously while accessing shared memory.
The latest release of Coverity Prevent introduces a new interface designed specifically to help developers understand the complex interleavings that exist within their multi-threaded applications. New advanced analysis capabilities in Prevent provide analysis of 100% of these interleavings, delivering unmatched insight into complex code bases.
Coverity Prevent helps developers control the complexity of multi-threaded applications by automatically identifying these hard-to-find, often crash-causing concurrency defects such as:
• Race Condition – Multiple threads access the same shared data without the appropriate locks to protect access points. When this defect occurs, one thread may inadvertently overwrite data used by another thread, leading to both loss of information and data corruption.
•
• Deadlock – Two or more threads wait for a lock in a circular chain such that the locks can never be acquired. When this defect occurs, the entire software system may halt, as none of the threads can either proceed along their current execution paths or exit.
• Thread Block – A thread calls a long-running operation while holding a lock thereby preventing the progress of other threads. When this defect occurs, application performance can drop dramatically due to a single bottleneck for all threads.
“Coverity has been helping our customers eliminate concurrency defects in multi-threaded applications for years, and we’re excited to expand those capabilities by adding race conditions to the list of dangerous defects we identify,” said Ben Chelf, chief technology officer of Coverity. “Race conditions are particularly difficult for developers because they are hard to test for, nearly impossible to replicate, and the consequence of a race condition in the field can be disastrous – Coverity’s new technology overcomes all of these challenges and helps developers eliminate this painful defect type.”
A new white paper available explains more about Coverity’s breakthrough application of static analysis to detect race conditions. The paper is available in for download at: http://www.coverity.com/html/library.php
Rate this Article:
Current: 0 / 5 stars - 0 vote(s).
Article Source: http://www.articlesbase.com/programming-articles/coverity-introduces-new-code-analysis-capabilities-for-multithreaded-applications-394799.html
About the Author:Coverity is a software engineering company that provides automated source code analysis tools to improve the software development process. Coverity’s advanced technology helps companies deliver the most reliable and secure software possible.
Hardware design has always been considered a difficult task, requiring significant investments in automation and verification. But the idea that building software is equally difficult has only recently gained credibility. Coverity meets that insight by providing automated tools that enable software developers to quickly, thoroughly, and accurately analyze their source code early in the development process.
These tools enable software developers to pinpoint defects that could cause catastrophic failures or security breaches. Coverity Prevent™ and Coverity Extend™ help software companies build better products, decrease time-to-market, and decrease risks
|
Submitting articles has become one of the most popular means to drive traffic to your website and promote yourself and your business. Join us today - It's Free! |
|
Related Articles
Enabling High - Quality C/c++ Software, Automatically-coverity Prevent
By: tracy | 12/03/2008 | Programming
Coverity Prevent SQS™ is the market-leading automated approach to identify and resolve the most critical defects in C, C++, and Java source code. By providing a complete understanding of your build environment, source code, and development process, Prevent SQS sets the standard in enabling high-quality software across organizations worldwide.
Sab B1, Netsuite Solutions Provider
By: Sophia | 20/08/2008 | Programming
Tandoninfo is a leading SAP Business One Solution Provider. We provide SAP Business One (B1) Implementation, customization & support. We are one of the Netsuite solutions providers in California (CA). Tandoninfo provides Custom Software development services such as application development, project management, workflow solutions, ERP solutions & quality testing. TIS is leading SAP Business one implementation services provider based in USA and India.
Securing your Business, Home and Office
By: Suzanne Lamoutte | 06/02/2008 | Home Security
Increase the security of your home with these simple and easy methods that you can implement all on your own.
Choosing the Right Tools
By: Steven Lam | 22/08/2008 | Blogging
Do people seem to Choose The Right Tools for your website? Here’s why: (1) your navigation couldn’t lead a camel to water, (2) your cute little animated pictures are way too annoying, and (3) you have more fonts and colors than a circus clown on crack. Let me show you how to fix these problems and make more money!
Improving the Security of your Door on a Shoe String Budget
By: Suzanne Lamoutte | 19/02/2008 | Home Security
Improving the security of your home or office is something that should be well thought out.
Offshoring Development - Testing the Water
By: Thea | 04/05/2006 | Software
Article detailing how UK companies are outsourcing services such as IT and HR to overseas companies, concentrating on offshore software development.
Automated Website Testing
By: Thomas Berten | 14/07/2006 | Software
Thorough website testing is imperative if you wish to create a high quality website that can draw and retain customers. Automated website testing provides a huge productivity gain for a testing team and automated testing tools have now become an economic necessity.
Offshore Software Testing
By: puneetr | 07/08/2007 | Software
Software Testing is the most important phase in the Software Development Life Cycle. It is a crucial step that determines the final output. However, companies always do not have an in-house resource team to conduct a thorough and a professional test of the software.
Got a Question? Ask.
Ask the community a question about this article:
Frequently Asked Questions
Software Evaluation of Great Plains versus CODA Accounting Systems
By: Director | 03-11-2008
great plains financial system versus coda financial system
Are different kinds of software used for different kinds of works? give some examples....
By: idrees | 03-11-2008
Are different kinds of software used for different kinds of works? give some examples....
Related:www.complaintsboard.com/complaints/earth ...
By: Juan Alberto Lopez | 01-11-2008
related:www.complaintsboard.com/complaints/earth-events-update-to-earth-events-c101693.html
jaldpaintinginc@aol.com Purchased 3 years membership and two extra features for U$D 68.74 on 29/7/2008 11:52:13 pm Order #21980663
No answer for technical support from earth@supporthelp.com please help.
Key Home Gourmet to NYC
By: Sam | 31-10-2008
I have used Key Home Gourmet for many years and would like to use NYC. Key Home Gourmet stores files in a .KCF file and exports in a .KXP file. The instructions here say I can use a .KHG file in NYC. How do I get from my Key Home Gourmet file to something that NYC can use?
When I access my space this box pops up and says I ...
By: Kelly | 31-10-2008
When I access my space this box pops up and says I need to debug and I have no idea how to do that. I try to search the web and all I can find is companies trying to sell me software. Anyone have any answers?
I am now in us..when i was in india i used a pre ...
By: mrs.ans | 29-10-2008
i am now in us..when i was in india i used a pre paid card..ihavt used my phone for the last 2 yrs..my baby accidentally entered a wrong PINcode..now am not able to enter..it is asking me for entering a PUK code.my most of the contact numbers are stored in that phone..how can i re enter into it...
Q&A Powered by: 
Latest Programming Articles
Cool Desktop Wallpapers
By: Danny | 18/11/2008
Cool desktop wallpaper is accomplishments arrangement that displayed in the computer operating system. The wallpapers usually be acclimated in JPEG, BMP and GIF book formats. That wallpaper can be acclimated with Microsoft Windows, Linux and Macintosh Mac OS. Each adviser can be altered requirements, alike admitting wallpaper images advised for accepted monitors can be scaled up or bottomward to the fit size. Those are accessible on the internet for free. Some categories of wallpapers are a
Tips for Buying Software Online
By: Daniel Jowssey | 17/11/2008
Buying software online not only helps save the planet, it also has other benefits, including:
* Ease and Simplicity. You can purchase software in your underwear at 4am if you really want to. Shopping online doesn’t have to be done within regular business hours, nor do you need to look your best to do it. It’s also easy to shop around for the best prices and takes less time than driving to the shops.
Mvc Design Pattern
By: TuVinhSoft .,JSC | 14/11/2008
Model-view-controller (MVC) is an architectural pattern used in software engineering. In complex computer applications that present a large amount of data to the user, a developer often wishes to separate data (model) and user interface (View) concerns, so that changes to the user interface will not affect data handling, and that the data can be reorganized without changing the user interface.
Advantages of Low Cost Contract Programmers in Freelance Programming
By: Joanna Gadel | 12/11/2008
It observed that web industry is getting tougher thus the necessity of freelance contract programmer is required for developing more effective website with flexible features. This article states the fruitful advantages of freelance programmers in contract programming.
A Guide to Cnc Kits
By: Martin Applebaum | 09/11/2008
CNC kits are a way in which to construct your CNC machine. This article will provide some information on these machines.
A Guide to Cnc Tube Bending Machines
By: Martin Applebaum | 08/11/2008
Are you familiar with a CNC tube bending machine? This article will shed some light on the main function and components of this machine.
Ways to Hire Dedicated Php Programmers
By: Jucick | 08/11/2008
It’s not at all easy to hire dedicated PHP programmers unless you know where and how to find them. Whether you need to fix, update or enhance your website you naturally want the job done quick and right.
Top 4 Reasons Why Addressing Web Accessibility is Important
By: Matt Cave | 05/11/2008
There are very high chances that web accessibility is more important to the performance of your web site than you realize. Article takes a look at the top 4 reasons why it would be important to address the issue of web accessibility.
|
|
Computers 
