主頁 > 軟體設計 > 函式私底下都在干什么?圖解函式堆疊幀的創建與銷毀

函式私底下都在干什么?圖解函式堆疊幀的創建與銷毀

2021-08-10 08:14:23 軟體設計

函式私底下都在干什么?圖解函式堆疊幀的創建與銷毀

  • 前言(什么是函式堆疊幀?)
  • 暫存器的介紹
    • 資料暫存器(EAX EBX ECX EDX)
    • 指標暫存器(ESP EBP)
    • 變址暫存器(ESI EDI)
  • 函式堆疊幀的創建與銷毀程序詳解
    • 1.push指令
      • esp和ebp
    • 2.mov指令
    • 3.sub指令和add指令
    • 3.lea指令
    • 4.rep stos指令
    • 4.call指令
      • 傳參
      • 呼叫Add函式并記錄下一行代碼地址
    • 5.pop指令
    • 6.ret指令
  • 總結


前言(什么是函式堆疊幀?)

函式堆疊幀是什么?相信很多人第一次聽到時都一臉懵逼,我們不妨百度一下,

C語言中,每個堆疊幀對應著一個未運行完的函式,堆疊幀中保存了該函式的回傳地址和區域變數,
堆疊幀也叫程序活動記錄,也就是函式的活動記錄,函式執行的環境,函式引數、函式的區域變數、函式執行完后回傳到哪里等等,
首先應該明白,堆疊是從高地址向低地址延伸的,每個函式的每次呼叫,都有它自己獨立的一個堆疊幀,這個堆疊幀中維持著所需要的各種資訊,暫存器ebp指向當前的堆疊幀的底部(高地址),暫存器esp指向當前的堆疊幀的頂部(低地址),


想要了解函式堆疊幀到底是什么一個東西,那么就必須要進入反匯編來觀察,我們會發現反匯編界面有著很多CPU指令,想要弄清楚函式堆疊幀那么就必須搞懂這些指令,這對我們理解函式堆疊幀有著很大的幫助,本文按照順序來介紹這些指令并梳理創建與銷毀函式堆疊幀的程序,
首先我們寫好一段代碼:

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int Add(int x, int y)
{
	int z = 0;
	z = x + y;
	return z;
}
int main()
{
	int a = 10;
	int b = 20;
	int c = 0;
	c = Add(a, b);
	printf("%d\n", c);
	return 0;
}

在編譯器下按F10進入除錯界面,然后滑鼠右擊進入反匯編界面:
在這里插入圖片描述

我們會發現在反匯編界面有著許多的cpu指令,那么下面就簡單介紹一下cpu指令和暫存器,

暫存器的介紹

資料暫存器(EAX EBX ECX EDX)

  • 暫存器EAX通常稱為累加器(Accumulator),用累加器進行的操作可能需要更少時間,累加器可用于乘、除、輸入/輸出等操作,它們的使用頻率很高;
  • 暫存器EBX稱為基地址暫存器(Base Register),它可作為存盤器指標來使用;
  • 暫存器ECX稱為計數暫存器(Count Register),在回圈和字串操作時,要用它來控制回圈次數;在位操作中,當移多位時,要用CL來指明移位的位數;
  • 暫存器EDX稱為資料暫存器(Data Register),在進行乘、除運算時,它可作為默認的運算元參與運算,也可用于存放I/O的埠地址,

指標暫存器(ESP EBP)

  • 暫存器EBP稱為基址指標暫存器(堆疊底指標),
  • 暫存器ESP稱為堆疊指標暫存器(堆疊頂指標),

變址暫存器(ESI EDI)

  • 暫存器ESI稱為源變址暫存器 (Source Index);
  • 暫存器EDI稱為目的變址暫存器(Destination Index),

函式堆疊幀的創建與銷毀程序詳解

1.push指令

push指令是壓堆疊的操作,就是將一塊記憶體地址壓入堆疊中(從高地址開始壓入):
在這里插入圖片描述

在呼叫main函式之前,main函式還被其他函式所呼叫,這里不做贅述,很明顯我們看到,ebp被壓入堆疊中,push指令就是這么簡單,

esp和ebp

這里的esp和ebp分別是兩個暫存器,里面存放的是地址,這兩個地址用用來維護函式堆疊幀的,esp維護堆疊頂,ebp維護堆疊底,當每次開辟新的記憶體空間時,esp會自動跳到堆疊頂,所以esp為堆疊頂指標而ebp是堆疊底指標

2.mov指令

move指令是將地址中的資料賦給其他的地址例如:

009818B1  mov         ebp,esp  

就是將esp所存盤的值也就是esp的地址賦給ebp,那么此時ebp的位置如下
在這里插入圖片描述

3.sub指令和add指令

sub指令是減值操作,例如:

009818B3  sub         esp,0E4h

這里就是esp的地址減去0E4h這么多的地址,那么此時esp指標應該上移:
相反add是加的指令
在這里插入圖片描述
那么此時esp堆疊頂指標和ebp堆疊底指標之間所維護的空間就是main函式的堆疊幀,至于地址空間大小,一定是符合要求的,編譯器是為我們考慮好的,所以我們不必擔心開辟出來的空間不夠啊之類的問題,
在這里插入圖片描述

再次壓入三個地址(暫存器地址),

3.lea指令

lea指令和mov有著些許相似的地方,mov是賦記憶體中的值,而lea是賦地址,
例如:
lea edi,[ebp-24h]
就是將[ebp-24h]這個地址值直接賦給edi,而不是把[ebp-24h]處的記憶體地址里的資料賦給eax,

mov指令則恰恰相反
例如:
mov ebp,esp
則是把記憶體地址為esp處的資料賦給eax,
在這里插入圖片描述

4.rep stos指令

009818BC  lea         edi,[ebp-24h]  
009818BF  mov         ecx,9  
009818C4  mov         eax,0CCCCCCCCh 
009818C9  rep stos    dword ptr es:[edi] 

rep指令的目的是重復其上面的指令.ECX的值是重復的次數.
STOS指令的作用是將eax中的值拷貝到ES:EDI指向的地址.
這段代碼的意思也就是將ebp-24h向上的地址,執行回圈9次,雙字(一個字等于兩個位元組)也就是四個位元組的內容全部初始化為0CCCCCCCCh ,
在這里插入圖片描述
edi的地址
這里也就是將main函式的堆疊幀初始化為cccccccc

4.call指令

call指令用來呼叫函式,并且記錄下行代碼地址,這里開始進入main函式
開始執行有效代碼:

  1. 將a初始化為10:十六進制0a就是10
  2. 將b初始化為20:
  3. 將c初始化為0:

在這里插入圖片描述
b和c的位置都間隔2個地址空間(8位元組),這是編譯器所決定的

在這里插入圖片描述

傳參

下面執行c=Add(a,b),傳參
在這里插入圖片描述
ebp-14h也就是b的位置,也就代表編譯器是從右往左邊傳參

在這里插入圖片描述

呼叫Add函式并記錄下一行代碼地址

在這里插入圖片描述

那么指令執行!
在這里插入圖片描述

進行運算,我們可以看出其實引數加減是在暫存器中運行的,最后eax暫存器的值就是30,是把值都放在eax累加器的,那么為什么形參是實參的臨時拷貝也就解釋的通了,改變形參不會改變實參,

在這里插入圖片描述

5.pop指令

pop指令就是出堆疊,銷毀函式堆疊幀
此時esp和ebp指向同一位置,Add函式堆疊幀被銷毀
ebp記憶體地址彈出,那么此時ebp堆疊底指標也就要回傳,指向在main函式中的ebp
在這里插入圖片描述

此時,esp和ebp回傳到main函式里面!

6.ret指令

回傳到記錄的call指令記錄的下一條代碼的位置
在這里插入圖片描述
回傳,那么就會彈出call指令記錄的位置執行esp+8,那esp的位置就是:
在這里插入圖片描述

ebp-20h就是c的位置,eax的值就是30,將30賦值給c,那么c的值就是30了
至此,函式堆疊幀的創建與銷毀邏輯大概就介紹完畢,

總結

想要解釋好函式堆疊幀畫圖是必不可少的環節,圖文相結合才能更好地理解函式堆疊幀,還要對于cpu的指令進行一定了解,
函式堆疊幀算是比較底層的東西,希望本文對你以后的學習能有所幫助!

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/292775.html

標籤:其他

上一篇:C語言中static的用法(修飾區域變數,修飾全域變數,修飾函式)

下一篇:函式堆疊幀詳解

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more