Feeds

Better multithreading offered by Columbia U researchers

Reducing the bugs, improving the execution

  • alert
  • submit to reddit

Mobile application security vulnerability report

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

The Power of One Infographic

More from The Register

next story
KDE releases ice-cream coloured Plasma 5 just in time for summer
Melty but refreshing - popular rival to Mint's Cinnamon's still a work in progress
NO MORE ALL CAPS and other pleasures of Visual Studio 14
Unpicking a packed preview that breaks down ASP.NET
Secure microkernel that uses maths to be 'bug free' goes open source
Hacker-repelling, drone-protecting code will soon be yours to tweak as you see fit
Cheer up, Nokia fans. It can start making mobes again in 18 months
The real winner of the Nokia sale is *drumroll* ... Nokia
Put down that Oracle database patch: It could cost $23,000 per CPU
On-by-default INMEMORY tech a boon for developers ... as long as they can afford it
Another day, another Firefox: Version 31 is upon us ALREADY
Web devs, Mozilla really wants you to like this one
Google shows off new Chrome OS look
Athena springs full-grown from Chromium project's head
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.
Consolidation: The Foundation for IT Business Transformation
In this whitepaper learn how effective consolidation of IT and business resources can enable multiple, meaningful business benefits.
Application security programs and practises
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.
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.
Securing Web Applications Made Simple and Scalable
Learn how automated security testing can provide a simple and scalable way to protect your web applications.