Feeds

US comp-boffins claim fix for multicore 'concurrency bugs'

Pleasurable programming for plentiful processors

Designing a Defense for Mobile Applications

American computer boffins say they have developed new software which makes programming of multi-processor machines much easier.

"With older, single-processor systems, computers behave exactly the same way as long as you give the same commands. Today's computers are non-deterministic," says Luis Ceze, computer science and engineering prof at the University of Washington, Washington. "Even if you give the same set of commands, you might get a different result."

Today's consumer dual-core systems may not be that hard to figure out, but according to Ceze and his colleagues it gets harder and harder to design reliable code as the number of cores goes up. At the highest end of the scale, with the hundred-thousand-core monsters of the heavyweight supercomputing league, "concurrency bugs" - where changes in wire temperature or other hard-to-predict shifts can alter the sequence in which information arrives and gets processed - can be a nightmare.

"With multi-core systems the trend is to have more bugs because it's harder to write code for them," says Ceze. "And these concurrency bugs are much harder to get a handle on."

Next week at a conference in Pittsburgh, Ceze's colleague Tom Bergan will present a software version of some rules for multicore programming that their group developed last year.

"We can compress the effect of thousands of people using a program into a few minutes during the software's development," says Ceze. "We want to allow people to write code for multi-core systems without going insane."

Needless to say the prof has a start-up company to tout, in this case PetraVM. The commercial version of the multicore bug-spotter ware will be known as "Jinx", which "makes any errors that are going to crop up in a program happen quickly".

There's more on the underlying research here, courtesy of Washington Uni. ®

The Power of One eBook: Top reasons to choose HP BladeSystem

More from The Register

next story
Apple fanbois SCREAM as update BRICKS their Macbook Airs
Ragegasm spills over as firmware upgrade kills machines
Attack of the clones: Oracle's latest Red Hat Linux lookalike arrives
Oracle's Linux boss says Larry's Linux isn't just for Oracle apps anymore
THUD! WD plonks down SIX TERABYTE 'consumer NAS' fatboy
Now that's a LOT of porn or pirated movies. Or, you know, other consumer stuff
EU's top data cops to meet Google, Microsoft et al over 'right to be forgotten'
Plan to hammer out 'coherent' guidelines. Good luck chaps!
US judge: YES, cops or feds so can slurp an ENTIRE Gmail account
Crooks don't have folders labelled 'drug records', opines NY beak
Manic malware Mayhem spreads through Linux, FreeBSD web servers
And how Google could cripple infection rate in a second
FLAPE – the next BIG THING in storage
Find cold data with flash, transmit it from tape
prev story

Whitepapers

Designing a Defense for Mobile Applications
Learn about the various considerations for defending mobile applications - from the application architecture itself to the myriad testing technologies.
How modern custom applications can spur business growth
Learn how to create, deploy and manage custom applications without consuming or expanding the need for scarce, expensive IT resources.
Reducing security risks from open source software
Follow a few strategies and your organization can gain the full benefits of open source and the cloud without compromising the security of your applications.
Boost IT visibility and business value
How building a great service catalog relieves pressure points and demonstrates the value of IT service management.
Consolidation: the foundation for IT and business transformation
In this whitepaper learn how effective consolidation of IT and business resources can enable multiple, meaningful business benefits.