交汇Rendezvous
一种更常规的信号量通信形式叫做交汇,交汇确保两个线程同时到达某个确定的执行点,除非两个线程都到达这个交汇点,否则它们都不会继续运行。
osSemaphore arrived1, arrived2;
osSemaphoreDef(arrived1);
osSemaphoreDef(arrived2);
void thread1(void){
Arrived1 = osSemphoreCreate(osSemphore(arrived1),ZERO_TOKENS);
Arrived2 = osSemphoreCreate(osSemphore(arrived2),ZERO_TOKENS);
while(1){
FuncA1();
osSemphoreRelease(Arrived1);
osSemphoreWait(Arrived2, osWaitForever);
FuncA2();
}
}
void thread2(void){
while(1){
FuncB1();
os_sem_send(Arrived2);
os_sem_wait(Arrived, osWaitForever);
FuncB2();
}
}
上面的例子中,两个信号量会确保两个线程发生交汇,然后各自执行FuncA2()和FuncB2()。
练习:交汇
在本工程中,我们将创建两个任务,同时需要确保在它们执行LED闪烁功能前已经到达了信号量交汇点。
打开Pack Installer,选择“Ex 13 Rendezvous”,然后复制到你的指定路径。
编译工程,并启动仿真环境。
打开Peripherals->General Purpose IO->GPIOB窗口。
运行代码。
默认情况LED线程的信号量代码被注释掉了,线程没有同步,所以GPIOB管脚的翻转变化是随机的。
退出仿真环境。
去掉LED线程的信号量代码注释。
重新编译工程,并启动仿真环境。
运行代码,观察GPIOB窗口的变化。
现在线程被信号量同步了,LED的翻转也“同时”进行了。