• 10GNU C语言函数调用


    6. C 函数调用机制概述

    ​ 在 Linux 内核程序 boot/head.s 执行完基本初始化操作之后,就会跳转区执行 init/main.c 程序。那么 head.s 程序时如何把执行控制转交给 init/mian.c 程序呢?即汇编程序时如何调用执行 C 语言程序的?这里我们首先描述一下 C 函数的调用机制、控制器传递方式,然后说明 head.s 程序跳转到 C 程序的方法。

    ​ 函数调用操作包括从一块代码到另一块代码之间的双向数据传递和执行控制转移。数据传递通过函数参数和返回值来进行。另外,我们还需要在进入函数时未函数的局部变量分配存储空间,并且在退出时收回这部分空间。Intel 80x86 CPU 为控制传递提供了简单的指令,而数据的传递和局部变量存储空间的分配与回收则通过栈操作来实现。

    7. 栈帧结构和控制转移权方式

    ​ 大多数 CPU 上的程序实现使用栈来支持函数调用操作。栈被用来传递参数、存储返回信息、临时保存寄存器原有值以备恢复以及用来存储局部数据。单个函数调用操作所使用的栈部分被被称为栈帧(Stack frame)结构,其通常结构如下。栈帧结构的两端由两个指针来指定。寄存器 ebp 通常用作帧指针(frame pointer),而 esp 则用作栈指针(stack pointer)。在函数执行过程中,栈指针 esp 会随着数据的入栈和出栈而移动,因此函数中对大部分数据的访问都基于帧指针 ebp 进行。

    ​ 对于函数 A 调用函数 B 的情况,传递给 B 的参数包含在 A 的栈帧中。当 A 调用 B 时,函数 A 的返回地址(调用返回后继续执行的指令地址)被压入栈中,栈中该位置也明确指明了 A 栈帧的结束处。而 B 的栈帧则从随后的栈部分开始,即图中保存栈指针(ebp)的地方开始。再随后则用于存放任何保存的寄存器值以及函数的临时值。

    ​ B 函数通亚航也使用栈来保存不能放在寄存器中的局部变量值。例如由于通常 CPU 的寄存器数量有限而不能够存放函数的所有局部数据,后者有些局部变量是数组或 结构,因此必须使用数组或结构引用来访问。还有就是 C 语言的地址操作符 ‘&’ 被应用到一个局部变量上时,我们就需要为该变量生成一个地址,即为变量的地址指针分配以空间。最后,B 函数会使用栈来保存调用任何其它函数的参数。

    ​ 栈是往低(小)地址方向扩展的,而 esp 指向当前栈顶处的元素。通过使用 push 和 pop 指令我们可以把数据压入栈中或从栈中弹出。对于没有指定初始值的数据所需要的存储空间,我们可以通过把栈指针递减适当的值来做到。类似地,通过增加栈指针值我们可以回收栈中已分配的空间。

    ​ 指令 CALL 和 RET 用于处理函数调用和返回操作。调用指令 CALL 的作用是把返回地址压入栈中并且跳转到被调用函数开始处执行。返回地址是程序中紧随调用指令 CALL 后面一条指令的地址。因此当被调函数返回时就会从该位置继续执行。返回指令 RET 用于弹出栈顶处的地址并跳转到该地址处。在使用该指令之前,应该先正确处理栈中内容,使得当前栈指针所指位置内容正是先前 CALL 指令保存得返回地址。另外,若返回值睡个整数或一个指针,那么寄存器 eax 将被默认用来传递返回值。

    ​ 尽管某一时刻只有一个函数在执行,但我们还是需要确定一个函数(调用者)调用其他函数(被调用者)时,被调用者不会修改会覆盖调用者今后要用到的寄存器内容。因此 Intel CPU 采用了所有函数必须遵守的寄存器用法统一惯例。该惯例指明,寄存器 eax、edx 和 ecx 的内容必须有调用者自己负责保存。当函数 B 被 A 调用时,函数 B 可以在不用保存这些寄存器内容的情况下任意使用它们而不会毁坏函数 A 所需要的任何数据。另外,寄存器 ebx、esi 和 edi 的内容则必须有被调用者 B 来保护。当被调用者需要使用这些寄存器中的任意一个时,必须首先在栈中保存其内容,并在退出时恢复这些就餐器的内容。因为调用者 A (或者一些更高层的函数)并不负责保存这些寄存器内容,但可能在以后的操作中还需要用到原先的值。还有寄存器 ebp 和 esp 也必须遵守第二个惯例用法。

    8. 函数调用举例

    ​ 作为一个例子,我们来观察下面 C 程序 exch.c 中函数调用的处理过程。

    [root@rockman 0710]# cat exch.c
    #include <stdio.h>
    void swap(int* a, int* b)
    {
            int t = 0;
            t = *a;
            *a = *b;
            *b= t;
    }
    
    int main()
    {
            int a = 16, b = 32;
            printf("a=%d,b=%d
    ", a, b);
            swap(&a, &b);
            printf("a=%d,b=%d
    ", a, b);
            return 0;
    }
    

    其中函数 swap() 用于交换两个变量的值。C 程序中的主程序 main() 也是一个函数,它在调用了 swap() 之后返回交换后的结果。这两个函数的栈帧结构如下图所示。

    可以看出,函数 swap() 从调用者(mian())的栈帧中获取其参数。图中的位置信息相对于寄存器 ebp 中的帧指针。栈帧左边的数字指出了相对于帧指针的地址偏移值。在像 gdb 这样的调试器中,这些数值都用 2 的补码表示。例如 ‘-4’ 被表示成 ‘0xFFFFFFFC’,‘-12’ 会被表示成 ‘0xFFFFFFF4’。

    ​ 调用者 main() 的栈帧结构中包括局部变量 a 和 b 的存储空间,相对于帧指针位于 -4 和 -8 偏移处。由于我们需要为这两个局部变量生成地址。因此他们必须保存在栈中而非常简单地存放在寄存器中。

    道虽迩,不行不至;事虽小,不为不成。
  • 相关阅读:
    根据不同的窗口尺寸来选择不同的样式
    用JavaScript检测视频格式支持
    用JavaScript检测音频格式支持
    C#取整函数Math.Round、Math.Ceiling和Math.Floor
    asp.net在同一页面跳转到指定位置
    对存储过程进行加密和解密
    各种SQL语句
    centos7.2安装nginx
    springboot利用mock进行junit单元测试,测试controller
    centos7环境搭建一台mysql服务器启动多个端口
  • 原文地址:https://www.cnblogs.com/rock-cc/p/9287744.html
Copyright © 2020-2023  润新知