Rust能力养成系列之（30）： 内存使用与管理

前言:程序进程使用内存的方式

紧接上篇，我们知道一个进程有一块专门用于执行的内存块（memory chunk）。那么，进程是如何访问内存来执行其任务的呢?出于安全目的和故障隔离的考虑，不允许进程直接访问物理内存。相应的，会使用虚拟内存，操作系统利用一种称为pages的内存数据结构(在页表（page tables）中维护)，并将其映射到实际的物理内存。进程必须向操作系统请求内存才能使用pages，其所到的是一个在内部映射到RAM中的物理地址的虚拟地址。出于性能方面的原因，该内存是按块（chunk）请求和处理的。当进程访问虚拟内存时，内存管理单元执行从虚拟内存到物理内存的实际转换。

进程从操作系统中获取内存的整个步骤被称为内存分配（memory allocation）。一个进程通过系统调用（system call）向操作系统请求一块内存，操作系统于是标记该进程正在使用的这块内存。当进程使用完内存后，必须将内存标记为空闲（free）的，以便其他进程可以使用，这被称为内存回收（memory deallocation）。主流的操作系统实现通过系统调用(如Linux中的brk和sbrk)提供抽象，这些函数直接与操作系统内核进行通信，可以分配进程请求的内存。但是这些内核级函数是非常底层（low-level）的，因此被诸如glibc库等系统库进一步抽象，而glibc库是C在Linux中的标准库，包括POSIX APIs的实现，用于促进C语言与操作系统的底层交互。

Glibc还提供了一个内存分配器API，放出用于分配内存的malloc、calloc和realloc等函数，以及用于取消分配内存的free函数。即使我们有一个相当高级的API来分配/取消分配内存，我们仍然需要在使用低级编程语言时自己管理内存。

 

内存管理及其种类

显然，计算机中的RAM是一种有限的资源，由所有正在运行的程序共享。当一个程序执行完它的指令后，需要释放所使用的内存，这样操作系统就可以回收并将它交给其他进程。当谈论内存管理时，我们关心的一个突出方面是回收使用过的内存以及如何回收。在不同的语言中，释放已使用内存所需的管理级别是不同的。直到20世纪90年代中期，大多数编程语言都依赖于手动内存管理，这要求程序员分别调用内存分配器APIs(如malloc和free in code)来分配和释放内存。大约在1959年，Lisp的创始人John McCarthy发明了垃圾收集器(Garbage Collectors ，GC)，这是一种自动管理内存的方式，Lisp是第一个使用垃圾收集器的语言。GC作为一个守护进程线程，同时作为正在运行的程序的一部分，分析程序中不再被任何变量引用的内存，并在程序执行时的特定时间点自动释放它。

但是，低级语言没有引入GC，因为GC引入了不确定性和运行时开销，这是由于GC线程在后台运行，在某些情况下会暂停程序的执行。这种暂停有时会达到一毫秒的延迟。这可能会破坏系统软件的时间和空间效率。如之前所说的，低级语言由程序员手动控制管理内存，手动显然不那么轻松。幸运的是，像C++和Rust这样的语言，会通过像智能指针（smart pointer）这样的类型系统抽象(我们将在本章后面介绍)，来减轻程序员的些许负担。

考虑到不同语言之间的差异，可以将其所使用的内存管理策略分为三个部分:

• 手动（Manual）：C语言就是这种形式的内存管理，程序员以完全责任在代码使用内存后，手动进行free函数调用。C++在一定程度上自动化了这一点，使用智能指针，将自由调用放在类的解构器方法定义中。Rust也有智能指针，我们将在本章后面介绍

• 自动（Automatic）：具有这种内存管理形式的语言包括一个额外的运行时线程，即垃圾收集器，它作为守护线程与程序一起运行。大多数基于虚拟机的动态语言，如Python、Java、c#和Ruby，都依赖于自动内存管理。自动内存管理是这些语言编写代码容易的原因之一。

• 半自动（Semi-automatic）：像Swift这样的语言就属于这一类，这种语言没有内置一个专用的GC作为运行时的一部分，但是提供了一个引用计数类型，它在粒度级别（ granular level）上自动管理内存。Rust还提供了引用计数类型Rc<T>和Arc<T>。在本章后面介绍智能指针时，我们会讲到。

 

结语

有关内存的使用和管理，就讲到这里，下一篇，开始讲内存分配的内容。

 

主要参考和建议读者进一步阅读的文献

https://doc.rust-lang.org/book

Rust编程之道，2019， 张汉东

The Complete Rust Programming Reference Guide，2019， Rahul Sharma,Vesa Kaihlavirta,Claus Matzinger

Hands-On Data Structures and Algorithms with Rust，2018，Claus Matzinger

Beginning Rust ，2018，Carlo Milanesi

Rust Cookbook，2017，Vigneshwer Dhinakaran