2 会合（Rendezvous）

通过两个初始值为0的信号量，会合两个线程；使两个线程都到达集合点，才会进入下面的操作；
实现a1在b2之前执行，b1在a2之前执行；

1、信号量初始化

osSemaphoreId_t sem_a_arrived;
osSemaphoreId_t sem_b_arrived;
sem_a_arrived = osSemaphoreNew(1, 0, NULL);
sem_b_arrived = osSemaphoreNew(1, 0, NULL);

2、线程1

printf("statement a1\r\n");
osSemaphoreRelease(sem_a_arrived);
osSemaphoreAcquire(sem_b_arrived, osWaitForever);
printf("statement a2\r\n");

3、线程2

printf("statement b1\r\n");
osSemaphoreRelease(sem_b_arrived);  
osSemaphoreAcquire(sem_a_arrived, osWaitForever); 
printf("statement b2\r\n");

4、结论

可以看到图中的执行顺序有两种：a1-b1-b2-a2 和 b1-a1-a2-b2，但不论顺序如何，都是a1，b1在a2，b2之前执行；