mem.c 15.0 KB
Newer Older
1
/*
B
bernard.xiong 已提交
2
 * File      : mem.c
3
 * This file is part of RT-Thread RTOS
D
dzzxzz 已提交
4
 * COPYRIGHT (C) 2008 - 2012, RT-Thread Development Team
5 6 7 8 9 10 11
 *
 * The license and distribution terms for this file may be
 * found in the file LICENSE in this distribution or at
 * http://www.rt-thread.org/license/LICENSE
 *
 * Change Logs:
 * Date           Author       Notes
12 13 14
 * 2008-7-12      Bernard      the first version
 * 2010-06-09     Bernard      fix the end stub of heap
 *                             fix memory check in rt_realloc function
15
 * 2010-07-13     Bernard      fix RT_ALIGN issue found by kuronca
16
 * 2010-10-14     Bernard      fix rt_realloc issue when realloc a NULL pointer.
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
 */

/*
 * Copyright (c) 2001-2004 Swedish Institute of Computer Science.
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without modification,
 * are permitted provided that the following conditions are met:
 *
 * 1. Redistributions of source code must retain the above copyright notice,
 *    this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright notice,
 *    this list of conditions and the following disclaimer in the documentation
 *    and/or other materials provided with the distribution.
 * 3. The name of the author may not be used to endorse or promote products
 *    derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
 * SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT
 * OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
 * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY
 * OF SUCH DAMAGE.
 *
 * This file is part of the lwIP TCP/IP stack.
 *
 * Author: Adam Dunkels <adam@sics.se>
 *         Simon Goldschmidt
 *
 */

52
#include <rthw.h>
53 54 55
#include <rtthread.h>

/* #define RT_MEM_DEBUG */
56
#define RT_MEM_STATS
57 58 59 60 61 62 63 64 65

#if defined (RT_USING_HEAP) && defined (RT_USING_SMALL_MEM)
#ifdef RT_USING_HOOK
static void (*rt_malloc_hook)(void *ptr, rt_size_t size);
static void (*rt_free_hook)(void *ptr);

/**
 * @addtogroup Hook
 */
D
dzzxzz 已提交
66

67 68 69
/*@{*/

/**
B
bernard.xiong 已提交
70
 * This function will set a hook function, which will be invoked when a memory
71
 * block is allocated from heap memory.
B
bernard.xiong 已提交
72
 *
73 74 75 76 77 78 79 80
 * @param hook the hook function
 */
void rt_malloc_sethook(void (*hook)(void *ptr, rt_size_t size))
{
	rt_malloc_hook = hook;
}

/**
B
bernard.xiong 已提交
81
 * This function will set a hook function, which will be invoked when a memory
82
 * block is released to heap memory.
B
bernard.xiong 已提交
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
 * @param hook the hook function
 */
void rt_free_sethook(void (*hook)(void *ptr))
{
	rt_free_hook = hook;
}

/*@}*/

#endif

#define HEAP_MAGIC 0x1ea0
struct heap_mem
{
	/* magic and used flag */
	rt_uint16_t magic;
	rt_uint16_t used;

	rt_size_t next, prev;
};

/** pointer to the heap: for alignment, heap_ptr is now a pointer instead of an array */
static rt_uint8_t *heap_ptr;

/** the last entry, always unused! */
static struct heap_mem *heap_end;

#define MIN_SIZE 12
#define MIN_SIZE_ALIGNED     RT_ALIGN(MIN_SIZE, RT_ALIGN_SIZE)
#define SIZEOF_STRUCT_MEM    RT_ALIGN(sizeof(struct heap_mem), RT_ALIGN_SIZE)

static struct heap_mem *lfree;   /* pointer to the lowest free block */

static struct rt_semaphore heap_sem;
B
bernard.xiong 已提交
118 119
static rt_size_t mem_size_aligned;

120
#ifdef RT_MEM_STATS
B
bernard.xiong 已提交
121 122
static rt_size_t used_mem, max_mem;
#endif
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

static void plug_holes(struct heap_mem *mem)
{
	struct heap_mem *nmem;
	struct heap_mem *pmem;

	RT_ASSERT((rt_uint8_t *)mem >= heap_ptr);
	RT_ASSERT((rt_uint8_t *)mem < (rt_uint8_t *)heap_end);
	RT_ASSERT(mem->used == 0);

	/* plug hole forward */
	nmem = (struct heap_mem *)&heap_ptr[mem->next];
	if (mem != nmem && nmem->used == 0 && (rt_uint8_t *)nmem != (rt_uint8_t *)heap_end)
	{
		/* if mem->next is unused and not end of heap_ptr, combine mem and mem->next */
		if (lfree == nmem)
		{
			lfree = mem;
		}
		mem->next = nmem->next;
		((struct heap_mem *)&heap_ptr[nmem->next])->prev = (rt_uint8_t *)mem - heap_ptr;
	}

	/* plug hole backward */
	pmem = (struct heap_mem *)&heap_ptr[mem->prev];
	if (pmem != mem && pmem->used == 0)
	{
		/* if mem->prev is unused, combine mem and mem->prev */
		if (lfree == mem)
		{
			lfree = pmem;
		}
		pmem->next = mem->next;
		((struct heap_mem *)&heap_ptr[mem->next])->prev = (rt_uint8_t *)pmem - heap_ptr;
	}
}

/**
 * @ingroup SystemInit
 *
 * This function will init system heap
 *
 * @param begin_addr the beginning address of system page
 * @param end_addr the end address of system page
 */
D
dzzxzz 已提交
168
void rt_system_heap_init(void *begin_addr, void *end_addr)
169 170
{
	struct heap_mem *mem;
171 172
	rt_uint32_t begin_align = RT_ALIGN((rt_uint32_t)begin_addr, RT_ALIGN_SIZE);
	rt_uint32_t end_align = RT_ALIGN_DOWN((rt_uint32_t)end_addr, RT_ALIGN_SIZE);
173

174
	RT_DEBUG_NOT_IN_INTERRUPT;
175

176
	/* alignment addr */
D
dzzxzz 已提交
177 178 179 180
	if ((end_align > (2 * SIZEOF_STRUCT_MEM)) &&
		((end_align - 2 * SIZEOF_STRUCT_MEM) >= begin_align))
	{
		/* calculate the aligned memory size */
181 182
		mem_size_aligned = end_align - begin_align - 2 * SIZEOF_STRUCT_MEM;
	}
D
dzzxzz 已提交
183 184
	else
	{
185
		rt_kprintf("mem init, error begin address 0x%x, and end address 0x%x\n", (rt_uint32_t)begin_addr, (rt_uint32_t)end_addr);
D
dzzxzz 已提交
186
		
187 188
		return;
	}
189 190

	/* point to begin address of heap */
191
	heap_ptr = (rt_uint8_t *)begin_align;
192

193 194
	RT_DEBUG_LOG(RT_DEBUG_MEM,
		("mem init, heap begin address 0x%x, size %d\n", (rt_uint32_t)heap_ptr, mem_size_aligned));
195 196 197 198

	/* initialize the start of the heap */
	mem = (struct heap_mem *)heap_ptr;
	mem->magic= HEAP_MAGIC;
199
	mem->next = mem_size_aligned + SIZEOF_STRUCT_MEM;
200 201 202 203
	mem->prev = 0;
	mem->used = 0;

	/* initialize the end of the heap */
204
	heap_end = (struct heap_mem *)&heap_ptr[mem->next];
205 206
	heap_end->magic= HEAP_MAGIC;
	heap_end->used = 1;
207 208
	heap_end->next = mem_size_aligned + SIZEOF_STRUCT_MEM;
	heap_end->prev = mem_size_aligned + SIZEOF_STRUCT_MEM;
209 210 211 212

	rt_sem_init(&heap_sem, "heap", 1, RT_IPC_FLAG_FIFO);

	/* initialize the lowest-free pointer to the start of the heap */
B
bernard.xiong 已提交
213
	lfree = (struct heap_mem *)heap_ptr;
214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233
}

/**
 * @addtogroup MM
 */

/*@{*/

/**
 * Allocate a block of memory with a minimum of 'size' bytes.
 *
 * @param size is the minimum size of the requested block in bytes.
 *
 * @return pointer to allocated memory or NULL if no free memory was found.
 */
void *rt_malloc(rt_size_t size)
{
	rt_size_t ptr, ptr2;
	struct heap_mem *mem, *mem2;

234
	RT_DEBUG_NOT_IN_INTERRUPT;
235

D
dzzxzz 已提交
236 237
	if (size == 0)
		return RT_NULL;
238

B
bernard.xiong@gmail.com 已提交
239
	if (size != RT_ALIGN(size, RT_ALIGN_SIZE))
240
		RT_DEBUG_LOG(RT_DEBUG_MEM, ("malloc size %d, but align to %d\n", size, RT_ALIGN(size, RT_ALIGN_SIZE)));
241
	else
242
		RT_DEBUG_LOG(RT_DEBUG_MEM, ("malloc size %d\n", size));
243 244 245 246 247 248

	/* alignment size */
	size = RT_ALIGN(size, RT_ALIGN_SIZE);

	if (size > mem_size_aligned)
	{
D
dzzxzz 已提交
249
		RT_DEBUG_LOG(RT_DEBUG_MEM, ("no memory\n"));
250

251 252 253 254
		return RT_NULL;
	}

	/* every data block must be at least MIN_SIZE_ALIGNED long */
D
dzzxzz 已提交
255 256
	if (size < MIN_SIZE_ALIGNED)
		size = MIN_SIZE_ALIGNED;
257 258 259 260

	/* take memory semaphore */
	rt_sem_take(&heap_sem, RT_WAITING_FOREVER);

B
bernard.xiong 已提交
261
	for (ptr = (rt_uint8_t *)lfree - heap_ptr; ptr < mem_size_aligned - size;
262 263 264 265
		ptr = ((struct heap_mem *)&heap_ptr[ptr])->next)
	{
		mem = (struct heap_mem *)&heap_ptr[ptr];

D
dzzxzz 已提交
266
		if ((!mem->used) && (mem->next - (ptr + SIZEOF_STRUCT_MEM)) >= size)
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
		{
			/* mem is not used and at least perfect fit is possible:
			 * mem->next - (ptr + SIZEOF_STRUCT_MEM) gives us the 'user data size' of mem */

			if (mem->next - (ptr + SIZEOF_STRUCT_MEM) >= (size + SIZEOF_STRUCT_MEM + MIN_SIZE_ALIGNED))
			{
				/* (in addition to the above, we test if another struct heap_mem (SIZEOF_STRUCT_MEM) containing
				 * at least MIN_SIZE_ALIGNED of data also fits in the 'user data space' of 'mem')
				 * -> split large block, create empty remainder,
				 * remainder must be large enough to contain MIN_SIZE_ALIGNED data: if
				 * mem->next - (ptr + (2*SIZEOF_STRUCT_MEM)) == size,
				 * struct heap_mem would fit in but no data between mem2 and mem2->next
				 * @todo we could leave out MIN_SIZE_ALIGNED. We would create an empty
				 *       region that couldn't hold data, but when mem->next gets freed,
				 *       the 2 regions would be combined, resulting in more free memory
				 */
				ptr2 = ptr + SIZEOF_STRUCT_MEM + size;

				/* create mem2 struct */
				mem2 = (struct heap_mem *)&heap_ptr[ptr2];
				mem2->used = 0;
				mem2->next = mem->next;
				mem2->prev = ptr;

				/* and insert it between mem and mem->next */
				mem->next = ptr2;
				mem->used = 1;

295
				if (mem2->next != mem_size_aligned + SIZEOF_STRUCT_MEM)
296 297
				{
					((struct heap_mem *)&heap_ptr[mem2->next])->prev = ptr2;
B
bernard.xiong 已提交
298 299 300
				}
#ifdef RT_MEM_STATS
				used_mem += (size + SIZEOF_STRUCT_MEM);
D
dzzxzz 已提交
301 302
				if (max_mem < used_mem)
					max_mem = used_mem;
303 304 305 306 307 308 309 310 311 312 313
#endif
			}
			else
			{
				/* (a mem2 struct does no fit into the user data space of mem and mem->next will always
				 * be used at this point: if not we have 2 unused structs in a row, plug_holes should have
				 * take care of this).
				 * -> near fit or excact fit: do not split, no mem2 creation
				 * also can't move mem->next directly behind mem, since mem->next
				 * will always be used at this point!
				 */
B
bernard.xiong 已提交
314 315 316
				mem->used = 1;
#ifdef RT_MEM_STATS
				used_mem += mem->next - ((rt_uint8_t*)mem - heap_ptr);
D
dzzxzz 已提交
317 318
				if (max_mem < used_mem)
					max_mem = used_mem;
319 320
#endif
			}
321 322
			/* set memory block magic */
			mem->magic = HEAP_MAGIC;
323 324 325 326

			if (mem == lfree)
			{
				/* Find next free block after mem and update lowest free pointer */
D
dzzxzz 已提交
327 328
				while (lfree->used && lfree != heap_end)
					lfree = (struct heap_mem *)&heap_ptr[lfree->next];
329 330 331 332 333 334 335 336 337

				RT_ASSERT(((lfree == heap_end) || (!lfree->used)));
			}

			rt_sem_release(&heap_sem);
			RT_ASSERT((rt_uint32_t)mem + SIZEOF_STRUCT_MEM + size <= (rt_uint32_t)heap_end);
 			RT_ASSERT((rt_uint32_t)((rt_uint8_t *)mem + SIZEOF_STRUCT_MEM) % RT_ALIGN_SIZE == 0);
			RT_ASSERT((((rt_uint32_t)mem) & (RT_ALIGN_SIZE-1)) == 0);

D
dzzxzz 已提交
338 339 340
			RT_DEBUG_LOG(RT_DEBUG_MEM, ("allocate memory at 0x%x, size: %d\n", 
				(rt_uint32_t)((rt_uint8_t *)mem + SIZEOF_STRUCT_MEM),
				(rt_uint32_t)(mem->next - ((rt_uint8_t *)mem - heap_ptr))));
341

342
			RT_OBJECT_HOOK_CALL(rt_malloc_hook, (((void*)((rt_uint8_t *)mem + SIZEOF_STRUCT_MEM)), size));
D
dzzxzz 已提交
343
			
344 345 346 347 348 349
			/* return the memory data except mem struct */
			return (rt_uint8_t *)mem + SIZEOF_STRUCT_MEM;
		}
	}

	rt_sem_release(&heap_sem);
D
dzzxzz 已提交
350
	
351 352 353 354 355 356 357 358
	return RT_NULL;
}

/**
 * This function will change the previously allocated memory block.
 *
 * @param rmem pointer to memory allocated by rt_malloc
 * @param newsize the required new size
B
bernard.xiong 已提交
359
 *
360 361 362 363 364 365 366
 * @return the changed memory block address
 */
void *rt_realloc(void *rmem, rt_size_t newsize)
{
	rt_size_t size;
	rt_size_t ptr, ptr2;
	struct heap_mem *mem, *mem2;
D
dzzxzz 已提交
367
	void *nmem;
368

369
	RT_DEBUG_NOT_IN_INTERRUPT;
370

371 372 373 374
	/* alignment size */
	newsize = RT_ALIGN(newsize, RT_ALIGN_SIZE);
	if (newsize > mem_size_aligned)
	{
D
dzzxzz 已提交
375
		RT_DEBUG_LOG(RT_DEBUG_MEM, ("realloc: out of memory\n"));
376

377 378 379
		return RT_NULL;
	}

380 381 382 383
	/* allocate a new memory block */
	if (rmem == RT_NULL)
		return rt_malloc(newsize);

384 385
	rt_sem_take(&heap_sem, RT_WAITING_FOREVER);

B
bernard.xiong 已提交
386
	if ((rt_uint8_t *)rmem < (rt_uint8_t *)heap_ptr ||
387 388 389 390
		(rt_uint8_t *)rmem >= (rt_uint8_t *)heap_end)
	{
		/* illegal memory */
		rt_sem_release(&heap_sem);
D
dzzxzz 已提交
391

392 393 394 395 396 397 398
		return rmem;
	}

	mem = (struct heap_mem *)((rt_uint8_t *)rmem - SIZEOF_STRUCT_MEM);

	ptr = (rt_uint8_t *)mem - heap_ptr;
	size = mem->next - ptr - SIZEOF_STRUCT_MEM;
399 400 401 402
	if (size == newsize)
	{
		/* the size is the same as */
		rt_sem_release(&heap_sem);
D
dzzxzz 已提交
403

404 405
		return rmem;
	}
406 407

	if (newsize + SIZEOF_STRUCT_MEM + MIN_SIZE < size)
B
bernard.xiong 已提交
408
	{
409
		/* split memory block */
410
#ifdef RT_MEM_STATS
B
bernard.xiong 已提交
411
  		used_mem -= (size - newsize);
412
#endif
413 414 415 416 417 418 419 420

		ptr2 = ptr + SIZEOF_STRUCT_MEM + newsize;
		mem2 = (struct heap_mem *)&heap_ptr[ptr2];
		mem2->magic= HEAP_MAGIC;
		mem2->used = 0;
		mem2->next = mem->next;
		mem2->prev = ptr;
		mem->next = ptr2;
421
		if (mem2->next != mem_size_aligned + SIZEOF_STRUCT_MEM)
422 423 424 425 426 427 428
		{
			((struct heap_mem *)&heap_ptr[mem2->next])->prev = ptr2;
		}

		plug_holes(mem2);

		rt_sem_release(&heap_sem);
D
dzzxzz 已提交
429

430 431 432 433 434
		return rmem;
	}
	rt_sem_release(&heap_sem);

	/* expand memory */
B
bernard.xiong 已提交
435
	nmem = rt_malloc(newsize);
436 437 438 439 440
	if (nmem != RT_NULL) /* check memory */
	{
		rt_memcpy(nmem, rmem, size < newsize ? size : newsize);	
		rt_free(rmem);
	}
441

B
bernard.xiong 已提交
442
	return nmem;
443 444 445
}

/**
B
bernard.xiong 已提交
446 447
 * This function will contiguously allocate enough space for count objects
 * that are size bytes of memory each and returns a pointer to the allocated
448 449 450 451 452 453 454 455 456 457 458 459 460
 * memory.
 *
 * The allocated memory is filled with bytes of value zero.
 *
 * @param count number of objects to allocate
 * @param size size of the objects to allocate
 *
 * @return pointer to allocated memory / NULL pointer if there is an error
 */
void *rt_calloc(rt_size_t count, rt_size_t size)
{
	void *p;

461
	RT_DEBUG_NOT_IN_INTERRUPT;
462

463 464 465 466
	/* allocate 'count' objects of size 'size' */
	p = rt_malloc(count * size);

	/* zero the memory */
D
dzzxzz 已提交
467 468
	if (p)
		rt_memset(p, 0, count * size);
469 470 471 472 473

	return p;
}

/**
B
bernard.xiong 已提交
474
 * This function will release the previously allocated memory block by rt_malloc.
475 476 477 478 479 480 481 482
 * The released memory block is taken back to system heap.
 *
 * @param rmem the address of memory which will be released
 */
void rt_free(void *rmem)
{
	struct heap_mem *mem;

483
	RT_DEBUG_NOT_IN_INTERRUPT;
484

D
dzzxzz 已提交
485 486
	if (rmem == RT_NULL)
		return;
487
	RT_ASSERT((((rt_uint32_t)rmem) & (RT_ALIGN_SIZE-1)) == 0);
B
bernard.xiong 已提交
488
	RT_ASSERT((rt_uint8_t *)rmem >= (rt_uint8_t *)heap_ptr &&
489
			  (rt_uint8_t *)rmem < (rt_uint8_t *)heap_end);
490

491
	RT_OBJECT_HOOK_CALL(rt_free_hook, (rmem));
492 493 494

	if ((rt_uint8_t *)rmem < (rt_uint8_t *)heap_ptr || (rt_uint8_t *)rmem >= (rt_uint8_t *)heap_end)
	{
D
dzzxzz 已提交
495
		RT_DEBUG_LOG(RT_DEBUG_MEM, ("illegal memory\n"));
496

497 498 499 500 501
		return;
	}

	/* Get the corresponding struct heap_mem ... */
	mem = (struct heap_mem *)((rt_uint8_t *)rmem - SIZEOF_STRUCT_MEM);
B
bernard.xiong 已提交
502

D
dzzxzz 已提交
503
	RT_DEBUG_LOG(RT_DEBUG_MEM, ("release memory 0x%x, size: %d\n", 
504
		(rt_uint32_t)rmem, 
D
dzzxzz 已提交
505
		(rt_uint32_t)(mem->next - ((rt_uint8_t *)mem - heap_ptr))));
506

B
bernard.xiong 已提交
507 508 509 510

	/* protect the heap from concurrent access */
	rt_sem_take(&heap_sem, RT_WAITING_FOREVER);

511
	/* ... which has to be in a used state ... */
512
	RT_ASSERT(mem->used);
513
	RT_ASSERT(mem->magic == HEAP_MAGIC);
514
	/* ... and is now unused. */
515
	mem->used = 0;
B
bernard.xiong 已提交
516
	mem->magic = 0;
517 518 519 520 521

	if (mem < lfree)
	{
		/* the newly freed struct is now the lowest */
		lfree = mem;
B
bernard.xiong 已提交
522
	}
523

B
bernard.xiong 已提交
524 525 526
#ifdef RT_MEM_STATS
	used_mem -= (mem->next - ((rt_uint8_t*)mem - heap_ptr));
#endif
527 528 529 530

	/* finally, see if prev or next are free also */
	plug_holes(mem);
	rt_sem_release(&heap_sem);
B
bernard.xiong 已提交
531
}
532

533
#ifdef RT_MEM_STATS
D
dzzxzz 已提交
534
void rt_memory_info(rt_uint32_t *total, rt_uint32_t *used, rt_uint32_t *max_used)
535 536 537 538 539
{
	if (total != RT_NULL) *total = mem_size_aligned;
	if (used  != RT_NULL) *used = used_mem;
	if (max_used != RT_NULL) *max_used = max_mem;
}
B
bernard.xiong 已提交
540

541 542
#ifdef RT_USING_FINSH
#include <finsh.h>
D
dzzxzz 已提交
543
void list_mem(void)
544 545 546 547 548 549 550
{
	rt_kprintf("total memory: %d\n", mem_size_aligned);
	rt_kprintf("used memory : %d\n", used_mem);
	rt_kprintf("maximum allocated memory: %d\n", max_mem);
}
FINSH_FUNCTION_EXPORT(list_mem, list memory usage information)
#endif
B
bernard.xiong 已提交
551
#endif
552 553 554 555

/*@}*/

#endif