10khz中断用rtos还是状态机

（1）中断级用OSSched()，任务级用OSIntExit() （2）OSIntExit()使终端层数减1，而只当中断嵌套层数和任务调度锁定层数均为0时才能调OSSched()函数。