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:
Jan. 07, 2014

Filed:

Feb. 13, 2009
Applicants:

Yosseff Levanoni, Redmond, WA (US);

David L. Detlefs, Issaquah, WA (US);

Weirong Zhu, Kirkland, WA (US);

Timothy L. Harris, Cambridge, GB;

Michael M. Magruder, Carnation, WA (US);

Matthew B. Tolton, Kirkland, WA (US);

Inventors:

Yosseff Levanoni, Redmond, WA (US);

David L. Detlefs, Issaquah, WA (US);

Weirong Zhu, Kirkland, WA (US);

Timothy L. Harris, Cambridge, GB;

Michael M. Magruder, Carnation, WA (US);

Matthew B. Tolton, Kirkland, WA (US);

Assignee:

Microsoft Corporation, Redmond, WA (US);

Attorney:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01); G06F 11/00 (2006.01);
U.S. Cl.
CPC ...
Abstract

A software transactional memory system is provided with overflow handling. The system includes a global version counter with an epoch number and a version number. The system accesses the global version counter prior to and subsequent to memory accesses of transactions to validate read accesses of the transaction. The system includes mechanisms to detect global version number overflow and may allow some or all transactions to execute to completion subsequent to the global version number overflowing. The system also provides publication, privatization, and granular safety properties.


Find Patent Forward Citations

Loading…