surcharge de delete : recursive_init_error

**apesle** · 03/02/2009, 14h11

Bonjour à tous

J'ai un problème avec le gestionnaire de mémoire, récupéré sur le très bon tutoriel de Laurent Gomila : Réalisation d'un moteur 3D en C++.

Le gestionnaire surcharge les opérateurs new, delete, new[] et delete[] pour suivre les allocations/desallocations.
Cependant la surcharge de delete semble poser un problème : j'obtiens l'erreur suivante à l'exécution :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
terminate called after throwing an instance of '__gnu_cxx::recursive_init_error'
  what():  std::exception
Abandon

J'ai retouché un peu pour que vous puissiez reproduire l'erreur sans trop de problèmes :

fichier CMemoryManager.h

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
//==========================================================
 
// CMemoryManager.h
 
//
 
// Définition de la classe CMemoryManager
 
//
 
//==========================================================
 
 
 
#ifndef CMEMORY_MANAGER_H
 
#define CMEMORY_MANAGER_H
 
 
 
//==========================================================
 
// En-têtes
 
//==========================================================
 
#include <fstream>
 
#include <map>
 
#include <stack>
 
#include <string>
 
 
 
 
 
namespace Outils
 
{
 
    //==========================================================
 
    // Gestionnaire de mémoire - détecte les fuites
 
    //==========================================================
 
    class CMemoryManager
 
    {
 
    public :
 
 
 
        //----------------------------------------------------------
 
        // Renvoie l'instance de la classe
 
        //----------------------------------------------------------
 
        static CMemoryManager& GetInstance();
 
 
 
        //----------------------------------------------------------
 
        // Ajoute une allocation mémoire
 
        //----------------------------------------------------------
 
        void* Allocate(std::size_t Size, std::string Filename, int Line, bool Array);
 
 
 
        //----------------------------------------------------------
 
        // Retire une allocation mémoire
 
        //----------------------------------------------------------
 
        void Free(void* Ptr, bool Array);
 
 
 
        //----------------------------------------------------------
 
        // Sauvegarde les infos sur la désallocation courante
 
        //----------------------------------------------------------
 
        void NextDelete(std::string Filename, int Line);
 
 
 
    private :
 
 
 
        //----------------------------------------------------------
 
        // Constructeur par défaut
 
        //----------------------------------------------------------
 
        CMemoryManager();
 
 
 
        //----------------------------------------------------------
 
        // Destructeur
 
        //----------------------------------------------------------
 
        ~CMemoryManager();
 
 
 
        //----------------------------------------------------------
 
        // Inscrit le rapport sur les fuites de mémoire
 
        //----------------------------------------------------------
 
        void ReportLeaks();
 
 
 
        //----------------------------------------------------------
 
        // Types
 
        //----------------------------------------------------------
 
        struct TBlock
 
        {
 
            std::size_t Size;  // Taille allouée
 
            std::string       Filename;  // nom du Fichier contenant l'allocation
 
            int         Line;  // Ligne de l'allocation
 
            bool        Array; // Est-ce un objet ou un tableau ?
 
        };
 
        typedef std::map<void*, TBlock> TBlockMap;
 
 
 
        //----------------------------------------------------------
 
        // Données membres
 
        //----------------------------------------------------------
 
        TBlockMap          m_Blocks;      // Blocs de mémoire alloués
 
        std::stack<TBlock> m_DeleteStack; // Pile dont le sommet contient la ligne et le fichier de la prochaine désallocation
 
    };
 
 
 
} // namespace Outils
 
 
 
#endif // CMEMORY_MANAGER_H

fichier CMemoryManager.cpp qui s'occupe de tracer les allocations/desallocations

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
//==========================================================
 
// CMemoryManager.cpp
 
//
 
// Implantation de la classe CMemoryManager
 
//
 
//==========================================================
 
 
 
 
 
//==========================================================
 
// En-têtes
 
//==========================================================
 
#include "CMemoryManager.h"
 
#include <iomanip>
#include <string>
 
#include <sstream>
 
#include <stdlib.h>
 
#include <iostream>
 
 
 
 
 
namespace Outils
 
{
 
 
 
    ////////////////////////////////////////////////////////////
 
    // Constructeur par défaut
 
    //
 
    ////////////////////////////////////////////////////////////
 
    CMemoryManager::CMemoryManager() 
 
    {
 
        std::cout << std::endl << "**Memory manager instancie**" << std::endl;
 
 
 
        // Inscription de l'en-tête du fichier
 
        std::cout<< "  ========================================" << std::endl;
 
        std::cout << "          - Memory leak tracker -" << std::endl;
 
        std::cout << "  ========================================" << std::endl << std::endl;
 
    }
 
 
 
 
 
    ////////////////////////////////////////////////////////////
 
    // Destructeur
 
    //
 
    ////////////////////////////////////////////////////////////
 
    CMemoryManager::~CMemoryManager()
 
    {
 
 
 
        std::cout << std::endl << "**Memory manager detruit**" << std::endl;
 
        if (m_Blocks.empty())
 
        {
 
            // Aucune fuite, bravo !
 
            std::cout << std::endl;
 
            std::cout << "  ========================================" << std::endl;
 
            std::cout << "     No leak detected, congratulations !  " << std::endl;
 
            std::cout << "  ========================================" << std::endl;
 
        }
 
        else
 
        {
 
            // Fuites mémoires =(
 
            std::cout << std::endl;
 
            std::cout << "  ========================================" << std::endl;
 
            std::cout << "   Oops... Some leaks have been detected  " << std::endl;
 
            std::cout << "  ========================================" << std::endl;
 
            std::cout << std::endl;
 
 
 
            ReportLeaks();
 
        }
 
    }
 
 
 
 
 
    ////////////////////////////////////////////////////////////
 
    // Renvoie l'instance de la classe
 
    //
 
    // [retval] Référence sur l'instance unique de la classe
 
    //
 
    ////////////////////////////////////////////////////////////
 
    CMemoryManager& CMemoryManager::GetInstance()
 
    {
 
        static CMemoryManager Inst;
 
 
 
        return Inst;
 
    }
 
 
 
 
 
    ////////////////////////////////////////////////////////////
 
    // Inscrit le rapport sur les fuites de mémoire
 
    //
 
    ////////////////////////////////////////////////////////////
 
    void CMemoryManager::ReportLeaks()
 
    {
 
 
        // Détail des fuites
 
        std::size_t TotalSize = 0;
 
        for (TBlockMap::iterator i = m_Blocks.begin(); i != m_Blocks.end(); ++i)
 
        {
 
            // Ajout de la taille du bloc au cumul
 
            TotalSize += i->second.Size;
 
 
 
            // Inscription dans le fichier des informations sur le bloc courant
 
            std::cout << "-> 0x" << i->first
 
                << " | "   << std::setw(7) << std::setfill(' ') << static_cast<int>(i->second.Size) << " octets"
 
                << " | "   << i->second.Filename << " (" << i->second.Line << ")" << std::endl;
 
 
 
            // Libération de la mémoire
 
            free(i->first);
 
        }
 
 
 
        // Affichage du cumul des fuites
 
        std::cout << std::endl << std::endl << "-- "
 
            << static_cast<int>(m_Blocks.size()) << " blocs non-libere(s), "
 
            << static_cast<int>(TotalSize)       << " octets --"
 
            << std::endl;
 
    }
 
 
 
 
 
    ////////////////////////////////////////////////////////////
 
    // Ajoute une allocation mémoire
 
    //
 
    // [in] Size :  Taille allouée
 
    // [in] File :  Fichier contenant l'allocation
 
    // [in] Line :  Ligne de l'allocation
 
    // [in] Array : True si c'est une allocation de tableau
 
    //
 
    // [retval] Pointeur sur la mémoire allouée
 
    //
 
    ////////////////////////////////////////////////////////////
 
    void* CMemoryManager::Allocate(std::size_t Size, std::string Filename, int Line, bool Array)
 
    {
 
 
        // Allocation de la mémoire
 
        void* Ptr = malloc(Size);
 
 
 
        // Ajout du bloc à la liste des blocs alloués
 
        TBlock NewBlock;
 
        NewBlock.Size  = Size;
 
        NewBlock.Filename  = Filename;
 
        NewBlock.Line  = Line;
 
        NewBlock.Array = Array;
 
        m_Blocks[Ptr]  = NewBlock;
 
 
 
        // Loggization
 
        std::cout << "++ Allocation    | 0x" << Ptr
 
            << " | " << std::setw(7) << std::setfill(' ') << static_cast<int>(NewBlock.Size) << " octets"
 
            << " | " << NewBlock.Filename << " (" << NewBlock.Line << ")" << std::endl;
 
 
 
        return Ptr;
 
    }
 
 
 
 
 
    ////////////////////////////////////////////////////////////
 
    // Retire une allocation mémoire
 
    //
 
    // [in] Ptr :   Adresse de la mémoire desallouée
 
    // [in] Array : True si c'est une désallocation de tableau
 
    //
 
    ////////////////////////////////////////////////////////////
 
    void CMemoryManager::Free(void* Ptr, bool Array)
 
    {
 
        // Recherche de l'adresse dans les blocs alloués
 
        TBlockMap::iterator It = m_Blocks.find(Ptr);
 
 
 
        // Si le bloc n'a pas été alloué, on génère une erreur
 
        if (It == m_Blocks.end())
 
        {
 
            // En fait ça arrive souvent, du fait que le delete surchargé est pris en
 
            // compte même là où on n'inclue pas DebugNew.h,
 
            // mais pas la macro pour le new
 
            // Dans ce cas on détruit le bloc et on quitte immédiatement
 
            free(Ptr);
 
            return;
 
        }
 
 
 
        // Si le type d'allocation ne correspond pas, on génère une erreur
 
        if (It->second.Array != Array)
 
        {
 
            throw "bad delete";
 
        }
 
 
 
 
 
        // Finalement, si tout va bien, on supprime le bloc et on loggiz tout ça
 
        std::cout << "-- Desallocation | 0x" << Ptr
 
            << " | " << std::setw(7) << std::setfill(' ') << static_cast<int>(It->second.Size) << " octets"
 
            << " | " << m_DeleteStack.top().Filename << " (" << m_DeleteStack.top().Line << ")" << std::endl;
 
        m_Blocks.erase(It);
 
        m_DeleteStack.pop();
 
 
 
        // Libération de la mémoire
 
        free(Ptr);
 
    }
 
 
 
 
 
    ////////////////////////////////////////////////////////////
 
    // Sauvegarde les infos sur la désallocation en cours
 
    //
 
    // [in] File :  Fichier contenant la désallocation
 
    // [in] Line :  Ligne de la désallocation
 
    //
 
    ////////////////////////////////////////////////////////////
 
    void CMemoryManager::NextDelete(std::string Filename, int Line)
 
    {
 
        TBlock Delete;
 
        Delete.Filename = Filename;
 
        Delete.Line = Line;
 
 
 
        m_DeleteStack.push(Delete);
 
    }
 
 
 
} // namespace Outils

fichier DebugNew.h où sont déclarées les surcharges des opérateurs :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
//==========================================================
 
// DebugNew.h
 
//
 
// Surcharge des opérateurs / fonctions d'allocation et de
 
// désallocation de la mémoire pour traquer les fuites
 
//
 
//==========================================================
 
 
 
#ifdef DEBUG
 
 
 
#ifndef DEBUGNEW_H
 
#define DEBUGNEW_H
 
 
 
//==========================================================
 
// En-têtes
 
//==========================================================
 
#include "CMemoryManager.h"
 
 
 
 
 
////////////////////////////////////////////////////////////
 
// Surcharge de l'opérateur new
 
//
 
// [in] Size : Taille à allouer
 
// [in] File : Fichier source
 
// [in] Line : Ligne dans le fichier source
 
//
 
// [retval] Pointeur sur la zone allouée
 
//
 
////////////////////////////////////////////////////////////
 
inline void* operator new(std::size_t Size, const char* File, int Line)
 
{
 
    return Outils::CMemoryManager::GetInstance().Allocate(Size, File, Line, false);
 
}
 
 
 
 
 
////////////////////////////////////////////////////////////
 
// Surcharge de l'opérateur new[]
 
//
 
// [in] Size : Taille à allouer
 
// [in] File : Fichier source
 
// [in] Line : Ligne dans le fichier source
 
//
 
// [retval] Pointeur sur la zone allouée
 
//
 
////////////////////////////////////////////////////////////
 
inline void* operator new[](std::size_t Size, const char* File, int Line)
 
{
 
    return Outils::CMemoryManager::GetInstance().Allocate(Size, File, Line, true);
 
}
 
 
 
 
 
////////////////////////////////////////////////////////////
 
// Surcharge de l'opérateur delete
 
//
 
// [in] Ptr : Pointeur sur la zone à libérer
 
//
 
////////////////////////////////////////////////////////////
 
inline void operator delete(void* Ptr)
 
{
 
    Outils::CMemoryManager::GetInstance().Free(Ptr, false);
 
}
 
 
 
 
 
////////////////////////////////////////////////////////////
 
// Surcharge de l'opérateur delete
 
//
 
// [in] Ptr :  Pointeur sur la zone à libérer
 
// [in] File : Fichier source
 
// [in] Line : Ligne dans le fichier source
 
//
 
////////////////////////////////////////////////////////////
 
inline void operator delete(void* Ptr, const char* File, int Line)
 
{
 
    Outils::CMemoryManager::GetInstance().NextDelete(File, Line);
 
    Outils::CMemoryManager::GetInstance().Free(Ptr, false);
 
}
 
 
 
 
 
////////////////////////////////////////////////////////////
 
// Surcharge de l'opérateur delete[]
 
//
 
// [in] Ptr : Pointeur sur la zone à libérer
 
//
 
////////////////////////////////////////////////////////////
 
inline void operator delete[](void* Ptr)
 
{
 
    Outils::CMemoryManager::GetInstance().Free(Ptr, true);
 
}
 
 
 
 
 
////////////////////////////////////////////////////////////
 
// Surcharge de l'opérateur delete[]
 
//
 
// [in] Ptr :  Pointeur sur la zone à libérer
 
// [in] File : Fichier source
 
// [in] Line : Ligne dans le fichier source
 
//
 
////////////////////////////////////////////////////////////
 
inline void operator delete[](void* Ptr, const char* File, int Line)
 
{
 
    Outils::CMemoryManager::GetInstance().NextDelete(File, Line);
 
    Outils::CMemoryManager::GetInstance().Free(Ptr, true);
 
}
 
 
 
#endif // DEBUGNEW_H
 
 
 
 
 
//==========================================================
 
// Définition de macros servant à automatiser le tracking
 
// /!\ sortir des directives anti-réinclusions !
 
//==========================================================
 
#ifndef new
 
#define new    new(__FILE__, __LINE__)
 
#define delete Outils::CMemoryManager::GetInstance().NextDelete(__FILE__, __LINE__), delete
 
#endif
 
 
 
#endif // DEBUG

Et enfin le main permettant de reproduire l'erreur :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <stdlib.h>
#include "CMemoryManager.h"
#include "DebugNew.h"
 
using namespace Outils;
 
int main(int argc, char **argv)
{
 
    int *myint = new int;
    int *tab = new int[10];
 
    delete[] tab;
    delete myint;
 
    return EXIT_SUCCESS;
}

Si le

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

delete myint;

est en commentaire, tout se passe bien et le gestionnaire de mémoire indique la fuite :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
**Memory manager instancie**
  ========================================
          - Memory leak tracker -
  ========================================
 
++ Allocation    | 0x0x80d5050 |       4 octets | main.cpp (11)
++ Allocation    | 0x0x80d5080 |      40 octets | main.cpp (12)
-- Desallocation | 0x0x80d5080 |      40 octets | main.cpp (14)
 
**Memory manager detruit**
 
  ========================================
   Oops... Some leaks have been detected  
  ========================================
 
-> 0x0x80d5050 |       4 octets | main.cpp (11)
 
 
-- 1 blocs non-libere(s), 4 octets --

Par contre si le delete n'est pas commenté, j'obtiens directement l'erreur '__gnu_cxx::recursive_init_error' .... ?

Quelqu'un pourrait-t-il m'aider ??

Je compile sous ubuntu, avec G++ version 4.3.2, ligne de commande :
g++ -DDEBUG -Wall -o test CMemoryManager.cpp main.cpp

PS : Merci encore à Laurent Gomila de donner librement cette source qui me sera très utile.

**loufoque** · 03/02/2009, 15h33

Ta surcharge d'opérateurs fait appel à elle-même via l'utilisation d'un conteneur avec allocateur standard.

**apesle** · 03/02/2009, 16h14

Bon je ne suis pas sur d'avoir compris... (je débute)

1/La surcharge des opérateurs ne se limite pas aux fichiers dans lesquels j'inclus DebugNew.h ?

2/Comment la surcharge d'opérateur peut elle faire appel à elle même alors que le fichier DebugNew.h n'est pas inclut dans le fichier CMemoryManager.cpp ?

Et enfin, comment résoudre le problème ?

Merci de ton aide

**apesle** · 05/02/2009, 14h58

Bon....
le pré-processeur remplace les appels à new pour la surcharge de new, appelée new avec placement.
Cela est donc fait uniquement dans les fichiers sources où DebugNew.h est inclut.

Par contre pour l'opérateur delete, il n'est pas possible de lui ajouter des paramètres et notre surcharge le remplace donc purement et simplement.
Ainsi tous les appels à delete sont remplacé par notre surcharge, soit l'appel à la méthode CMemoryManager::Free.
Mais Laurent Gomila a prévu cet effet dans dans la méthode :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 
 // Si le bloc n'a pas été alloué, on génère une erreur
        if (It == m_Blocks.end())
        {
            // En fait ça arrive souvent, du fait que le delete surchargé est pris en
            // compte même là où on n'inclue pas DebugNew.h.
            // Dans ce cas on détruit le bloc et on quitte immédiatement
            free(Ptr);
            return;
        }

Je ne comprend donc pas trop le problème...

Je comprend par contre qu'il y aurait une définition récursive si un appel à delete était effectué dans la méthode Free puisque tous les delete sont remplacés par un appel à cette méthode.
Cependant même avec la méthode Free suivante :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
void CMemoryManager::Free(void* Ptr, bool Array)
    {
/*         
 * ....code...
 */
    }

j'ai encore l'erreur ...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
terminate called after throwing an instance of '__gnu_cxx::recursive_init_error'
  what():  std::exception
Abandon

Manifestement quelque chose m'échappe ...

surcharge de delete : recursive_init_error

C++

Discussions similaires

Partager

Partager