erlang 是否以任何巧妙的方式实现记录复制和修改？

given:

-record(foo, {a, b, c}).

我做了这样的事情：

Thing = #foo{a={1,2}, b={3,4}, c={5,6}},
Thing1 = Thing#foo{a={7,8}}.

从语义角度来看，Thing 和 Thing1 是唯一的实体。然而，从语言实现的角度来看，制作 Thing 的完整副本来生成 Thing1 会非常浪费。例如，如果记录大小为一兆字节，并且我制作了一千个“副本”，每个副本修改了几个字节，那么我就烧毁了一个千兆字节。如果内部结构跟踪父结构的表示，并且每个派生结构以指示其自己的更改但保留其他人的版本的方式标记该父结构，则可以以最小的内存开销创建派生结构。

我的问题是这样的：erlang 是否在内部做了一些聪明的事情来保持通常的 erlang 乱写的开销？

Thing = #ridiculously_large_record,
Thing1 = make_modified_copy(Thing),
Thing2 = make_modified_copy(Thing1),
Thing3 = make_modified_copy(Thing2),
Thing4 = make_modified_copy(Thing3),
Thing5 = make_modified_copy(Thing4)

……最小化？

我之所以这么问，是因为如果是这种情况，我进行跨进程通信的方式将会发生很多变化。

垃圾收集和内存分配的确切工作原理只有少数人知道。值得庆幸的是，他们非常乐意分享他们的知识，以下内容基于我从 erlang-questions 邮件列表以及与 OTP 开发人员讨论中学到的知识。

当在进程之间发送消息时，内容总是被复制，因为进程之间没有共享堆。唯一的例外是大于 64 字节的二进制文件，其中仅复制引用。

在一个进程中执行代码时，仅更新部分内容。让我们分析元组，因为这是您提供的示例。

元组实际上是一种结构，它将对实际数据的引用保留在堆上的某个位置（小整数除外，也许还有一种我不记得的数据类型）。当您更新元组时，例如使用setelement/3，创建一个新元组并替换给定元素，但是对于所有其他元素，仅复制引用。有一个例外 http://www.erlang.org/doc/efficiency_guide/commoncaveats.html#id62422我一直无法利用这一点。

垃圾收集器跟踪每个元组并了解何时可以安全地回收不再使用的任何元组。元组引用的数据可能仍在使用中，在这种情况下，不会收集数据本身。

一如既往，Erlang 为您提供了一些工具来准确了解正在发生的事情。效率指南 http://www.erlang.org/doc/efficiency_guide/processes.html#id67714详细说明如何使用erts_debug:size/1 and erts_debug:flat_size/1了解在进程内部使用和复制时数据结构的大小。跟踪工具还可以让您了解垃圾收集的时间、内容和数量。