blob: c44392000f0600bde89218ceeb2892288f575007 [file] [log] [blame]
Paul Bakker6e339b52013-07-03 13:37:05 +02001/*
2 * Buffer-based memory allocator
3 *
4 * Copyright (C) 2006-2013, Brainspark B.V.
5 *
6 * This file is part of PolarSSL (http://www.polarssl.org)
7 * Lead Maintainer: Paul Bakker <polarssl_maintainer at polarssl.org>
8 *
9 * All rights reserved.
10 *
11 * This program is free software; you can redistribute it and/or modify
12 * it under the terms of the GNU General Public License as published by
13 * the Free Software Foundation; either version 2 of the License, or
14 * (at your option) any later version.
15 *
16 * This program is distributed in the hope that it will be useful,
17 * but WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 * GNU General Public License for more details.
20 *
21 * You should have received a copy of the GNU General Public License along
22 * with this program; if not, write to the Free Software Foundation, Inc.,
23 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
24 */
25
26#include "polarssl/config.h"
27
28#if defined(POLARSSL_MEMORY_C) && defined(POLARSSL_MEMORY_BUFFER_ALLOC_C)
29
30#include "polarssl/memory.h"
31
32#include <string.h>
33
34#if defined(POLARSSL_MEMORY_DEBUG)
35#include <stdio.h>
36#if defined(POLARSSL_MEMORY_BACKTRACE)
37#include <execinfo.h>
38#endif
39#endif
40
41#define MAGIC1 0xFF00AA55
42#define MAGIC2 0xEE119966
43#define MAX_BT 20
44
45typedef struct _memory_header memory_header;
46struct _memory_header
47{
48 size_t magic1;
49 size_t size;
50 size_t alloc;
51 memory_header *prev;
52 memory_header *next;
Paul Bakker1ef120f2013-07-03 17:20:39 +020053 memory_header *prev_free;
54 memory_header *next_free;
Paul Bakker6e339b52013-07-03 13:37:05 +020055#if defined(POLARSSL_MEMORY_BACKTRACE)
56 char **trace;
57 size_t trace_count;
58#endif
59 size_t magic2;
60};
61
62typedef struct
63{
64 unsigned char *buf;
65 size_t len;
66 memory_header *first;
Paul Bakker1ef120f2013-07-03 17:20:39 +020067 memory_header *first_free;
Paul Bakker6e339b52013-07-03 13:37:05 +020068 size_t current_alloc_size;
69 int verify;
Paul Bakker891998e2013-07-03 14:45:05 +020070#if defined(POLARSSL_MEMORY_DEBUG)
71 size_t malloc_count;
72 size_t free_count;
73 size_t total_used;
74 size_t maximum_used;
75 size_t header_count;
76#endif
Paul Bakker6e339b52013-07-03 13:37:05 +020077}
78buffer_alloc_ctx;
79
80static buffer_alloc_ctx heap;
81
82#if defined(POLARSSL_MEMORY_DEBUG)
83static void debug_header( memory_header *hdr )
84{
85#if defined(POLARSSL_MEMORY_BACKTRACE)
86 size_t i;
87#endif
88
Paul Bakker41350a92013-07-03 15:33:47 +020089 fprintf( stderr, "HDR: PTR(%10u), PREV(%10u), NEXT(%10u), ALLOC(%u), SIZE(%10u)\n",
Paul Bakker6e339b52013-07-03 13:37:05 +020090 (size_t) hdr, (size_t) hdr->prev, (size_t) hdr->next,
91 hdr->alloc, hdr->size );
Paul Bakker1ef120f2013-07-03 17:20:39 +020092 fprintf( stderr, " FPREV(%10u), FNEXT(%10u)\n",
93 (size_t) hdr->prev_free, (size_t) hdr->next_free );
Paul Bakker6e339b52013-07-03 13:37:05 +020094
95#if defined(POLARSSL_MEMORY_BACKTRACE)
Paul Bakker41350a92013-07-03 15:33:47 +020096 fprintf( stderr, "TRACE: \n" );
Paul Bakker6e339b52013-07-03 13:37:05 +020097 for( i = 0; i < hdr->trace_count; i++ )
Paul Bakker41350a92013-07-03 15:33:47 +020098 fprintf( stderr, "%s\n", hdr->trace[i] );
Paul Bakker1ef120f2013-07-03 17:20:39 +020099 fprintf( stderr, "\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200100#endif
101}
102
103static void debug_chain()
104{
105 memory_header *cur = heap.first;
106
Paul Bakker1ef120f2013-07-03 17:20:39 +0200107 fprintf( stderr, "\nBlock list\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200108 while( cur != NULL )
109 {
110 debug_header( cur );
Paul Bakker6e339b52013-07-03 13:37:05 +0200111 cur = cur->next;
112 }
Paul Bakker1ef120f2013-07-03 17:20:39 +0200113
114 fprintf( stderr, "Free list\n" );
115 cur = heap.first_free;
116
117 while( cur != NULL )
118 {
119 debug_header( cur );
120 cur = cur->next_free;
121 }
Paul Bakker6e339b52013-07-03 13:37:05 +0200122}
123#endif /* POLARSSL_MEMORY_DEBUG */
124
125static int verify_header( memory_header *hdr )
126{
127 if( hdr->magic1 != MAGIC1 )
128 {
129#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200130 fprintf( stderr, "FATAL: MAGIC1 mismatch\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200131#endif
132 return( 1 );
133 }
134
135 if( hdr->magic2 != MAGIC2 )
136 {
137#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200138 fprintf( stderr, "FATAL: MAGIC2 mismatch\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200139#endif
140 return( 1 );
141 }
142
143 if( hdr->alloc > 1 )
144 {
145#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200146 fprintf( stderr, "FATAL: alloc has illegal value\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200147#endif
148 return( 1 );
149 }
150
Paul Bakker1ef120f2013-07-03 17:20:39 +0200151 if( hdr->prev != NULL && hdr->prev == hdr->next )
152 {
153#if defined(POLARSSL_MEMORY_DEBUG)
154 fprintf( stderr, "FATAL: prev == next\n" );
155#endif
156 return( 1 );
157 }
158
159 if( hdr->prev_free != NULL && hdr->prev_free == hdr->next_free )
160 {
161#if defined(POLARSSL_MEMORY_DEBUG)
162 fprintf( stderr, "FATAL: prev_free == next_free\n" );
163#endif
164 return( 1 );
165 }
166
Paul Bakker6e339b52013-07-03 13:37:05 +0200167 return( 0 );
168}
169
170static int verify_chain()
171{
172 memory_header *prv = heap.first, *cur = heap.first->next;
173
174 if( verify_header( heap.first ) != 0 )
175 {
176#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200177 fprintf( stderr, "FATAL: verification of first header failed\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200178#endif
179 return( 1 );
180 }
181
182 if( heap.first->prev != NULL )
183 {
184#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200185 fprintf( stderr, "FATAL: verification failed: first->prev != NULL\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200186#endif
187 return( 1 );
188 }
189
190 while( cur != NULL )
191 {
192 if( verify_header( cur ) != 0 )
193 {
194#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200195 fprintf( stderr, "FATAL: verification of header failed\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200196#endif
197 return( 1 );
198 }
199
200 if( cur->prev != prv )
201 {
202#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200203 fprintf( stderr, "FATAL: verification failed: cur->prev != prv\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200204#endif
205 return( 1 );
206 }
207
208 prv = cur;
209 cur = cur->next;
210 }
211
212 return( 0 );
213}
214
215static void *buffer_alloc_malloc( size_t len )
216{
Paul Bakker1ef120f2013-07-03 17:20:39 +0200217 memory_header *new, *cur = heap.first_free;
Paul Bakker6e339b52013-07-03 13:37:05 +0200218 unsigned char *p;
219#if defined(POLARSSL_MEMORY_BACKTRACE)
220 void *trace_buffer[MAX_BT];
221 size_t trace_cnt;
222#endif
223
224 if( heap.buf == NULL || heap.first == NULL )
225 return( NULL );
226
227 if( len % POLARSSL_MEMORY_ALIGN_MULTIPLE )
228 {
229 len -= len % POLARSSL_MEMORY_ALIGN_MULTIPLE;
230 len += POLARSSL_MEMORY_ALIGN_MULTIPLE;
231 }
232
233 // Find block that fits
234 //
235 while( cur != NULL )
236 {
Paul Bakker1ef120f2013-07-03 17:20:39 +0200237 if( cur->size >= len )
Paul Bakker6e339b52013-07-03 13:37:05 +0200238 break;
239
Paul Bakker1ef120f2013-07-03 17:20:39 +0200240 cur = cur->next_free;
Paul Bakker6e339b52013-07-03 13:37:05 +0200241 }
242
243 if( cur == NULL )
244 return( NULL );
245
Paul Bakker1ef120f2013-07-03 17:20:39 +0200246 if( cur->alloc != 0 )
247 {
248#if defined(POLARSSL_MEMORY_DEBUG)
249 fprintf( stderr, "FATAL: block in free_list but allocated data\n" );
250#endif
251 exit( 1 );
252 }
253
Paul Bakker891998e2013-07-03 14:45:05 +0200254#if defined(POLARSSL_MEMORY_DEBUG)
255 heap.malloc_count++;
256#endif
257
Paul Bakker6e339b52013-07-03 13:37:05 +0200258 // Found location, split block if > memory_header + 4 room left
259 //
260 if( cur->size - len < sizeof(memory_header) + POLARSSL_MEMORY_ALIGN_MULTIPLE )
261 {
262 cur->alloc = 1;
263
Paul Bakker1ef120f2013-07-03 17:20:39 +0200264 // Remove from free_list
265 //
266 if( cur->prev_free != NULL )
267 cur->prev_free->next_free = cur->next_free;
268 else
269 heap.first_free = cur->next_free;
270
271 if( cur->next_free != NULL )
272 cur->next_free->prev_free = cur->prev_free;
273
274 cur->prev_free = NULL;
275 cur->next_free = NULL;
276
Paul Bakker891998e2013-07-03 14:45:05 +0200277#if defined(POLARSSL_MEMORY_DEBUG)
278 heap.total_used += cur->size;
279 if( heap.total_used > heap.maximum_used)
280 heap.maximum_used = heap.total_used;
281#endif
Paul Bakker6e339b52013-07-03 13:37:05 +0200282#if defined(POLARSSL_MEMORY_BACKTRACE)
283 trace_cnt = backtrace( trace_buffer, MAX_BT );
284 cur->trace = backtrace_symbols( trace_buffer, trace_cnt );
285 cur->trace_count = trace_cnt;
286#endif
287
288 if( ( heap.verify & MEMORY_VERIFY_ALLOC ) && verify_chain() != 0 )
289 exit( 1 );
290
291 return ( (unsigned char *) cur ) + sizeof(memory_header);
292 }
293
294 p = ( (unsigned char *) cur ) + sizeof(memory_header) + len;
295 new = (memory_header *) p;
296
297 new->size = cur->size - len - sizeof(memory_header);
298 new->alloc = 0;
299 new->prev = cur;
300 new->next = cur->next;
301#if defined(POLARSSL_MEMORY_BACKTRACE)
302 new->trace = NULL;
303 new->trace_count = 0;
304#endif
305 new->magic1 = MAGIC1;
306 new->magic2 = MAGIC2;
307
308 if( new->next != NULL )
309 new->next->prev = new;
310
Paul Bakker1ef120f2013-07-03 17:20:39 +0200311 // Replace cur with new in free_list
312 //
313 new->prev_free = cur->prev_free;
314 new->next_free = cur->next_free;
315 if( new->prev_free != NULL )
316 new->prev_free->next_free = new;
317 else
318 heap.first_free = new;
319
320 if( new->next_free != NULL )
321 new->next_free->prev_free = new;
322
Paul Bakker6e339b52013-07-03 13:37:05 +0200323 cur->alloc = 1;
324 cur->size = len;
325 cur->next = new;
Paul Bakker1ef120f2013-07-03 17:20:39 +0200326 cur->prev_free = NULL;
327 cur->next_free = NULL;
Paul Bakker6e339b52013-07-03 13:37:05 +0200328
Paul Bakker891998e2013-07-03 14:45:05 +0200329#if defined(POLARSSL_MEMORY_DEBUG)
330 heap.header_count++;
331 heap.total_used += cur->size;
332 if( heap.total_used > heap.maximum_used)
333 heap.maximum_used = heap.total_used;
334#endif
Paul Bakker6e339b52013-07-03 13:37:05 +0200335#if defined(POLARSSL_MEMORY_BACKTRACE)
336 trace_cnt = backtrace( trace_buffer, MAX_BT );
337 cur->trace = backtrace_symbols( trace_buffer, trace_cnt );
338 cur->trace_count = trace_cnt;
339#endif
340
341 if( ( heap.verify & MEMORY_VERIFY_ALLOC ) && verify_chain() != 0 )
342 exit( 1 );
343
344 return ( (unsigned char *) cur ) + sizeof(memory_header);
345}
346
347static void buffer_alloc_free( void *ptr )
348{
Paul Bakker1ef120f2013-07-03 17:20:39 +0200349 memory_header *hdr, *old = NULL;
Paul Bakker6e339b52013-07-03 13:37:05 +0200350 unsigned char *p = (unsigned char *) ptr;
351
352
353 if( ptr == NULL || heap.buf == NULL || heap.first == NULL )
354 return;
355
356 if( p < heap.buf || p > heap.buf + heap.len )
357 {
358#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200359 fprintf( stderr, "FATAL: polarssl_free() outside of managed space\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200360#endif
Paul Bakker41350a92013-07-03 15:33:47 +0200361 exit( 1 );
Paul Bakker6e339b52013-07-03 13:37:05 +0200362 }
363
364 p -= sizeof(memory_header);
365 hdr = (memory_header *) p;
366
367 if( verify_header( hdr ) != 0 )
368 exit( 1 );
369
370 if( hdr->alloc != 1 )
371 {
372#if defined(POLARSSL_MEMORY_DEBUG)
Paul Bakker41350a92013-07-03 15:33:47 +0200373 fprintf( stderr, "FATAL: polarssl_free() on unallocated data\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200374#endif
Paul Bakker41350a92013-07-03 15:33:47 +0200375 exit( 1 );
Paul Bakker6e339b52013-07-03 13:37:05 +0200376 }
377
378 hdr->alloc = 0;
379
Paul Bakker891998e2013-07-03 14:45:05 +0200380#if defined(POLARSSL_MEMORY_DEBUG)
381 heap.free_count++;
382 heap.total_used -= hdr->size;
383#endif
384
Paul Bakker6e339b52013-07-03 13:37:05 +0200385 // Regroup with block before
386 //
387 if( hdr->prev != NULL && hdr->prev->alloc == 0 )
388 {
Paul Bakker891998e2013-07-03 14:45:05 +0200389#if defined(POLARSSL_MEMORY_DEBUG)
390 heap.header_count--;
391#endif
Paul Bakker6e339b52013-07-03 13:37:05 +0200392 hdr->prev->size += sizeof(memory_header) + hdr->size;
393 hdr->prev->next = hdr->next;
394 old = hdr;
395 hdr = hdr->prev;
396
397 if( hdr->next != NULL )
398 hdr->next->prev = hdr;
399
400#if defined(POLARSSL_MEMORY_BACKTRACE)
401 free( old->trace );
402#endif
403 memset( old, 0, sizeof(memory_header) );
404 }
405
406 // Regroup with block after
407 //
408 if( hdr->next != NULL && hdr->next->alloc == 0 )
409 {
Paul Bakker891998e2013-07-03 14:45:05 +0200410#if defined(POLARSSL_MEMORY_DEBUG)
411 heap.header_count--;
412#endif
Paul Bakker6e339b52013-07-03 13:37:05 +0200413 hdr->size += sizeof(memory_header) + hdr->next->size;
414 old = hdr->next;
415 hdr->next = hdr->next->next;
416
Paul Bakker1ef120f2013-07-03 17:20:39 +0200417 if( hdr->prev_free != NULL || hdr->next_free != NULL )
418 {
419 if( hdr->prev_free != NULL )
420 hdr->prev_free->next_free = hdr->next_free;
421 else
422 heap.first_free = hdr->next_free;
423
424 if( hdr->next_free != NULL )
425 hdr->next_free->prev_free = hdr->prev_free;
426 }
427
428 hdr->prev_free = old->prev_free;
429 hdr->next_free = old->next_free;
430
431 if( hdr->prev_free != NULL )
432 hdr->prev_free->next_free = hdr;
433 else
434 heap.first_free = hdr;
435
436 if( hdr->next_free != NULL )
437 hdr->next_free->prev_free = hdr;
438
Paul Bakker6e339b52013-07-03 13:37:05 +0200439 if( hdr->next != NULL )
440 hdr->next->prev = hdr;
441
442#if defined(POLARSSL_MEMORY_BACKTRACE)
443 free( old->trace );
444#endif
445 memset( old, 0, sizeof(memory_header) );
446 }
447
Paul Bakker1ef120f2013-07-03 17:20:39 +0200448 // Prepend to free_list if we have not merged
449 // (Does not have to stay in same order as prev / next list)
450 //
451 if( old == NULL )
452 {
453 hdr->next_free = heap.first_free;
454 heap.first_free->prev_free = hdr;
455 heap.first_free = hdr;
456 }
457
Paul Bakker6e339b52013-07-03 13:37:05 +0200458#if defined(POLARSSL_MEMORY_BACKTRACE)
459 hdr->trace = NULL;
460 hdr->trace_count = 0;
461#endif
462
463 if( ( heap.verify & MEMORY_VERIFY_FREE ) && verify_chain() != 0 )
464 exit( 1 );
465}
466
467int memory_buffer_alloc_verify()
468{
469 return verify_chain();
470}
471
472#if defined(POLARSSL_MEMORY_DEBUG)
473void memory_buffer_alloc_status()
474{
Paul Bakker41350a92013-07-03 15:33:47 +0200475 fprintf( stderr,
476 "Current use: %u blocks / %u bytes, max: %u bytes, malloc / free: %u / %u\n",
477 heap.header_count, heap.total_used, heap.maximum_used,
478 heap.malloc_count, heap.free_count );
Paul Bakker891998e2013-07-03 14:45:05 +0200479
Paul Bakker6e339b52013-07-03 13:37:05 +0200480 if( heap.first->next == NULL )
Paul Bakker41350a92013-07-03 15:33:47 +0200481 fprintf( stderr, "All memory de-allocated in stack buffer\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200482 else
483 {
Paul Bakker41350a92013-07-03 15:33:47 +0200484 fprintf( stderr, "Memory currently allocated:\n" );
Paul Bakker6e339b52013-07-03 13:37:05 +0200485 debug_chain();
486 }
487}
488#endif /* POLARSSL_MEMORY_BUFFER_ALLOC_DEBUG */
489
490int memory_buffer_alloc_init( unsigned char *buf, size_t len )
491{
492 polarssl_malloc = buffer_alloc_malloc;
493 polarssl_free = buffer_alloc_free;
494
495 memset( &heap, 0, sizeof(buffer_alloc_ctx) );
496 memset( buf, 0, len );
497
498 heap.buf = buf;
499 heap.len = len;
500
501 heap.first = (memory_header *) buf;
502 heap.first->size = len - sizeof(memory_header);
503 heap.first->magic1 = MAGIC1;
504 heap.first->magic2 = MAGIC2;
Paul Bakker1ef120f2013-07-03 17:20:39 +0200505 heap.first_free = heap.first;
Paul Bakker6e339b52013-07-03 13:37:05 +0200506 return( 0 );
507}
508
509#endif /* POLARSSL_MEMORY_C && POLARSSL_MEMORY_BUFFER_ALLOC_C */