As computer processor chips grow faster and more complex, they are likely to make it to market with more design bugs. But that may be OK, according to University of Michigan researchers who have devised a system that lets chips work around all functional bugs, even those that haven't been detected.
Firms such as Intel find functional bugs by simulating different scenarios, commands and configurations that their processor might encounter. Bugs only show themselves when they're triggered by certain configurations. When firms find major bugs, they fix them. But because it would be virtually impossible to simulate all possibilities, engineers don't find all the bugs.
Buggy hardware inadvertently released to customers could fail. Short of replacing the product, there isn't much a company can do to fix the problem today.
The U-M researchers' system would eliminate this risk by building a virtual fence that prevents a chip from operating in untested configurations. The approach keeps track of all the configurations the firm did test, and loads that information onto a miniscule monitor that would be added to each processor.
The monitor, called a semantic guardian, keeps the chip operating within its virtual fence. It works by switching the processor into a slower, bare-bones, safe mode when the chip encounters a configuration that has not been validated. In this way, the monitor would treat all untested configurations as potential threats.
This guardian isn't as controlling as it may sound, the researchers say.
"If you consider all the possible configurations of the processor, only a tiny fraction of them is verified. But that tiny portion accounts for the configurations that occur 99.9 percent of the time," said Valeria Bertacco, assistant professor in the Department of Electrical Engineering and Computer Science.
"Users wouldn't even notice when their processor switched to safe mode," Bertacco said. "It would happen infrequently, and it would only last momentarily, to get the computer through the uncharted territory. Then the chip would flip back to its regular mode."
Bertacco says this system would be akin to turning a motorcycle into a bicycle briefly when a rider encounters a rough patch of road. Then the rider could pedal over the bumps without crashing.
The vast majority of a processor's components are there for speed, Bertacco says. A chip in safe mode still operates properly and can perform all necessary functions.
The guardian would take only a small fraction of the microprocessor's area with a imperceptible performance impact, which the researchers assert is a small price to pay to eliminate the risks of buggy hardware.
This system could also protect against what could be hackers' next frontier: exploiting hardware design bugs in order to gain control of other computers. This threat has been in the news lately, as independent security researcher Kris Kaspersky announced plans to demonstrate a hardware bug exploit that can take over a machine, independent of its applications, operating system, or patch level. He is scheduled to demonstrate this attack at the upcoming Hack in the Box Security Conference, Oct. 27-30.
"Semantic guardians would stop these security attackers dead in their tracks, since the processor would no longer be able to execute the buggy configurations that they were planning to exploit, said Ilya Wagner, a doctoral student in the Department of Electrical Engineering and Computer Science.
Wagner presents this research Sept. 29 at the Gigascale System Research Center's annual meeting, where industry and government funding agencies come together to learn about new research results. He and Bertacco are authors of a paper called Engineering Trust with Semantic Guardians, which they presented at the Design Automation and Test in Europe Conference in April 2007. It is available online at
http://www.eecs.umich.edu/~valeria/research/publications/DATE07Guardians.pdf.
Source: University of Michigan
Related stories:
Computer hardware 'guardians' protect users from undiscovered bugs
(PhysOrg.com) -- As computer processor chips grow faster and more complex, they are likely to make it to market with more design bugs. But that may be OK, according to University of Michigan researchers who have devised a system that lets chips work around all functional bugs, even those that haven't been detected.
AMD Launches World's Fastest Motherboard GPU: AMD 790GX
AMD today announced the availability of the industry’s preeminent performance desktop platform, the AMD 790GX. Packing a host of innovations, the AMD 790GX integrates advanced performance tuning for AMD Phenom processors, plus ATI Radeon HD 3300 graphics - the world’s fastest motherboard graphics processor (mGPU) – to take media aficionados beyond HD.
Quad-Core AMD Opteron Processor Family Expands with New Low-Power Options
AMD today introduced the industry’s first energy-efficient x86 server processors with four processing cores and an integrated memory controller all in a low 55-watt ACP thermal envelope. Blade and rack systems based on five new low-power Quad-Core AMD Opteron HE (Highly Efficient) processors are now widely available from global OEMs and solution providers.
AMD Introduces Cutting-Edge PC Platform
Rewriting the rules for enthusiast computing, AMD today unveiled its new platform codenamed “Spider”, with the first true quad-core processor supporting scalable graphics for The Ultimate Visual Experience. The AMD Spider platform combines the introduction of AMD Phenom quad-core processors, ATI Radeon HD 3800 Series graphics processors with Microsoft DirectX 10.1 support, AMD 7-Series chipsets with CrossFireX and AMD OverDrive software. The AMD Spider platform is a major milestone on the path to Accelerated Computing, AMD’s vision for platform-level acceleration through co-processing.
AMD Unleashes Enthusiast Gaming Performance for the Masses with ATI Radeon HD 3800 Series
AMD today announced the introduction and immediate availability of the ATI Radeon HD 3800 Series of graphics processing units (GPU). As the world’s first series of graphics processors to deliver Microsoft’s DirectX 10.1 support, 55nm process technology and tri and quad multi-GPU support with ATI CrossFireX, the ATI Radeon HD 3800 series ushers in a new era of enthusiast gaming performance at mainstream price points.
IBM's Blue Gene Pulls Away from the Pack
IBM’s Blue Gene/L supercomputer sprinted to a new world record as it continued its four-year domination of the official TOP500 Supercomputer Sites list. The world’s fastest computer at Lawrence Livermore National Laboratory in California is now nearly three times faster than the rest of the pack.
AMD Delivers First Stream Processor with Double Precision Floating Point Technology
AMD today announced the AMD FireStream 9170 Stream Processor and an accompanying Software Development Kit (SDK) designed to harness the massive parallel processing power of the graphics processing unit (GPU).
AMD Adds Multi-Core Triple Threat to Desktop Roadmap
Delivering a multi-core triple threat, AMD today announced the addition of AMD Phenom triple-core processors to its desktop roadmap. AMD Phenom triple-core processors, expected to be the world’s first PC processors to integrate three computational cores on a single die of silicon, can help deliver the visual experience, performance and multitasking capabilities of true multi-core technology to a broader audience.