Since 1986 - Covering the Fastest Computers
in the World and the People Who Run Them
Visit additional Tabor Communication Publications
July 14, 2006
Researchers Develop Intelligent Bug Detection Software
The task of debugging huge computer programs can be made faster and easier by using new software tools developed by programming experts at the University of Illinois at Urbana-Champaign.
Computer science professor Yuanyuan Zhou and her students have assembled a suite of software tools that can find and correct bugs by inferring the programmer's intentions. The tools draw from observations on how programmers write code.
"Most bug-detection tools require reproduction of bugs during execution," Zhou said. "The program is slowed down significantly and monitored by these tools, which watch for certain types of abnormal behavior. Most of our tools, however, work by only examining the source code for defects, requiring little effort from programmers."
Copy-pasted code, for example, often appears in large programs. While saving considerable programming effort, copy-pasted code can be the source of numerous bugs. Zhou's copy-paste tool, called CP-Miner, uses data-mining techniques to find copy-pasted code in the program and examine and correct that code for consistent modifications.
CP-Miner has found many bugs in the latest versions of large open-source software used in the information technology industry, Zhou said. CP-Miner is fast and efficient -- it can scan 3-4 million lines of code for copy-paste and related bugs in less than 30 minutes.
Large programs also tend to follow many implicit rules and assumptions, so Zhou and her students developed a related tool, called PR-Miner, to detect when those rules have been broken. Like CP-Miner, PR-Miner is based on data-mining techniques.
"First, we mine the source code for patterns, repetitions and correlations that point to implicit programming rules and assumptions," Zhou said. "Then we check that those rules and assumptions have not been violated."
PR-Miner also is very fast and has found many bugs in the latest open-source software. It takes PR-Miner only a few minutes to scan 4 million lines of code.
Not only are their efforts directed toward detecting, diagnosing and fixing bugs, Zhou and her students also are exploring techniques that allow software to survive in the presence of bugs. Rx, for example, is a recovery tool that allows software to survive by treating bugs like allergies.
"If you are allergic to cats, you try to avoid cats," Zhou said. "In much the same way, Rx is avoidance therapy for software failure. If the software fails, Rx rolls the program back to a recent checkpoint, and re-executes the program in a modified environment."
A fourth tool, called Triage, diagnoses software failures at the end-user site. Following a human-like diagnosis protocol, Triage rapidly identifies the nature of the problem and provides valuable input to help programmers quickly understand the failure and fix the bug.
"If something bad happens or the software crashes, Triage's diagnosis protocol will start automatically and quickly suggest a temporary fix until programmers can release a fixing patch," Zhou said.
In addition to being fast and efficient, Zhou's software tools are scalable and can be tailored for specific software programs, including programs running on parallel processors.
The work was funded by the National Science Foundation and the Intel Corp.
-----
Source: James Kloeppel, University of Illinois
Discussion
There are 0 discussion items posted.
|
Join the Discussion |
Sponsored Links
Join Michael Wolfe as he compares the advantages and costs of using both low-level models and the directive-based OpenACC model for programming accelerated heterogeneous systems. Registration is free.
High-Performance Computing in Action
Businesses that want to be on the cutting edge of their industries are increasingly turning to high-performance computing (HPC) solutions to handle complex compute processes and speed up their rate of innovation. Download this Executive Brief to see how businesses in energy, life sciences and entertainment put HPC solutions to work in their operations.
Accelerate your science with Seneca
One of the first HPC providers installing a 4X NVIDIA Kepler K-20 cluster. Invites you to a free evaluation on Seneca’s NVIDIA K20 Kepler cluster, pre-loaded with AMBER, NAMD, LAMMPS
- Receive Higher Application Performance with end-to-end 56GbE
- The Accelerated Genomics Cloud $25,000 Giveaway
- Acer and Altair simplify cluster computing
- Memory Debugging Challenges in Parallel and Distributed Applications
- PGI 2013: OpenMP 1.5X faster than GCC, new GNU-compatible OpenACC C++ compiler, CUDA 5 and Tesla K20 support, and more.
- Introducing the Cray CS300 Cluster Supercomputer Series
- Visualize Historical Usage for Optimized Returns on HPC Investments
- ClusterStor™ 1500 – High Performance Efficiency
RSS Feeds
Feeds by Topic
- Applications
- Developer Tools
- Interconnects
- Middleware
- Networks
- Processors
- Storage
- Systems
- Visualization
Feeds by Industry
Feeds by Content Type
- Features
- Blogs
- Short Takes
- Off the Wire
- Whitepapers
- Multimedia
- HPC Soundbite Podcasts
- HPCwire Job Bank
Subscribe to All Content
May 22, 2013
- OpenFabrics Alliance to Host Two RDMA Training Courses at University of New Hampshire
- Imperas Delivers Embedded Software Development Suite Based On ToolMorphing Technology
- University of Ulster to Host Scientific Computing Event
- ICT Investment Trends in Germany
- Skyera Adds NAS to skyHawk Enterprise Solid-State Storage Systems
- NetApp Announces Q4 Results
May 21, 2013
- Keyes and Sterling to Headline IEEE Cluster 2013 Conference
- Cyber Network Gears Up for Growth in the Cloud With IBM PureSystems
- New OMAP5432 Processor-Based Evaluation Module From Texas Instruments
- TwinStrata Introduces On-Demand Disaster Recovery as Service for VMware Users
- Weidlinger Launches PZFlexCloud Using CliQr Technologies
- "Places2Be" Project to Boost European Leadership Around FD-SOI
May 20, 2013
- Cray and VBRX to Host Event for Upstream Applications in Oil and Gas
- Dell to Deliver Public Cloud Through Partner Ecosystem
- Mentor and Tezzaron Optimize Calibre 3DSTACK for 2.5/3D-ICs
- Cloud Provider Selects Mellanox's InfiniBand as Their Cloud Interconnect
- Xyratex to Present at Barclay Telco and Media Event
May 17, 2013
May 16, 2013
- D-Wave Two Quantum Computer Selected for New AI Initiative
- Mines' Powerful New Supercomputer to Focus on Energy Research
- Kitware Develops Customizable Simulation Framework to Provide HPC for Mid-Sized Manufacturers
- Next HPC Installation Step Initiated at High Performance Computing Center Stuttgart
- HybridCluster2.0 Self-Healing, Ultra-High Availability Capabilities Unveiled
May 15, 2013
- Nominations for SC13 Cray, Fernbach and Kennedy Awards Due July 1
- Mellanox Technologies Ltd. Announces Definitive Agreement to Acquire Kotura, Inc.
- NYSERDA Awards $1.8 Million to Rensselaer Polytechnic Institute
- Bright Computing Named Finalist for the 2013 Red Herring Top 100 North America Award
- Flow Science Releases FLOW-3D/MP 5.0
- NEC Establishes NEC Ukraine to Strengthen Operations in Russia and the CIS
- Fujitsu Receives Supercomputer Order From Nagoya University
- Avere Systems Helps Framestore Create Extraordinary Visual Effects for Blockbuster Films
- Workshop on Modeling and Simulation of Exascale Systems Call for Papers
May 14, 2013
- Multimillion Pound Project to Develop Next Generation Computing Systems
- HPC Simulations Target Nanoscale Materials Under Strain
- New IBM Center in Beijing to Speed Linux Applications on Power Systems
- OpenCL Software Development Kit Fosters FPGA Exploitation
- S&P Capital IQ and Kuberre Systems Sign Data Facilitator Agreement
- Solarflare to Speak at Linux Foundation Enterprise End User Summit
May 13, 2013
- SDSC Hosts First Annual Industry Partners Research Review
- AMD Targets Server Performance with Open 3.0 Release
- BICS Selects Infinera DTN-X for 500G Pan-European Network
- Juniper Systems Celebrates its 20th Anniversary
May 10, 2013
- Two ORNL Researchers, Two Joint Faculty Receive DOE Early Career Awards
- ODCA to Hypervisor and VM Providers: Interoperability is an Enterprise Cloud Requirement
- Special ISC’13 Session to Probe the Thinking behind Europe’s Human Brain Project
Most Read Features
- Adapteva Shows Off $99 Supercomputer Boards
- "No Exascale for You!" An Interview with Berkeley Lab's Horst Simon
- Cray Answers Mid-Market's Call
- The Week in HPC Research
- Saddling Phi for TACC’s Stampede
- Supercomputing Vet Champions Quantum Cause
- Intel’s Big Data to HPC Interconnect
- The Week in HPC Research
- NERSC Managers Shed Light on 'Edison'
- Emerging Technologies at SC13: A Chat with the Chairs
Most Read Around the Web
- Speaking Many Languages into the MIC
- Floating Funding to Exascale Island
- New Tome Tells Modern History of Supercomputing
- Sequoia Hits Warp Speed
- HPC and the True Cost of Cloud
- Revolutionizing Tornado Prediction
- CUDA-Designed Robot: It's a Hit!
- Finnish Researchers Welcome New Cray Super
- Running Computational Fluid Dynamics in the Cloud
- Blue Waters: Security at Scale
Most Read This Just In
- IBM and Forrester Webinar to Discuss New Ways to Reduce Cost in HPC and Big Data
- Altera Opens FPGAs to Programmers with SDK, Off-the-Shelf Boards for OpenCL
- D-Wave Two Quantum Computer Selected for New AI Initiative
- New Simulation Speed Record Achieved with Sequoia Supercomputer
- AMD Targets Server Performance with Open 3.0 Release
- Brain Outperforms Supercomputers
- Vicor's ChiP Power Component Packaging to Make European Debut at PCIM Europe 2013
- Mines' Powerful New Supercomputer to Focus on Energy Research
- Commercial Quantum Computing Company D-Wave Systems Launches
- XSEDE13 Student Programming Contest Registration Opens April 30
Feature Articles
NSF Forges Further Beyond FLOPs
In a recent solicitation, the NSF laid out needs for furthering its scientific and engineering infrastructure with new tools to go beyond top performance, Having already delivered systems like Stampede and Blue Waters, they're turning an eye to solving data-intensive challenges. We spoke with the agency's Irene Qualters and Barry Schneider about..
Read more...
CERN, Google Drive Future of Global Science Initiatives
Large-scale, worldwide scientific initiatives rely on some cloud-based system to both coordinate efforts and manage computational efforts at peak times that cannot be contained within the combined in-house HPC resources. Last week at Google I/O, Brookhaven National Lab’s Sergey Panitkin discussed the role of the Google Compute Engine in providing computational support to ATLAS, a detector of high-energy particles at the Large Hadron Collider (LHC).
Read more...
Saddling Phi for TACC’s Stampede
The Xeon Phi coprocessor might be the new kid on the high performance block, but out of all first-rate kickers of the Intel tires, the Texas Advanced Computing Center (TACC) got the first real jab with its new top ten Stampede system.We talk with the center's Karl Schultz about the challenges of programming for Phi--but more specifically, the optimization...
Read more...
Short Takes
Building Supercomputers with Raspberries
May 22, 2013 |
At some point in the not-too-distant future, building powerful, miniature computing systems will be considered a hobby for high schoolers, just as robotics or even Lego-building are today. That could be made possible through recent advancements made with the Raspberry Pi computers.
Read more...
Running Computational Fluid Dynamics in the Cloud
May 16, 2013 |
When it comes to cloud, long distances mean unacceptably high latencies. Researchers from the University of Bonn in Germany examined those latency issues of doing CFD modeling in the cloud by utilizing a common CFD and its utilization in HPC instance types including both CPU and GPU cores of Amazon EC2.
Read more...
Computing the Physics of Bubbles
May 15, 2013 |
Supercomputers at the Department of Energy’s National Energy Research Scientific Computing Center (NERSC) have worked on important computational problems such as collapse of the atomic state, the optimization of chemical catalysts, and now modeling popping bubbles.
Read more...
Internet2 Awards Program Seeks Innovative Applications
May 10, 2013 |
Program provides cash awards up to $10,000 for the best open-source end-user applications deployed on 100G network.
Read more...
Sponsored Whitepapers
Best Practices in Big Data Storage
05/10/2013 | Cleversafe, Cray, DDN, NetApp, & Panasas | From Wall Street to Hollywood, drug discovery to homeland security, companies and organizations of all sizes and stripes are coming face to face with the challenges – and opportunities – afforded by Big Data. Before anyone can utilize these extraordinary data repositories, however, they must first harness and manage their data stores, and do so utilizing technologies that underscore affordability, security, and scalability.
Progress in Parallel: the Bull Parallel Programming Center
04/15/2013 | Bull | “50% of HPC users say their largest jobs scale to 120 cores or less.” How about yours? Are your codes ready to take advantage of today’s and tomorrow’s ultra-parallel HPC systems? Download this White Paper by Analysts Intersect360 Research to see what Bull and Intel’s Center for Excellence in Parallel Programming can do for your codes.
Sponsored Multimedia
SGI DMF ZeroWatt Disk Solution
In this demonstration of SGI DMF ZeroWatt disk solution, Dr. Eng Lim Goh, SGI CTO, discusses a function of SGI DMF software to reduce costs and power consumption in an exascale (Big Data) storage datacenter.
Cray CS300-AC Cluster Supercomputer Air Cooling Technology Video
The Cray CS300-AC cluster supercomputer offers energy efficient, air-cooled design based on modular, industry-standard platforms featuring the latest processor and network technologies and a wide range of datacenter cooling requirements.
HPC Job Bank
Featured Events
- June 13, 2013
- June 14, 2013
Think Beyond Plastics Conference
Berkeley, CA
United States
- June 16, 2013
- June 20, 2013
ISC'13
Leipzig,
Germany
.gif)
- June 17, 2013
- June 18, 2013
Forecast 2013
San Francisco, CA
United States
- June 20, 2013
- June 21, 2013
CIO North America
Marina Del Rey, CA
United States
- June 24, 2013
- June 25, 2013
The Trading Show Chicago
Chicago, IL
United States
- June 25, 2013
- June 26, 2013
TERATEC 2013 Forum
Paris,
France
