13.3 抽象机的体系结构

抽象机的体系结构：理解FAM

在函数式编程的世界里，理解程序是如何被编译和执行的至关重要。这里，我们将介绍一个核心组件——FAM（函数式抽象机），它是设计来执行函数式编程语言编译后代码的虚拟机器。

FAM的基本结构

FAM的设计反映了函数式编程的核心特性，如高阶函数、闭包和延迟计算。它的体系结构主要包括三个部分：程序存储区、栈（ST）和堆（HP）。

• 程序存储区（PS）：存放编译后的FAM指令，每个单元含一条指令。程序计数器（PC）用于追踪当前执行的指令。
• 栈（ST）：用于存储基本数据类型值、地址以及中间计算结果。栈的设计使得函数应用和闭包计算的上下文可以被有效管理。
• 堆（HP）：存储长期存在的数据，如闭包和复杂数据结构。FAM假定有一个堆管理器负责空间的分配和回收。

指令执行流程

FAM执行指令的流程包括取指、递增PC和指令解释三个步骤。这个循环持续进行，直到遇到stop指令或发生错误，此时FAM停止执行。

栈的管理

FAM的栈管理是它体系结构中的一个独特之处。它借助栈帧来处理函数调用和闭包计算，每次函数应用或闭包计算时，都会在栈上创建一个新的栈帧。栈帧中包含了函数的继续地址、老的FP（栈帧指针）和全局变量向量的指针（GP）。这种设计支持了函数式编程中的按需调用语义和高阶函数特性。

栈帧的建立与释放

FAM提供了一组固定的指令用于建立和释放栈帧，这些指令包括mark和eval或return。这些操作保证了函数调用和闭包计算的上下文可以被正确管理，同时也支持了高效的内存使用。

结论

FAM的设计精妙地反映了函数式编程的特性，它的体系结构和指令集合为理解函数式语言的编译和执行提供了框架。通过学习FAM，开发者可以更深入地理解函数式编程语言背后的原理和执行机制。

探索FAM：抽象机的堆管理

在函数式编程中，理解抽象机如何管理内存是理解语言执行的关键之一。FAM（函数式抽象机）通过其堆（HP）来存储生命周期和作用域管理与栈不相容的对象。本文将介绍FAM的堆管理机制，以及如何通过堆来处理不同类型的对象。

堆上的对象类型

FAM堆中可以存储多种类型的对象，每种对象都有一个标记来指示其性质。以下是主要的对象类型及其标记：

1. BASIC：存放基本数据类型值的对象。
2. FUNVAL：表示函数值的对象。它包含两个指针：一个指向程序存储区中函数体的开始处，另一个指向函数变元向量。
3. CLOSURE：表示闭包的对象。闭包是FAM中一个重要的概念，用于实现函数式编程中的高阶函数和延迟计算。
4. VECTOR：表示一组值的向量，这可以是基本数据类型的值，或者是指向其他对象的指针。

堆对象的创建与管理

FAM通过一系列指令来创建和管理堆上的对象。这些指令允许FAM在执行函数调用、处理闭包和构建复杂数据结构时，动态地分配和管理内存。主要的堆管理指令包括：

• mkbasic：创建一个包含基本数据类型值的堆对象。
• mkfunval：创建一个表示函数值的堆对象，用于存储函数体的地址和相关的环境信息。
• mkclos：创建一个闭包对象，将函数与其环境绑定，以便后续可以执行。
• mkvec：创建一个向量对象，可以包含多个不同的值或指针。

内存管理

FAM的堆管理不仅包括对象的创建，还涉及到内存的回收。虽然本节没有详细介绍自动内存回收机制，但是在现代函数式编程语言实现中，垃圾收集（GC）是常用的技术来自动清理不再使用的堆对象，从而避免内存泄漏。

结论

通过深入了解FAM的堆管理，我们可以更好地理解函数式编程语言在运行时如何处理各种对象。堆上的对象管理是理解函数式语言内存管理和数据表示的关键。它不仅支持了语言的核心特性，如闭包和高阶函数，还为复杂的数据结构提供了灵活的表示方式。

 

名字的寻址：探索函数式编程中的核心机制

在函数式编程中，函数的灵活应用—包括变元的不足或过剩—要求编译器和运行时系统能够高效地寻址名字。这意味着，不同于Pascal等语言，SFP（简单函数式编程语言）及其执行环境FAM（函数式抽象机）采用了独特的栈管理和名字寻址策略。

函数应用与名字寻址

在SFP中，当编译函数应用（如ee1...en）时，编译器面临的挑战是它可能不知道被应用函数的确切变元个数。这种情况下，编译生成的指令序列必须能够适应变元个数的不确定性，这通过在栈帧中合理安排变元和函数值的指针来实现。

栈帧中变元的安排

如图13.4所示，栈帧中变元和函数值（FUNVAL对象）的指针有两种可能的安排方式：

• 方式一（图13.4(a)）允许相对于FP（栈帧指针）的内容寻址变元和形式参数，但这会在函数应用提供过多变元时造成寻址困难。
• 方式二（图13.4(b)）采用相对于SP（栈顶指针）的内容寻址形式参数和局部变量，这种方式提供了对动态地址的寻址能力，适应了变元不足或过剩的情况。

动态地址寻址

选择动态地址作为形式参数和局部变量相对寻址的基地址，称为sp0，允许形式参数以负的相对地址寻址，而局部变量以非负的相对地址寻址。这种方法解决了在函数定义时不知道变元个数m的问题，并允许灵活地处理函数体内部的局部变量。

函数体的处理

当处理函数体开始时，PC（程序计数器）被置于函数体指令区的开始位置，而SP指向最后一个变元的闭包的指针单元。如果有由letrec表达式引入的局部变量，它们必须在栈上分配空间，SP相应地增加。

编译时静态确定的差值sl和运行时的SP值结合使用，可以计算出运行时的sp0值。这使得形式参数和局部变量的运行时寻址变得可能，确保了编译产生的指令能够适应函数调用时的动态情况。

结论

通过理解SFP和FAM中的名字寻址机制，我们可以更深入地理解函数式编程中函数调用的灵活性和高阶函数的强大功能。这种独特的寻址策略为函数式编程语言的设计和实现提供了重要的支持，确保了其高效和灵活的特性。

 

 

约束的建立：深入探索函数式编程的作用域与闭包

在函数式编程中，函数的定义和表达式中的自由变量（即全局变量）的管理是核心概念之一。这些自由变量的约束建立对于保持程序的正确性和实现高阶函数特性至关重要。本文将介绍如何在SFP语言和其执行环境FAM中构建这些全局变量的约束。

自由变量的静态知识

在编译阶段，每个函数定义和表达式中的自由变量集合都是静态可知的。这意味着编译器可以预先知道哪些变量是函数或表达式外部定义的。这些自由变量的位置信息，即它们在全局环境中的相对地址，是在运行时用来访问变量值的关键。

全局变量值的向量

这些全局变量的值存放在一个向量中，该向量的指针作为函数值（FUNVAL）或闭包（CLOSURE）对象的一部分存放在堆上。在函数调用或闭包计算过程中，通过将该向量的指针复制到全局指针（GP）中，运行时系统便可以通过GP访问向量中的元素，即全局变量的值。

构造全局变量的值向量

当构造函数对象或闭包时，伴随着它们的全局变量的值的指针向量必须一并被组装。由于SFP采用静态约束，即编译时确定的约束，外围函数的形式参数、局部变量和已知的全局变量都被视为该函数或表达式的全局变量。

全局变量的值指针的组装

在运行时，当需要创建一个新的函数对象或闭包时，所有新的全局变量的值的指针被复制到栈上，形成一个新的向量。这个向量随后被作为一个堆对象的一部分存储。这样，无论是在函数定义还是在闭包的上下文中，全局变量的值都可以通过GP进行正确的寻址和访问。

结论

通过在编译阶段静态地确定自由变量集合，以及在运行时动态地构造全局变量的值向量，SFP语言及其抽象机FAM有效地管理了函数作用域和闭包中的变量约束。这种机制不仅保证了程序的正确性和封装性，也为实现高阶函数和复杂的函数式编程特性提供了基础。