Feeds

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

Pleasurable programming for plentiful processors

Next gen security for virtualised datacentres

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. ®

Gartner critical capabilities for enterprise endpoint backup

More from The Register

next story
The Return of BSOD: Does ANYONE trust Microsoft patches?
Sysadmins, you're either fighting fires or seen as incompetents now
Microsoft: Azure isn't ready for biz-critical apps … yet
Microsoft will move its own IT to the cloud to avoid $200m server bill
Shoot-em-up: Sony Online Entertainment hit by 'large scale DDoS attack'
Games disrupted as firm struggles to control network
Cutting cancer rates: Data, models and a happy ending?
How surgery might be making cancer prognoses worse
Silicon Valley jolted by magnitude 6.1 quake – its biggest in 25 years
Did the earth move for you at VMworld – oh, OK. It just did. A lot
Forrester says it's time to give up on physical storage arrays
The physical/virtual storage tipping point may just have arrived
prev story

Whitepapers

Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
5 things you didn’t know about cloud backup
IT departments are embracing cloud backup, but there’s a lot you need to know before choosing a service provider. Learn all the critical things you need to know.
Why and how to choose the right cloud vendor
The benefits of cloud-based storage in your processes. Eliminate onsite, disk-based backup and archiving in favor of cloud-based data protection.
Top 8 considerations to enable and simplify mobility
In this whitepaper learn how to successfully add mobile capabilities simply and cost effectively.
High Performance for All
While HPC is not new, it has traditionally been seen as a specialist area – is it now geared up to meet more mainstream requirements?