C51: CHECKING FOR STACK UNDERFLOW AT RUNTIME

最新推荐文章于 2023-05-22 15:19:29 发布

转载最新推荐文章于 2023-05-22 15:19:29 发布 · 510 阅读

文章标签：

#c #initialization #function #codec #include #access

C51 专栏收录该内容

15 篇文章

订阅专栏

本文介绍如何在C51程序中检查栈指针是否发生下溢。通过修改启动代码添加栈底标签，并定义宏来比较栈指针与栈底地址，确保程序运行时栈的安全。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C51: CHECKING FOR STACK UNDERFLOW AT RUNTIME

Information in this article applies to:

C51 All Versions

QUESTION

I want to test the stack pointer (SP) in the main loop of my program to be sure that it has not underflowed. To do this, I need to get the address that SP is initialized to by the startup code. How can I do this?

ANSWER

First, you must modify the startup code to include a label for the bottom of the stack. Modify the startup code (STARTUP.A51) as shown below:

?C_C51STARTUP SEGMENT CODE

?STACK SEGMENT IDATA

RSEG ?STACK

PUBLIC stackbot ; Add this public declaration

stackbot: DS 1 ; Add the stackbot label

EXTRN CODE (?C_START)

PUBLIC ?C_STARTUP

CSEG AT 0

Note that the startup code loads the stack pointer as follows:

MOV SP,#?STACK-1

This means that in the main function, SP must be compared to the address of stackbot minus 1!

In the file that contains the main C function, you must add the following definitions and declarations:

extern unsigned char const idata stackbot []; /* Bottom of the stack */

sfr SP = 0×81; /* Stack pointer */

#define STACK_START ((unsigned char) (&stackbot [-1]))

Note that stackbot is the bottom of the stack as declared in the STARTUP.A51 file. This is defined in the ?STACK segment in IDATA. The extern declaration is an array because you must access the address of stackbot – 1. Using an array, we can negatively index (using -1) and obtain this address as a constant.

The following simple program shows how to use the STACK_START macro and the SP SFR to test the stack pointer.

/*———————————————————

———————————————————*/

void stack_error (void)

{

/*** Handle stack errors here ***/

}

/*———————————————————

———————————————————*/

void main (void)

{

while (1)

{

/*** Do Stuff ***/

if (SP != STACK_START)

{

stack_error ();

}

}

}

/*———————————————————

———————————————————*/

SEE ALSO

SEE ALSO
C51: STACK AND REENTRANT STACK SYMBOLIC NAMES
C51: CALCULATING STACK SIZE
C51: STACK POINTER INITIALIZATION IN STARTUP CODE
C51: LOCATING THE STACK AFTER IDATA VARIABLES
C51: STACK UTILIZATION
DSCOPE: DETECTING STACK OVERFLOW
通过C51: CHECKING FOR STACK UNDERFLOW AT RUNTIME.

Posted by Ian at 04:11 Tagged with: C51, Stack