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.
Patent No.:
Date of Patent:
May. 06, 2014
Filed:
Jun. 21, 2010
Sukhdeep S. Sodhi, San Jose, CA (US);
Yosseff Levanoni, Redmond, WA (US);
David L. Detlefs, Issaquah, WA (US);
Lingli Zhang, Sammamish, WA (US);
Weirong Zhu, Kirkland, WA (US);
Dana Groff, Sammamish, WA (US);
Michael M. Magruder, Carnation, WA (US);
Charles David Callahan, Ii, Seattle, WA (US);
Sukhdeep S. Sodhi, San Jose, CA (US);
Yosseff Levanoni, Redmond, WA (US);
David L. Detlefs, Issaquah, WA (US);
Lingli Zhang, Sammamish, WA (US);
Weirong Zhu, Kirkland, WA (US);
Dana Groff, Sammamish, WA (US);
Michael M. Magruder, Carnation, WA (US);
Charles David Callahan, II, Seattle, WA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
A software transactional memory (STM) system allows the composition of traditional lock based synchronization with transactions in STM code. The STM system acquires each traditional lock the first time that a corresponding traditional lock acquire is encountered inside a transaction and defers all traditional lock releases until a top level transaction in a transaction nest commits or aborts. The STM system maintains state information associated with traditional lock operations in transactions and uses the state information to eliminate deferred traditional lock operations that are redundant. The STM system integrates with systems that implement garbage collection.