Feeds

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

Pleasurable programming for plentiful processors

Internet Security Threat Report 2014

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

Beginner's guide to SSL certificates

More from The Register

next story
Docker's app containers are coming to Windows Server, says Microsoft
MS chases app deployment speeds already enjoyed by Linux devs
'Hmm, why CAN'T I run a water pipe through that rack of media servers?'
Leaving Las Vegas for Armenia kludging and Dubai dune bashing
'Urika': Cray unveils new 1,500-core big data crunching monster
6TB of DRAM, 38TB of SSD flash and 120TB of disk storage
Facebook slurps 'paste sites' for STOLEN passwords, sprinkles on hash and salt
Zuck's ad empire DOESN'T see details in plain text. Phew!
SDI wars: WTF is software defined infrastructure?
This time we play for ALL the marbles
Windows 10: Forget Cloudobile, put Security and Privacy First
But - dammit - It would be insane to say 'don't collect, because NSA'
Oracle hires former SAP exec for cloudy push
'We know Larry said cloud was gibberish, and insane, and idiotic, but...'
Symantec backs out of Backup Exec: Plans to can appliance in Jan
Will still provide support to existing customers
prev story

Whitepapers

Forging a new future with identity relationship management
Learn about ForgeRock's next generation IRM platform and how it is designed to empower CEOS's and enterprises to engage with consumers.
Why cloud backup?
Combining the latest advancements in disk-based backup with secure, integrated, cloud technologies offer organizations fast and assured recovery of their critical enterprise data.
Win a year’s supply of chocolate
There is no techie angle to this competition so we're not going to pretend there is, but everyone loves chocolate so who cares.
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?
Intelligent flash storage arrays
Tegile Intelligent Storage Arrays with IntelliFlash helps IT boost storage utilization and effciency while delivering unmatched storage savings and performance.