CACM logo

This Article

ACM TechNews

Major Breakthrough Improves Software Reliability and Security

Columbia University

November 4, 2011

[article image]
Columbia assistant professor of computer science Junfeng Yang Credit: Columbia University

Columbia University researchers have developed Peregrine, software designed to improve the reliability and security of multithreaded computer programs.

"Our main finding in developing Peregrine is that we can make threads deterministic in an efficient and stable way: Peregrine can compute a plan for allowing when and where a thread can 'change lanes' and can then place barriers between the lanes, allowing threads to change lanes only at fixed locations, following a fixed order," says Columbia professor Junfeng Yang. "Once Peregrine computes a good plan without collisions for one group of threads, it can reuse the plan on subsequent groups to avoid the cost of computing a new plan for each new group."

The researchers say the program gets at the root cause of software problems, enabling Peregrine to address all of the issues that are caused by nondeterminism. They note that Peregrine can handle data races or bugs, is very fast, and works with current hardware and programming languages.

From Columbia University
View Full Article

 

Abstracts Copyright © 2011 Information Inc. External Link, Bethesda, Maryland, USA 

 

Post a comment...
Name: Anonymous

Signed and anonymous comments submitted to this site are moderated and will appear if they are relevant to the topic and not abusive. Your comment will appear with your username if you are signed into the site, and will be anonymous if you are not signed in. View our policy on comments

Tools For Readers

Bookmark and Share
Default Font Size Large Font Size X-Large Font Size Text Size

Related ACM Resources

Conferences:

Courses:

  • IPv6 Security - Mitigate IPv6 threats in order to design, deploy, and maintain a secure IPv6 network to meet customer requirements.  (Duration: 268 minutes)
More About ACM Resources

About Communications | Join ACM External Link | Renew External Link | Subscribe External Link | Sign In | For Authors | For Advertisers External Link | Privacy | Site Map | Help | Contact Us | Mobile Site

Copyright © 2012 by the ACM. All rights reserved.

Back to Top