假设一个程序生成了6个过程，树表示过程间的调用关系：

/ \

2/15 3/18

/ \ / \

4/17 6/10 5/23

过程 存储区域

1 0~21

2 22~36

3 37~54

4 55~71

5 72~94

6 95~104

特点：按照过程出现的先后顺序逐段分配存储空间；各过程的活动记录占用互不相交的存储空间

优点：处理上简单

缺点：对内存空间的使用不够经济合理

-- 层次分配法：https://www.pianshen.com/article/13011737518/

-- 栈帧：函数调用经常是嵌套的，在同一时刻，堆栈中会有多个函数的信息。每个未完成运行的函数占用一个独立的连续区域，称作栈帧(Stack Frame)

栈空间（通过指针偏移拿到数据） 代码段（通过行号值拿到数据）

| link7 |

//link7会指向数字2 | f |

| 2 | | t1=n==1 |

| link6 | | t2=n==2 |

| link5 | |t3=t1 or t2|

|其他临时变量| | |

| 返回值3 | |branch goto|

| 3 | | ... |

| link4 | | |

| link3 | | |

|其他临时变量| | |

| 返回值2 | | |

| 4 | | |

| link2 | | |

//link2会指向数字5（即上一个栈帧 ） | |

| link1 | | |

//link1会指向代码call f | |

|其他临时变量| | |

| 返回值1 | | |

//返回值可根据5的偏移量计算拿到 | |

//通过push空为返回值1占位 | call f |

| 5 | //call f将指向f函数体的第一行

------------ --------------

运行时分析：

程序执行时，操作系统首先会开辟一个内存空间（具体参考《递归语言的运行时内存划分.jpg》），并将二进制机器码（为了易于理解，我们这里讨论的机器码用三地址码表示）载入存到开辟的内存的代码段，此时CS（Code Segment，代码段寄存器）指向该代码段的基址。

通过CS:IP（即Instruction Pointer，指令指针寄存器，即代码段CS对应的偏移指针）的指向从内存中取出下一条执行的指令，产生如下流程：取出的指令装入CPU的指令寄存器 → 执行指令 → IP++（即指向下一条指令了）或 通过JMP等跳转指令重新修改CS:IP而该表下一条指令的位置 → 重复第一步（循环）。

当然，在前面运行存储分配讲到，对于JS这种复杂的语言不会这么简单执行，而是要依赖栈进行临时数据和执行流程进行管理。根据ecma-262标准，JS引擎会先创建一个全局环境，并将全局上下文压入栈底。当遇到函数执行时，会创建函数执行上下文，并将该上下文压入栈顶。而栈中的指令可以根据EBP:ESP（ESP是堆栈指针寄存器，存放执行函数对应栈帧的栈顶地址(也是系统栈的顶部)，且始终指向栈顶；EBP是栈帧基址指针寄存器，存放执行函数对应栈帧的栈底地址）获取当前的内存地址空间，以指导生成准确操作数的机器码。

通过栈的指针偏移和代码段的指针偏移，两者配合就可以完成运行时的内存分配，并记录下各个数据的地址。

function fibonacci(n){

if(n==1 || n==2){

return n

}

return fibonacci(n-1)+fibonacci(n-2)

print(fibonacci(5))

*代码生成基本概念：

·代码生成器：将优化后的三地址码转化为目标码的翻译程序

·目标码的三种形式：

-- 绝对指令代码：能够立即执行的二进制代码，所有地址已经定位

-- 可重新定位指令代码：待装配的机器语言模块，执行时由链接器把他们和某些程序连接起来，转换为可执行的二进制机器语言代码

-- 汇编指令代码：尚未经过汇编器汇编成二进制的汇编代码

·代码生成主要考虑的问题：

-- 如何使生成目标代码较短

-- 如何充分利用寄存器，减少目标代码中访问存储单元次数

-- 如何充分利用不同cpu指令系统的特点

·代码生成器的主要任务：

-- 指令选择：代码生成器将中间码转换成目标机器码。一个中间码可以有多种机器码转换，所以代码生成器负责选择指令。

-- 寄存器申请：程序执行过程中可能需要保存一系列值。目标机器架构可能不允许所有的值都保存在CPU内存或寄存器。代码生成器决定寄存器保存哪些值。同样，也决定寄存器保存哪些值。

-- 指令顺序：一个代码生成器决定指令执行的顺序，它创建指令调度来执行它。

·一个目标原型非常复杂，我们不可能描述出全部细节，所以我们通常会将其简化为一个简单目标机原型。

·一个简单目标机原型：

-- 加载、保存、运算、跳转等操作

-- 内存按字节、寄存器、指针指向寻址或其他间接寻址

-- n个通用寄存器R0,R1,....,Rn-1

-- 所以运算分量都是整数

-- 指令之间可能有一个标号

·寄存器：

-- TOP：存放作用域的基址

-- ZF：零标志ZF(Zero Flag)用来反映运算结果是否为0。如果运算结果为0，则其值为1，否则其值为0。在判断运算结果是否为0时，可使用此标志位。

·目标通常一个机器指令有几十上百个指令，为了简化通常只选取一些典型指令：

-- 加载指令：LD r, x

-- 保存指令：ST x,r

-- 运算指令：OP dst,src1,src2

SUB R1,R1,R2 // R1=R1-R2

-- 无条件跳转指令：BR L

-- 条件跳转指令：Bcond r,L

-- 压栈操作指令：

push #1 将数字1压栈

push TOP 将寄存器TOP压栈

push @sp 将指针sp指向的值压栈

-- 移动指令：

MOVE R0,R1 将寄存器R0的值移入到R1中

MOVE #1 R0 将数字1移入寄存器R0中

MOVE #1 @TOP 将数字1移到寄存器指向的位置

MOVE #1 @(TOP+4) 将数字1移到寄存器指向的位置基础上再加4位的位置

-- 比较指令：CMP R0,R1 比较两个寄存器中值的大小

-- 代码段行号跳转：JMP @(TOP-8)

·运算语句的三地址转目标代码：

x=y-z

LD R1,y //R1=Y

LD R2,z //R2=Z

SUB R1,R1,R2 //R1=R1-R2

ST X,R1 //X=R1

①所需的分量已经在寄存器中了

②运算结果不需要存放内存