Что точно происходит, если Вы удаляете объект? (gcc) (Когда дважды - удаляют катастрофические отказы?)

Обратите внимание на то, что я не хочу решать любую проблему со своим вопросом - я думал о вероятностях вещей произойти и таким образом задавался вопросом о чем-то:

Что точно происходит, если Вы удаляете на объекте и используете gcc в качестве компилятора?

На прошлой неделе я расследовал катастрофу, где вывод состояния состязания к двойному удаляет объекта.

Катастрофический отказ произошел при вызове виртуального деструктора объекта, потому что указатель на таблицу виртуальной функции уже был перезаписан.

Указатель виртуальной функции перезаписывается первым, удаляют?

В противном случае является вторым, удаляют безопасный затем, пока никакое новое выделение памяти не сделано тем временем?

Я задаюсь вопросом, почему проблема, которую я имел, не была распознана, прежде и единственный exlanation то, что или таблица виртуальной функции перезаписывается, immediatly во время первого удаляют или второе, удаляют, не отказывает.

(Первые средства, что катастрофический отказ всегда происходит на том же местоположении, если "гонка" происходит - вторая, это обычно, ничего не происходит, когда гонка происходит - и только если третий поток перезаписывает удалить объект тем временем, проблема происходит.)

Редактирование/Обновление:

Я сделал тест, следующие катастрофические отказы кода с segfault (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) так 'вызов' (или 'jmp', когда компилятор сделал оптимизацию возврата), переходы к недопустимому региону.

Программа получила сигнал SIGSEGV,

Отказ сегментации. 0x0000000000000021

в?? () (gdb)

#0 0x0000000000000021 в?? ()

#1 0x000000000040083e в основном ()

Таким образом с вышеупомянутыми условиями, указатель на таблицу виртуальной функции ВСЕГДА перезаписывается первым, удаляют, таким образом, следующие удаляют, перейдет к нирване, если класс будет иметь виртуальный деструктор.