私は、セマフォーのロック/リリース呼び出しの間に不一致があるかどうかを検出する静的解析ツールに取り組んでいます。検出はVxWorks RTOSに固有です。 私は論理的にコードが理にかなっている。このテストケース void fun(char semid);
char id,i;
int main()
{
id = semCreate(); //initializing a sem
複数のユーザーから同時にアクセスできるマルチスレッドプログラムを作成中で、競合状態を回避する必要があります。 コード/マルチスレッド: public class DataProcessor implements Serializable, Runnable {
private static final long serialVersionUID = 1L;
public DataProce