【正文】 decl %edx i – 1 } movl %edx,4(%ebp) i – 1 ? j movl 4(%ebp),%eax pushl %eax 把實(shí)參 j的值壓棧 call func 函數(shù)調(diào)用 addl $4,%esp 恢復(fù)棧頂指針 L1: leave 即 mov ebp, esp。 pushl %ebp 老的基地址指針壓棧 { movl %esp,%ebp修改 基地址指針 long j。 movl 8(%ebp),%edx 取 i到 寄存器 func(j)。 pop ebp ret 即 pop eip(下條指令地址 ） . . . 參數(shù) i 返址 控制鏈 變量 j . . . ebp esp 棧 低 高 例 題 2 func(i) func: long i。 { long j。 short bb = 20。 short bb = 20。 short bb = 20。 char name[20]。 例如： 調(diào)用 swap(i, a[i]) begin 替換結(jié)果： temp := i。 y := temp end 參 數(shù) 傳 遞 換名調(diào)用 從概念上說 ， 每次調(diào)用時(shí) ， 用實(shí)參表達(dá)式對(duì) 形參進(jìn)行正文替換 ， 然后再執(zhí)行 procedure swap(var x, y: integer)。 writeln end. dynamic show small small show show show r dynamic r ? 靜態(tài)區(qū) 使用值的地方 棧區(qū) 暫存值的地方 參 數(shù) 傳 遞 值調(diào)用 ? 實(shí)參的右值傳給被調(diào)用過程 ? 值調(diào)用可以如下實(shí)現(xiàn) – 把形參當(dāng)作所在過程的局部名看待 ， 形參的存儲(chǔ)單元在該過程的活動(dòng)記錄中 – 調(diào)用過程 計(jì)算實(shí)參 ， 并把其右值放入 被調(diào)用過程形參的存儲(chǔ)單元中 參 數(shù) 傳 遞 引用調(diào)用 ? 實(shí)參的左值傳給被調(diào)用過程 ? 引用調(diào)用可以如下實(shí)現(xiàn)： – 把形參當(dāng)作所在過程的局部名看待 ， 形參的存儲(chǔ)單元在該過程的活動(dòng)記錄中 – 調(diào)用過 程計(jì)算實(shí)參 ， 把實(shí)參的左值放入被調(diào)用過程形參的存儲(chǔ)單元 – 在被調(diào)用過程的目標(biāo)代碼中 ， 任何對(duì)形參的引用都是通過傳給該過程的指針來間接引用實(shí)參 參 數(shù) 傳 遞 換名調(diào)用 從概念上說 ， 每次調(diào)用時(shí) ， 用實(shí)參表達(dá)式對(duì) 形參進(jìn)行正文替換 ， 然后再執(zhí)行 procedure swap(var x, y: integer)。 begin r := 。 show。 procedure small。 small。 procedure show。 begin (綠色表示已執(zhí)行部分 ) r := 。 writeln end. dynamic show small small show show show r dynamic r ? 靜態(tài)區(qū) 使用值的地方 棧區(qū) 暫存值的地方 非局部名字的訪問 program dynamic(input, output)。 begin r := 。 show。 procedure small。 writeln。 begin write(r: 5: 3) end。 show。 var r: real。 show end。 begin f := a。 function a: function (integer): integer。 begin return m+n end。 function f(n: integer)… begin f := m+n end {f}。 var m: integer。 procedure c。 procedure c。 top_sp的值在此過程中被改變 返回值和參數(shù) top_sp base_sp 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? 返回值和參數(shù) top_sp 全局棧式存儲(chǔ)分配 過程 p調(diào)用過程 q的調(diào)用序列 (2) p把返回地址和當(dāng)前 base_sp的值存入 q的活動(dòng)記錄中，建立 q的訪問鏈，增加 base_sp的值 返回值和參數(shù) top_sp base_sp 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? 返回值和參數(shù) 控制鏈和返回地址 base_sp top_sp 全局棧式存儲(chǔ)分配 過程 p調(diào)用過程 q的調(diào)用序列 (3) q保存寄存器的值和其它機(jī)器狀態(tài)信息 返回值和參數(shù) top_sp base_sp 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? 返回值和參數(shù) 控制鏈 和保存的機(jī)器狀態(tài) 全局棧式存儲(chǔ)分配 過程 p調(diào)用過程 q的調(diào)用序列 (4) q根據(jù)局部數(shù)據(jù)域和臨時(shí)數(shù)據(jù)域的大小增加 top_sp的值，初始化它的局部數(shù)據(jù)，并開始執(zhí)行過程體 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 返回值和參數(shù) 返回值和參數(shù) ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? 全局棧式存儲(chǔ)分配 調(diào)用者 p和被調(diào)用者 q之間的任務(wù)劃分 被調(diào)用者 q的責(zé)任 調(diào)用者 p的責(zé)任 調(diào)用者 p的 活動(dòng)記錄 被調(diào)用者 q的活動(dòng)記錄 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 返回值和參數(shù) 返回值和參數(shù) ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 棧 增 長 方 向 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? 全局棧式存儲(chǔ)分配 過程 p調(diào)用過程 q的返回序列 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 返回值和參數(shù) 返回值和參數(shù) ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 棧 增 長 方 向 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? 全局棧式存儲(chǔ)分配 過程 p調(diào)用過程 q的返回序列 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 返回值 和參數(shù) 返回值和參數(shù) ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 棧 增 長 方 向 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? (1) q把返回值置入鄰近 p的活動(dòng)記錄的地方 參數(shù)個(gè)數(shù)可變場(chǎng)合難以確定存放返回值的位置，因此通常用寄存器傳遞返回值 全局棧式存儲(chǔ)分配 過程 p調(diào)用過程 q的返回序列 (2) q對(duì)應(yīng)調(diào)用序列的步驟 (4)，減小top_sp的值 返回值和參數(shù) top_sp base_sp 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? 返回值和參數(shù) 控制鏈 和保存的機(jī)器狀態(tài) 全局棧式存儲(chǔ)分配 過程 p調(diào)用過程 q的返回序列 (3) q恢復(fù)寄存器 (包括 base_sp)和機(jī)器狀態(tài)，返回 p 返回值和參數(shù) top_sp base_sp 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? 返回值和參數(shù) 全局棧式存儲(chǔ)分配 過程 p調(diào)用過程 q的返回序列 返回值和參數(shù) top_sp base_sp 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? (4) p根據(jù)參數(shù)個(gè)數(shù)與類型和返回值類型調(diào)整 top_sp， 然后取出返回值 全局棧式存儲(chǔ)分配 過程的參數(shù)個(gè)數(shù)可變的情況 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 參 數(shù) 參 數(shù) ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 棧 增 長 方 向 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? (1) 函數(shù)返回值改成用寄存器傳遞 全局棧式存儲(chǔ)分配 過程的參數(shù)個(gè)數(shù)可變的情況 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 參數(shù) 1, …, 參數(shù) n 參數(shù) 1, …, 參數(shù) m ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 棧 增 長 方 向 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? (2) 編譯器產(chǎn)生將實(shí)參表達(dá)式逆序計(jì)算并將結(jié)果進(jìn)棧的代碼 自上而下依次是參數(shù) 1, …, 參數(shù)n 全局棧式存儲(chǔ)分配 過程的參數(shù)個(gè)數(shù)可變的情況 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 參數(shù) 1, …, 參數(shù) n 參數(shù) 1, …, 參數(shù) m ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 棧 增 長 方 向 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? (3) 被調(diào)用函數(shù)能準(zhǔn)確地知道第一個(gè)參數(shù)的位置 全局棧式存儲(chǔ)分配 過程的參數(shù)個(gè)數(shù)可變的情況 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 參數(shù) 1, …, 參數(shù) n 參數(shù) 1, …, 參數(shù) m ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 棧 增 長 方 向 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? (4) 被調(diào)用函數(shù)根據(jù)第一個(gè)參數(shù)到棧中取第二、第三個(gè)參數(shù)等等 全局棧式存儲(chǔ)分配 過程的參數(shù)個(gè)數(shù)可變的情況 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 參數(shù) 1, …, 參數(shù) n 參數(shù) 1, …, 參數(shù) m ? ? ? 控制鏈 和保存的機(jī)器狀態(tài) top_sp base_sp 棧 增 長 方 向 臨時(shí)數(shù)據(jù)局部數(shù)據(jù) 控制鏈 和保存的機(jī)器狀態(tài) ? ? ? C語言的 printf函 數(shù)就是按此方式， 用 C語言編寫的 下面語句的輸出？ printf(“%d, %d, %d\n”)。 {/? begin of B2 ?/ int a = 2。 對(duì)齊： char : 1, long : 4, double : 4 局部存儲(chǔ)分配 程序塊 ? 本身含有局部變量聲明的語句 ? 可以嵌套 ? 最接近的嵌套 作用域規(guī)則 ? 并列程序塊不會(huì)同時(shí)活躍 ? 并列程序塊的變量可以重疊分配 局部存儲(chǔ)分配 main() / ? 例 ?/ { /? begin of B0 ?/ int a = 0。 0 long i。 8 long i。 double f。編譯原理和技術(shù) 中國科學(xué)技術(shù)大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院 陳意云 第六章 運(yùn)行時(shí)存儲(chǔ)空間的組織和管理 術(shù)語 – 過程的 活動(dòng) 過程的一次執(zhí)行稱為過程的一次活動(dòng) – 活動(dòng)記錄 過程的活動(dòng)需要可執(zhí)行代碼和存放所需信息的存儲(chǔ)空間 ,后者稱為活動(dòng)記錄 本章內(nèi)容 ? 討論一個(gè)活動(dòng)記錄中的數(shù)據(jù)布局 ? 程序執(zhí)行過程中，所有活動(dòng)記錄的組織方式 第六章 運(yùn)行時(shí)存儲(chǔ)空間的組織和管理 ? 影響存儲(chǔ)分配策略的語言特征 – 過程能否遞歸 – 當(dāng)控制從過程的活動(dòng)返回時(shí) ， 局部變量的值是否要保留 – 過程能否訪問非局部變量 – 過程調(diào)用的參數(shù)傳遞方式 – 過程能否作為參數(shù)被傳遞 – 過程能否作為結(jié)果值傳遞 – 存儲(chǔ)塊能否在程序控制下動(dòng)態(tài)地分配 – 存儲(chǔ)塊是否必須顯式地釋放 局部存儲(chǔ)分配 過程 語言概念： 過程定義、 過程 調(diào)用、形式參數(shù)、實(shí)在參數(shù)、 活動(dòng)的 生存期