Patent · US Active

Lock removal for concurrent programs

US8612940B2 · kind B2 · utility

2Cited by

0References

20Claims

0Family size

Assignee

NEC Laboratories America, Inc. · US

Inventors

Vineet Kahlon · Princeton, US
Chao Wang · Los Angeles, US

Key dates

Filing date	Jan 18, 2011
Grant date	Dec 17, 2013
Priority date	—
Expiry date	Feb 23, 2032

Classification

Technology area (CPC G)Physics
CPC primaryG06F9/526
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A system and method are disclosed for removing locks from a concurrent program. A set of behaviors associated with a concurrent program are modeled as causality constraints. The causality constraints which preserve the behaviors of the concurrent program are identified. Having identified the behavior preserving causality constraints, the corresponding lock and unlock statements in the concurrent program are identified which enforce the identified causality constraints. All identified lock and unlock statements are retained, while all other lock and unlock statements are discarded.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.