如果删除一个对象,会发生什么(gcc)(当double delete崩溃时?)

如果删除对象并使用gcc作为编译器,具体会发生什么?

上周我正在调查一个崩溃,在这个崩溃中,竞争条件导致了一个对象的双重删除。

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

我想知道为什么我之前没有意识到这个问题,唯一的解释是,要么虚拟函数表在第一次删除过程中立即被覆盖,要么第二次删除没有崩溃。

(第一种情况意味着,如果发生“争用”,崩溃总是发生在同一个位置——第二种情况是,争用发生时通常不会发生任何事情——并且只有在问题发生的同时第三个线程覆盖了delete对象。)

编辑/更新:

我做了一个测试,以下代码因segfault(gcc4.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;
}

对于“virtual”,在对析构函数进行间接函数调用时会发生崩溃,因为指向virtual函数表的指针无效。

在amd64和i686上,指针都指向一个有效的内存区域(堆),但那里的值无效(计数器?它非常低,例如0x11或0x21),因此“call”(或编译器执行返回优化时的“jmp”)跳转到无效区域。

分段错误。 0x0000000021

在??()(gdb公司)

# 0 0x0000000000000021英寸()

#

因此,在上述条件下,指向虚函数表的指针总是被第一次删除所覆盖,因此如果类具有虚析构函数,则下一次删除将跳转到nirvana。