jjzjj

c++ - 如果删除一个对象，究竟会发生什么？ (gcc)(当双删除崩溃时？)

coder 2024-02-01 原文

请注意，我不想用我的问题解决任何问题 - 我在考虑事情发生的概率，因此想知道一些事情:

如果删除对象并使用 gcc 作为编译器，究竟会发生什么？

上周我正在调查一次崩溃，其中竞争条件导致对象被双重删除。

崩溃发生在调用对象的虚析构函数时，因为指向虚函数表的指针已经被覆盖。

第一次delete是否覆盖了虚函数指针？

如果不是，那么第二次删除是否安全，只要在此期间没有分配新的内存？

我想知道为什么以前没有识别出我遇到的问题，唯一的解释是在第一次删除期间虚函数表被立即覆盖，或者第二次删除没有崩溃。

(第一个意味着如果发生“竞争”，崩溃总是发生在相同的位置 - 第二个，当竞争发生时通常什么也不会发生 - 只有当第三个线程覆盖删除对象时同时出现问题。)

编辑/更新:

我做了一个测试，以下代码因段错误而崩溃(gcc 4.4、i686 和 amd64):

class M
{
private:
  int* ptr;
public:
  M() {
  ptr = new int[1];
  }
  virtual ~M() {delete ptr;}
};

int main(int argc, char** argv)
{
  M* ptr = new M();
  delete ptr;
  delete ptr;
}

如果我从 dtor 中删除“虚拟”，程序将被 glibc 中止，因为它检测到双重释放。 对于“虚”，在对析构函数进行间接函数调用时会发生崩溃，因为指向虚函数表的指针无效。

在 amd64 和 i686 上，指针指向一个有效的内存区域(堆)，但是那里的值是无效的(一个计数器？它非常低，例如 0x11 或 0x21)所以 'call'(或 'jmp'当编译器进行返回优化时)跳转到无效区域。

Program received signal SIGSEGV,

Segmentation fault. 0x0000000000000021

in ?? () (gdb)

#0 0x0000000000000021 in ?? ()

#1 0x000000000040083e in main ()

所以在上述条件下，指向虚函数表的指针总是被第一次删除覆盖，所以如果类有虚析构函数，下一次删除将跳转到必杀技。

最佳答案

它非常依赖于内存分配器本身的实现，更不用说任何依赖于应用程序的故障，如覆盖某些对象的 v-table。有许多内存分配器方案，它们在功能和对双重 free() 的抵抗力方面各不相同，但所有这些都有一个共同的特性:您的应用程序将在第二次 free() 之后的某个时间崩溃。

崩溃的原因通常是内存分配器在每个分配的内存块之前(页眉)和之后(页脚)专用少量内存来存储一些实现特定的细节。 header 通常定义 block 的大小和下一个 block 的地址。页脚通常是指向 block 头的指针。删除两次通常至少涉及检查相邻 block 是否空闲。因此，如果出现以下情况，您的程序将崩溃:

1) 指向下一个 block 的指针已被覆盖，第二个 free() 在尝试访问下一个 block 时导致段错误。

2) 前一个 block 的页脚被修改，访问前一个 block 的头部导致段错误。

如果应用程序存活下来，则意味着 free() 要么在多个位置损坏了内存，要么将添加与已经空闲的 block 之一重叠的空闲 block ，从而导致 future 数据损坏。最终，您的程序将在以下涉及损坏内存区域的 free() 或 malloc() 之一发生段错误。

关于c++ - 如果删除一个对象，究竟会发生什么？ (gcc)(当双删除崩溃时？)，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3378759/

竟会ampblocksection的c++gccprobabilitydelete-operatorpostmortem-debugging

有关c++ - 如果删除一个对象，究竟会发生什么？ (gcc)(当双删除崩溃时？)的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  4. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  5. ruby - 使用 Vim Rails，您可以创建一个新的迁移文件并一次性打开它吗？ - 2

    使用带有Rails插件的vim，您可以创建一个迁移文件，然后一次性打开该文件吗？textmate也可以这样吗？ 最佳答案 你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件，这正是您想要的。我不能代表textmate。 关于ruby-使用VimRails，您可以创建一个新的迁移文件并一次性打开它吗？，我们在StackOverflow上找到一个类似的问题： https://sta

  6. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

    我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何

  7. ruby-on-rails - 渲染另一个 Controller 的 View - 2

    我想要做的是有2个不同的Controller，client和test_client。客户端Controller已经构建，我想创建一个test_clientController，我可以使用它来玩弄客户端的UI并根据需要进行调整。我主要是想绕过我在客户端中内置的验证及其对加载数据的管理Controller的依赖。所以我希望test_clientController加载示例数据集，然后呈现客户端Controller的索引View，以便我可以调整客户端UI。就是这样。我在test_clients索引方法中试过这个:classTestClientdefindexrender:template=>

  8. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  9. ruby-on-rails - 如何从 format.xml 中删除 <hash></hash> - 2

    我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据，就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理？我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题；这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML，但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中，将我的XML代码修改为

  10. ruby-on-rails - 如果为空或不验证数值，则使属性默认为 0 - 2

    我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初，我将所有3列的:default=>0放在表格中，但我不想要这样，因为它已经填充了字段，我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val

随机推荐