专利名称：一种用于精确估计嵌入式系统中堆栈需求量的方法专利类型：发明专利
发明人：王东辉,王红梅,时磊,张铁军申请号：CN200910241253.7申请日：20091127公开号：CN101876923A公开日：20101103
摘要：本发明提出一种用于精确估计嵌入式系统中堆栈需求量的方法，所述的方法包含如下步骤：用完整的函数调用关系图进行本地函数和每棵调用树运行时库和标准库的堆栈需求的堆栈需求量分析，并求和；确定每个优先级内各个中断程序的最大堆栈需求量并求和，并加上保存处理器状态而增加的额外堆栈需求；对以上结果求和得到单线程的最大堆栈需求；所述的完整的函数关系图，首先用控制流分析得到初步的函数关系图，然后针对间接调用函数和递归调用函数采取抽象解释算法的值分析方法进一步分析，得到完整的函数调用关系图，对于无法分析的函数调用需要用户进行注释。针对多线程重复单线程步骤并将所有求和，最后在加上操作系统的堆栈需求量即系统总堆栈需求。
申请人：中国科学院声学研究所
地址：100190 北京市海淀区北四环西路21号中国科学院声学研究所
国籍：CN
代理机构：北京法思腾知识产权代理有限公司
代理人：杨小蓉
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容