按照我的理解，在HWI中向TSK发送sem或者queue，不会进行schedule的，因为这样就相当于把HWI 挂起来的了，这通常是不允许的（不允许中断嵌套）。一般的处理是，HWI退出后，RTOS立即调用schedule，然后根据优先级再决定是否切换到刚才等待sem或者queue的TSK。
但是按照上面的红线部分，似乎在调用OS_sendSem后立即启动schedule，如果这个TSK的优先级很高，会立刻run，等到它再次pending时，才又返回到HWI，HWI才结束。
不知道我理解的对否？
很
