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. 21, 2017
Filed:
Nov. 26, 2009
Rachel Tzoref, Haifa, IL;
Eitan Daniel Farchi, Pardes Hana, IL;
Ehud Trainin, Michmanim, IL;
Aviad Zlotnick, Mitzpeh Netofah, IL;
Rachel Tzoref, Haifa, IL;
Eitan Daniel Farchi, Pardes Hana, IL;
Ehud Trainin, Michmanim, IL;
Aviad Zlotnick, Mitzpeh Netofah, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.