、

、临界区和不变量和谓词_构造类型

、

临界区和不变量和谓词_构造类型_02

 

  谓词就是判断,？？

临界区和不变量和谓词_数据_03

 

 

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

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

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

     

一勤天下无难事。