Patent №
US 8,732,142
Granted
2014-05-20
Filed 2008
Owner
INTEL CORPORATION
Lab
—
AI components
2
planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
12059108
A method of removing a first data race condition by generating a list of suggested solutions is provided. The method comprises detecting the first data race condition involving a shared resource that is accessed first by a first thread and then by a second thread; suggesting one or more solutions using a lockset mechanism; suggesting one or more solutions using a vector clock mechanism; suggesting that a user create a new synchronization object; suggesting that a user replicate the shared resource; and displaying the list to the user.
AI classification
Ownership
INTEL CORPORATION
assignment · 225260905
Assignors
PETERSEN, PAUL M., MA, ZHIQIANG
On an employer assignment, the assignors are typically the inventors.