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:
Jun. 09, 2015
Filed:
Mar. 09, 2012
Jacob Samuels Burnim, Berkeley, CA (US);
Madanlal Musuvathi, Redmond, WA (US);
Shaz Qadeer, Mercer Island, WA (US);
Jacob Samuels Burnim, Berkeley, CA (US);
Madanlal Musuvathi, Redmond, WA (US);
Shaz Qadeer, Mercer Island, WA (US);
Microsoft Technology Licensing, LLC, Redmond, WA (US);
Abstract
A concurrency assertions system disclosed herein provides for atomic evaluation of an assertion expression by locking an assertion lock upon initiating an assertion and thereby protecting the assertion evaluation from concurrent modifications to the variables in the assertion expressions. When a violation of an assertion is detected, the concurrency assertions system ensures that the exception statistics at the time of the assertion violation represents a program state where the assertion is violated, thus improving analysis of assertion violations. Furthermore, the concurrency assertions system continuously evaluates an expression for an assertion for a time period while other threads in the program are being executed.