Erlang中的垃圾收集和内存管理
use*_*288 22 erlang garbage-collection memory-management
我想知道Erlang中垃圾收集和内存管理的技术细节.
但是,我在Erlang.org及其文档中找不到它.
网上的一些文章只是一般性的谈话而没有触及细节,例如使用什么垃圾收集算法,什么是性能开销,内存分配也像C中的堆？
谁能推荐更好的文档来学习？
谢谢
Ham*_*ani 16
要对事物进行分类,请定义内存布局,然后讨论GC的工作原理.
内存布局
在Erlang中,每个执行线程称为一个进程.每个进程都有自己的内存,内存布局由三部分组成:进程控制块,堆栈和堆.
PCB:过程控制块保存有关过程标识符(PID),当前状态(运行,等待),其注册名称和其他此类信息的信息.
堆栈:它是一个向下增长的内存区域,它保存传入和传出参数,返回地址,局部变量和用于计算表达式的临时空间.
堆:这是一个向上增长的内存区域,它保存进程邮箱消息和复合术语.大于64字节的二进制项不存储在进程专用堆中.它们存储在大型共享堆中,可供所有进程访问.
垃圾收集
目前,Erlang使用Generational垃圾收集,它独立地在每个Erlang进程私有堆内运行,并且还为全局共享堆发生引用计数垃圾收集.
私有堆GC:它是分代的,因此将堆分为两个部分:年轻代和旧代.还有两种收集策略; 分代(轻微)和全程(重大).世代GC只收集年轻堆,但是fullsweep收集年轻和旧堆.
共享堆GC:它是引用计数.共享堆中的每个对象(Refc)都有一个对其持有的引用计数器,其他对象(ProcBin)存储在Erlang进程的私有堆中.如果对象的引用计数器达到零,则该对象变得不可访问并将被销毁.
要获得更多详细信息和性能提示,请查看我的文章,这是答案的来源:Erlang垃圾收集详细信息及其重要性
orb*_*itz 13
Erlang有一些属性使GC实际上非常简单.
1 - 每个变量都是不可变的,因此变量永远不会指向在它之后创建的值.
2 - 在Erlang进程之间复制值,因此进程中引用的内存几乎总是完全隔离.
这两者(尤其是后者)都显着限制了GC在收集过程中必须扫描的堆量.
Erlang使用复制GC.在GC期间,该过程停止,然后将实时指针从空间复制到空间.我忘记了确切的百分比,但是如果在集合期间只能收集25%的堆,那么堆将会增加,如果可以收集75%的进程堆,它将会减少.当进程堆已满时触发集合.
唯一的例外是当发送到另一个进程的大值时.这些将被复制到共享空间并被引用计数.当收集对共享对象的引用时,计数减少,当该计数为0时,对象被释放.没有尝试处理共享堆中的碎片.
这样做的一个有趣结果是,对于共享对象,共享对象的大小不会影响进程堆的计算大小,只会影响引用的大小.这意味着,如果您有大量大型共享对象,则在触发GC之前,您的VM可能会耗尽内存.
大多数情况下,这是从Jesper Wilhelmsson在EUC2012上发表的演讲中获得的.
我不知道您的背景，但是除了 jj1bdx 已经指出的论文之外，您还可以给Jesper Wilhelmsson 论文一个机会。
顺便说一句，如果您想监视 Erlang 中的内存使用情况以将其与例如 C++ 进行比较，您可以查看：
希望这可以帮助！