本例中应该创建什么任务？

Question

对于普通的二进制信号量， 任务尝试同步到 外部事件创建一个空的 信号量......第二个任务 控制同步事件 当没有信号量时给出信号量 需要更长的时间。

#include "vxWorks.h"
#include "semLib.h"

#define T_PRIORITY 50


SEM_ID syncExampleSem;    // named semaphore object

void initialize (void)
{

    // set up FIFO queue with emtpy binary semaphore

syncSem = semBCreate (SEM_Q_FIFO, SEM_EMPTY);

    // create task1
    taskSpawn ("task1", T_PRIORITY, 0, 10000, task1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0);

    // create task2
    taskSpawn ("task2", T_PRIORITY, 0, 10000, task2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0);

}

void task1 (void)
{
    // stay here until semaphore becomes available
    semTake (syncExampleSem, WAIT_FOREVER);


    // do something

}



void task2 (void)
{
    // do something



    // now let task1 execute
    semGive (synExampleSem);

} 

我的问题是为什么我没有看到第一个任务创建空信号量，如所述？ （看起来它只是在主函数中“一般”完成？）“尝试同步到外部事件的任务会创建一个空信号量”。

此外，我真的不明白如何第二个任务是“控制”同步？

谢谢。

请参阅：通过二进制信号量进行同步的示例
http://www.cross-comp.com/instr /pages/embedded/VxWorksTutorial.aspx#VxWorks%20Programming

Answer 1

示例中有一个错误。 initialize 中的第一行应分配给 syncExampleSem。

第二个任务“控制”同步，因为任务 1 在任务 2“给出”信号量之前无法继续。信号量在哪里创建并不重要，只要保证在任一任务尝试提供或获取信号量之前创建信号量即可。

由于这些特定任务是并行运行的，因此它是在 initialize 中创建的，因为如果它是由任务 2 创建的，那么您将面临任务 1 在信号量存在之前等待信号量的风险，反之亦然。由任务 1 创建，您将面临任务 2 在信号量存在之前就给出信号量的风险。

Answer 2

SemTake 和 SemGive 返回错误（因为信号量不存在）。
检查系统调用的返回代码很有价值。