vxworks系统学习----二进制信号量