发明名称 |
Dynamic detection of atomic-set-serializability violations |
摘要 |
A method, an information processing system, and a computer readable medium, are used to detect atomic-set serializability violations in an execution of a program. A set of classes associated with a program to be analyzed is identified. The set of classes include a set of fields. At least one subset of fields in the set of fields in the identified classes is selected. A set of code fragments associated with an execution of the program is selected. Data accesses in the selected set of code fragments are observed. It is determined if the selected set of code fragments is serializable for each selected subset of fields. |
申请公布号 |
US8141054(B2) |
申请公布日期 |
2012.03.20 |
申请号 |
US20070835685 |
申请日期 |
2007.08.08 |
申请人 |
DOLBY JULIAN T.;HAMMER CHRISTIAN J.;TIP FRANK;VAZIRI-FARAHANI MANDANA;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
DOLBY JULIAN T.;HAMMER CHRISTIAN J.;TIP FRANK;VAZIRI-FARAHANI MANDANA |
分类号 |
G06F9/44;G06F9/45 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|