期刊文献+

嵌入式软件堆栈溢出的动态检测方案设计 被引量:1

Scheme of Embedded Software Stack Overflow Dynamically Detection
下载PDF
导出
摘要 设计了一种动态检测嵌入式软件堆栈溢出及使用量的方案,在不受堆栈溢出影响的定时器中断服务程序中,周期检测堆栈使用量,通过LED提示堆栈溢出深度。通过设置堆栈溢出缓冲区,在RAM空间中隔离堆栈和全局变量分区,使得浅度堆栈溢出不影响系统正常运行,同时,堆栈溢出缓冲区保存了关键的上下文信息,将该信息存储在非易失性存储器中,运行一段时间后,通过专用工具读取非易失性存储器中的堆栈使用量数据和溢出上下文信息,分析异常位置,从而调整堆栈尺寸或者调整程序设计,以提高系统运行的稳定性。 In the paper,a solution to dynamically detect the overflow and usage of embedded software stacks is designed.The stack usage is detected periodically in the timer interrupt service routine which is not affected by stack overflow,and the stack overflow depth is prompted through LED.The stack overflow buffer partition is set in RAM space,and the stack partition and the global variable partition is isolated,so that the shallow stack overflow does not affect the normal operation of the system.at the same time,the stack overflow buffer holds the key context information,stores the information in non-volatile flash.After a period of operation,the dedicated tool is used to read the stack usage data and overflow context information in the non-volatile memory,the abnormal location is analyzed.So the stack size or the program design is adjusted to improve the stability of system operation.
出处 《单片机与嵌入式系统应用》 2018年第2期12-13,17,共3页 Microcontrollers & Embedded Systems
基金 山东省重点研发计划"移动互联新能源汽车车内信息安全技术研究与应用"(项目编号:2017GGX10145) 山东省重点研发计划(重大关键技术 2016ZDJS03A04) 山东省重点研发计划(2016GGC01023)
关键词 嵌入式系统 RAM 堆栈 embedded system RAM stack
  • 相关文献

参考文献2

二级参考文献18

  • 1Kleidermacher D N. Practical application of static analysis for embedded systems[ J ]. Ada User Journal,2008,29( 1 ) : 38-42.
  • 2Regehr J. Say not to stack overflow embedded systems design [ Z]. http:// www. embedded, com/columns/ technicalinsights/471018927 _requestid =440562#.
  • 3Dennis B, Niels D, Jens P. Static checking of interrupt- driven software [ C ]. The 23^rd International Conference on Software Engineering (ICSE) , Toronto, Canada , May 2001.
  • 4Regehr J, Alastair R, Kirk W. Eliminating stack overflow by abstract interpretation[ C ]. The 3^rd International Conference on Embedded Software (EMSOFT) , Philadelphia, PA,October 2003.
  • 5孙涵芳,徐爱卿.MCS-51/96系列单片机原理及应用[M].北京:北京航空航天大学出版社,1989.
  • 6刘通平.栈溢出的动态检测技术[J].计算机科学,2007,34(9):282-286. 被引量:8
  • 7刘陵顺,高艳丽等.TMS320F28335DSP原理及开发编程[M].北京:北京航空航天大学出版社2011年12月.
  • 8苏奎峰,吕强,常天庆,等.TMS320x2833xDSP原理及c程序开发[M].北京:北京航空航天大学出版社,2008.
  • 9常硕,赵彬,辛文逵.抽象解释技术在嵌入式软件测试中的应用[J].中国测试技术,2007,33(6):93-95. 被引量:4
  • 10朱望纯,胡汉武,李智.DSP+FLASH的二次程序加载实现方法[J].国外电子测量技术,2008,27(4):14-16. 被引量:6

共引文献15

同被引文献4

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部