24、多任务代码中的原子操作定义与编码规则检查

多任务代码中的原子操作定义与编码规则检查

在多线程代码的开发过程中，确保共享变量在并发访问时的安全性至关重要。同时，遵循一定的编码规则也能有效减少代码中的缺陷，提高代码质量。下面将详细介绍多任务代码中原子操作的定义以及编码规则的检查方法。

1. 多线程代码中的原子操作

在多线程代码里，可以借助 Polyspace Bug Finder 来检测数据竞争，或者使用 Polyspace Code Prover 列出可能未受保护的共享变量。为了判断多个线程间共享的变量是否能抵御并发访问，Polyspace 会检查对该变量的操作是否为原子操作。

1.1 非原子操作

若一个操作是非原子的，Polyspace 会认为该操作包含多个步骤，这些步骤无需同时发生，并且可能会被其他线程的操作中断。例如：
- 线程 1: var++; ：此操作是非原子的，因为它分三步进行：读取 var 、递增 var 以及将递增后的值写回 var 。
- 线程 2: var = 0; ：若 var 的大小小于目标机器的字长，该操作是原子的。

若这两个操作未受到保护（比如使用临界区），第二个线程的操作可能会中断第一个线程的操作。若中断发生在第一个线程递增 var 之后但在写回递增后的值之前，就可能出现意外结果。

Polyspace 认为以下情况的操作是非原子