(2)当INT 有效时，即系统中产生中断或存在中断嵌套。在push有效的情况下，置prio信号值为6及data_in信号值为8192，观察仿真结果为：used信号值依次为1、2、3、4，ostcbstkptr信号值依次为576、577、578、579；同理，在pop有效情况下，置prio为6，此时的仿真结果：data_out信号值为8192，used信号值依次输出4、3、2、1，ostcbstkptr信号值依次输出579、578、577、576。由此可得，当系统中产生中断或存在中断嵌套，按LIFO原则在中断嵌套栈中写入和读出数据，并且每次有效操作同时修改中断嵌套栈的used和ostcbstkptr的值。
由以上结果分析可知，该实验验证了栈空间管理器的正确性，符合系统设计的要求。
本文分析了堆栈空间结构及对被切换任务相应数据信息的保护，并对堆栈空间进行了合理的结构划分。实验数据表明了该系统的可行性和稳定性。栈空间管理器能有效节约硬实时操作系统分配堆栈空间的时间，减少RAM存储空间。从硬件角度上看，简化了设计，降低了成本，具有一定的使用价值。目前只在实验平台上仿真，下一步拟将栈空间管理器的IP核应用于硬实时操作系统，以提高操作系统的运行效率。
本文关键字：空间 DSP/FPGA技术，单片机-工控设备 - DSP/FPGA技术
