草庐IT

c++ - 在 C++0x 中压缩垃圾收集器的实现

coder 2023-05-03 原文

我正在 C++0x 中实现一个压缩垃圾收集器供我个人使用,我有一个问题。显然,收集器的机制取决于移动对象,我一直想知道如何根据指向它的智能指针类型来实现这一点。我一直在考虑指针类型本身中的指针指向指针,或者收集器维护一个指向每个对象的指针列表,以便可以修改它们,从而在访问时不需要双重取消引用指针,但在收集过程中增加了一些额外的开销和额外的内存开销。去这里的最佳方式是什么?

编辑:我主要关心的是快速分配和访问。我不关心特别有效的收集或其他维护,因为这并不是 GC 的真正用途。

最佳答案

将额外的 GC 移植到 C++ 并没有什么直接的方法,更不用说压缩算法了。目前尚不清楚您正在尝试做什么以及它将如何与其他 C++ 代码交互。

我实际上已经用 C++ 编写了一个 gc,它可以与现有的 C++ 代码一起使用,并且它在一个阶段有一个压缩器(尽管我放弃了它,因为它太慢了)。但是有许多令人讨厌的语义问题。几周前我向 Bjarne 提到过,C++ 缺少正确执行此操作所需的运算符,而且情况是它不太可能存在,因为它的实用性有限..

你真正需要的是一个“re-address-me”操作符。发生的情况是您实际上并没有移动对象。您只需使用 mmap 更改对象地址。这要快得多,实际上,它使用 VM 功能来提供句柄。

如果没有此功能,您必须有一种方法来执行对象的重叠 移动,而这在 C++ 中无法有效执行:您必须首先移动到临时对象。在 C 语言中,这要容易得多,您可以使用 memmove。在某个阶段,必须调整所有指向或进入移动对象的指针。

使用句柄不能解决这个问题,它只是将问题从任意大小的对象减少到恒定大小的对象:这些在数组中更容易管理,但同样的问题存在:你必须管理存储。如果您从数组中随机删除大量句柄..您仍然会遇到碎片问题。

所以不要打扰 handle ,它们不起作用。

这就是我在 Felix 中所做的:你调用 new(shape, collector) T(args)。这里的 shape 是类型的描述符,包括一个包含 (GC) 指针的偏移量列表,以及用于完成对象的例程的地址(默认情况下,它调用析构函数)。

它还包含一个标志,说明是否可以使用 memmove 移动对象。如果对象很大或无法移动,则由 malloc 分配。如果对象很小且可移动,则将其分配在一个竞技场中,前提是该竞技场中有空间。

通过移动其中的所有对象来压缩竞技场,并使用形状信息全局调整指向或进入这些对象的所有指针。压缩可以增量完成。

C++ 程序员的缺点是需要构造一个正确的 shape 对象来传递。这并不困扰我,因为我正在实现一种可以自动生成形状信息的语言。

现在:关键点是:要进行压缩,您必须使用精确的收集器。压缩不能与保守的收集器一起使用。这个非常重要。如果你看到一个看起来像指针但恰好是整数的值,允许一些泄漏是可以的:一些对象不会被收集,但这通常没什么大不了的。但是对于压缩,你必须调整指针,但你最好不要改变那个整数:所以你必须知道确定什么时候是指针,所以你的收集器有准确地说:形状必须是已知的。

在 Ocaml 中,这相对简单:一切都是指针或整数,低位在运行时用于指示。指向的对象有一个代码告诉类型,并且只有几种类型:标量(不要扫描它)或聚合(扫描它,它只包含整数或指针)。

关于c++ - 在 C++0x 中压缩垃圾收集器的实现,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4558473/

有关c++ - 在 C++0x 中压缩垃圾收集器的实现的更多相关文章

  1. ruby-on-rails - 如何优雅地重启 thin + nginx? - 2

    我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server

  2. ruby - 如何根据特征实现 FactoryGirl 的条件行为 - 2

    我有一个用户工厂。我希望默认情况下确认用户。但是鉴于unconfirmed特征,我不希望它们被确认。虽然我有一个基于实现细节而不是抽象的工作实现,但我想知道如何正确地做到这一点。factory:userdoafter(:create)do|user,evaluator|#unwantedimplementationdetailshereunlessFactoryGirl.factories[:user].defined_traits.map(&:name).include?(:unconfirmed)user.confirm!endendtrait:unconfirmeddoenden

  3. 电脑0x0000001A蓝屏错误怎么U盘重装系统教学 - 2

      电脑0x0000001A蓝屏错误怎么U盘重装系统教学分享。有用户电脑开机之后遇到了系统蓝屏的情况。系统蓝屏问题很多时候都是系统bug,只有通过重装系统来进行解决。那么蓝屏问题如何通过U盘重装新系统来解决呢?来看看以下的详细操作方法教学吧。  准备工作:  1、U盘一个(尽量使用8G以上的U盘)。  2、一台正常联网可使用的电脑。  3、ghost或ISO系统镜像文件(Win10系统下载_Win10专业版_windows10正式版下载-系统之家)。  4、在本页面下载U盘启动盘制作工具:系统之家U盘启动工具。  U盘启动盘制作步骤:  注意:制作期间,U盘会被格式化,因此U盘中的重要文件请注

  4. 华为OD机试用Python实现 -【明明的随机数】 2023Q1A - 2

    华为OD机试题本篇题目:明明的随机数题目输入描述输出描述:示例1输入输出说明代码编写思路最近更新的博客华为od2023|什么是华为od,od薪资待遇,od机试题清单华为OD机试真题大全,用Python解华为机试题|机试宝典【华为OD机试】全流程解析+经验分享,题型分享,防作弊指南华为o

  5. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用?a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法,而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  6. 基于C#实现简易绘图工具【100010177】 - 2

    C#实现简易绘图工具一.引言实验目的:通过制作窗体应用程序(C#画图软件),熟悉基本的窗体设计过程以及控件设计,事件处理等,熟悉使用C#的winform窗体进行绘图的基本步骤,对于面向对象编程有更加深刻的体会.Tutorial任务设计一个具有基本功能的画图软件**·包括简单的新建文件,保存,重新绘图等功能**·实现一些基本图形的绘制,包括铅笔和基本形状等,学习橡皮工具的创建**·设计一个合理舒适的UI界面**注明:你可能需要先了解一些关于winform窗体应用程序绘图的基本知识,以及关于GDI+类和结构的知识二.实验环境Windows系统下的visualstudio2017C#窗体应用程序三.

  7. MIMO-OFDM无线通信技术及MATLAB实现(1)无线信道:传播和衰落 - 2

     MIMO技术的优缺点优点通过下面三个增益来总体概括:阵列增益。阵列增益是指由于接收机通过对接收信号的相干合并而活得的平均SNR的提高。在发射机不知道信道信息的情况下,MIMO系统可以获得的阵列增益与接收天线数成正比复用增益。在采用空间复用方案的MIMO系统中,可以获得复用增益,即信道容量成倍增加。信道容量的增加与min(Nt,Nr)成正比分集增益。在采用空间分集方案的MIMO系统中,可以获得分集增益,即可靠性性能的改善。分集增益用独立衰落支路数来描述,即分集指数。在使用了空时编码的MIMO系统中,由于接收天线或发射天线之间的间距较远,可认为它们各自的大尺度衰落是相互独立的,因此分布式MIMO

  8. 【Java入门】使用Java实现文件夹的遍历 - 2

    遍历文件夹我们通常是使用递归进行操作,这种方式比较简单,也比较容易理解。本文为大家介绍另一种不使用递归的方式,由于没有使用递归,只用到了循环和集合,所以效率更高一些!一、使用递归遍历文件夹整体思路1、使用File封装初始目录,2、打印这个目录3、获取这个目录下所有的子文件和子目录的数组。4、遍历这个数组,取出每个File对象4-1、如果File是否是一个文件,打印4-2、否则就是一个目录,递归调用代码实现publicclassSearchFile{publicstaticvoidmain(String[]args){//初始目录Filedir=newFile("d:/Dev");Datebeg

  9. ruby - Arrays Sets 和 SortedSets 在 Ruby 中是如何实现的 - 2

    通常,数组被实现为内存块,集合被实现为HashMap,有序集合被实现为跳跃列表。在Ruby中也是如此吗?我正在尝试从性能和内存占用方面评估Ruby中不同容器的使用情况 最佳答案 数组是Ruby核心库的一部分。每个Ruby实现都有自己的数组实现。Ruby语言规范只规定了Ruby数组的行为,并没有规定任何特定的实现策略。它甚至没有指定任何会强制或至少建议特定实现策略的性能约束。然而,大多数Rubyist对数组的性能特征有一些期望,这会迫使不符合它们的实现变得默默无闻,因为实际上没有人会使用它:插入、前置或追加以及删除元素的最坏情况步骤复

  10. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止,这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量,我

随机推荐