Feature #10481
closed
Update CPALockator to support rcu analysis
Added by Pavel Andrianov over 3 years ago.
Updated over 3 years ago.
Description
To update CPALockator it is necessary to write a rule specification for instrumentation of rcu functions. Also, it is need to write a some set of tests.
- Priority changed from Normal to Urgent
- Target version set to 3.0
- Status changed from New to Resolved
- Status changed from Resolved to Closed
Tests including new ones passed, so, I merged the branch to master in b44371af5. In addition, CPALockator is installed by default now, so, everybody can enjoy.
Some important fixes in the requirement specification and test cases were made in branch rcu-tests-fixes. Besides, Pavel updated CPALockator there. After performing testing (unfortunately many RCU related test cases do not demonstrate ideal results, but it is a known issue), I merged the branch to master in b27a1c53f.
Also available in: Atom
PDF