Automatic verification of determinism for parallel programs
US9069893B2 · kind B2 · utility
2Cited by
8References
12Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Mar 23, 2011 |
| Grant date | Jun 30, 2015 |
| Priority date | — |
| Expiry date | May 28, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2209/5017
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Automatic verification of determinism in structured parallel programs includes sequentially establishing whether code for each of a plurality of tasks of the structured parallel program is independent, outputting sequential proofs corresponding to the independence of the code for each of the plurality of tasks and determining whether all memory locations accessed by parallel tasks of the plurality of tasks are independent based on the sequential proofs.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.