《计算机原理与系统结构》学习笔记（4）

K3njuan

已于 2024-09-18 14:15:46 修改

阅读量508

点赞数 15

文章标签：算法笔记学习

于 2024-09-18 14:13:54 首次发布

本文链接：https://blog.csdn.net/Kenjuan/article/details/142317504

版权

系列文章目录

计算机硬件对过程的支持
过程调用指令
过程使用的寄存器
使用更多寄存器
嵌套过程
在栈中为新数据分配空间
MIPS内存布局
字节/半字节操作
MIPS中32位立即数和地址寻址
32位立即数
分支和跳转中的寻址
远程分支
MIPS中的指令类型
地址模式总结
机器语言解码
并行与指令：同步
MIPS中的同步
翻译并执行程序
伪汇编指令
生成目标模块
链接目标模块
加载程序
动态链接库DLL
谬误与陷阱
Fallacies谬误

计算机硬件对过程的支持

过程：更具提供的参数执行一定任务，并返回执行结果的存储子程序，是程序员进行结构化编程的工具

遵循步骤

将参数放在过程可以访问的寄存器里
将控制转移给过程
获得过程所需要的存储资源
执行过程的操作（请求的任务）
将结果的值放在调用程序可以访问到的寄存器
将控制返回到调用点

如上所述，寄存器是计算机中保存数据最快的位置，所以我们希望尽可能多地使用寄存器。MIPS在为过程调用分配32个寄存器时遵循以下约定：

$a0~$a3：用于传递参数的4个参数寄存器
$v0~$v1：用于返回值的两个值寄存器
$ra：用于返回起始地点的返回地址寄存器

过程调用指令

过程调用：跳转和链接指令

jal ProcedureLabel

跳转到目标地址
同时将下一条指令的地址放在寄存器$ra中

过程返回：寄存器跳转

jr $ra

拷贝$ra到程序计数器
也被用于运算后跳转
例如用于case/switc分支语句

调用程序或称为调用者，将参数放在$a0~$a3，然后使用jal X跳转到过程X（被调用者）。被调用者执行运算，将结果放在$v0和$v1，然后使用jr $ra 指令将控制返回给调用者

在存储程序概念中，使用一个寄存器来保存当前运行的指令地址时绝对必要的。这个寄存器叫做程序计数器（program counter），在MIPS体系结构中缩写位PC。

jal指令实际将PC+4 保存在寄存器$ra中，从而将链接指向下一条指令，为返回做好准备（预测思想）

过程使用的寄存器

使用更多寄存器

假设对于一个过程，编译器需要使用多余4个参数寄存器和两个返回值寄存器。由于在任务完成后必须消除踪迹，因此调用者使用任何寄存器都必须恢复到过程调用前所存储的值。这种情况可以看成需要将寄存器换出到存储器的一个例子

换出寄存器最理想的结构是栈。栈需要一个指针指向栈中最新分配的地址，以指示下一个过程放置换出寄存器的位置，或是寄存器旧值的存放位置。在每次寄存器进行保存或恢复时，栈指针以字为单位进行调整。MIPS软件为栈指针准备了第29号寄存器$sp。将数据放入栈叫做压栈，从栈中移除数据称为出栈。

不调用其他过程（叶过程）例子

int leaf_example (int g, h, i, j)

{ int f; f = (g + h) - (i + j);

return f;}

参数 g, …, j 在 $a0, …, $a3中
f 在 $s0 (因此，需要存储 $s0 到堆栈)
结果在$v0

嵌套过程

叶过程：不调用其他过程
嵌套过程：过程调用其他过程

对于嵌套调用，调用需要存储到堆栈的信息：
- 它的返回地址
- 调用后还需要用的任何参数寄存器和临时存储器
调用后返回。寄存器会从堆栈中恢复

示例C code:

int fact (int n)

{

if (n < 1) return 1;

else return n * fact(n - 1);

}

参数 n 放在 $a0
结果放在 $v0

C语言包括两种储存方式：动态的（automatic）和静态的（static）。动态变量位于过程中，当过程推出时失效。静态变量在进入和退出过程时始终存在。在所有过程之外声明的C变量，以及声明时使用关键字static的变量都被视为静态的，其余的变量都被视作动态的。为了简化静态数据的访问，MIPS保留了全局指针（$gp）

保留	不保留
保存寄存器：$s0~$s7	临时寄存器：$t0~$t9
栈指针寄存器：$sp	参数寄存器：$a0~$a3
返回地址寄存器：$ra	返回值寄存器$v0~$v1
栈指针以上栈	栈指针一下栈