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:
Mar. 15, 2011
Filed:
Feb. 19, 2008
Martin Abadi, Palo Alto, CA (US);
Andrew D. Birrell, Los Altos, CA (US);
Timothy L. Harris, Cambridge, GB;
Michael A. Isard, San Francisco, CA (US);
Johnson Hsieh, Waterloo, CA;
Martin Abadi, Palo Alto, CA (US);
Andrew D. Birrell, Los Altos, CA (US);
Timothy L. Harris, Cambridge, GB;
Michael A. Isard, San Francisco, CA (US);
Johnson Hsieh, Waterloo, CA;
Microsoft Corporation, Redmond, WA (US);
Abstract
Strong semantics are provided to programs that are correctly synchronized in their use of transactions by using dynamic separation of objects that are accessed in transactions from those accessed outside transactions. At run-time, operations are performed to identify transitions between these protected and unprotected modes of access. Dynamic separation permits a range of hardware-based and software-based implementations which allow non-conflicting transactions to execute and commit in parallel. A run-time checking tool, analogous to a data-race detector, may be provided to test dynamic separation of transacted data and non-transacted data. Dynamic separation may be used in an asynchronous I/O library.