Cover Memory
Coverity Introduces New Code Analysis Capabilities for Multi-threaded Applications
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
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
|
|
CR Gibson Pocket Page Recipe Book Custom recipe storage in classic black, features top-stitched genuine bonded leather with window frames for embossed letter inserts that slip in easily for instant personalization. CR Gibson’s Pocket Page Recipe Book is the perfect place to organize and store favorite recipes. 20 PVC-free pocket page sheets hold 40 4-inch x 6-inch decorated recipe cards and are easy to wipe clean; 12 tabbed decora… |
|
|
Seat Solution Orthopedic Seat Cushion $16.78 Seat Solution Orthopedic Seat Cushion is designed to relieve nagging backaches, numbness, and discomfort while you sit. It has a special wedge shape with U Cutaway for your tailbone. Made from All New Material Consisting of 100% Polyurethane Foam. Includes black dual sided cover, breathable fabric on one side with stain and water resistant finish on the other…. |
|
|
Stay-Put 3rd Generation Gel-Mat© Anti-fatigue Kitchen Mats 50% Thicker. Designed to produce Maximum Fatigue Relief at any work station and eliminates the unintended consequences of Gel mats with fancy covers. $99.99 Most Gel-mats are very comfortable to stand on and work from, whether you are wearing shoes, slippers or just socks. As far as reducing fatigue and back pain, that is a different story altogether. If you have purchased other Gel mats provide comfort and little Anti Fatigue value, try our 30 days Guarantee. All of our mats are constructed for the Anti Fatigue value, in order to offer the best re… |
|
|
The Ultimate Hits $5.87 All products are BRAND NEW and factory sealed. Fast shipping and 100% Satisfaction Guaranteed…. |
|
|
At Fillmore East $6.33 There has never been a better showcase for improvisational rock than this 1971 concert recording, and few (if any) live rock albums are in its rank. With only two studio albums (and plenty of touring) under their belt, the Georgia sextet tore into the Fillmore East with road-tested buoyancy. Titanic guitarist Duane Allman was at the peak of his powers, pushing his foil, Dickey Betts, to unsurpasse… |
|
|
This Is Country Music $8.46 All products are BRAND NEW and factory sealed. Fast shipping and 100% Satisfaction Guaranteed…. |
|
|
E-Flite Screwdriver, #00 Phillips $1.98 Screwdriver,#00 PhillipsE-FlitePart EFLA256… |
|
|
Mitutoyo 500-196-20 ABSOLUTE Digital Caliper, LCD, Battery Powered, 0-6/0-150mm Range, +/-0.001 Accuracy, 0.0005/0.01mm Resolution $121.75 MITUTOYO Digimatic Calipers w/ Absolute Encoder-MEASURING RANGE: 0-6″. LCD RESOLUTION: 0.0005″. ACCURACY:+/-0. 001″… |
|
|
Intermatic EJ351C 120 Volt 24-Hour Programmable Mechanical Security Timer $15.00 … |
|
|
The Notebook $3.50 Behind every great love is a great story. Two teenagers from opposite sides of the tracks fall in love during one summer together but are tragically forced apart. When they reunite 7 years later their passionate romance is rekindled forcing one of them to choose between true love and class order.Running Time: 124 min.Format: DVD MOVIE Genre: DRAMA UPC: 794043749728… |
|
|
Memory Foam Lumbar Support with Cover $33.33 Roll and support come with a removable cloth cover and an adjustable positioning strap. Contoured lumbar support counteracts lordosis. Memory foam. |
|
|
Honeymoon Memory Book $21.48 A great way to capture the memories of your honeymoon is with the Honeymoon Memory Book The linen and brown cover closes with a tie Inside are 50 pages to make entries or mount photographs The result will be a cherished keepsake like no other This Honeymoon Memory Book makes a great shower or wedding gift for the Bride and Groom 8 12 x 6 |
|
|
Ohio State Buckeyes Switch Plate Cover-Double $13 Switch Plate Cover-Double by The Memory Company. This hand painted double switch plate cover measures 5.25″ x 5.5″ |
|
|
Arkansas Razorbacks Switch Plate Cover $16.99 Switch Plate Cover by The Memory Company features a team name and logo. Made of glass. |
|
|
Chicago Blackhawks Switch Plate Cover $10.99 Switch Plate Cover by The Memory Company features a team name and logo. Made of glass. |
|
|
Memory Foam Mattress $360 The most advanced sleep product available for your child This special mattress features a core layer of memory foam to make it the most comfortable mattress around The memory foam allows the mattress to contour to the shape of your childs body for maximum support comfort and circulation After a hard day of play quality sleep is an important health benefit for your child Dont be fooled by cheaper mattresses that advertise memory foam padding They do not compare to this mattress with its core layer of memory foam This memory foam mattress also features a patented support edge technology This system adds support stabilizes the complete sleeping surface and prevents sagging This mattress also has a special air barrier which provides air circulation This mattress is configured to provide the most comfortable sleeping surface one can buy Please note the box spring pictured is not included Mattress cover – velveteen finish antimicrobial treated and hypoallergenic Boxspring pictured not included |
|
|
Memory Plus™ Pillow $62.96 PLEASE NOTE: THIS ITEM CANNOT SHIP VIA 3-DAY DELIVERY.The memory foam pillows use the highest quality foam to ensure years of comfort and use. The custom formulated viscoelastic foam is precision-cut to deliver the best memory foam pillow available. The Memory Foam Pillow provides more support than traditional memory foam. It has a layer of viscoelastic foam over a high-quality, precision-cut foam base to provide extra cervical support and therapeutic value not found in other memory foam pillows. It is covered with a removable, machine washable, plush fabric cover for comfort. Soft, plush, fabric cover for comfort. Memory foam conforms to head and neck to provide custom support. Rigid foam base provides extra cervical support. Highest quality materials ensures durability and performance.Dimensions: Overall – 18″ x 12″ (46 cm – 30 cm), Lobe Height – 4.5″ and 3.5″ (11 cm & 9 cm) |
