发明名称 |
Synchronization Safeguards for Detecting Race Conditions in Multithreaded Programs |
摘要 |
Each of a plurality of accesses by a multithreaded program to shared data structures stored within a database is monitored. The accesses are implemented by varying application programming interface (API) methods. Thereafter, it is determined, based on pre-defined synchronization safeguards, whether each of the accesses is valid or invalid based on the utilized corresponding API method. Those accesses to the shared data structures that were determined to be valid are allowed to proceed while those accesses to the shared data structures that were determined to be invalid are prevented from proceeding. |
申请公布号 |
US2016306681(A1) |
申请公布日期 |
2016.10.20 |
申请号 |
US201514690819 |
申请日期 |
2015.04.20 |
申请人 |
Schreter Ivan |
发明人 |
Schreter Ivan |
分类号 |
G06F9/52;G06F9/54;G06F17/30 |
主分类号 |
G06F9/52 |
代理机构 |
|
代理人 |
|
主权项 |
1. A method comprising:
monitoring each of a plurality of accesses by a multithreaded program to shared data structures stored within a database, the accesses being implemented by varying application programming interface (API) methods; determining, based on pre-defined synchronization safeguards, whether each of the accesses is valid or invalid based on the utilized corresponding API method; allowing those accesses to the shared data structures that were determined to be valid to proceed; and preventing those accesses to the shared data structures that were determined to be invalid from proceeding. |
地址 |
Malsch DE |