The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Apr. 07, 2015

Filed:

Aug. 28, 2012
Applicants:

Dhruva Chakrabarti, San Jose, CA (US);

Hans Boehm, Palo Alto, CA (US);

Inventors:

Dhruva Chakrabarti, San Jose, CA (US);

Hans Boehm, Palo Alto, CA (US);

Assignee:
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 17/30 (2006.01); G06F 7/00 (2006.01); G06F 11/14 (2006.01);
U.S. Cl.
CPC ...
G06F 7/00 (2013.01); G06F 11/1471 (2013.01); G06F 17/30359 (2013.01);
Abstract

A log entry is created in persistent memory that represents a modification to a variable that resides in persistent memory. A log entry is created in persistent memory that represents a synchronization operation. A program-order based dynamic ordering relationship is created between two successive log entries within an execution entity. A synchronization-order based dynamic ordering relationship is created between two log entries corresponding to synchronization operations in concurrently executing distinct execution entities of said execution instance.


Find Patent Forward Citations

Loading…