Partial order reduction using guarded independence relations
US8176496B2 · kind B2 · utility
2Cited by
1References
16Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jul 29, 2008 |
| Grant date | May 8, 2012 |
| Priority date | — |
| Expiry date | Mar 8, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3608
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and method for conducting symbolic partial order reduction for concurrent systems includes determining a guarded independence relation which includes transitions from different threads that are independent for a set of states, when a condition or predicate holds. Partial order reduction is performed using the guarded independence relation to permit automatic pruning of redundant thread interleavings when the guarded independence condition holds.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.