并发性缺陷
与多任务处理代码相关的缺陷
这些检查项检测与多任务处理代码相关的问题,例如,多个任务对某个无保护的变量进行运算时的数据争用,或临界区涉及死锁的锁定缺陷。Polyspace 可以检测代码中的线程和临界区,您也可以手动在 Polyspace 配置中定义它们。
Polyspace 结果
主题
- Bug Finder Defect Groups
The Bug Finder defect checkers are classified into groups such as data flow, concurrency, numerical, and so on.
- Analyze Multitasking Programs in Polyspace
Detect data races or deadlocks with Bug Finder, or see a comprehensive analysis of shared variable usage with Code Prover.
- Protections for Shared Variables in Multitasking Code
Protect shared variables by using critical section, temporal exclusion, priorities, or interrupt disabling.