Atomic program verification
US8793471B2 · kind B2 · utility
5Cited by
10References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 7, 2010 |
| Grant date | Jul 29, 2014 |
| Priority date | — |
| Expiry date | Jan 19, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2212/452
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An apparatus for executing an atomic memory transaction comprises a processing core in a multi-processing core system, where the processing core is configured to store an atomic program in a cache line. The apparatus further comprises an atomic program execution unit that is configured to execute the atomic program as a single atomic memory transaction with a guarantee of forward progress.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.