如何估算并验证 RTOS 任务栈大小？

先在心里组织：结论、前提、原理，再补一个工程证据。