diff options
Diffstat (limited to 'src/scheduler.c')
| -rw-r--r-- | src/scheduler.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/scheduler.c b/src/scheduler.c index c62a6d143c..c760fa8ed9 100644 --- a/src/scheduler.c +++ b/src/scheduler.c @@ -666,6 +666,7 @@ void rt_scheduler_do_irq_switch(void *context) #endif /* RT_USING_OVERFLOW_CHECK */ RT_DEBUG_LOG(RT_DEBUG_SCHEDULER, ("switch in interrupt\n")); + RT_ASSERT(current_thread->cpus_lock_nest > 0); current_thread->cpus_lock_nest--; current_thread->scheduler_lock_nest--; @@ -941,6 +942,7 @@ void rt_enter_critical(void) { rt_uint16_t lock_nest = current_thread->cpus_lock_nest; current_thread->cpus_lock_nest++; + RT_ASSERT(current_thread->cpus_lock_nest != 0); if (lock_nest == 0) { current_thread->scheduler_lock_nest ++; @@ -999,6 +1001,7 @@ void rt_exit_critical(void) current_thread->critical_lock_nest --; + RT_ASSERT(current_thread->cpus_lock_nest > 0); current_thread->cpus_lock_nest--; if (current_thread->cpus_lock_nest == 0) { |