xref: /sqlite-3.40.0/src/mem2.c (revision 6ab3a2ec)
1 /*
2 ** 2007 August 15
3 **
4 ** The author disclaims copyright to this source code.  In place of
5 ** a legal notice, here is a blessing:
6 **
7 **    May you do good and not evil.
8 **    May you find forgiveness for yourself and forgive others.
9 **    May you share freely, never taking more than you give.
10 **
11 *************************************************************************
12 **
13 ** This file contains low-level memory allocation drivers for when
14 ** SQLite will use the standard C-library malloc/realloc/free interface
15 ** to obtain the memory it needs while adding lots of additional debugging
16 ** information to each allocation in order to help detect and fix memory
17 ** leaks and memory usage errors.
18 **
19 ** This file contains implementations of the low-level memory allocation
20 ** routines specified in the sqlite3_mem_methods object.
21 **
22 ** $Id: mem2.c,v 1.44 2009/02/19 14:39:25 danielk1977 Exp $
23 */
24 #include "sqliteInt.h"
25 
26 /*
27 ** This version of the memory allocator is used only if the
28 ** SQLITE_MEMDEBUG macro is defined
29 */
30 #ifdef SQLITE_MEMDEBUG
31 
32 /*
33 ** The backtrace functionality is only available with GLIBC
34 */
35 #ifdef __GLIBC__
36   extern int backtrace(void**,int);
37   extern void backtrace_symbols_fd(void*const*,int,int);
38 #else
39 # define backtrace(A,B) 1
40 # define backtrace_symbols_fd(A,B,C)
41 #endif
42 #include <stdio.h>
43 
44 /*
45 ** Each memory allocation looks like this:
46 **
47 **  ------------------------------------------------------------------------
48 **  | Title |  backtrace pointers |  MemBlockHdr |  allocation |  EndGuard |
49 **  ------------------------------------------------------------------------
50 **
51 ** The application code sees only a pointer to the allocation.  We have
52 ** to back up from the allocation pointer to find the MemBlockHdr.  The
53 ** MemBlockHdr tells us the size of the allocation and the number of
54 ** backtrace pointers.  There is also a guard word at the end of the
55 ** MemBlockHdr.
56 */
57 struct MemBlockHdr {
58   i64 iSize;                          /* Size of this allocation */
59   struct MemBlockHdr *pNext, *pPrev;  /* Linked list of all unfreed memory */
60   char nBacktrace;                    /* Number of backtraces on this alloc */
61   char nBacktraceSlots;               /* Available backtrace slots */
62   short nTitle;                       /* Bytes of title; includes '\0' */
63   int iForeGuard;                     /* Guard word for sanity */
64 };
65 
66 /*
67 ** Guard words
68 */
69 #define FOREGUARD 0x80F5E153
70 #define REARGUARD 0xE4676B53
71 
72 /*
73 ** Number of malloc size increments to track.
74 */
75 #define NCSIZE  1000
76 
77 /*
78 ** All of the static variables used by this module are collected
79 ** into a single structure named "mem".  This is to keep the
80 ** static variables organized and to reduce namespace pollution
81 ** when this module is combined with other in the amalgamation.
82 */
83 static struct {
84 
85   /*
86   ** Mutex to control access to the memory allocation subsystem.
87   */
88   sqlite3_mutex *mutex;
89 
90   /*
91   ** Head and tail of a linked list of all outstanding allocations
92   */
93   struct MemBlockHdr *pFirst;
94   struct MemBlockHdr *pLast;
95 
96   /*
97   ** The number of levels of backtrace to save in new allocations.
98   */
99   int nBacktrace;
100   void (*xBacktrace)(int, int, void **);
101 
102   /*
103   ** Title text to insert in front of each block
104   */
105   int nTitle;        /* Bytes of zTitle to save.  Includes '\0' and padding */
106   char zTitle[100];  /* The title text */
107 
108   /*
109   ** sqlite3MallocDisallow() increments the following counter.
110   ** sqlite3MallocAllow() decrements it.
111   */
112   int disallow; /* Do not allow memory allocation */
113 
114   /*
115   ** Gather statistics on the sizes of memory allocations.
116   ** nAlloc[i] is the number of allocation attempts of i*8
117   ** bytes.  i==NCSIZE is the number of allocation attempts for
118   ** sizes more than NCSIZE*8 bytes.
119   */
120   int nAlloc[NCSIZE];      /* Total number of allocations */
121   int nCurrent[NCSIZE];    /* Current number of allocations */
122   int mxCurrent[NCSIZE];   /* Highwater mark for nCurrent */
123 
124 } mem;
125 
126 
127 /*
128 ** Adjust memory usage statistics
129 */
130 static void adjustStats(int iSize, int increment){
131   int i = ((iSize+7)&~7)/8;
132   if( i>NCSIZE-1 ){
133     i = NCSIZE - 1;
134   }
135   if( increment>0 ){
136     mem.nAlloc[i]++;
137     mem.nCurrent[i]++;
138     if( mem.nCurrent[i]>mem.mxCurrent[i] ){
139       mem.mxCurrent[i] = mem.nCurrent[i];
140     }
141   }else{
142     mem.nCurrent[i]--;
143     assert( mem.nCurrent[i]>=0 );
144   }
145 }
146 
147 /*
148 ** Given an allocation, find the MemBlockHdr for that allocation.
149 **
150 ** This routine checks the guards at either end of the allocation and
151 ** if they are incorrect it asserts.
152 */
153 static struct MemBlockHdr *sqlite3MemsysGetHeader(void *pAllocation){
154   struct MemBlockHdr *p;
155   int *pInt;
156   u8 *pU8;
157   int nReserve;
158 
159   p = (struct MemBlockHdr*)pAllocation;
160   p--;
161   assert( p->iForeGuard==(int)FOREGUARD );
162   nReserve = (p->iSize+7)&~7;
163   pInt = (int*)pAllocation;
164   pU8 = (u8*)pAllocation;
165   assert( pInt[nReserve/sizeof(int)]==(int)REARGUARD );
166   /* This checks any of the "extra" bytes allocated due
167   ** to rounding up to an 8 byte boundary to ensure
168   ** they haven't been overwritten.
169   */
170   while( nReserve-- > p->iSize ) assert( pU8[nReserve]==0x65 );
171   return p;
172 }
173 
174 /*
175 ** Return the number of bytes currently allocated at address p.
176 */
177 static int sqlite3MemSize(void *p){
178   struct MemBlockHdr *pHdr;
179   if( !p ){
180     return 0;
181   }
182   pHdr = sqlite3MemsysGetHeader(p);
183   return pHdr->iSize;
184 }
185 
186 /*
187 ** Initialize the memory allocation subsystem.
188 */
189 static int sqlite3MemInit(void *NotUsed){
190   UNUSED_PARAMETER(NotUsed);
191   assert( (sizeof(struct MemBlockHdr)&7) == 0 );
192   if( !sqlite3GlobalConfig.bMemstat ){
193     /* If memory status is enabled, then the malloc.c wrapper will already
194     ** hold the STATIC_MEM mutex when the routines here are invoked. */
195     mem.mutex = sqlite3MutexAlloc(SQLITE_MUTEX_STATIC_MEM);
196   }
197   return SQLITE_OK;
198 }
199 
200 /*
201 ** Deinitialize the memory allocation subsystem.
202 */
203 static void sqlite3MemShutdown(void *NotUsed){
204   UNUSED_PARAMETER(NotUsed);
205   mem.mutex = 0;
206 }
207 
208 /*
209 ** Round up a request size to the next valid allocation size.
210 */
211 static int sqlite3MemRoundup(int n){
212   return (n+7) & ~7;
213 }
214 
215 /*
216 ** Allocate nByte bytes of memory.
217 */
218 static void *sqlite3MemMalloc(int nByte){
219   struct MemBlockHdr *pHdr;
220   void **pBt;
221   char *z;
222   int *pInt;
223   void *p = 0;
224   int totalSize;
225   int nReserve;
226   sqlite3_mutex_enter(mem.mutex);
227   assert( mem.disallow==0 );
228   nReserve = (nByte+7)&~7;
229   totalSize = nReserve + sizeof(*pHdr) + sizeof(int) +
230                mem.nBacktrace*sizeof(void*) + mem.nTitle;
231   p = malloc(totalSize);
232   if( p ){
233     z = p;
234     pBt = (void**)&z[mem.nTitle];
235     pHdr = (struct MemBlockHdr*)&pBt[mem.nBacktrace];
236     pHdr->pNext = 0;
237     pHdr->pPrev = mem.pLast;
238     if( mem.pLast ){
239       mem.pLast->pNext = pHdr;
240     }else{
241       mem.pFirst = pHdr;
242     }
243     mem.pLast = pHdr;
244     pHdr->iForeGuard = FOREGUARD;
245     pHdr->nBacktraceSlots = mem.nBacktrace;
246     pHdr->nTitle = mem.nTitle;
247     if( mem.nBacktrace ){
248       void *aAddr[40];
249       pHdr->nBacktrace = backtrace(aAddr, mem.nBacktrace+1)-1;
250       memcpy(pBt, &aAddr[1], pHdr->nBacktrace*sizeof(void*));
251       assert(pBt[0]);
252       if( mem.xBacktrace ){
253         mem.xBacktrace(nByte, pHdr->nBacktrace-1, &aAddr[1]);
254       }
255     }else{
256       pHdr->nBacktrace = 0;
257     }
258     if( mem.nTitle ){
259       memcpy(z, mem.zTitle, mem.nTitle);
260     }
261     pHdr->iSize = nByte;
262     adjustStats(nByte, +1);
263     pInt = (int*)&pHdr[1];
264     pInt[nReserve/sizeof(int)] = REARGUARD;
265     memset(pInt, 0x65, nReserve);
266     p = (void*)pInt;
267   }
268   sqlite3_mutex_leave(mem.mutex);
269   return p;
270 }
271 
272 /*
273 ** Free memory.
274 */
275 static void sqlite3MemFree(void *pPrior){
276   struct MemBlockHdr *pHdr;
277   void **pBt;
278   char *z;
279   assert( sqlite3GlobalConfig.bMemstat || mem.mutex!=0 );
280   pHdr = sqlite3MemsysGetHeader(pPrior);
281   pBt = (void**)pHdr;
282   pBt -= pHdr->nBacktraceSlots;
283   sqlite3_mutex_enter(mem.mutex);
284   if( pHdr->pPrev ){
285     assert( pHdr->pPrev->pNext==pHdr );
286     pHdr->pPrev->pNext = pHdr->pNext;
287   }else{
288     assert( mem.pFirst==pHdr );
289     mem.pFirst = pHdr->pNext;
290   }
291   if( pHdr->pNext ){
292     assert( pHdr->pNext->pPrev==pHdr );
293     pHdr->pNext->pPrev = pHdr->pPrev;
294   }else{
295     assert( mem.pLast==pHdr );
296     mem.pLast = pHdr->pPrev;
297   }
298   z = (char*)pBt;
299   z -= pHdr->nTitle;
300   adjustStats(pHdr->iSize, -1);
301   memset(z, 0x2b, sizeof(void*)*pHdr->nBacktraceSlots + sizeof(*pHdr) +
302                   pHdr->iSize + sizeof(int) + pHdr->nTitle);
303   free(z);
304   sqlite3_mutex_leave(mem.mutex);
305 }
306 
307 /*
308 ** Change the size of an existing memory allocation.
309 **
310 ** For this debugging implementation, we *always* make a copy of the
311 ** allocation into a new place in memory.  In this way, if the
312 ** higher level code is using pointer to the old allocation, it is
313 ** much more likely to break and we are much more liking to find
314 ** the error.
315 */
316 static void *sqlite3MemRealloc(void *pPrior, int nByte){
317   struct MemBlockHdr *pOldHdr;
318   void *pNew;
319   assert( mem.disallow==0 );
320   pOldHdr = sqlite3MemsysGetHeader(pPrior);
321   pNew = sqlite3MemMalloc(nByte);
322   if( pNew ){
323     memcpy(pNew, pPrior, nByte<pOldHdr->iSize ? nByte : pOldHdr->iSize);
324     if( nByte>pOldHdr->iSize ){
325       memset(&((char*)pNew)[pOldHdr->iSize], 0x2b, nByte - pOldHdr->iSize);
326     }
327     sqlite3MemFree(pPrior);
328   }
329   return pNew;
330 }
331 
332 /*
333 ** Populate the low-level memory allocation function pointers in
334 ** sqlite3GlobalConfig.m with pointers to the routines in this file.
335 */
336 void sqlite3MemSetDefault(void){
337   static const sqlite3_mem_methods defaultMethods = {
338      sqlite3MemMalloc,
339      sqlite3MemFree,
340      sqlite3MemRealloc,
341      sqlite3MemSize,
342      sqlite3MemRoundup,
343      sqlite3MemInit,
344      sqlite3MemShutdown,
345      0
346   };
347   sqlite3_config(SQLITE_CONFIG_MALLOC, &defaultMethods);
348 }
349 
350 /*
351 ** Set the number of backtrace levels kept for each allocation.
352 ** A value of zero turns off backtracing.  The number is always rounded
353 ** up to a multiple of 2.
354 */
355 void sqlite3MemdebugBacktrace(int depth){
356   if( depth<0 ){ depth = 0; }
357   if( depth>20 ){ depth = 20; }
358   depth = (depth+1)&0xfe;
359   mem.nBacktrace = depth;
360 }
361 
362 void sqlite3MemdebugBacktraceCallback(void (*xBacktrace)(int, int, void **)){
363   mem.xBacktrace = xBacktrace;
364 }
365 
366 /*
367 ** Set the title string for subsequent allocations.
368 */
369 void sqlite3MemdebugSettitle(const char *zTitle){
370   unsigned int n = sqlite3Strlen30(zTitle) + 1;
371   sqlite3_mutex_enter(mem.mutex);
372   if( n>=sizeof(mem.zTitle) ) n = sizeof(mem.zTitle)-1;
373   memcpy(mem.zTitle, zTitle, n);
374   mem.zTitle[n] = 0;
375   mem.nTitle = (n+7)&~7;
376   sqlite3_mutex_leave(mem.mutex);
377 }
378 
379 void sqlite3MemdebugSync(){
380   struct MemBlockHdr *pHdr;
381   for(pHdr=mem.pFirst; pHdr; pHdr=pHdr->pNext){
382     void **pBt = (void**)pHdr;
383     pBt -= pHdr->nBacktraceSlots;
384     mem.xBacktrace(pHdr->iSize, pHdr->nBacktrace-1, &pBt[1]);
385   }
386 }
387 
388 /*
389 ** Open the file indicated and write a log of all unfreed memory
390 ** allocations into that log.
391 */
392 void sqlite3MemdebugDump(const char *zFilename){
393   FILE *out;
394   struct MemBlockHdr *pHdr;
395   void **pBt;
396   int i;
397   out = fopen(zFilename, "w");
398   if( out==0 ){
399     fprintf(stderr, "** Unable to output memory debug output log: %s **\n",
400                     zFilename);
401     return;
402   }
403   for(pHdr=mem.pFirst; pHdr; pHdr=pHdr->pNext){
404     char *z = (char*)pHdr;
405     z -= pHdr->nBacktraceSlots*sizeof(void*) + pHdr->nTitle;
406     fprintf(out, "**** %lld bytes at %p from %s ****\n",
407             pHdr->iSize, &pHdr[1], pHdr->nTitle ? z : "???");
408     if( pHdr->nBacktrace ){
409       fflush(out);
410       pBt = (void**)pHdr;
411       pBt -= pHdr->nBacktraceSlots;
412       backtrace_symbols_fd(pBt, pHdr->nBacktrace, fileno(out));
413       fprintf(out, "\n");
414     }
415   }
416   fprintf(out, "COUNTS:\n");
417   for(i=0; i<NCSIZE-1; i++){
418     if( mem.nAlloc[i] ){
419       fprintf(out, "   %5d: %10d %10d %10d\n",
420             i*8, mem.nAlloc[i], mem.nCurrent[i], mem.mxCurrent[i]);
421     }
422   }
423   if( mem.nAlloc[NCSIZE-1] ){
424     fprintf(out, "   %5d: %10d %10d %10d\n",
425              NCSIZE*8-8, mem.nAlloc[NCSIZE-1],
426              mem.nCurrent[NCSIZE-1], mem.mxCurrent[NCSIZE-1]);
427   }
428   fclose(out);
429 }
430 
431 /*
432 ** Return the number of times sqlite3MemMalloc() has been called.
433 */
434 int sqlite3MemdebugMallocCount(){
435   int i;
436   int nTotal = 0;
437   for(i=0; i<NCSIZE; i++){
438     nTotal += mem.nAlloc[i];
439   }
440   return nTotal;
441 }
442 
443 
444 #endif /* SQLITE_MEMDEBUG */
445