最近在bios_5_42_02_10上做应用开发，遇到一个百思不得其解的问题，在此特请各路大侠相助，小弟先行谢过！问题如下：
1、创建一个优先级最高的TSK任务，优先级为15，称为TaskA。该任务一直在等待一个信号量，然后开始工作，工作时间不会超过2.5ms；
2、在一个中断服务（ISR）过程中，最后会释放TaskA所等待的信号量，该中断每2.5ms会产生一次。该ISR的运行时间不会超过2.5ms。
从系统运行过程中的日志发现，ISR出现连续释放多个信号量（三五七个都不等，没有规律），TaskA都没有及时处理，而在最后才一次连续处理完的情况。而且日志记录的时间并没有存在TaskA的工作时间超出2.5ms的情况。
