有人可以在此Assembly MIPS代码块中提供堆栈框架的可视化或详细流程吗?

问题描述

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,然后在堆栈上同时使用AA来调用main 。由于main仅使用B相对寻址,因此它用于其帧的实际地址并不直接重要。例如,这还允许A进行递归,因为它可以具有多个激活(堆栈上的堆栈帧)。

您的代码段还建立了帧指针$sp,这通常是不必要的,但有时还是可以完成。在MIPS上,堆栈使用情况被展平了:函数所需的所有堆栈空间通常在开始时在一条指令中分配(称为序言)。由于这种扁平化,通常不需要帧指针。 (但是,在x86上,堆栈指针经常会移动,例如在通过推入调用另一个函数进行参数传递,然后在弹出窗口时弹出。由于堆栈指针在函数主体执行期间正在移动,因此可以使用很有帮助,因为它在函数执行期间不会移动。)

在设置帧指针之前,它将帧指针的旧值保存到一个内存位置(堆栈帧中新分配的字之一)。

帧指针是通过指针算术初始化的-这里指向新分配的堆栈空间的最高地址。 (指针算法应使用A而非$fp完成。)

粘贴此代码片段,该函数的代码可以使用addiu相对负载和存储(使用偏移值0..28)或使用addi相对负载和存储(使用偏移值0.。 -28),以访问新分配的帧存储器。使用适当的偏移量,我们可以使用$sp$fp到达相同的存储位置,例如,$sp$fp是相同的地址。 / p>