Feeds

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

Pleasurable programming for plentiful processors

Beginner's guide to SSL certificates

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

Top 5 reasons to deploy VMware with Tegile

More from The Register

next story
IT crisis looming: 'What if AWS goes pop, runs out of cash?'
Public IaaS... something's gotta give - and it may be AWS
Linux? Bah! Red Hat has its eye on the CLOUD – and it wants to own it
CEO says it will be 'undisputed leader' in enterprise cloud tech
Oracle SHELLSHOCKER - data titan lists unpatchables
Database kingpin lists 32 products that can't be patched (yet) as GNU fixes second vuln
Ello? ello? ello?: Facebook challenger in DDoS KNOCKOUT
Gets back up again after half an hour though
Hey, what's a STORAGE company doing working on Internet-of-Cars?
Boo - it's not a terabyte car, it's just predictive maintenance and that
Troll hunter Rackspace turns Rotatable's bizarro patent to stone
News of the Weird: Screen-rotating technology declared unpatentable
prev story

Whitepapers

Providing a secure and efficient Helpdesk
A single remote control platform for user support is be key to providing an efficient helpdesk. Retain full control over the way in which screen and keystroke data is transmitted.
Intelligent flash storage arrays
Tegile Intelligent Storage Arrays with IntelliFlash helps IT boost storage utilization and effciency while delivering unmatched storage savings and performance.
Beginner's guide to SSL certificates
De-mystify the technology involved and give you the information you need to make the best decision when considering your online security options.
Security for virtualized datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.
Secure remote control for conventional and virtual desktops
Balancing user privacy and privileged access, in accordance with compliance frameworks and legislation. Evaluating any potential remote control choice.