Looking to prevent race conditions that can wreak havoc in software, Coverity is adding concurrency defect detection capabilities to its Coverity Prevent SQS (Software Quality System) static code analysis software for C, C++, and Java projects.
Being announced this week, the capability addresses one of the most difficult-to-find concurrency errors in multi-threaded applications, Coverity said. Race conditions, in which multiple threads in a program attempt to access the same data set without appropriate locks, are automatically identified early in the development cycle.
The use of multi-core hardware is resulting in development of multi-threaded applications susceptible to race condition defects, said Coverity. The advent of multi-core means developers have to change the way they deliver software to take advantage of those cores, said Ben Chelf, Coverity CTO.
"We've developed static analysis [software] that can analyze the code itself that uncovers these race conditions without requiring you to run the code," Chelf said.
Race conditions, according to Coverity, have been responsible for some of the most notorious software failures. In the Therac-25 radiation therapy machine, for example, race conditions were cited as a contributing factor to the death of five patients, the company said. Race defects can cause one thread to inadvertently overwrite data used by another thread, leading to information loss and data corruption.
Race conditions are likely to become more prevalent, said analyst Theresa Lanowitz, founder of voke.
"Not all software can just automatically run in a multi-core environment," she said.
"This product is a pre-emptive move to solve very difficult problems before they impact a critical operation," she said.
"The ability to prevent race conditions in a multi-threaded application is a significant advantage for any organization or consumer attempting to take advantage of multi-core hardware," Lanowitz said.
The new release of Prevent SQS features an interface designed to help developers understand complex interleavings that exist within multi-threaded applications, Coverity said. Advanced analysis capabilities analyze these interleavings to offer insight into complex code bases.
Other defects addressed by Prevent SQS include:
* Deadlock, in which two or more threads wait for a lock in a circular chain manner such that the locks can never be acquired. This defect can cause a software system to halt because none of the threads can proceed along execution paths or exit.
* Thread block, in which a thread calls a long-running operation while holding a lock, preventing the progress of other threads. This can cause a bottleneck that lowers application performance.
The price of Coverity Prevent SQS is based on project size.
This whitepaper explains the terminology and concepts behind Data Replication technologies and establishes some sizing rules through worked examples. Learn the new paradigm in disaster tolerance—protect data anywhere.
Download now »
Server virtualization is a popular option for dealing with mounting datacenter costs. Another equally promising approach is the use of an Application Delivery Controller. Citrix NetScaler provides a low-cost way for organizations to reduce their server count and accrue cost savings from a reduction in space, cooling, power and personnel.
Download now »
The emergence of WLANs has created a new breed of security threats to enterprise networks.
Included in HP ProCurve WLAN solutions is security technology that alleviates threats from WLANs through:
* Monitoring wireless activity inside and out of the enterprise
* Classifying WLAN transmissions into harmful and harmless
* Preventing transmissions that pose a security threat to the enterprise network
* Locating participating devices for physical remediation
Effectively address data protection challenges, implementing solutions that help store and protect business–critical data while cutting costs and improving efficiency and reliability.
Download now »
Sign up to receive InfoWorld Resource Alerts
Recommend This
