关于rt_thread书本的二值信号量的例程疑问

lijinqiao2010

创建信号量为优先级优先方式，不是FIFO方式。
receive线程优先级是3，比较低。
send线程优先级是2，比较高。
程序跑起来，receive线程会先跑到take信号量而阻塞。随后到send线程释放信号量并且继续跑到send的take信号量，这时候send的优先级比receive高，为何跑回receive来take信号量并打印Sucessful了呢？

lijinqiao2010

我知道原因了，原来是释放就马上被take走了，但因为take走的线程因为优先级不够无法调度成功，但却能take走，所以依然在高等级线程运行，当高等级线程遇到take时，但由于已经被低等级线程take走了（之前我以为低等级线程没有take成功），造成高等级线程堵塞，然后发生了调度，然后回到了已经就绪的低等级线程打印了。

thisisdemo

6666666666

lijinqiao2010

thisisdemo 发表于 2020-11-18 13:22
有点乱但我感觉没有问题。因为这个延时函数没有那么准确。我认为你要把释放前这句log放到获取到信号量之前 ...

打印完释放前和释放后，接着就阻塞了，但为何跑回receive里的阻塞获取信号量呢？

thisisdemo

lijinqiao2010 发表于 2020-11-18 13:32
打印完释放前和释放后，接着就阻塞了，但为何跑回receive里的阻塞获取信号量呢？

6666666666

lijinqiao2010

thisisdemo 发表于 2020-11-18 14:32
我不太清除您的意思。简单说您的代码红色框内的代码片段不同时执行，那么就是没问题的。 至于其他现象， ...

输出rt_kprintf是关中断的，不会触发线程切换。延时一秒只是释放CPU权限给另一个线程或者空闲线程啊，所有第一次600，再跑一圈600就1200，那么1000肯定比1200先触发啊，那么1000后就是低优先级rceive线程进入take信号量又堵塞了，然后又回到send线程又进入了它本身的take信号，但实验打印结果显示，这时send线程在本身的take没成功，而是回到receive线程的take成功了。

thisisdemo

lijinqiao2010 发表于 2020-11-18 14:48
输出rt_kprintf是关中断的，不会触发线程切换。延时一秒只是释放CPU权限给另一个线程或者空闲线程啊，所 ...

6666666666

lijinqiao2010

thisisdemo 发表于 2020-11-18 15:51
第一：我还是那个意思。只要红色区域不同时进行，那么就没问题。（我在您的log种没发现此情况）第二：这 ...

rt_printf是没关中断，但开了临界保护啊，在rt-hw_console_output里面实现，效果也类似中断那样锁死，所以打印的顺序是能正确反映程序的运行逻辑的啊。我也不明白你说红色区域不同时进行和我的疑问有什么联系，我的疑问是在同时两个线程去take信号量时，设置了优先级也按照了FIFO的形式去take了，这是我的疑问。

thisisdemo

lijinqiao2010 发表于 2020-11-18 15:59
rt_printf是没关中断，但开了临界保护啊，在rt-hw_console_output里面实现，效果也类似中断那样锁死，所 ...

6666666666

lijinqiao2010

thisisdemo 发表于 2020-11-18 16:39
第一：我一定要较个真，rt_printf在开启串口设备时候，没有执行rt-hw_console_output。！！ ...

1.我的rt_printf有映射到rt_hw_console_output函数啊。
2.我知道不是这样使用，但我这样配置了，按道理线程一直会在send里运行吧，不应该跑回去打印receive的内容啊。
3.知道实验有弊端，但已经修改到这样，觉得这样的结果有疑问。另外时间片不是对相同优先级线程才有作用吗？这两个线程优先级不一样啊，立即放弃时间片？不是很明白。

NewGuard

应该是receive第一次延时内发生了调度去处理send，在send内第二次延时时，回到receive的出栈的地方重新入栈接着处理数据

yikexiaoshu

优先级翻转，可以看看rtt官方文档关于互斥信号量的描述。