问题描述
services.AddSingleton<IAuthorizationPolicyProvider,AuthorizationPolicyProvider>();
我对堆栈框架的工作方式有点迷茫,但我仍然对理解该过程感到很新鲜。有人可以逐行解释发生的事情吗?如果可能,是否还可以提供实际堆栈框架的可视化视图,框架指针和堆栈指针的位置以及其移动方式?
解决方法
要进行可视化,首先我们需要确定可视化的方向,通常是向上还是向下。两者都是正确的,但是一个可能比另一个更难读。
在任何情况下,堆栈都朝着编号较低的存储器地址“增长”,而朝着编号较高的存储器地址收缩。内存基本上总是在那里(并且不会移动!)—堆栈指针寄存器告诉内存的哪一部分已被占用/正在使用,而不是未占用/可用/空闲;它只是从已占用/已使用的堆栈内存中划定了可用/未使用的堆栈内存。
对于堆栈在视觉上“向下”生长的图片:
+------------+
0x7ffff000 | | <-- $sp+4 second word of occupied stack space
+------------+
0x7fffeffc | | <-- $sp first word of occupied stack space
+------------+
0x7fffeff8 | | <-- $sp-4 first word of unoccupied stack space
+------------+
用于可视化,显示堆栈“向上”生长。
+------------+
0x7fffeff8 | | <-- $sp-4 first word of unoccupied stack space
+------------+
0x7fffeffc | | <-- $sp first word of occupied stack space
+------------+
0x7ffff000 | | <-- $sp+4 second word of occupied stack space
+------------+
大多数人发现堆栈向下生长更容易理解,但是如果您将堆栈框架视为对象/记录,则会造成混淆,因为在视觉上更容易看到向前放置的对象(即,以后具有更高的地址)
作为替代方案,我们可以使用向左/向右(此处左侧的地址较低,而右侧的地址较高,堆栈向左“增长”):
0x7ffffeff8 0x7ffffeffc 0x7fffff000
+-------------+-------------+-------------+
| | | |
+-------------+-------------+-------------+
first free first used second used
^ ^ ^
| | |
$sp-4 $sp $sp+4
我正在使用的术语“第一次使用/占用”是指堆栈的“顶部”。
接下来,只有一条指令分配堆栈空间:addiu $sp,$sp,-32
。该指令只是添加到堆栈指针,以计算堆栈顶部的新位置。我使用addiu
是因为指针算术应该使用无符号算术完成。 (如果堆栈超过特定点,则使用addi
会导致不必要的溢出陷阱。)-32
为负数,因此它正在增加堆栈-通过简单地扩大堆栈的使用部分移动轮廓线$sp
。 -32
是一个字节数,因此就字而言,这是8个字(在32位计算机上,每个字4个字节)。
0x7ffffefdc 0x7ffffefe0 0x7ffffefe4 0x7ffffefe8 0x7ffffefec 0x7ffffeff0 0x7ffffeff4 0x7ffffeff8 0x7ffffeffc 0x7fffff000
+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+
| | | | | | | | | | |
+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+
<------------------ newly allocated,uninitialized -----------------------------------------------------------> <--- old previously in use --->
^ ^
| |
$sp old $sp
此后,堆栈指针不会移动,因此我们可以简单地注释新分配的存储:
sp+0 sp+4 sp+8 sp+12 sp+16 sp+20 sp+24 sp+28 sp+32 sp+36
0x7ffffefdc 0x7ffffefe0 0x7ffffefe4 0x7ffffefe8 0x7ffffefec 0x7ffffeff0 0x7ffffeff4 0x7ffffeff8 0x7ffffeffc 0x7fffff000
+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+
| | | | | old $fp | $ra | | $a0 | | |
+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+
<------------------ newly allocated --------------------------------------------------------------------------> <--- old previously in use --->
^ ^ ^
| | |
$sp $fp old $sp
仅此而已。堆栈是内存的一部分。堆栈指针寄存器中保存的值指示堆栈的顶部,这也是未使用/可用/可用的堆栈存储器与使用中/已分配的堆栈存储器之间的界限。堆栈指针寄存器的值更改以增加/缩小堆栈(内存不移动)。任何需要一些堆栈空间的函数都会通过移动堆栈指针并随后使用$sp
相对寻址来进行分配。它不预先知道堆栈的实际地址,但是知道它可以使用$sp
寄存器来引用堆栈的顶部,并且可以使用{{1 }}。
因此,堆栈指针的实际位置并不重要,并且这允许$sp
调用main
,也允许A
调用main
和{{ 1}}调用B
—在这种情况下,首先在堆栈上仅使用B
,然后在堆栈上同时使用A
和A
来调用main
。由于main
仅使用B
相对寻址,因此它用于其帧的实际地址并不直接重要。例如,这还允许A
进行递归,因为它可以具有多个激活(堆栈上的堆栈帧)。
您的代码段还建立了帧指针$sp
,这通常是不必要的,但有时还是可以完成。在MIPS上,堆栈使用情况被展平了:函数所需的所有堆栈空间通常在开始时在一条指令中分配(称为序言)。由于这种扁平化,通常不需要帧指针。 (但是,在x86上,堆栈指针经常会移动,例如在通过推入调用另一个函数进行参数传递,然后在弹出窗口时弹出。由于堆栈指针在函数主体执行期间正在移动,因此可以使用很有帮助,因为它在函数执行期间不会移动。)
在设置帧指针之前,它将帧指针的旧值保存到一个内存位置(堆栈帧中新分配的字之一)。
帧指针是通过指针算术初始化的-这里指向新分配的堆栈空间的最高地址。 (指针算法应使用A
而非$fp
完成。)
粘贴此代码片段,该函数的代码可以使用addiu
相对负载和存储(使用偏移值0..28)或使用addi
相对负载和存储(使用偏移值0.。 -28),以访问新分配的帧存储器。使用适当的偏移量,我们可以使用$sp
或$fp
到达相同的存储位置,例如,$sp
与$fp
是相同的地址。 / p>