编译原理学习笔记——CH7-Runtime Environments运行时环境

本章重点:

  1. 为什么函数调用可以采用栈式存储?
  2. 函数调用和返回过程中需要记录哪些信息?如何记录?

主要知识点:

 环境、状态、activation (激活) of procedures 、elaboration (确立) of declarations , evaluation (求值) of expressions
 函数的activation tree 和函数的生命期之间的关系
 活动记录
 子程序非嵌套情形下的活动记录布局(以C 语言为例)。
 嵌套声明下如何查找外层的作用域中的变量的值? (忽略 )

一.预备知识

执行中的程序叫做进程,进程包括多个procedures(函数调用),执行中的程序会激活相应的procedures

1.1环境和状态

环境 :maps a name to a storage location

状态 : maps a storage location to the value held there

总结:

  • 环境主要描述程序符号(如变量和函数)与它们的值、类型、作用域等的映射关系。
  • 状态反映了程序在某一时刻的实际执行情况,包括所有内存值、控制流状态等。
  • 环境通常影响状态的变化,而状态的变化则反映了程序的执行过程。

二.CH7

2.1Storage Organization

2.2Stack Allocation of Space

主要讲:

  1. 函数的activation tree和函数的生命期之间的关系
  2. 活动记录

2.2.1Activation Trees(活动树)

只要有一个孩子存在,父亲就存在。当孩子都消失了,父亲也就消失了。可用来估计procedure的生命周期。

2.2.2 Activation records活动记录

注意龙书的图栈底在上,

2.2.3 c语言活动记录

另一个例子:

cpp 复制代码
#include <stdio.h>
int x, y;

int main()
{
  x=5;
  y=f(x);
}

int f(int n)
{
  if (n<=1)
      return 1;
  else 
    if ( n==2)
        return 2;
      else
      {
           int t1, t2, t3, t4, t;
           t1=f(n-1);
           t2=f(n-2);
           t3=f(n-3);
           t4=t1+t2
           t=t3+t4;
           return t
       }
}
相关推荐
梁辰兴1 小时前
数据结构:排序
数据结构·算法·排序算法·c·插入排序·排序·交换排序
野犬寒鸦2 小时前
力扣hot100:搜索二维矩阵 II(常见误区与高效解法详解)(240)
java·数据结构·算法·leetcode·面试
菜鸟得菜2 小时前
leecode kadane算法 解决数组中子数组的最大和,以及环形数组连续子数组的最大和问题
数据结构·算法·leetcode
楼田莉子2 小时前
C++算法专题学习——分治
数据结构·c++·学习·算法·leetcode·排序算法
一支鱼3 小时前
leetcode常用解题方案总结
前端·算法·leetcode
ulias2123 小时前
各种背包问题简述
数据结构·c++·算法·动态规划
m0_570466413 小时前
代码随想录算法训练营第二十八天 | 买卖股票的最佳实际、跳跃游戏、K次取反后最大化的数组和
java·开发语言·算法
吃着火锅x唱着歌3 小时前
LeetCode 1537.最大得分
算法·leetcode·职场和发展
数模加油站3 小时前
25高教社杯数模国赛【C题超高质量思路+可运行代码】第十弹
算法·数学建模·数模国赛·高教社杯全国大学生数学建模竞赛
ulias2124 小时前
动态规划入门:从记忆化搜索到动态规划
算法·动态规划