[發明專利]一種SPARC平臺任務棧溢出檢測算法

有效

• 申請號: 201410060928.9
• 申請日: 2014-02-21
• 公開（公告）號: CN103870244B
• 公開（公告）日: 2017-01-11
• 發明（設計）人: 卓保特;李尚杰;程勝;許開維
• 申請（專利權）人: 北京神舟航天軟件技術有限公司
• 主分類號: G06F9/30
• 分類號: G06F9/30;G06F21/52
• 代理公司: 北京世譽鑫誠專利代理事務所(普通合伙)11368
• 代理人: 孫國棟

1.一種SPARC平臺任務棧溢出檢測算法，其特征在于：所述檢測算法針對每個任務維護一個單獨的變量current_stack_max，記錄當前棧的最大使用量，初始值為0；任務棧在任務創建時初始化為0；任務棧的棧頂保留一個空函數棧幀大小的余量，棧使用超過該余量，即視為溢出。

2.根據權利要求1中所述的SPARC平臺任務棧溢出檢測算法，其特征在于：所述算法步驟如下：

1）、首先比較current_stack_max和任務控制塊中保存的當前函數棧幀的棧頂TCB_SP，求得min(current_stack_max，TCB_SP)；

2）、從stack_top開始依次比較[stack_top，min(current_stack_max，TCB_SP)]區間段內存單元的內容，遇到非零的內存單元停止比較，指針order_search指向該單元；

3）、比較stack_top與order_search-0x68，如果stack_top大于等于order_search-0x68，則任務棧溢出；否則將current_stack_max更新為order_search。其中0x68為空函數函數棧幀的大小。