System and method for demonstrating the correctness of an execution trace in concurrent processing environments
US8413122B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 12, 2009 |
| Grant date | Apr 2, 2013 |
| Priority date | — |
| Expiry date | Jan 3, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3636
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Since multi-core processors have become the standard architecture for general purpose machines, programmers are required to write software optimized for parallelism. Verification of correctness is an important issue for parallel code because of its complexity. There are still tools missing that provide verification for complex code, such as testing the execution of code provides. Consequently, described herein are systems and methods to evaluate the correctness of program traces. Furthermore, the systems and methods described herein do not demand excessive computational requirements and the size of the program trace being evaluated increases.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.