Top Cover
2009
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
Gimme All Your Lovin' - ZZ Top cover
 |
 17 19 LAPTOP PROTECTIVE SKIN STICKER COVER ART DECAL USA SELLER TOP QUALITY $3.75 (4 Bids) Time Remaining: 36m |
 New Dell Inspiron 1525 1526 Black Top Cover Hinges $39.99 Time Remaining: 11d 7h 44m Buy It Now for only: $39.99 Buy It Now |
 New Zebra Orange Scarf Kaftan Caftan Tunic Wing Beach Cover Up Wear DressTops $4.99 (1 Bid) Time Remaining: 1h 5m Buy It Now for only: $9.99 Buy It Now |
 Acer Aspire 5610Z LCD LID TOP Back Cover Front Bezel CABLE WEBCAM $25.00 Time Remaining: 29d 4h 22m Buy It Now for only: $25.00 Buy It Now |
 New Zebra White Scarf Kaftan Caftan Tunic Wing Beach Cover Up Wear DressTops $4.99 Time Remaining: 1h 8m Buy It Now for only: $9.99 Buy It Now |
 New Skull Black Scarf Kaftan Caftan Tunic Wing Beach Cover Up Wear DressTops $4.99 (1 Bid) Time Remaining: 1h 35m Buy It Now for only: $9.99 Buy It Now |
 NEW Acer Aspire 5742Z 5742ZG 5741 5741Z 5741ZG 5251 5741G Series SPS TOP COVER $35.00 Time Remaining: 24d 13h 22m Buy It Now for only: $35.00 Buy It Now |
 WHITE HOUSE BLACK MARKET KNIT TOP COVER WOMENS SZ LARGE EUC $8.99 (1 Bid) Time Remaining: 1h 37m |
 BIMINI Top BOAT COVER NEW 3 Bow 46H x 79 84 W BLUE W FREE SUPPORT POLES $149.00 Time Remaining: 5h 39m Buy It Now for only: $149.00 Buy It Now |
 New White Scarf Kaftan Caftan Tunic Wing Beach Cover Up Wear DressTops $4.99 Time Remaining: 2h 13m Buy It Now for only: $9.99 Buy It Now |
 THE LIMITED BLACK KNIT SHEER TUNIC TOP COVER UP SIZE XS NWT $9.99 Time Remaining: 2h 30m |
 MSI GX620 GX630 MS 1651 MS 1652 Top Lcd Screen Cover $89.99 Time Remaining: 29d 4h 39m Buy It Now for only: $89.99 Buy It Now |
 4 Bow Bimini Pontoon Deck Boat Cover Top 91 96 Grey 8 FT Includes Hardware $129.95 Time Remaining: 2h 30m Buy It Now for only: $144.95 Buy It Now |
 BOAT BIMINI Top COVER 3 Bow 46H x 67 72 W BURGUNDY W FREE SUPPORT POLES $147.00 Time Remaining: 1d 12h 42m Buy It Now for only: $147.00 Buy It Now |
 LADIES JANE NORMAN TURQUOISE PATTERNED KAFTAN TOP BEACH COVER UP SIZE 14 $7.74 Time Remaining: 3h 3m |
 Tropical Long Sleeve Sheer White Pink Blouse or Swim Cover up Top Small NEW $9.60 Time Remaining: 4h 12m |
 ASUS K50I K50IJ K501 RBBGR05 156 Top Lid Cover 13GNVK5AP010 1 13N0 EJA0G01 $18.73 Time Remaining: 19d 4h 22m Buy It Now for only: $18.73 Buy It Now |
 NWT XL Plus Size 1X Dressy Beaded Embroidered Detail Cover Jacket Top $8.95 Time Remaining: 5h 2m |
 ROCKETFISH OEM RF HD3025 AHD025 25 Hard Drive ENCLOSURE TOP COVER PLATE BLACK $3.39 Time Remaining: 29d 7h 10m Buy It Now for only: $3.39 Buy It Now |
 Abercrombie Fitch pink tube top cover up sz M $10.00 Time Remaining: 5h 18m |
 Gorgeous Cache cache top blouse M jacket cover up 4 6 dress s GREAT LOT LOOK $24.99 Time Remaining: 5h 30m Buy It Now for only: $40.00 Buy It Now |
 APPLE Macbook Pro A1150 154 LCD TOP BACK COVER 603 7751 15 FAPW1005010 $14.99 Time Remaining: 29d 12h 33m Buy It Now for only: $14.99 Buy It Now |
 ASUS G50VT Top Case COVER PALMREST SILVER 13GNSZ4AP011 1 $0.99 Time Remaining: 6h 29m |
 75x52 Outdoor Swing Canopy Replacement Porch Top Cover Park Seat Patio 75x52 $29.95 Time Remaining: 18d 14h 40m Buy It Now for only: $29.95 Buy It Now |
 ASUS G72 TOP Case Cover Palmrest Touchpad 13GNX91AP050 1 13N0 G7A0501 $0.99 Time Remaining: 6h 35m |
 THE NOTORIOUS BIG BIKINI COVER BLACK TANK TOP SINGLET T SHIRT FREE SIZE M L $15.62 (1 Bid) Time Remaining: 6h 38m |
 Sandbox Large Cedar Wood Play Sand Box With Top Cover Outdoor Yard Patio New $174.95 Time Remaining: 18d 3h 14m Buy It Now for only: $174.95 Buy It Now |
 ASUS G71GX TOP CASE COVER PALMREST 13N0 EVA0F01 0A 00 $0.99 Time Remaining: 6h 40m |
 ACER ASPIRE 3680 5570 TOP CASE COVER PALMREST W TOUCHPAD $0.99 Time Remaining: 6h 41m |
 Toshiba Satellite C655 C655D S5302 156 Top Lid Cover V000220020 A $14.72 Time Remaining: 4d 1h 15m Buy It Now for only: $14.72 Buy It Now |
 BNEW Anthropologie Modcloth Blue Floral Bowtie Summer Cover Up Top Small $8.50 (2 Bids) Time Remaining: 6h 54m |
 ASUS K50I K50IJ K501 RBBGR05 156 Top Lid Cover 13GNVK8AP010 6 13N0 EJA0J01 $17.05 Time Remaining: 19d 4h 22m Buy It Now for only: $17.05 Buy It Now |
 4 Bow Bimini Pontoon Deck Boat Cover Top 91 96 Grey 8 FT Includes Hardware $129.95 Time Remaining: 7h 42m Buy It Now for only: $144.95 Buy It Now |
 Purple embroidered sequins tie dye M junior tunic blouse cover top mini dress $5.00 Time Remaining: 8h 17m |
 SAMSUNG NP305E5A NP305E5A A01US 305E Top Lid Cover BA75 03554A $40.50 Time Remaining: 14d 10h Buy It Now for only: $40.50 Buy It Now |
 Purple embroidered sequins tie dye S junior tunic blouse cover top mini dress $5.00 Time Remaining: 8h 17m |
 HP DV9000 432957 001 LCD TOP BACK COVER WITH HINGES MAT $39.99 Time Remaining: 29d 40m Buy It Now for only: $39.99 Buy It Now |
 Green tie dye embroidered sequins S junior tunic blouse cover top mini dress new $5.00 Time Remaining: 8h 17m |
 3 Bow 6 FT Bimini Boat Cover Top 67 72 Grey Includes Hardware with Hood $143.88 Time Remaining: 8h 27m Buy It Now for only: $159.98 Buy It Now |
 GEUNINE HP PAVILION DV6000 LCD TOP COVER W MICROPHONE $17.95 Time Remaining: 29d 19m Buy It Now for only: $17.95 Buy It Now |
 New Floral Scarf Kaftan Caftan Tunic Wing Beach Cover Up Wear Sun Dress Tops $4.99 Time Remaining: 9h 5m Buy It Now for only: $9.99 Buy It Now |
 GENUINE HP PAVILION DV9000 LCD TOP COVER LID 432957 001 Good Shape $54.95 Time Remaining: 28d 23h 24m Buy It Now for only: $54.95 Buy It Now |
 New Pink Floral Scarf Kaftan Caftan Tunic Wing Beach Cover Up Wear Dress Tops $4.99 Time Remaining: 9h 5m Buy It Now for only: $9.99 Buy It Now |
 Pink Blue Lotus Scarf Kaftan Caftan Tunic Wing Beach Cover Up Wear Dress Tops $4.99 Time Remaining: 9h 5m Buy It Now for only: $9.99 Buy It Now |
 Dell XPS L501X 156 Top Lid Cover + Hinges Sets 67N35 $23.49 Time Remaining: 6d 9h 5m Buy It Now for only: $23.49 Buy It Now |
 New Green Floral Scarf Kaftan Caftan Tunic Wing Beach Cover Up Wear Dress Tops $4.99 Time Remaining: 9h 5m Buy It Now for only: $9.99 Buy It Now |
 New 165x165x165 Deluxe Triangle Sun Sail Shade Canopy Top Cover Red $47.95 Time Remaining: 15d 20h 56m Buy It Now for only: $47.95 Buy It Now |
 WOMENS NEW NWT BLUE PLAID COVER UP SHORT SLEEVE SHIRT TOP SIZE MEDIUM M $8.99 (1 Bid) Time Remaining: 9h 7m |
 WOMENS NEW NWT BLUE PLAID COVER UP SHORT SLEEVE SHIRT TOP SIZE LARGE $8.99 Time Remaining: 9h 7m |
 Cute Options Bejeweled GREEN OF THE NILE Beaded Tunic Top Swim Cover Up NWT $26.97 Time Remaining: 26d 12h 24m Buy It Now for only: $26.97 Buy It Now |
 New BIMINI TOP BOAT COVER 4 BOW 54 H 85 90 W BEIGE 1 DOUBLED WALLED TUBE $139.99 (1 Bid) Time Remaining: 9h 14m |
 TopCase PURPLE Keyboard Silicone Cover Skin for Macbook 13" Unibody / Macbook Pro 13" 15" 17" with TOPCASE® Mouse Pad List Price: Sale Price: $4.99 You save: $11.00 (69%)  Eligible for free shipping!Availability: Usually ships in 1-2 business days See Reviews For This Product DescriptionIncluding a TOP CASE® Logo Mouse Pad. Exclusively for sale by TOP CASE ONLY.  |
 ELLE DECOR Cover Inspiration Sale Price: $1.99 Eligible for free shipping!Availability: Usually ships in 1-2 business days See Reviews For This Product |
 Kindle Lighted Leather Cover, Black (Fits 6" Display, Latest Generation Kindle) Sale Price: $59.99 Eligible for free shipping!Availability: Usually ships in 24 hours See Reviews For This Product DescriptionOur new design seamlessly incorporates a reading light into the cover, so you can carry your Kindle wherever you go and always have a reading light with you. Simply pull the light out to illuminate Kindle when you need it, and slide it away to be invisible when you don't... |
 Top Flight Orbit 5-Subject Poly Cover Twin Wire Wirebound Notebook with Moveable Tabbed Dividers, 160 Sheets, College Ruled, 8.5 X 11 Inches, Assorted Colors, (11728) List Price: Sale Price: $7.72 You save: $1.27 (14%) Eligible for free shipping!Availability: Usually ships in 24 hours See Reviews For This Product DescriptionFor over 80 years, Top Flight Incorporated has offered office products that meet the highest standards of quality and affordability. They are proud to offer a full line of notebooks for every need. Orbit is a unique line of upgraded notebooks... |
 Whirlpool W10214580RP Grey Top Load Washer/Dryer Cover List Price: Sale Price: $31.99 You save: $12.00 (27%) Eligible for free shipping!Availability: Usually ships in 24 hours See Reviews For This Product |
 Safety 1st Clear View Stove Knob Covers 5-Pack List Price: Sale Price: $8.99 You save: $1.00 (10%) Eligible for free shipping!Availability: Usually ships in 24 hours See Reviews For This Product DescriptionThe hinged lid allows parents convenient access to stove knobs, without removing the product. Incorporates upgraded materials and styling to better complement newer kitchens and home decor. The new, larger size will accomodate today's stoves... |
 GTMax Aluminum Unibody Apple MacBook / Pro / Air Silicone Keyboard Skin Cover - Red List Price: Sale Price: $3.97 You save: $16.02 (80%) Eligible for free shipping!Availability: Usually ships in 1-2 business days See Reviews For This Product DescriptionEvery key is individually molded and specially printed on clear silicone for a long lasting professional look.,Ultra thin and highly transparent - does not affect typing,Perfectly Fit the Keyboard with Printed Letter on the button,Easy to install, Prefect fit for Newest Aluminum Unibody Macbook pro 13" 15" 17",Cleaning is as simple as removing and washing with warm water and mild soap,Protects your notebook against wear and tear, spills, dirt, food crumbs, bugs and other unwanted elements from getting on or under your keys |
 Alki'i Misses Halter Top Beach Dress, M, Black List Price: Sale Price: $19.99 You save: $30.00 (60%) Eligible for free shipping!Availability: Usually ships in 24 hours See Reviews For This Product DescriptionThis easy to wear stylish v neckline cover up is made of high quality fabric that is soft and lightweight. Wear it over your favorite swimsuit and look stunning. A must have for your next vacation. |
 4' x 4' GoGo Exercise Pen UV Top / Cover Tan List Price: Sale Price: $16.99 You save: $13.00 (43%) Eligible for free shipping!Availability: Usually ships in 1-2 business days See Reviews For This Product |
Art News
Comment