Feeds

Better multithreading offered by Columbia U researchers

Reducing the bugs, improving the execution

  • alert
  • submit to reddit

Beginner's guide to SSL certificates

Since world+dog uses multithreaded software, it’s nice to know that someone cares about what goes wrong with it.

A computer science group from Columbia University says it has a solution to “data races” in multithreaded programs, a common source of bugs and crashes. Its offering, called Peregrine, is the result of work at the Columbia Engineering School led by an assistant professor of computer science called Junfeng Yang.

In a paper called Efficient deterministic multithreading through schedule relaxation, co-authored with Heming Cui, Jingyue Wu, John Gallagher and Huayang Guo, Yang argues that most of a program's execution is race-free: “races tend to occur only in minor portions of an execution”, the paper states.

“Our main in developing Peregrine is that we can make threads deterministic in an efficient and stable way,” Yang says. “This prevents the random collisions that can occur in a non-deterministic system.”

The idea looks simple enough: the first time a program runs, Peregrine records a trace of the execution, computing an efficient plan for a group of threads. It can then “reuse the plan on subsequent groups [of threads] to avoid the cost of computing a new plan for each group,” Yang said.

Reusability of its execution plans, Yang says, is important to the long-term stability of the multithreading system. If the supervisor has to create new plans for any group of threads, it becomes more likely that some of its plans will have errors and create more collisions.

Avoiding crashes has a side-benefit, since crashes often leave machines vulnerable to attackers.

The research was published at the 23rd ACM Symposium on Operating Systems Principles, and the full paper can be found here. ®

Security for virtualized datacentres

More from The Register

next story
New 'Cosmos' browser surfs the net by TXT alone
No data plan? No WiFi? No worries ... except sluggish download speed
'Windows 9' LEAK: Microsoft's playing catchup with Linux
Multiple desktops and live tiles in restored Start button star in new vids
iOS 8 release: WebGL now runs everywhere. Hurrah for 3D graphics!
HTML 5's pretty neat ... when your browser supports it
Mathematica hits the Web
Wolfram embraces the cloud, promies private cloud cut of its number-cruncher
Google extends app refund window to two hours
You now have 120 minutes to finish that game instead of 15
Mozilla shutters Labs, tells nobody it's been dead for five months
Staffer's blog reveals all as projects languish on GitHub
SUSE Linux owner Attachmate gobbled by Micro Focus for $2.3bn
Merger will lead to mainframe and COBOL powerhouse
iOS 8 Healthkit gets a bug SO Apple KILLS it. That's real healthcare!
Not fit for purpose on day of launch, says Cupertino
Profitless Twitter: We're looking to raise $1.5... yes, billion
We'll spend the dosh on transactions, biz stuff 'n' sh*t
prev story

Whitepapers

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.
WIN a very cool portable ZX Spectrum
Win a one-off portable Spectrum built by legendary hardware hacker Ben Heck
Intelligent flash storage arrays
Tegile Intelligent Storage Arrays with IntelliFlash helps IT boost storage utilization and effciency while delivering unmatched storage savings and performance.
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?
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.