临界区和不变量和谓词

、

、

、

 

  谓词就是判断,？？

 

 

 例子:谓词:if(FD_ISSET(fd, &efds))

          不变量:音频配置参数  i2c配置参数  硬件配置参数

          临界区:>2 进程和线程都会访问的串行地方 或变量(复杂构造类型的变量和短变量)