Polyspace提供的结果不受保护的共享变量列表如下有效条件?
1视图(30天)
显示旧的评论
你好,亚历山大,
Polyspace提供未受保护的共享变量列表的结果是有效的吗?
在代码中,我使用多个Mutux
例子:
#定义MUTUX_1 1 # define MUTUX_2 2
空锁(UCHAR uc_arg);空白解锁(UCHAR uc_arg);
Task1(){锁(
1
);/ /代码解锁(
1
);}
Task2 () {
锁(
2
);/ /代码解锁(
2
);}
但在Polyspace配置中,我只给了
锁定与解锁临界段开始和结束
。
Polyspace提供未受保护的共享变量列表的结果是有效的吗?