RT-Thread 中线程栈溢出检查的疑惑

MurphyZhao

    RT-Thread 中线程栈溢出检查在 void rt_schedule(void) 函数中，
但是，为什么仅检查了 to_thread，而不是检查 from_thread ？

    如果在 from_thread 栈溢出破坏了 to_thread 线程栈，检查 to_thread 栈溢出的时候并不会检查到异常，
但，切换到 to_thread 线程运行的时候，出现了错误，这个时候，定位到的错误在 to_thread，但确实是 from_thread 线程栈溢出导致的，这种情况是不是检查 from_thread 线程栈更加合理？

检查栈溢出的函数如下：

1. _rt_scheduler_stack_check(to_thread);

复制代码

检查线程栈溢出的代码如下：

1. 
   
2.             if (to_thread != rt_current_thread)
   
3.             {
   
4.                 /* if the destination thread is not the same as current thread */
   
5.                 rt_current_priority = (rt_uint8_t)highest_ready_priority;
   
6.                 from_thread         = rt_current_thread;
   
7.                 rt_current_thread   = to_thread;
   
8. 
   
9.                 RT_OBJECT_HOOK_CALL(rt_scheduler_hook, (from_thread, to_thread));
   
10. 
    
11.                 if (need_insert_from_thread)
    
12.                 {
    
13.                     rt_schedule_insert_thread(from_thread);
    
14.                 }
    
15. 
    
16.                 rt_schedule_remove_thread(to_thread);
    
17.                 to_thread->stat = RT_THREAD_RUNNING | (to_thread->stat & ~RT_THREAD_STAT_MASK);
    
18. 
    
19.                 /* switch to new thread */
    
20.                 RT_DEBUG_LOG(RT_DEBUG_SCHEDULER,
    
21.                         ("[%d]switch to priority#%d "
    
22.                          "thread:%.*s(sp:0x%08x), "
    
23.                          "from thread:%.*s(sp: 0x%08x)\n",
    
24.                          rt_interrupt_nest, highest_ready_priority,
    
25.                          RT_NAME_MAX, to_thread->name, to_thread->sp,
    
26.                          RT_NAME_MAX, from_thread->name, from_thread->sp));
    
27. 
    
28. #ifdef RT_USING_OVERFLOW_CHECK
    
29.                 _rt_scheduler_stack_check(to_thread);
    
30. #endif
    
31. 
    
32.                 if (rt_interrupt_nest == 0)
    
33.                 {
    
34.                     extern void rt_thread_handle_sig(rt_bool_t clean_state);
    
35. 
    
36.                     rt_hw_context_switch((rt_ubase_t)&from_thread->sp,
    
37.                             (rt_ubase_t)&to_thread->sp);
    
38. 
    
39.                     /* enable interrupt */
    
40.                     rt_hw_interrupt_enable(level);
    
41. 
    
42. #ifdef RT_USING_SIGNALS
    
43.                     /* check signal status */
    
44.                     rt_thread_handle_sig(RT_TRUE);
    
45. #endif
    
46.                     goto __exit;
    
47.                 }
    
48.                 else
    
49.                 {
    
50.                     RT_DEBUG_LOG(RT_DEBUG_SCHEDULER, ("switch in interrupt\n"));
    
51. 
    
52.                     rt_hw_context_switch_interrupt((rt_ubase_t)&from_thread->sp,
    
53.                             (rt_ubase_t)&to_thread->sp);
    
54.                 }
    
55.             }

复制代码

MurphyZhao

特意去查了下 FreeRTOS 的源码，发现 FreeRTOS 会对 from_thread 进行堆栈溢出检查，还检查了两次(不知道分别做什么)，代码如下：

1.                 /* Check for stack overflow, if configured. */
   
2.                 taskFIRST_CHECK_FOR_STACK_OVERFLOW();
   
3.                 taskSECOND_CHECK_FOR_STACK_OVERFLOW();
   
4. 
   
5.                 /* Select a new task to run using either the generic C or port
   
6.                 optimised asm code. */
   
7.                 taskSELECT_HIGHEST_PRIORITY_TASK();
   
8.                 traceTASK_SWITCHED_IN();
   
9. 
   
10.                 #if ( configUSE_NEWLIB_REENTRANT == 1 )
    
11.                 {
    
12.                         /* Switch Newlib's _impure_ptr variable to point to the _reent
    
13.                         structure specific to this task. */
    
14.                         _impure_ptr = &( pxCurrentTCB->xNewLib_reent );
    
15.                 }
    
16.                 #endif /* configUSE_NEWLIB_REENTRANT */
    
17.         }
    
18.         _next_thread = (void *)pxCurrentTCB;

复制代码

sunnydragon

难道是为了让系统多跑一会