xref: /minix/minix/lib/liblwip/dist/src/core/mem.c (revision 5d5fbe79)
1*5d5fbe79SDavid van Moolenbroek /**
2*5d5fbe79SDavid van Moolenbroek  * @file
3*5d5fbe79SDavid van Moolenbroek  * Dynamic memory manager
4*5d5fbe79SDavid van Moolenbroek  *
5*5d5fbe79SDavid van Moolenbroek  * This is a lightweight replacement for the standard C library malloc().
6*5d5fbe79SDavid van Moolenbroek  *
7*5d5fbe79SDavid van Moolenbroek  * If you want to use the standard C library malloc() instead, define
8*5d5fbe79SDavid van Moolenbroek  * MEM_LIBC_MALLOC to 1 in your lwipopts.h
9*5d5fbe79SDavid van Moolenbroek  *
10*5d5fbe79SDavid van Moolenbroek  * To let mem_malloc() use pools (prevents fragmentation and is much faster than
11*5d5fbe79SDavid van Moolenbroek  * a heap but might waste some memory), define MEM_USE_POOLS to 1, define
12*5d5fbe79SDavid van Moolenbroek  * MEMP_USE_CUSTOM_POOLS to 1 and create a file "lwippools.h" that includes a list
13*5d5fbe79SDavid van Moolenbroek  * of pools like this (more pools can be added between _START and _END):
14*5d5fbe79SDavid van Moolenbroek  *
15*5d5fbe79SDavid van Moolenbroek  * Define three pools with sizes 256, 512, and 1512 bytes
16*5d5fbe79SDavid van Moolenbroek  * LWIP_MALLOC_MEMPOOL_START
17*5d5fbe79SDavid van Moolenbroek  * LWIP_MALLOC_MEMPOOL(20, 256)
18*5d5fbe79SDavid van Moolenbroek  * LWIP_MALLOC_MEMPOOL(10, 512)
19*5d5fbe79SDavid van Moolenbroek  * LWIP_MALLOC_MEMPOOL(5, 1512)
20*5d5fbe79SDavid van Moolenbroek  * LWIP_MALLOC_MEMPOOL_END
21*5d5fbe79SDavid van Moolenbroek  */
22*5d5fbe79SDavid van Moolenbroek 
23*5d5fbe79SDavid van Moolenbroek /*
24*5d5fbe79SDavid van Moolenbroek  * Copyright (c) 2001-2004 Swedish Institute of Computer Science.
25*5d5fbe79SDavid van Moolenbroek  * All rights reserved.
26*5d5fbe79SDavid van Moolenbroek  *
27*5d5fbe79SDavid van Moolenbroek  * Redistribution and use in source and binary forms, with or without modification,
28*5d5fbe79SDavid van Moolenbroek  * are permitted provided that the following conditions are met:
29*5d5fbe79SDavid van Moolenbroek  *
30*5d5fbe79SDavid van Moolenbroek  * 1. Redistributions of source code must retain the above copyright notice,
31*5d5fbe79SDavid van Moolenbroek  *    this list of conditions and the following disclaimer.
32*5d5fbe79SDavid van Moolenbroek  * 2. Redistributions in binary form must reproduce the above copyright notice,
33*5d5fbe79SDavid van Moolenbroek  *    this list of conditions and the following disclaimer in the documentation
34*5d5fbe79SDavid van Moolenbroek  *    and/or other materials provided with the distribution.
35*5d5fbe79SDavid van Moolenbroek  * 3. The name of the author may not be used to endorse or promote products
36*5d5fbe79SDavid van Moolenbroek  *    derived from this software without specific prior written permission.
37*5d5fbe79SDavid van Moolenbroek  *
38*5d5fbe79SDavid van Moolenbroek  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
39*5d5fbe79SDavid van Moolenbroek  * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
40*5d5fbe79SDavid van Moolenbroek  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
41*5d5fbe79SDavid van Moolenbroek  * SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
42*5d5fbe79SDavid van Moolenbroek  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT
43*5d5fbe79SDavid van Moolenbroek  * OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
44*5d5fbe79SDavid van Moolenbroek  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
45*5d5fbe79SDavid van Moolenbroek  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
46*5d5fbe79SDavid van Moolenbroek  * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY
47*5d5fbe79SDavid van Moolenbroek  * OF SUCH DAMAGE.
48*5d5fbe79SDavid van Moolenbroek  *
49*5d5fbe79SDavid van Moolenbroek  * This file is part of the lwIP TCP/IP stack.
50*5d5fbe79SDavid van Moolenbroek  *
51*5d5fbe79SDavid van Moolenbroek  * Author: Adam Dunkels <adam@sics.se>
52*5d5fbe79SDavid van Moolenbroek  *         Simon Goldschmidt
53*5d5fbe79SDavid van Moolenbroek  *
54*5d5fbe79SDavid van Moolenbroek  */
55*5d5fbe79SDavid van Moolenbroek 
56*5d5fbe79SDavid van Moolenbroek #include "lwip/opt.h"
57*5d5fbe79SDavid van Moolenbroek #include "lwip/mem.h"
58*5d5fbe79SDavid van Moolenbroek #include "lwip/def.h"
59*5d5fbe79SDavid van Moolenbroek #include "lwip/sys.h"
60*5d5fbe79SDavid van Moolenbroek #include "lwip/stats.h"
61*5d5fbe79SDavid van Moolenbroek #include "lwip/err.h"
62*5d5fbe79SDavid van Moolenbroek 
63*5d5fbe79SDavid van Moolenbroek #include <string.h>
64*5d5fbe79SDavid van Moolenbroek 
65*5d5fbe79SDavid van Moolenbroek #if MEM_LIBC_MALLOC
66*5d5fbe79SDavid van Moolenbroek #include <stdlib.h> /* for malloc()/free() */
67*5d5fbe79SDavid van Moolenbroek #endif
68*5d5fbe79SDavid van Moolenbroek 
69*5d5fbe79SDavid van Moolenbroek #if MEM_LIBC_MALLOC || MEM_USE_POOLS
70*5d5fbe79SDavid van Moolenbroek 
71*5d5fbe79SDavid van Moolenbroek /** mem_init is not used when using pools instead of a heap or using
72*5d5fbe79SDavid van Moolenbroek  * C library malloc().
73*5d5fbe79SDavid van Moolenbroek  */
74*5d5fbe79SDavid van Moolenbroek void
mem_init(void)75*5d5fbe79SDavid van Moolenbroek mem_init(void)
76*5d5fbe79SDavid van Moolenbroek {
77*5d5fbe79SDavid van Moolenbroek }
78*5d5fbe79SDavid van Moolenbroek 
79*5d5fbe79SDavid van Moolenbroek /** mem_trim is not used when using pools instead of a heap or using
80*5d5fbe79SDavid van Moolenbroek  * C library malloc(): we can't free part of a pool element and the stack
81*5d5fbe79SDavid van Moolenbroek  * support mem_trim() to return a different pointer
82*5d5fbe79SDavid van Moolenbroek  */
83*5d5fbe79SDavid van Moolenbroek void*
mem_trim(void * mem,mem_size_t size)84*5d5fbe79SDavid van Moolenbroek mem_trim(void *mem, mem_size_t size)
85*5d5fbe79SDavid van Moolenbroek {
86*5d5fbe79SDavid van Moolenbroek   LWIP_UNUSED_ARG(size);
87*5d5fbe79SDavid van Moolenbroek   return mem;
88*5d5fbe79SDavid van Moolenbroek }
89*5d5fbe79SDavid van Moolenbroek #endif /* MEM_LIBC_MALLOC || MEM_USE_POOLS */
90*5d5fbe79SDavid van Moolenbroek 
91*5d5fbe79SDavid van Moolenbroek #if MEM_LIBC_MALLOC
92*5d5fbe79SDavid van Moolenbroek /* lwIP heap implemented using C library malloc() */
93*5d5fbe79SDavid van Moolenbroek 
94*5d5fbe79SDavid van Moolenbroek /* in case C library malloc() needs extra protection,
95*5d5fbe79SDavid van Moolenbroek  * allow these defines to be overridden.
96*5d5fbe79SDavid van Moolenbroek  */
97*5d5fbe79SDavid van Moolenbroek #ifndef mem_clib_free
98*5d5fbe79SDavid van Moolenbroek #define mem_clib_free free
99*5d5fbe79SDavid van Moolenbroek #endif
100*5d5fbe79SDavid van Moolenbroek #ifndef mem_clib_malloc
101*5d5fbe79SDavid van Moolenbroek #define mem_clib_malloc malloc
102*5d5fbe79SDavid van Moolenbroek #endif
103*5d5fbe79SDavid van Moolenbroek #ifndef mem_clib_calloc
104*5d5fbe79SDavid van Moolenbroek #define mem_clib_calloc calloc
105*5d5fbe79SDavid van Moolenbroek #endif
106*5d5fbe79SDavid van Moolenbroek 
107*5d5fbe79SDavid van Moolenbroek #if LWIP_STATS && MEM_STATS
108*5d5fbe79SDavid van Moolenbroek #define MEM_LIBC_STATSHELPER_SIZE LWIP_MEM_ALIGN_SIZE(sizeof(mem_size_t))
109*5d5fbe79SDavid van Moolenbroek #else
110*5d5fbe79SDavid van Moolenbroek #define MEM_LIBC_STATSHELPER_SIZE 0
111*5d5fbe79SDavid van Moolenbroek #endif
112*5d5fbe79SDavid van Moolenbroek 
113*5d5fbe79SDavid van Moolenbroek /**
114*5d5fbe79SDavid van Moolenbroek  * Allocate a block of memory with a minimum of 'size' bytes.
115*5d5fbe79SDavid van Moolenbroek  *
116*5d5fbe79SDavid van Moolenbroek  * @param size is the minimum size of the requested block in bytes.
117*5d5fbe79SDavid van Moolenbroek  * @return pointer to allocated memory or NULL if no free memory was found.
118*5d5fbe79SDavid van Moolenbroek  *
119*5d5fbe79SDavid van Moolenbroek  * Note that the returned value must always be aligned (as defined by MEM_ALIGNMENT).
120*5d5fbe79SDavid van Moolenbroek  */
121*5d5fbe79SDavid van Moolenbroek void *
mem_malloc(mem_size_t size)122*5d5fbe79SDavid van Moolenbroek mem_malloc(mem_size_t size)
123*5d5fbe79SDavid van Moolenbroek {
124*5d5fbe79SDavid van Moolenbroek   void* ret = mem_clib_malloc(size + MEM_LIBC_STATSHELPER_SIZE);
125*5d5fbe79SDavid van Moolenbroek   if (ret == NULL) {
126*5d5fbe79SDavid van Moolenbroek     MEM_STATS_INC(err);
127*5d5fbe79SDavid van Moolenbroek   } else {
128*5d5fbe79SDavid van Moolenbroek     LWIP_ASSERT("malloc() must return aligned memory", LWIP_MEM_ALIGN(ret) == ret);
129*5d5fbe79SDavid van Moolenbroek #if LWIP_STATS && MEM_STATS
130*5d5fbe79SDavid van Moolenbroek     *(mem_size_t*)ret = size;
131*5d5fbe79SDavid van Moolenbroek     ret = (u8_t*)ret + MEM_LIBC_STATSHELPER_SIZE;
132*5d5fbe79SDavid van Moolenbroek     MEM_STATS_INC_USED(used, size);
133*5d5fbe79SDavid van Moolenbroek #endif
134*5d5fbe79SDavid van Moolenbroek   }
135*5d5fbe79SDavid van Moolenbroek   return ret;
136*5d5fbe79SDavid van Moolenbroek }
137*5d5fbe79SDavid van Moolenbroek 
138*5d5fbe79SDavid van Moolenbroek /** Put memory back on the heap
139*5d5fbe79SDavid van Moolenbroek  *
140*5d5fbe79SDavid van Moolenbroek  * @param rmem is the pointer as returned by a previous call to mem_malloc()
141*5d5fbe79SDavid van Moolenbroek  */
142*5d5fbe79SDavid van Moolenbroek void
mem_free(void * rmem)143*5d5fbe79SDavid van Moolenbroek mem_free(void *rmem)
144*5d5fbe79SDavid van Moolenbroek {
145*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("rmem != NULL", (rmem != NULL));
146*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("rmem == MEM_ALIGN(rmem)", (rmem == LWIP_MEM_ALIGN(rmem)));
147*5d5fbe79SDavid van Moolenbroek #if LWIP_STATS && MEM_STATS
148*5d5fbe79SDavid van Moolenbroek   rmem = (u8_t*)rmem - MEM_LIBC_STATSHELPER_SIZE;
149*5d5fbe79SDavid van Moolenbroek   MEM_STATS_DEC_USED(used, *(mem_size_t*)rmem);
150*5d5fbe79SDavid van Moolenbroek #endif
151*5d5fbe79SDavid van Moolenbroek   mem_clib_free(rmem);
152*5d5fbe79SDavid van Moolenbroek }
153*5d5fbe79SDavid van Moolenbroek 
154*5d5fbe79SDavid van Moolenbroek #elif MEM_USE_POOLS
155*5d5fbe79SDavid van Moolenbroek 
156*5d5fbe79SDavid van Moolenbroek /* lwIP heap implemented with different sized pools */
157*5d5fbe79SDavid van Moolenbroek 
158*5d5fbe79SDavid van Moolenbroek /**
159*5d5fbe79SDavid van Moolenbroek  * Allocate memory: determine the smallest pool that is big enough
160*5d5fbe79SDavid van Moolenbroek  * to contain an element of 'size' and get an element from that pool.
161*5d5fbe79SDavid van Moolenbroek  *
162*5d5fbe79SDavid van Moolenbroek  * @param size the size in bytes of the memory needed
163*5d5fbe79SDavid van Moolenbroek  * @return a pointer to the allocated memory or NULL if the pool is empty
164*5d5fbe79SDavid van Moolenbroek  */
165*5d5fbe79SDavid van Moolenbroek void *
mem_malloc(mem_size_t size)166*5d5fbe79SDavid van Moolenbroek mem_malloc(mem_size_t size)
167*5d5fbe79SDavid van Moolenbroek {
168*5d5fbe79SDavid van Moolenbroek   void *ret;
169*5d5fbe79SDavid van Moolenbroek   struct memp_malloc_helper *element = NULL;
170*5d5fbe79SDavid van Moolenbroek   memp_t poolnr;
171*5d5fbe79SDavid van Moolenbroek   mem_size_t required_size = size + LWIP_MEM_ALIGN_SIZE(sizeof(struct memp_malloc_helper));
172*5d5fbe79SDavid van Moolenbroek 
173*5d5fbe79SDavid van Moolenbroek   for (poolnr = MEMP_POOL_FIRST; poolnr <= MEMP_POOL_LAST; poolnr = (memp_t)(poolnr + 1)) {
174*5d5fbe79SDavid van Moolenbroek     /* is this pool big enough to hold an element of the required size
175*5d5fbe79SDavid van Moolenbroek        plus a struct memp_malloc_helper that saves the pool this element came from? */
176*5d5fbe79SDavid van Moolenbroek     if (required_size <= memp_pools[poolnr]->size) {
177*5d5fbe79SDavid van Moolenbroek       element = (struct memp_malloc_helper*)memp_malloc(poolnr);
178*5d5fbe79SDavid van Moolenbroek       if (element == NULL) {
179*5d5fbe79SDavid van Moolenbroek         /* No need to DEBUGF or ASSERT: This error is already taken care of in memp.c */
180*5d5fbe79SDavid van Moolenbroek #if MEM_USE_POOLS_TRY_BIGGER_POOL
181*5d5fbe79SDavid van Moolenbroek         /** Try a bigger pool if this one is empty! */
182*5d5fbe79SDavid van Moolenbroek         if (poolnr < MEMP_POOL_LAST) {
183*5d5fbe79SDavid van Moolenbroek           continue;
184*5d5fbe79SDavid van Moolenbroek         }
185*5d5fbe79SDavid van Moolenbroek #endif /* MEM_USE_POOLS_TRY_BIGGER_POOL */
186*5d5fbe79SDavid van Moolenbroek         MEM_STATS_INC(err);
187*5d5fbe79SDavid van Moolenbroek         return NULL;
188*5d5fbe79SDavid van Moolenbroek       }
189*5d5fbe79SDavid van Moolenbroek       break;
190*5d5fbe79SDavid van Moolenbroek     }
191*5d5fbe79SDavid van Moolenbroek   }
192*5d5fbe79SDavid van Moolenbroek   if (poolnr > MEMP_POOL_LAST) {
193*5d5fbe79SDavid van Moolenbroek     LWIP_ASSERT("mem_malloc(): no pool is that big!", 0);
194*5d5fbe79SDavid van Moolenbroek     MEM_STATS_INC(err);
195*5d5fbe79SDavid van Moolenbroek     return NULL;
196*5d5fbe79SDavid van Moolenbroek   }
197*5d5fbe79SDavid van Moolenbroek 
198*5d5fbe79SDavid van Moolenbroek   /* save the pool number this element came from */
199*5d5fbe79SDavid van Moolenbroek   element->poolnr = poolnr;
200*5d5fbe79SDavid van Moolenbroek   /* and return a pointer to the memory directly after the struct memp_malloc_helper */
201*5d5fbe79SDavid van Moolenbroek   ret = (u8_t*)element + LWIP_MEM_ALIGN_SIZE(sizeof(struct memp_malloc_helper));
202*5d5fbe79SDavid van Moolenbroek 
203*5d5fbe79SDavid van Moolenbroek #if MEMP_OVERFLOW_CHECK || (LWIP_STATS && MEM_STATS)
204*5d5fbe79SDavid van Moolenbroek   /* truncating to u16_t is safe because struct memp_desc::size is u16_t */
205*5d5fbe79SDavid van Moolenbroek   element->size = (u16_t)size;
206*5d5fbe79SDavid van Moolenbroek   MEM_STATS_INC_USED(used, element->size);
207*5d5fbe79SDavid van Moolenbroek #endif /* MEMP_OVERFLOW_CHECK || (LWIP_STATS && MEM_STATS) */
208*5d5fbe79SDavid van Moolenbroek #if MEMP_OVERFLOW_CHECK
209*5d5fbe79SDavid van Moolenbroek   /* initialize unused memory (diff between requested size and selected pool's size) */
210*5d5fbe79SDavid van Moolenbroek   memset((u8_t*)ret + size, 0xcd, memp_pools[poolnr]->size - size);
211*5d5fbe79SDavid van Moolenbroek #endif /* MEMP_OVERFLOW_CHECK */
212*5d5fbe79SDavid van Moolenbroek   return ret;
213*5d5fbe79SDavid van Moolenbroek }
214*5d5fbe79SDavid van Moolenbroek 
215*5d5fbe79SDavid van Moolenbroek /**
216*5d5fbe79SDavid van Moolenbroek  * Free memory previously allocated by mem_malloc. Loads the pool number
217*5d5fbe79SDavid van Moolenbroek  * and calls memp_free with that pool number to put the element back into
218*5d5fbe79SDavid van Moolenbroek  * its pool
219*5d5fbe79SDavid van Moolenbroek  *
220*5d5fbe79SDavid van Moolenbroek  * @param rmem the memory element to free
221*5d5fbe79SDavid van Moolenbroek  */
222*5d5fbe79SDavid van Moolenbroek void
mem_free(void * rmem)223*5d5fbe79SDavid van Moolenbroek mem_free(void *rmem)
224*5d5fbe79SDavid van Moolenbroek {
225*5d5fbe79SDavid van Moolenbroek   struct memp_malloc_helper *hmem;
226*5d5fbe79SDavid van Moolenbroek 
227*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("rmem != NULL", (rmem != NULL));
228*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("rmem == MEM_ALIGN(rmem)", (rmem == LWIP_MEM_ALIGN(rmem)));
229*5d5fbe79SDavid van Moolenbroek 
230*5d5fbe79SDavid van Moolenbroek   /* get the original struct memp_malloc_helper */
231*5d5fbe79SDavid van Moolenbroek   /* cast through void* to get rid of alignment warnings */
232*5d5fbe79SDavid van Moolenbroek   hmem = (struct memp_malloc_helper*)(void*)((u8_t*)rmem - LWIP_MEM_ALIGN_SIZE(sizeof(struct memp_malloc_helper)));
233*5d5fbe79SDavid van Moolenbroek 
234*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("hmem != NULL", (hmem != NULL));
235*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("hmem == MEM_ALIGN(hmem)", (hmem == LWIP_MEM_ALIGN(hmem)));
236*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("hmem->poolnr < MEMP_MAX", (hmem->poolnr < MEMP_MAX));
237*5d5fbe79SDavid van Moolenbroek 
238*5d5fbe79SDavid van Moolenbroek   MEM_STATS_DEC_USED(used, hmem->size);
239*5d5fbe79SDavid van Moolenbroek #if MEMP_OVERFLOW_CHECK
240*5d5fbe79SDavid van Moolenbroek   {
241*5d5fbe79SDavid van Moolenbroek      u16_t i;
242*5d5fbe79SDavid van Moolenbroek      LWIP_ASSERT("MEM_USE_POOLS: invalid chunk size",
243*5d5fbe79SDavid van Moolenbroek         hmem->size <= memp_pools[hmem->poolnr]->size);
244*5d5fbe79SDavid van Moolenbroek      /* check that unused memory remained untouched (diff between requested size and selected pool's size) */
245*5d5fbe79SDavid van Moolenbroek      for (i = hmem->size; i < memp_pools[hmem->poolnr]->size; i++) {
246*5d5fbe79SDavid van Moolenbroek         u8_t data = *((u8_t*)rmem + i);
247*5d5fbe79SDavid van Moolenbroek         LWIP_ASSERT("MEM_USE_POOLS: mem overflow detected", data == 0xcd);
248*5d5fbe79SDavid van Moolenbroek      }
249*5d5fbe79SDavid van Moolenbroek   }
250*5d5fbe79SDavid van Moolenbroek #endif /* MEMP_OVERFLOW_CHECK */
251*5d5fbe79SDavid van Moolenbroek 
252*5d5fbe79SDavid van Moolenbroek   /* and put it in the pool we saved earlier */
253*5d5fbe79SDavid van Moolenbroek   memp_free(hmem->poolnr, hmem);
254*5d5fbe79SDavid van Moolenbroek }
255*5d5fbe79SDavid van Moolenbroek 
256*5d5fbe79SDavid van Moolenbroek #else /* MEM_USE_POOLS */
257*5d5fbe79SDavid van Moolenbroek /* lwIP replacement for your libc malloc() */
258*5d5fbe79SDavid van Moolenbroek 
259*5d5fbe79SDavid van Moolenbroek /**
260*5d5fbe79SDavid van Moolenbroek  * The heap is made up as a list of structs of this type.
261*5d5fbe79SDavid van Moolenbroek  * This does not have to be aligned since for getting its size,
262*5d5fbe79SDavid van Moolenbroek  * we only use the macro SIZEOF_STRUCT_MEM, which automatically aligns.
263*5d5fbe79SDavid van Moolenbroek  */
264*5d5fbe79SDavid van Moolenbroek struct mem {
265*5d5fbe79SDavid van Moolenbroek   /** index (-> ram[next]) of the next struct */
266*5d5fbe79SDavid van Moolenbroek   mem_size_t next;
267*5d5fbe79SDavid van Moolenbroek   /** index (-> ram[prev]) of the previous struct */
268*5d5fbe79SDavid van Moolenbroek   mem_size_t prev;
269*5d5fbe79SDavid van Moolenbroek   /** 1: this area is used; 0: this area is unused */
270*5d5fbe79SDavid van Moolenbroek   u8_t used;
271*5d5fbe79SDavid van Moolenbroek };
272*5d5fbe79SDavid van Moolenbroek 
273*5d5fbe79SDavid van Moolenbroek /** All allocated blocks will be MIN_SIZE bytes big, at least!
274*5d5fbe79SDavid van Moolenbroek  * MIN_SIZE can be overridden to suit your needs. Smaller values save space,
275*5d5fbe79SDavid van Moolenbroek  * larger values could prevent too small blocks to fragment the RAM too much. */
276*5d5fbe79SDavid van Moolenbroek #ifndef MIN_SIZE
277*5d5fbe79SDavid van Moolenbroek #define MIN_SIZE             12
278*5d5fbe79SDavid van Moolenbroek #endif /* MIN_SIZE */
279*5d5fbe79SDavid van Moolenbroek /* some alignment macros: we define them here for better source code layout */
280*5d5fbe79SDavid van Moolenbroek #define MIN_SIZE_ALIGNED     LWIP_MEM_ALIGN_SIZE(MIN_SIZE)
281*5d5fbe79SDavid van Moolenbroek #define SIZEOF_STRUCT_MEM    LWIP_MEM_ALIGN_SIZE(sizeof(struct mem))
282*5d5fbe79SDavid van Moolenbroek #define MEM_SIZE_ALIGNED     LWIP_MEM_ALIGN_SIZE(MEM_SIZE)
283*5d5fbe79SDavid van Moolenbroek 
284*5d5fbe79SDavid van Moolenbroek /** If you want to relocate the heap to external memory, simply define
285*5d5fbe79SDavid van Moolenbroek  * LWIP_RAM_HEAP_POINTER as a void-pointer to that location.
286*5d5fbe79SDavid van Moolenbroek  * If so, make sure the memory at that location is big enough (see below on
287*5d5fbe79SDavid van Moolenbroek  * how that space is calculated). */
288*5d5fbe79SDavid van Moolenbroek #ifndef LWIP_RAM_HEAP_POINTER
289*5d5fbe79SDavid van Moolenbroek /** the heap. we need one struct mem at the end and some room for alignment */
290*5d5fbe79SDavid van Moolenbroek LWIP_DECLARE_MEMORY_ALIGNED(ram_heap, MEM_SIZE_ALIGNED + (2U*SIZEOF_STRUCT_MEM));
291*5d5fbe79SDavid van Moolenbroek #define LWIP_RAM_HEAP_POINTER ram_heap
292*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_RAM_HEAP_POINTER */
293*5d5fbe79SDavid van Moolenbroek 
294*5d5fbe79SDavid van Moolenbroek /** pointer to the heap (ram_heap): for alignment, ram is now a pointer instead of an array */
295*5d5fbe79SDavid van Moolenbroek static u8_t *ram;
296*5d5fbe79SDavid van Moolenbroek /** the last entry, always unused! */
297*5d5fbe79SDavid van Moolenbroek static struct mem *ram_end;
298*5d5fbe79SDavid van Moolenbroek /** pointer to the lowest free block, this is used for faster search */
299*5d5fbe79SDavid van Moolenbroek static struct mem *lfree;
300*5d5fbe79SDavid van Moolenbroek 
301*5d5fbe79SDavid van Moolenbroek /** concurrent access protection */
302*5d5fbe79SDavid van Moolenbroek #if !NO_SYS
303*5d5fbe79SDavid van Moolenbroek static sys_mutex_t mem_mutex;
304*5d5fbe79SDavid van Moolenbroek #endif
305*5d5fbe79SDavid van Moolenbroek 
306*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
307*5d5fbe79SDavid van Moolenbroek 
308*5d5fbe79SDavid van Moolenbroek static volatile u8_t mem_free_count;
309*5d5fbe79SDavid van Moolenbroek 
310*5d5fbe79SDavid van Moolenbroek /* Allow mem_free from other (e.g. interrupt) context */
311*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_FREE_DECL_PROTECT()  SYS_ARCH_DECL_PROTECT(lev_free)
312*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_FREE_PROTECT()       SYS_ARCH_PROTECT(lev_free)
313*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_FREE_UNPROTECT()     SYS_ARCH_UNPROTECT(lev_free)
314*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_ALLOC_DECL_PROTECT() SYS_ARCH_DECL_PROTECT(lev_alloc)
315*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_ALLOC_PROTECT()      SYS_ARCH_PROTECT(lev_alloc)
316*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_ALLOC_UNPROTECT()    SYS_ARCH_UNPROTECT(lev_alloc)
317*5d5fbe79SDavid van Moolenbroek 
318*5d5fbe79SDavid van Moolenbroek #else /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
319*5d5fbe79SDavid van Moolenbroek 
320*5d5fbe79SDavid van Moolenbroek /* Protect the heap only by using a semaphore */
321*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_FREE_DECL_PROTECT()
322*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_FREE_PROTECT()    sys_mutex_lock(&mem_mutex)
323*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_FREE_UNPROTECT()  sys_mutex_unlock(&mem_mutex)
324*5d5fbe79SDavid van Moolenbroek /* mem_malloc is protected using semaphore AND LWIP_MEM_ALLOC_PROTECT */
325*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_ALLOC_DECL_PROTECT()
326*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_ALLOC_PROTECT()
327*5d5fbe79SDavid van Moolenbroek #define LWIP_MEM_ALLOC_UNPROTECT()
328*5d5fbe79SDavid van Moolenbroek 
329*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
330*5d5fbe79SDavid van Moolenbroek 
331*5d5fbe79SDavid van Moolenbroek 
332*5d5fbe79SDavid van Moolenbroek /**
333*5d5fbe79SDavid van Moolenbroek  * "Plug holes" by combining adjacent empty struct mems.
334*5d5fbe79SDavid van Moolenbroek  * After this function is through, there should not exist
335*5d5fbe79SDavid van Moolenbroek  * one empty struct mem pointing to another empty struct mem.
336*5d5fbe79SDavid van Moolenbroek  *
337*5d5fbe79SDavid van Moolenbroek  * @param mem this points to a struct mem which just has been freed
338*5d5fbe79SDavid van Moolenbroek  * @internal this function is only called by mem_free() and mem_trim()
339*5d5fbe79SDavid van Moolenbroek  *
340*5d5fbe79SDavid van Moolenbroek  * This assumes access to the heap is protected by the calling function
341*5d5fbe79SDavid van Moolenbroek  * already.
342*5d5fbe79SDavid van Moolenbroek  */
343*5d5fbe79SDavid van Moolenbroek static void
plug_holes(struct mem * mem)344*5d5fbe79SDavid van Moolenbroek plug_holes(struct mem *mem)
345*5d5fbe79SDavid van Moolenbroek {
346*5d5fbe79SDavid van Moolenbroek   struct mem *nmem;
347*5d5fbe79SDavid van Moolenbroek   struct mem *pmem;
348*5d5fbe79SDavid van Moolenbroek 
349*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("plug_holes: mem >= ram", (u8_t *)mem >= ram);
350*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("plug_holes: mem < ram_end", (u8_t *)mem < (u8_t *)ram_end);
351*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("plug_holes: mem->used == 0", mem->used == 0);
352*5d5fbe79SDavid van Moolenbroek 
353*5d5fbe79SDavid van Moolenbroek   /* plug hole forward */
354*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("plug_holes: mem->next <= MEM_SIZE_ALIGNED", mem->next <= MEM_SIZE_ALIGNED);
355*5d5fbe79SDavid van Moolenbroek 
356*5d5fbe79SDavid van Moolenbroek   nmem = (struct mem *)(void *)&ram[mem->next];
357*5d5fbe79SDavid van Moolenbroek   if (mem != nmem && nmem->used == 0 && (u8_t *)nmem != (u8_t *)ram_end) {
358*5d5fbe79SDavid van Moolenbroek     /* if mem->next is unused and not end of ram, combine mem and mem->next */
359*5d5fbe79SDavid van Moolenbroek     if (lfree == nmem) {
360*5d5fbe79SDavid van Moolenbroek       lfree = mem;
361*5d5fbe79SDavid van Moolenbroek     }
362*5d5fbe79SDavid van Moolenbroek     mem->next = nmem->next;
363*5d5fbe79SDavid van Moolenbroek     ((struct mem *)(void *)&ram[nmem->next])->prev = (mem_size_t)((u8_t *)mem - ram);
364*5d5fbe79SDavid van Moolenbroek   }
365*5d5fbe79SDavid van Moolenbroek 
366*5d5fbe79SDavid van Moolenbroek   /* plug hole backward */
367*5d5fbe79SDavid van Moolenbroek   pmem = (struct mem *)(void *)&ram[mem->prev];
368*5d5fbe79SDavid van Moolenbroek   if (pmem != mem && pmem->used == 0) {
369*5d5fbe79SDavid van Moolenbroek     /* if mem->prev is unused, combine mem and mem->prev */
370*5d5fbe79SDavid van Moolenbroek     if (lfree == mem) {
371*5d5fbe79SDavid van Moolenbroek       lfree = pmem;
372*5d5fbe79SDavid van Moolenbroek     }
373*5d5fbe79SDavid van Moolenbroek     pmem->next = mem->next;
374*5d5fbe79SDavid van Moolenbroek     ((struct mem *)(void *)&ram[mem->next])->prev = (mem_size_t)((u8_t *)pmem - ram);
375*5d5fbe79SDavid van Moolenbroek   }
376*5d5fbe79SDavid van Moolenbroek }
377*5d5fbe79SDavid van Moolenbroek 
378*5d5fbe79SDavid van Moolenbroek /**
379*5d5fbe79SDavid van Moolenbroek  * Zero the heap and initialize start, end and lowest-free
380*5d5fbe79SDavid van Moolenbroek  */
381*5d5fbe79SDavid van Moolenbroek void
mem_init(void)382*5d5fbe79SDavid van Moolenbroek mem_init(void)
383*5d5fbe79SDavid van Moolenbroek {
384*5d5fbe79SDavid van Moolenbroek   struct mem *mem;
385*5d5fbe79SDavid van Moolenbroek 
386*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("Sanity check alignment",
387*5d5fbe79SDavid van Moolenbroek     (SIZEOF_STRUCT_MEM & (MEM_ALIGNMENT-1)) == 0);
388*5d5fbe79SDavid van Moolenbroek 
389*5d5fbe79SDavid van Moolenbroek   /* align the heap */
390*5d5fbe79SDavid van Moolenbroek   ram = (u8_t *)LWIP_MEM_ALIGN(LWIP_RAM_HEAP_POINTER);
391*5d5fbe79SDavid van Moolenbroek   /* initialize the start of the heap */
392*5d5fbe79SDavid van Moolenbroek   mem = (struct mem *)(void *)ram;
393*5d5fbe79SDavid van Moolenbroek   mem->next = MEM_SIZE_ALIGNED;
394*5d5fbe79SDavid van Moolenbroek   mem->prev = 0;
395*5d5fbe79SDavid van Moolenbroek   mem->used = 0;
396*5d5fbe79SDavid van Moolenbroek   /* initialize the end of the heap */
397*5d5fbe79SDavid van Moolenbroek   ram_end = (struct mem *)(void *)&ram[MEM_SIZE_ALIGNED];
398*5d5fbe79SDavid van Moolenbroek   ram_end->used = 1;
399*5d5fbe79SDavid van Moolenbroek   ram_end->next = MEM_SIZE_ALIGNED;
400*5d5fbe79SDavid van Moolenbroek   ram_end->prev = MEM_SIZE_ALIGNED;
401*5d5fbe79SDavid van Moolenbroek 
402*5d5fbe79SDavid van Moolenbroek   /* initialize the lowest-free pointer to the start of the heap */
403*5d5fbe79SDavid van Moolenbroek   lfree = (struct mem *)(void *)ram;
404*5d5fbe79SDavid van Moolenbroek 
405*5d5fbe79SDavid van Moolenbroek   MEM_STATS_AVAIL(avail, MEM_SIZE_ALIGNED);
406*5d5fbe79SDavid van Moolenbroek 
407*5d5fbe79SDavid van Moolenbroek   if (sys_mutex_new(&mem_mutex) != ERR_OK) {
408*5d5fbe79SDavid van Moolenbroek     LWIP_ASSERT("failed to create mem_mutex", 0);
409*5d5fbe79SDavid van Moolenbroek   }
410*5d5fbe79SDavid van Moolenbroek }
411*5d5fbe79SDavid van Moolenbroek 
412*5d5fbe79SDavid van Moolenbroek /**
413*5d5fbe79SDavid van Moolenbroek  * Put a struct mem back on the heap
414*5d5fbe79SDavid van Moolenbroek  *
415*5d5fbe79SDavid van Moolenbroek  * @param rmem is the data portion of a struct mem as returned by a previous
416*5d5fbe79SDavid van Moolenbroek  *             call to mem_malloc()
417*5d5fbe79SDavid van Moolenbroek  */
418*5d5fbe79SDavid van Moolenbroek void
mem_free(void * rmem)419*5d5fbe79SDavid van Moolenbroek mem_free(void *rmem)
420*5d5fbe79SDavid van Moolenbroek {
421*5d5fbe79SDavid van Moolenbroek   struct mem *mem;
422*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_FREE_DECL_PROTECT();
423*5d5fbe79SDavid van Moolenbroek 
424*5d5fbe79SDavid van Moolenbroek   if (rmem == NULL) {
425*5d5fbe79SDavid van Moolenbroek     LWIP_DEBUGF(MEM_DEBUG | LWIP_DBG_TRACE | LWIP_DBG_LEVEL_SERIOUS, ("mem_free(p == NULL) was called.\n"));
426*5d5fbe79SDavid van Moolenbroek     return;
427*5d5fbe79SDavid van Moolenbroek   }
428*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("mem_free: sanity check alignment", (((mem_ptr_t)rmem) & (MEM_ALIGNMENT-1)) == 0);
429*5d5fbe79SDavid van Moolenbroek 
430*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("mem_free: legal memory", (u8_t *)rmem >= (u8_t *)ram &&
431*5d5fbe79SDavid van Moolenbroek     (u8_t *)rmem < (u8_t *)ram_end);
432*5d5fbe79SDavid van Moolenbroek 
433*5d5fbe79SDavid van Moolenbroek   if ((u8_t *)rmem < (u8_t *)ram || (u8_t *)rmem >= (u8_t *)ram_end) {
434*5d5fbe79SDavid van Moolenbroek     SYS_ARCH_DECL_PROTECT(lev);
435*5d5fbe79SDavid van Moolenbroek     LWIP_DEBUGF(MEM_DEBUG | LWIP_DBG_LEVEL_SEVERE, ("mem_free: illegal memory\n"));
436*5d5fbe79SDavid van Moolenbroek     /* protect mem stats from concurrent access */
437*5d5fbe79SDavid van Moolenbroek     SYS_ARCH_PROTECT(lev);
438*5d5fbe79SDavid van Moolenbroek     MEM_STATS_INC(illegal);
439*5d5fbe79SDavid van Moolenbroek     SYS_ARCH_UNPROTECT(lev);
440*5d5fbe79SDavid van Moolenbroek     return;
441*5d5fbe79SDavid van Moolenbroek   }
442*5d5fbe79SDavid van Moolenbroek   /* protect the heap from concurrent access */
443*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_FREE_PROTECT();
444*5d5fbe79SDavid van Moolenbroek   /* Get the corresponding struct mem ... */
445*5d5fbe79SDavid van Moolenbroek   /* cast through void* to get rid of alignment warnings */
446*5d5fbe79SDavid van Moolenbroek   mem = (struct mem *)(void *)((u8_t *)rmem - SIZEOF_STRUCT_MEM);
447*5d5fbe79SDavid van Moolenbroek   /* ... which has to be in a used state ... */
448*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("mem_free: mem->used", mem->used);
449*5d5fbe79SDavid van Moolenbroek   /* ... and is now unused. */
450*5d5fbe79SDavid van Moolenbroek   mem->used = 0;
451*5d5fbe79SDavid van Moolenbroek 
452*5d5fbe79SDavid van Moolenbroek   if (mem < lfree) {
453*5d5fbe79SDavid van Moolenbroek     /* the newly freed struct is now the lowest */
454*5d5fbe79SDavid van Moolenbroek     lfree = mem;
455*5d5fbe79SDavid van Moolenbroek   }
456*5d5fbe79SDavid van Moolenbroek 
457*5d5fbe79SDavid van Moolenbroek   MEM_STATS_DEC_USED(used, mem->next - (mem_size_t)(((u8_t *)mem - ram)));
458*5d5fbe79SDavid van Moolenbroek 
459*5d5fbe79SDavid van Moolenbroek   /* finally, see if prev or next are free also */
460*5d5fbe79SDavid van Moolenbroek   plug_holes(mem);
461*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
462*5d5fbe79SDavid van Moolenbroek   mem_free_count = 1;
463*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
464*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_FREE_UNPROTECT();
465*5d5fbe79SDavid van Moolenbroek }
466*5d5fbe79SDavid van Moolenbroek 
467*5d5fbe79SDavid van Moolenbroek /**
468*5d5fbe79SDavid van Moolenbroek  * Shrink memory returned by mem_malloc().
469*5d5fbe79SDavid van Moolenbroek  *
470*5d5fbe79SDavid van Moolenbroek  * @param rmem pointer to memory allocated by mem_malloc the is to be shrinked
471*5d5fbe79SDavid van Moolenbroek  * @param newsize required size after shrinking (needs to be smaller than or
472*5d5fbe79SDavid van Moolenbroek  *                equal to the previous size)
473*5d5fbe79SDavid van Moolenbroek  * @return for compatibility reasons: is always == rmem, at the moment
474*5d5fbe79SDavid van Moolenbroek  *         or NULL if newsize is > old size, in which case rmem is NOT touched
475*5d5fbe79SDavid van Moolenbroek  *         or freed!
476*5d5fbe79SDavid van Moolenbroek  */
477*5d5fbe79SDavid van Moolenbroek void *
mem_trim(void * rmem,mem_size_t newsize)478*5d5fbe79SDavid van Moolenbroek mem_trim(void *rmem, mem_size_t newsize)
479*5d5fbe79SDavid van Moolenbroek {
480*5d5fbe79SDavid van Moolenbroek   mem_size_t size;
481*5d5fbe79SDavid van Moolenbroek   mem_size_t ptr, ptr2;
482*5d5fbe79SDavid van Moolenbroek   struct mem *mem, *mem2;
483*5d5fbe79SDavid van Moolenbroek   /* use the FREE_PROTECT here: it protects with sem OR SYS_ARCH_PROTECT */
484*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_FREE_DECL_PROTECT();
485*5d5fbe79SDavid van Moolenbroek 
486*5d5fbe79SDavid van Moolenbroek   /* Expand the size of the allocated memory region so that we can
487*5d5fbe79SDavid van Moolenbroek      adjust for alignment. */
488*5d5fbe79SDavid van Moolenbroek   newsize = LWIP_MEM_ALIGN_SIZE(newsize);
489*5d5fbe79SDavid van Moolenbroek 
490*5d5fbe79SDavid van Moolenbroek   if (newsize < MIN_SIZE_ALIGNED) {
491*5d5fbe79SDavid van Moolenbroek     /* every data block must be at least MIN_SIZE_ALIGNED long */
492*5d5fbe79SDavid van Moolenbroek     newsize = MIN_SIZE_ALIGNED;
493*5d5fbe79SDavid van Moolenbroek   }
494*5d5fbe79SDavid van Moolenbroek 
495*5d5fbe79SDavid van Moolenbroek   if (newsize > MEM_SIZE_ALIGNED) {
496*5d5fbe79SDavid van Moolenbroek     return NULL;
497*5d5fbe79SDavid van Moolenbroek   }
498*5d5fbe79SDavid van Moolenbroek 
499*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("mem_trim: legal memory", (u8_t *)rmem >= (u8_t *)ram &&
500*5d5fbe79SDavid van Moolenbroek    (u8_t *)rmem < (u8_t *)ram_end);
501*5d5fbe79SDavid van Moolenbroek 
502*5d5fbe79SDavid van Moolenbroek   if ((u8_t *)rmem < (u8_t *)ram || (u8_t *)rmem >= (u8_t *)ram_end) {
503*5d5fbe79SDavid van Moolenbroek     SYS_ARCH_DECL_PROTECT(lev);
504*5d5fbe79SDavid van Moolenbroek     LWIP_DEBUGF(MEM_DEBUG | LWIP_DBG_LEVEL_SEVERE, ("mem_trim: illegal memory\n"));
505*5d5fbe79SDavid van Moolenbroek     /* protect mem stats from concurrent access */
506*5d5fbe79SDavid van Moolenbroek     SYS_ARCH_PROTECT(lev);
507*5d5fbe79SDavid van Moolenbroek     MEM_STATS_INC(illegal);
508*5d5fbe79SDavid van Moolenbroek     SYS_ARCH_UNPROTECT(lev);
509*5d5fbe79SDavid van Moolenbroek     return rmem;
510*5d5fbe79SDavid van Moolenbroek   }
511*5d5fbe79SDavid van Moolenbroek   /* Get the corresponding struct mem ... */
512*5d5fbe79SDavid van Moolenbroek   /* cast through void* to get rid of alignment warnings */
513*5d5fbe79SDavid van Moolenbroek   mem = (struct mem *)(void *)((u8_t *)rmem - SIZEOF_STRUCT_MEM);
514*5d5fbe79SDavid van Moolenbroek   /* ... and its offset pointer */
515*5d5fbe79SDavid van Moolenbroek   ptr = (mem_size_t)((u8_t *)mem - ram);
516*5d5fbe79SDavid van Moolenbroek 
517*5d5fbe79SDavid van Moolenbroek   size = mem->next - ptr - SIZEOF_STRUCT_MEM;
518*5d5fbe79SDavid van Moolenbroek   LWIP_ASSERT("mem_trim can only shrink memory", newsize <= size);
519*5d5fbe79SDavid van Moolenbroek   if (newsize > size) {
520*5d5fbe79SDavid van Moolenbroek     /* not supported */
521*5d5fbe79SDavid van Moolenbroek     return NULL;
522*5d5fbe79SDavid van Moolenbroek   }
523*5d5fbe79SDavid van Moolenbroek   if (newsize == size) {
524*5d5fbe79SDavid van Moolenbroek     /* No change in size, simply return */
525*5d5fbe79SDavid van Moolenbroek     return rmem;
526*5d5fbe79SDavid van Moolenbroek   }
527*5d5fbe79SDavid van Moolenbroek 
528*5d5fbe79SDavid van Moolenbroek   /* protect the heap from concurrent access */
529*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_FREE_PROTECT();
530*5d5fbe79SDavid van Moolenbroek 
531*5d5fbe79SDavid van Moolenbroek   mem2 = (struct mem *)(void *)&ram[mem->next];
532*5d5fbe79SDavid van Moolenbroek   if (mem2->used == 0) {
533*5d5fbe79SDavid van Moolenbroek     /* The next struct is unused, we can simply move it at little */
534*5d5fbe79SDavid van Moolenbroek     mem_size_t next;
535*5d5fbe79SDavid van Moolenbroek     /* remember the old next pointer */
536*5d5fbe79SDavid van Moolenbroek     next = mem2->next;
537*5d5fbe79SDavid van Moolenbroek     /* create new struct mem which is moved directly after the shrinked mem */
538*5d5fbe79SDavid van Moolenbroek     ptr2 = ptr + SIZEOF_STRUCT_MEM + newsize;
539*5d5fbe79SDavid van Moolenbroek     if (lfree == mem2) {
540*5d5fbe79SDavid van Moolenbroek       lfree = (struct mem *)(void *)&ram[ptr2];
541*5d5fbe79SDavid van Moolenbroek     }
542*5d5fbe79SDavid van Moolenbroek     mem2 = (struct mem *)(void *)&ram[ptr2];
543*5d5fbe79SDavid van Moolenbroek     mem2->used = 0;
544*5d5fbe79SDavid van Moolenbroek     /* restore the next pointer */
545*5d5fbe79SDavid van Moolenbroek     mem2->next = next;
546*5d5fbe79SDavid van Moolenbroek     /* link it back to mem */
547*5d5fbe79SDavid van Moolenbroek     mem2->prev = ptr;
548*5d5fbe79SDavid van Moolenbroek     /* link mem to it */
549*5d5fbe79SDavid van Moolenbroek     mem->next = ptr2;
550*5d5fbe79SDavid van Moolenbroek     /* last thing to restore linked list: as we have moved mem2,
551*5d5fbe79SDavid van Moolenbroek      * let 'mem2->next->prev' point to mem2 again. but only if mem2->next is not
552*5d5fbe79SDavid van Moolenbroek      * the end of the heap */
553*5d5fbe79SDavid van Moolenbroek     if (mem2->next != MEM_SIZE_ALIGNED) {
554*5d5fbe79SDavid van Moolenbroek       ((struct mem *)(void *)&ram[mem2->next])->prev = ptr2;
555*5d5fbe79SDavid van Moolenbroek     }
556*5d5fbe79SDavid van Moolenbroek     MEM_STATS_DEC_USED(used, (size - newsize));
557*5d5fbe79SDavid van Moolenbroek     /* no need to plug holes, we've already done that */
558*5d5fbe79SDavid van Moolenbroek   } else if (newsize + SIZEOF_STRUCT_MEM + MIN_SIZE_ALIGNED <= size) {
559*5d5fbe79SDavid van Moolenbroek     /* Next struct is used but there's room for another struct mem with
560*5d5fbe79SDavid van Moolenbroek      * at least MIN_SIZE_ALIGNED of data.
561*5d5fbe79SDavid van Moolenbroek      * Old size ('size') must be big enough to contain at least 'newsize' plus a struct mem
562*5d5fbe79SDavid van Moolenbroek      * ('SIZEOF_STRUCT_MEM') with some data ('MIN_SIZE_ALIGNED').
563*5d5fbe79SDavid van Moolenbroek      * @todo we could leave out MIN_SIZE_ALIGNED. We would create an empty
564*5d5fbe79SDavid van Moolenbroek      *       region that couldn't hold data, but when mem->next gets freed,
565*5d5fbe79SDavid van Moolenbroek      *       the 2 regions would be combined, resulting in more free memory */
566*5d5fbe79SDavid van Moolenbroek     ptr2 = ptr + SIZEOF_STRUCT_MEM + newsize;
567*5d5fbe79SDavid van Moolenbroek     mem2 = (struct mem *)(void *)&ram[ptr2];
568*5d5fbe79SDavid van Moolenbroek     if (mem2 < lfree) {
569*5d5fbe79SDavid van Moolenbroek       lfree = mem2;
570*5d5fbe79SDavid van Moolenbroek     }
571*5d5fbe79SDavid van Moolenbroek     mem2->used = 0;
572*5d5fbe79SDavid van Moolenbroek     mem2->next = mem->next;
573*5d5fbe79SDavid van Moolenbroek     mem2->prev = ptr;
574*5d5fbe79SDavid van Moolenbroek     mem->next = ptr2;
575*5d5fbe79SDavid van Moolenbroek     if (mem2->next != MEM_SIZE_ALIGNED) {
576*5d5fbe79SDavid van Moolenbroek       ((struct mem *)(void *)&ram[mem2->next])->prev = ptr2;
577*5d5fbe79SDavid van Moolenbroek     }
578*5d5fbe79SDavid van Moolenbroek     MEM_STATS_DEC_USED(used, (size - newsize));
579*5d5fbe79SDavid van Moolenbroek     /* the original mem->next is used, so no need to plug holes! */
580*5d5fbe79SDavid van Moolenbroek   }
581*5d5fbe79SDavid van Moolenbroek   /* else {
582*5d5fbe79SDavid van Moolenbroek     next struct mem is used but size between mem and mem2 is not big enough
583*5d5fbe79SDavid van Moolenbroek     to create another struct mem
584*5d5fbe79SDavid van Moolenbroek     -> don't do anyhting.
585*5d5fbe79SDavid van Moolenbroek     -> the remaining space stays unused since it is too small
586*5d5fbe79SDavid van Moolenbroek   } */
587*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
588*5d5fbe79SDavid van Moolenbroek   mem_free_count = 1;
589*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
590*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_FREE_UNPROTECT();
591*5d5fbe79SDavid van Moolenbroek   return rmem;
592*5d5fbe79SDavid van Moolenbroek }
593*5d5fbe79SDavid van Moolenbroek 
594*5d5fbe79SDavid van Moolenbroek /**
595*5d5fbe79SDavid van Moolenbroek  * Allocate a block of memory with a minimum of 'size' bytes.
596*5d5fbe79SDavid van Moolenbroek  *
597*5d5fbe79SDavid van Moolenbroek  * @param size is the minimum size of the requested block in bytes.
598*5d5fbe79SDavid van Moolenbroek  * @return pointer to allocated memory or NULL if no free memory was found.
599*5d5fbe79SDavid van Moolenbroek  *
600*5d5fbe79SDavid van Moolenbroek  * Note that the returned value will always be aligned (as defined by MEM_ALIGNMENT).
601*5d5fbe79SDavid van Moolenbroek  */
602*5d5fbe79SDavid van Moolenbroek void *
mem_malloc(mem_size_t size)603*5d5fbe79SDavid van Moolenbroek mem_malloc(mem_size_t size)
604*5d5fbe79SDavid van Moolenbroek {
605*5d5fbe79SDavid van Moolenbroek   mem_size_t ptr, ptr2;
606*5d5fbe79SDavid van Moolenbroek   struct mem *mem, *mem2;
607*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
608*5d5fbe79SDavid van Moolenbroek   u8_t local_mem_free_count = 0;
609*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
610*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_ALLOC_DECL_PROTECT();
611*5d5fbe79SDavid van Moolenbroek 
612*5d5fbe79SDavid van Moolenbroek   if (size == 0) {
613*5d5fbe79SDavid van Moolenbroek     return NULL;
614*5d5fbe79SDavid van Moolenbroek   }
615*5d5fbe79SDavid van Moolenbroek 
616*5d5fbe79SDavid van Moolenbroek   /* Expand the size of the allocated memory region so that we can
617*5d5fbe79SDavid van Moolenbroek      adjust for alignment. */
618*5d5fbe79SDavid van Moolenbroek   size = LWIP_MEM_ALIGN_SIZE(size);
619*5d5fbe79SDavid van Moolenbroek 
620*5d5fbe79SDavid van Moolenbroek   if (size < MIN_SIZE_ALIGNED) {
621*5d5fbe79SDavid van Moolenbroek     /* every data block must be at least MIN_SIZE_ALIGNED long */
622*5d5fbe79SDavid van Moolenbroek     size = MIN_SIZE_ALIGNED;
623*5d5fbe79SDavid van Moolenbroek   }
624*5d5fbe79SDavid van Moolenbroek 
625*5d5fbe79SDavid van Moolenbroek   if (size > MEM_SIZE_ALIGNED) {
626*5d5fbe79SDavid van Moolenbroek     return NULL;
627*5d5fbe79SDavid van Moolenbroek   }
628*5d5fbe79SDavid van Moolenbroek 
629*5d5fbe79SDavid van Moolenbroek   /* protect the heap from concurrent access */
630*5d5fbe79SDavid van Moolenbroek   sys_mutex_lock(&mem_mutex);
631*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_ALLOC_PROTECT();
632*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
633*5d5fbe79SDavid van Moolenbroek   /* run as long as a mem_free disturbed mem_malloc or mem_trim */
634*5d5fbe79SDavid van Moolenbroek   do {
635*5d5fbe79SDavid van Moolenbroek     local_mem_free_count = 0;
636*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
637*5d5fbe79SDavid van Moolenbroek 
638*5d5fbe79SDavid van Moolenbroek     /* Scan through the heap searching for a free block that is big enough,
639*5d5fbe79SDavid van Moolenbroek      * beginning with the lowest free block.
640*5d5fbe79SDavid van Moolenbroek      */
641*5d5fbe79SDavid van Moolenbroek     for (ptr = (mem_size_t)((u8_t *)lfree - ram); ptr < MEM_SIZE_ALIGNED - size;
642*5d5fbe79SDavid van Moolenbroek          ptr = ((struct mem *)(void *)&ram[ptr])->next) {
643*5d5fbe79SDavid van Moolenbroek       mem = (struct mem *)(void *)&ram[ptr];
644*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
645*5d5fbe79SDavid van Moolenbroek       mem_free_count = 0;
646*5d5fbe79SDavid van Moolenbroek       LWIP_MEM_ALLOC_UNPROTECT();
647*5d5fbe79SDavid van Moolenbroek       /* allow mem_free or mem_trim to run */
648*5d5fbe79SDavid van Moolenbroek       LWIP_MEM_ALLOC_PROTECT();
649*5d5fbe79SDavid van Moolenbroek       if (mem_free_count != 0) {
650*5d5fbe79SDavid van Moolenbroek         /* If mem_free or mem_trim have run, we have to restart since they
651*5d5fbe79SDavid van Moolenbroek            could have altered our current struct mem. */
652*5d5fbe79SDavid van Moolenbroek         local_mem_free_count = 1;
653*5d5fbe79SDavid van Moolenbroek         break;
654*5d5fbe79SDavid van Moolenbroek       }
655*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
656*5d5fbe79SDavid van Moolenbroek 
657*5d5fbe79SDavid van Moolenbroek       if ((!mem->used) &&
658*5d5fbe79SDavid van Moolenbroek           (mem->next - (ptr + SIZEOF_STRUCT_MEM)) >= size) {
659*5d5fbe79SDavid van Moolenbroek         /* mem is not used and at least perfect fit is possible:
660*5d5fbe79SDavid van Moolenbroek          * mem->next - (ptr + SIZEOF_STRUCT_MEM) gives us the 'user data size' of mem */
661*5d5fbe79SDavid van Moolenbroek 
662*5d5fbe79SDavid van Moolenbroek         if (mem->next - (ptr + SIZEOF_STRUCT_MEM) >= (size + SIZEOF_STRUCT_MEM + MIN_SIZE_ALIGNED)) {
663*5d5fbe79SDavid van Moolenbroek           /* (in addition to the above, we test if another struct mem (SIZEOF_STRUCT_MEM) containing
664*5d5fbe79SDavid van Moolenbroek            * at least MIN_SIZE_ALIGNED of data also fits in the 'user data space' of 'mem')
665*5d5fbe79SDavid van Moolenbroek            * -> split large block, create empty remainder,
666*5d5fbe79SDavid van Moolenbroek            * remainder must be large enough to contain MIN_SIZE_ALIGNED data: if
667*5d5fbe79SDavid van Moolenbroek            * mem->next - (ptr + (2*SIZEOF_STRUCT_MEM)) == size,
668*5d5fbe79SDavid van Moolenbroek            * struct mem would fit in but no data between mem2 and mem2->next
669*5d5fbe79SDavid van Moolenbroek            * @todo we could leave out MIN_SIZE_ALIGNED. We would create an empty
670*5d5fbe79SDavid van Moolenbroek            *       region that couldn't hold data, but when mem->next gets freed,
671*5d5fbe79SDavid van Moolenbroek            *       the 2 regions would be combined, resulting in more free memory
672*5d5fbe79SDavid van Moolenbroek            */
673*5d5fbe79SDavid van Moolenbroek           ptr2 = ptr + SIZEOF_STRUCT_MEM + size;
674*5d5fbe79SDavid van Moolenbroek           /* create mem2 struct */
675*5d5fbe79SDavid van Moolenbroek           mem2 = (struct mem *)(void *)&ram[ptr2];
676*5d5fbe79SDavid van Moolenbroek           mem2->used = 0;
677*5d5fbe79SDavid van Moolenbroek           mem2->next = mem->next;
678*5d5fbe79SDavid van Moolenbroek           mem2->prev = ptr;
679*5d5fbe79SDavid van Moolenbroek           /* and insert it between mem and mem->next */
680*5d5fbe79SDavid van Moolenbroek           mem->next = ptr2;
681*5d5fbe79SDavid van Moolenbroek           mem->used = 1;
682*5d5fbe79SDavid van Moolenbroek 
683*5d5fbe79SDavid van Moolenbroek           if (mem2->next != MEM_SIZE_ALIGNED) {
684*5d5fbe79SDavid van Moolenbroek             ((struct mem *)(void *)&ram[mem2->next])->prev = ptr2;
685*5d5fbe79SDavid van Moolenbroek           }
686*5d5fbe79SDavid van Moolenbroek           MEM_STATS_INC_USED(used, (size + SIZEOF_STRUCT_MEM));
687*5d5fbe79SDavid van Moolenbroek         } else {
688*5d5fbe79SDavid van Moolenbroek           /* (a mem2 struct does no fit into the user data space of mem and mem->next will always
689*5d5fbe79SDavid van Moolenbroek            * be used at this point: if not we have 2 unused structs in a row, plug_holes should have
690*5d5fbe79SDavid van Moolenbroek            * take care of this).
691*5d5fbe79SDavid van Moolenbroek            * -> near fit or exact fit: do not split, no mem2 creation
692*5d5fbe79SDavid van Moolenbroek            * also can't move mem->next directly behind mem, since mem->next
693*5d5fbe79SDavid van Moolenbroek            * will always be used at this point!
694*5d5fbe79SDavid van Moolenbroek            */
695*5d5fbe79SDavid van Moolenbroek           mem->used = 1;
696*5d5fbe79SDavid van Moolenbroek           MEM_STATS_INC_USED(used, mem->next - (mem_size_t)((u8_t *)mem - ram));
697*5d5fbe79SDavid van Moolenbroek         }
698*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
699*5d5fbe79SDavid van Moolenbroek mem_malloc_adjust_lfree:
700*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
701*5d5fbe79SDavid van Moolenbroek         if (mem == lfree) {
702*5d5fbe79SDavid van Moolenbroek           struct mem *cur = lfree;
703*5d5fbe79SDavid van Moolenbroek           /* Find next free block after mem and update lowest free pointer */
704*5d5fbe79SDavid van Moolenbroek           while (cur->used && cur != ram_end) {
705*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
706*5d5fbe79SDavid van Moolenbroek             mem_free_count = 0;
707*5d5fbe79SDavid van Moolenbroek             LWIP_MEM_ALLOC_UNPROTECT();
708*5d5fbe79SDavid van Moolenbroek             /* prevent high interrupt latency... */
709*5d5fbe79SDavid van Moolenbroek             LWIP_MEM_ALLOC_PROTECT();
710*5d5fbe79SDavid van Moolenbroek             if (mem_free_count != 0) {
711*5d5fbe79SDavid van Moolenbroek               /* If mem_free or mem_trim have run, we have to restart since they
712*5d5fbe79SDavid van Moolenbroek                  could have altered our current struct mem or lfree. */
713*5d5fbe79SDavid van Moolenbroek               goto mem_malloc_adjust_lfree;
714*5d5fbe79SDavid van Moolenbroek             }
715*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
716*5d5fbe79SDavid van Moolenbroek             cur = (struct mem *)(void *)&ram[cur->next];
717*5d5fbe79SDavid van Moolenbroek           }
718*5d5fbe79SDavid van Moolenbroek           lfree = cur;
719*5d5fbe79SDavid van Moolenbroek           LWIP_ASSERT("mem_malloc: !lfree->used", ((lfree == ram_end) || (!lfree->used)));
720*5d5fbe79SDavid van Moolenbroek         }
721*5d5fbe79SDavid van Moolenbroek         LWIP_MEM_ALLOC_UNPROTECT();
722*5d5fbe79SDavid van Moolenbroek         sys_mutex_unlock(&mem_mutex);
723*5d5fbe79SDavid van Moolenbroek         LWIP_ASSERT("mem_malloc: allocated memory not above ram_end.",
724*5d5fbe79SDavid van Moolenbroek          (mem_ptr_t)mem + SIZEOF_STRUCT_MEM + size <= (mem_ptr_t)ram_end);
725*5d5fbe79SDavid van Moolenbroek         LWIP_ASSERT("mem_malloc: allocated memory properly aligned.",
726*5d5fbe79SDavid van Moolenbroek          ((mem_ptr_t)mem + SIZEOF_STRUCT_MEM) % MEM_ALIGNMENT == 0);
727*5d5fbe79SDavid van Moolenbroek         LWIP_ASSERT("mem_malloc: sanity check alignment",
728*5d5fbe79SDavid van Moolenbroek           (((mem_ptr_t)mem) & (MEM_ALIGNMENT-1)) == 0);
729*5d5fbe79SDavid van Moolenbroek 
730*5d5fbe79SDavid van Moolenbroek         return (u8_t *)mem + SIZEOF_STRUCT_MEM;
731*5d5fbe79SDavid van Moolenbroek       }
732*5d5fbe79SDavid van Moolenbroek     }
733*5d5fbe79SDavid van Moolenbroek #if LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT
734*5d5fbe79SDavid van Moolenbroek     /* if we got interrupted by a mem_free, try again */
735*5d5fbe79SDavid van Moolenbroek   } while (local_mem_free_count != 0);
736*5d5fbe79SDavid van Moolenbroek #endif /* LWIP_ALLOW_MEM_FREE_FROM_OTHER_CONTEXT */
737*5d5fbe79SDavid van Moolenbroek   LWIP_DEBUGF(MEM_DEBUG | LWIP_DBG_LEVEL_SERIOUS, ("mem_malloc: could not allocate %"S16_F" bytes\n", (s16_t)size));
738*5d5fbe79SDavid van Moolenbroek   MEM_STATS_INC(err);
739*5d5fbe79SDavid van Moolenbroek   LWIP_MEM_ALLOC_UNPROTECT();
740*5d5fbe79SDavid van Moolenbroek   sys_mutex_unlock(&mem_mutex);
741*5d5fbe79SDavid van Moolenbroek   return NULL;
742*5d5fbe79SDavid van Moolenbroek }
743*5d5fbe79SDavid van Moolenbroek 
744*5d5fbe79SDavid van Moolenbroek #endif /* MEM_USE_POOLS */
745*5d5fbe79SDavid van Moolenbroek 
746*5d5fbe79SDavid van Moolenbroek #if MEM_LIBC_MALLOC && (!LWIP_STATS || !MEM_STATS)
747*5d5fbe79SDavid van Moolenbroek void *
mem_calloc(mem_size_t count,mem_size_t size)748*5d5fbe79SDavid van Moolenbroek mem_calloc(mem_size_t count, mem_size_t size)
749*5d5fbe79SDavid van Moolenbroek {
750*5d5fbe79SDavid van Moolenbroek   return mem_clib_calloc(count, size);
751*5d5fbe79SDavid van Moolenbroek }
752*5d5fbe79SDavid van Moolenbroek 
753*5d5fbe79SDavid van Moolenbroek #else /* MEM_LIBC_MALLOC && (!LWIP_STATS || !MEM_STATS) */
754*5d5fbe79SDavid van Moolenbroek /**
755*5d5fbe79SDavid van Moolenbroek  * Contiguously allocates enough space for count objects that are size bytes
756*5d5fbe79SDavid van Moolenbroek  * of memory each and returns a pointer to the allocated memory.
757*5d5fbe79SDavid van Moolenbroek  *
758*5d5fbe79SDavid van Moolenbroek  * The allocated memory is filled with bytes of value zero.
759*5d5fbe79SDavid van Moolenbroek  *
760*5d5fbe79SDavid van Moolenbroek  * @param count number of objects to allocate
761*5d5fbe79SDavid van Moolenbroek  * @param size size of the objects to allocate
762*5d5fbe79SDavid van Moolenbroek  * @return pointer to allocated memory / NULL pointer if there is an error
763*5d5fbe79SDavid van Moolenbroek  */
764*5d5fbe79SDavid van Moolenbroek void *
mem_calloc(mem_size_t count,mem_size_t size)765*5d5fbe79SDavid van Moolenbroek mem_calloc(mem_size_t count, mem_size_t size)
766*5d5fbe79SDavid van Moolenbroek {
767*5d5fbe79SDavid van Moolenbroek   void *p;
768*5d5fbe79SDavid van Moolenbroek 
769*5d5fbe79SDavid van Moolenbroek   /* allocate 'count' objects of size 'size' */
770*5d5fbe79SDavid van Moolenbroek   p = mem_malloc(count * size);
771*5d5fbe79SDavid van Moolenbroek   if (p) {
772*5d5fbe79SDavid van Moolenbroek     /* zero the memory */
773*5d5fbe79SDavid van Moolenbroek     memset(p, 0, (size_t)count * (size_t)size);
774*5d5fbe79SDavid van Moolenbroek   }
775*5d5fbe79SDavid van Moolenbroek   return p;
776*5d5fbe79SDavid van Moolenbroek }
777*5d5fbe79SDavid van Moolenbroek #endif /* MEM_LIBC_MALLOC && (!LWIP_STATS || !MEM_STATS) */
778