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:
Sep. 29, 2015

Filed:

Mar. 01, 2012
Applicants:

Luis Henrique Ceze, Seattle, WA (US);

Thomas Bergan, Seattle, WA (US);

Joseph Devietti, Camarillo, CA (US);

Daniel Joseph Grossman, Seattle, WA (US);

Jacob Eric Nelson, Seattle, WA (US);

Inventors:

Luis Henrique Ceze, Seattle, WA (US);

Thomas Bergan, Seattle, WA (US);

Joseph Devietti, Camarillo, CA (US);

Daniel Joseph Grossman, Seattle, WA (US);

Jacob Eric Nelson, Seattle, WA (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 12/08 (2006.01); G06F 9/38 (2006.01); G06F 9/52 (2006.01);
U.S. Cl.
CPC ...
G06F 9/3851 (2013.01); G06F 9/522 (2013.01);
Abstract

Devices and methods for providing deterministic execution of multithreaded applications are provided. In some embodiments, each thread is provided access to an isolated memory region, such as a private cache. In some embodiments, more than one private cache are synchronized via a modified MOESI coherence protocol. The modified coherence protocol may be configured to refrain from synchronizing the isolated memory regions until the end of an execution quantum. The execution quantum may end when all threads experience a quantum end event such as reaching a threshold instruction count, overflowing the isolated memory region, and/or attempting to access a lock released by a different thread in the same quantum.


Find Patent Forward Citations

Loading…