并发性缺陷
与多任务代码相关的缺陷
这些检查项检测与多任务代码相关的问题,例如,多个任务对某个无保护的变量进行运算时的数据争用,或临界区涉及死锁的锁定缺陷。Polyspace 可以检测代码中的线程和临界区,您也可以手动在 Polyspace 配置中定义它们。
Polyspace 结果
主题
- Bug Finder 缺陷组
Bug Finder 的缺陷检查项分为数据流、并发、数值等分组。
- 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.