1

我正在为只有一个中断优先级的 C 语言基本微控制器进行编译;只有一个 ISR。我想被警告 ISR 和 main() 线程之间的线程安全问题。

这是静态分析器可以做的吗?他们能/不能捕捉到什么样的线程安全问题?Splint 能做到吗?

volatile示例 1:如果一个变量在 ISR 和主线程中都使用,它是否可以检测是否应该给它关键字?

示例 2:如果主线程有多个操作需要在它们的组合中是原子的(可能在源代码中通过注释指示),静态分析器是否可以指示它们是否可以被 ISR 中断并被破坏?

4

0 回答 0