你好，
在DM8127芯片的dsp核上进行开发时，在对信号量的使用中，目前遇到这样一个问题，当在一个线程中每次调用接口Semaphore_post释放的信号量比调用接口Semaphore_pend占用的信号量多一些时，会出现线程运行一段时间后pend在该信号量中不在运行的问题，就信号量的使用来说，当post的比pend多时，此时信号量应该等效于失效了，不应该出现线程pend在该信号量上的情况（目前统计该信号量出现释放不了时的pend数和post数分别是0x7eb6和0x317eb4），请问一下，能帮我分析一下造成这个现象的原因吗？谢谢！