发明申请
- 专利标题： VERIFYING SYNCHRONIZATION COVERAGE IN LOGIC CODE
- 专利标题（中）： 逻辑代码中的验证同步覆盖
-
申请号： US13610487申请日： 2012-09-11
-
公开(公告)号： US20130247062A1公开(公告)日： 2013-09-19
- 发明人: Rachel Tzoref , Eitan Daniel Farchi , Ehud Trainin , Aviad Zlotnick
- 申请人： Rachel Tzoref , Eitan Daniel Farchi , Ehud Trainin , Aviad Zlotnick
- 申请人地址： US NY Armonk
- 专利权人： INTERNATIONAL BUSINESS MACHINES
- 当前专利权人： INTERNATIONAL BUSINESS MACHINES
- 当前专利权人地址： US NY Armonk
- 主分类号： G06F9/52
- IPC分类号： G06F9/52
摘要：
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.
信息查询
