Dirk-Willem van Gulik (NXP/mbed)
Example self-announcing webserver which controls a servo through a smallHTML userinterface.
lwip/core/memp.c@0:a259777c45a3, 2010-08-14 (annotated)
- Committer:
- dirkx
- Date:
- Sat Aug 14 15:56:01 2010 +0000
- Revision:
- 0:a259777c45a3
Who changed what in which revision?
| User | Revision | Line number | New contents of line |
|---|---|---|---|
| dirkx | 0:a259777c45a3 | 1 | /** |
| dirkx | 0:a259777c45a3 | 2 | * @file |
| dirkx | 0:a259777c45a3 | 3 | * Dynamic pool memory manager |
| dirkx | 0:a259777c45a3 | 4 | * |
| dirkx | 0:a259777c45a3 | 5 | * lwIP has dedicated pools for many structures (netconn, protocol control blocks, |
| dirkx | 0:a259777c45a3 | 6 | * packet buffers, ...). All these pools are managed here. |
| dirkx | 0:a259777c45a3 | 7 | */ |
| dirkx | 0:a259777c45a3 | 8 | |
| dirkx | 0:a259777c45a3 | 9 | /* |
| dirkx | 0:a259777c45a3 | 10 | * Copyright (c) 2001-2004 Swedish Institute of Computer Science. |
| dirkx | 0:a259777c45a3 | 11 | * All rights reserved. |
| dirkx | 0:a259777c45a3 | 12 | * |
| dirkx | 0:a259777c45a3 | 13 | * Redistribution and use in source and binary forms, with or without modification, |
| dirkx | 0:a259777c45a3 | 14 | * are permitted provided that the following conditions are met: |
| dirkx | 0:a259777c45a3 | 15 | * |
| dirkx | 0:a259777c45a3 | 16 | * 1. Redistributions of source code must retain the above copyright notice, |
| dirkx | 0:a259777c45a3 | 17 | * this list of conditions and the following disclaimer. |
| dirkx | 0:a259777c45a3 | 18 | * 2. Redistributions in binary form must reproduce the above copyright notice, |
| dirkx | 0:a259777c45a3 | 19 | * this list of conditions and the following disclaimer in the documentation |
| dirkx | 0:a259777c45a3 | 20 | * and/or other materials provided with the distribution. |
| dirkx | 0:a259777c45a3 | 21 | * 3. The name of the author may not be used to endorse or promote products |
| dirkx | 0:a259777c45a3 | 22 | * derived from this software without specific prior written permission. |
| dirkx | 0:a259777c45a3 | 23 | * |
| dirkx | 0:a259777c45a3 | 24 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED |
| dirkx | 0:a259777c45a3 | 25 | * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF |
| dirkx | 0:a259777c45a3 | 26 | * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT |
| dirkx | 0:a259777c45a3 | 27 | * SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, |
| dirkx | 0:a259777c45a3 | 28 | * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT |
| dirkx | 0:a259777c45a3 | 29 | * OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
| dirkx | 0:a259777c45a3 | 30 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
| dirkx | 0:a259777c45a3 | 31 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING |
| dirkx | 0:a259777c45a3 | 32 | * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY |
| dirkx | 0:a259777c45a3 | 33 | * OF SUCH DAMAGE. |
| dirkx | 0:a259777c45a3 | 34 | * |
| dirkx | 0:a259777c45a3 | 35 | * This file is part of the lwIP TCP/IP stack. |
| dirkx | 0:a259777c45a3 | 36 | * |
| dirkx | 0:a259777c45a3 | 37 | * Author: Adam Dunkels <adam@sics.se> |
| dirkx | 0:a259777c45a3 | 38 | * |
| dirkx | 0:a259777c45a3 | 39 | */ |
| dirkx | 0:a259777c45a3 | 40 | |
| dirkx | 0:a259777c45a3 | 41 | #include "lwip/opt.h" |
| dirkx | 0:a259777c45a3 | 42 | |
| dirkx | 0:a259777c45a3 | 43 | #include "lwip/memp.h" |
| dirkx | 0:a259777c45a3 | 44 | #include "lwip/pbuf.h" |
| dirkx | 0:a259777c45a3 | 45 | #include "lwip/udp.h" |
| dirkx | 0:a259777c45a3 | 46 | #include "lwip/raw.h" |
| dirkx | 0:a259777c45a3 | 47 | #include "lwip/tcp_impl.h" |
| dirkx | 0:a259777c45a3 | 48 | #include "lwip/igmp.h" |
| dirkx | 0:a259777c45a3 | 49 | #include "lwip/api.h" |
| dirkx | 0:a259777c45a3 | 50 | #include "lwip/api_msg.h" |
| dirkx | 0:a259777c45a3 | 51 | #include "lwip/tcpip.h" |
| dirkx | 0:a259777c45a3 | 52 | #include "lwip/sys.h" |
| dirkx | 0:a259777c45a3 | 53 | #include "lwip/timers.h" |
| dirkx | 0:a259777c45a3 | 54 | #include "lwip/stats.h" |
| dirkx | 0:a259777c45a3 | 55 | #include "netif/etharp.h" |
| dirkx | 0:a259777c45a3 | 56 | #include "lwip/ip_frag.h" |
| dirkx | 0:a259777c45a3 | 57 | #include "lwip/snmp_structs.h" |
| dirkx | 0:a259777c45a3 | 58 | #include "lwip/snmp_msg.h" |
| dirkx | 0:a259777c45a3 | 59 | #include "lwip/dns.h" |
| dirkx | 0:a259777c45a3 | 60 | |
| dirkx | 0:a259777c45a3 | 61 | #include <string.h> |
| dirkx | 0:a259777c45a3 | 62 | |
| dirkx | 0:a259777c45a3 | 63 | #if !MEMP_MEM_MALLOC /* don't build if not configured for use in lwipopts.h */ |
| dirkx | 0:a259777c45a3 | 64 | |
| dirkx | 0:a259777c45a3 | 65 | struct memp { |
| dirkx | 0:a259777c45a3 | 66 | struct memp *next; |
| dirkx | 0:a259777c45a3 | 67 | #if MEMP_OVERFLOW_CHECK |
| dirkx | 0:a259777c45a3 | 68 | const char *file; |
| dirkx | 0:a259777c45a3 | 69 | int line; |
| dirkx | 0:a259777c45a3 | 70 | #endif /* MEMP_OVERFLOW_CHECK */ |
| dirkx | 0:a259777c45a3 | 71 | }; |
| dirkx | 0:a259777c45a3 | 72 | |
| dirkx | 0:a259777c45a3 | 73 | #if MEMP_OVERFLOW_CHECK |
| dirkx | 0:a259777c45a3 | 74 | /* if MEMP_OVERFLOW_CHECK is turned on, we reserve some bytes at the beginning |
| dirkx | 0:a259777c45a3 | 75 | * and at the end of each element, initialize them as 0xcd and check |
| dirkx | 0:a259777c45a3 | 76 | * them later. */ |
| dirkx | 0:a259777c45a3 | 77 | /* If MEMP_OVERFLOW_CHECK is >= 2, on every call to memp_malloc or memp_free, |
| dirkx | 0:a259777c45a3 | 78 | * every single element in each pool is checked! |
| dirkx | 0:a259777c45a3 | 79 | * This is VERY SLOW but also very helpful. */ |
| dirkx | 0:a259777c45a3 | 80 | /* MEMP_SANITY_REGION_BEFORE and MEMP_SANITY_REGION_AFTER can be overridden in |
| dirkx | 0:a259777c45a3 | 81 | * lwipopts.h to change the amount reserved for checking. */ |
| dirkx | 0:a259777c45a3 | 82 | #ifndef MEMP_SANITY_REGION_BEFORE |
| dirkx | 0:a259777c45a3 | 83 | #define MEMP_SANITY_REGION_BEFORE 16 |
| dirkx | 0:a259777c45a3 | 84 | #endif /* MEMP_SANITY_REGION_BEFORE*/ |
| dirkx | 0:a259777c45a3 | 85 | #if MEMP_SANITY_REGION_BEFORE > 0 |
| dirkx | 0:a259777c45a3 | 86 | #define MEMP_SANITY_REGION_BEFORE_ALIGNED LWIP_MEM_ALIGN_SIZE(MEMP_SANITY_REGION_BEFORE) |
| dirkx | 0:a259777c45a3 | 87 | #else |
| dirkx | 0:a259777c45a3 | 88 | #define MEMP_SANITY_REGION_BEFORE_ALIGNED 0 |
| dirkx | 0:a259777c45a3 | 89 | #endif /* MEMP_SANITY_REGION_BEFORE*/ |
| dirkx | 0:a259777c45a3 | 90 | #ifndef MEMP_SANITY_REGION_AFTER |
| dirkx | 0:a259777c45a3 | 91 | #define MEMP_SANITY_REGION_AFTER 16 |
| dirkx | 0:a259777c45a3 | 92 | #endif /* MEMP_SANITY_REGION_AFTER*/ |
| dirkx | 0:a259777c45a3 | 93 | #if MEMP_SANITY_REGION_AFTER > 0 |
| dirkx | 0:a259777c45a3 | 94 | #define MEMP_SANITY_REGION_AFTER_ALIGNED LWIP_MEM_ALIGN_SIZE(MEMP_SANITY_REGION_AFTER) |
| dirkx | 0:a259777c45a3 | 95 | #else |
| dirkx | 0:a259777c45a3 | 96 | #define MEMP_SANITY_REGION_AFTER_ALIGNED 0 |
| dirkx | 0:a259777c45a3 | 97 | #endif /* MEMP_SANITY_REGION_AFTER*/ |
| dirkx | 0:a259777c45a3 | 98 | |
| dirkx | 0:a259777c45a3 | 99 | /* MEMP_SIZE: save space for struct memp and for sanity check */ |
| dirkx | 0:a259777c45a3 | 100 | #define MEMP_SIZE (LWIP_MEM_ALIGN_SIZE(sizeof(struct memp)) + MEMP_SANITY_REGION_BEFORE_ALIGNED) |
| dirkx | 0:a259777c45a3 | 101 | #define MEMP_ALIGN_SIZE(x) (LWIP_MEM_ALIGN_SIZE(x) + MEMP_SANITY_REGION_AFTER_ALIGNED) |
| dirkx | 0:a259777c45a3 | 102 | |
| dirkx | 0:a259777c45a3 | 103 | #else /* MEMP_OVERFLOW_CHECK */ |
| dirkx | 0:a259777c45a3 | 104 | |
| dirkx | 0:a259777c45a3 | 105 | /* No sanity checks |
| dirkx | 0:a259777c45a3 | 106 | * We don't need to preserve the struct memp while not allocated, so we |
| dirkx | 0:a259777c45a3 | 107 | * can save a little space and set MEMP_SIZE to 0. |
| dirkx | 0:a259777c45a3 | 108 | */ |
| dirkx | 0:a259777c45a3 | 109 | #define MEMP_SIZE 0 |
| dirkx | 0:a259777c45a3 | 110 | #define MEMP_ALIGN_SIZE(x) (LWIP_MEM_ALIGN_SIZE(x)) |
| dirkx | 0:a259777c45a3 | 111 | |
| dirkx | 0:a259777c45a3 | 112 | #endif /* MEMP_OVERFLOW_CHECK */ |
| dirkx | 0:a259777c45a3 | 113 | |
| dirkx | 0:a259777c45a3 | 114 | /** This array holds the first free element of each pool. |
| dirkx | 0:a259777c45a3 | 115 | * Elements form a linked list. */ |
| dirkx | 0:a259777c45a3 | 116 | static struct memp *memp_tab[MEMP_MAX] MEM_POSITION; |
| dirkx | 0:a259777c45a3 | 117 | |
| dirkx | 0:a259777c45a3 | 118 | #else /* MEMP_MEM_MALLOC */ |
| dirkx | 0:a259777c45a3 | 119 | |
| dirkx | 0:a259777c45a3 | 120 | #define MEMP_ALIGN_SIZE(x) (LWIP_MEM_ALIGN_SIZE(x)) |
| dirkx | 0:a259777c45a3 | 121 | |
| dirkx | 0:a259777c45a3 | 122 | #endif /* MEMP_MEM_MALLOC */ |
| dirkx | 0:a259777c45a3 | 123 | |
| dirkx | 0:a259777c45a3 | 124 | /** This array holds the element sizes of each pool. */ |
| dirkx | 0:a259777c45a3 | 125 | #if !MEM_USE_POOLS && !MEMP_MEM_MALLOC |
| dirkx | 0:a259777c45a3 | 126 | static |
| dirkx | 0:a259777c45a3 | 127 | #endif |
| dirkx | 0:a259777c45a3 | 128 | const u16_t memp_sizes[MEMP_MAX] = { |
| dirkx | 0:a259777c45a3 | 129 | #define LWIP_MEMPOOL(name,num,size,desc) LWIP_MEM_ALIGN_SIZE(size), |
| dirkx | 0:a259777c45a3 | 130 | #include "lwip/memp_std.h" |
| dirkx | 0:a259777c45a3 | 131 | }; |
| dirkx | 0:a259777c45a3 | 132 | |
| dirkx | 0:a259777c45a3 | 133 | #if !MEMP_MEM_MALLOC /* don't build if not configured for use in lwipopts.h */ |
| dirkx | 0:a259777c45a3 | 134 | |
| dirkx | 0:a259777c45a3 | 135 | /** This array holds the number of elements in each pool. */ |
| dirkx | 0:a259777c45a3 | 136 | static const u16_t memp_num[MEMP_MAX] = { |
| dirkx | 0:a259777c45a3 | 137 | #define LWIP_MEMPOOL(name,num,size,desc) (num), |
| dirkx | 0:a259777c45a3 | 138 | #include "lwip/memp_std.h" |
| dirkx | 0:a259777c45a3 | 139 | }; |
| dirkx | 0:a259777c45a3 | 140 | |
| dirkx | 0:a259777c45a3 | 141 | /** This array holds a textual description of each pool. */ |
| dirkx | 0:a259777c45a3 | 142 | #ifdef LWIP_DEBUG |
| dirkx | 0:a259777c45a3 | 143 | static const char *memp_desc[MEMP_MAX] = { |
| dirkx | 0:a259777c45a3 | 144 | #define LWIP_MEMPOOL(name,num,size,desc) (desc), |
| dirkx | 0:a259777c45a3 | 145 | #include "lwip/memp_std.h" |
| dirkx | 0:a259777c45a3 | 146 | }; |
| dirkx | 0:a259777c45a3 | 147 | #endif /* LWIP_DEBUG */ |
| dirkx | 0:a259777c45a3 | 148 | |
| dirkx | 0:a259777c45a3 | 149 | #if MEMP_SEPARATE_POOLS |
| dirkx | 0:a259777c45a3 | 150 | |
| dirkx | 0:a259777c45a3 | 151 | /** This creates each memory pool. These are named memp_memory_XXX_base (where |
| dirkx | 0:a259777c45a3 | 152 | * XXX is the name of the pool defined in memp_std.h). |
| dirkx | 0:a259777c45a3 | 153 | * To relocate a pool, declare it as extern in cc.h. Example for GCC: |
| dirkx | 0:a259777c45a3 | 154 | * extern u8_t __attribute__((section(".onchip_mem"))) memp_memory_UDP_PCB_base[]; |
| dirkx | 0:a259777c45a3 | 155 | */ |
| dirkx | 0:a259777c45a3 | 156 | #define LWIP_MEMPOOL(name,num,size,desc) u8_t memp_memory_ ## name ## _base \ |
| dirkx | 0:a259777c45a3 | 157 | [((num) * (MEMP_SIZE + MEMP_ALIGN_SIZE(size)))]; |
| dirkx | 0:a259777c45a3 | 158 | #include "lwip/memp_std.h" |
| dirkx | 0:a259777c45a3 | 159 | |
| dirkx | 0:a259777c45a3 | 160 | /** This array holds the base of each memory pool. */ |
| dirkx | 0:a259777c45a3 | 161 | static u8_t *const memp_bases[] = { |
| dirkx | 0:a259777c45a3 | 162 | #define LWIP_MEMPOOL(name,num,size,desc) memp_memory_ ## name ## _base, |
| dirkx | 0:a259777c45a3 | 163 | #include "lwip/memp_std.h" |
| dirkx | 0:a259777c45a3 | 164 | } MEM_POSITION; |
| dirkx | 0:a259777c45a3 | 165 | |
| dirkx | 0:a259777c45a3 | 166 | #else /* MEMP_SEPARATE_POOLS */ |
| dirkx | 0:a259777c45a3 | 167 | |
| dirkx | 0:a259777c45a3 | 168 | /** This is the actual memory used by the pools (all pools in one big block). */ |
| dirkx | 0:a259777c45a3 | 169 | static u8_t memp_memory[MEM_ALIGNMENT - 1 |
| dirkx | 0:a259777c45a3 | 170 | #define LWIP_MEMPOOL(name,num,size,desc) + ( (num) * (MEMP_SIZE + MEMP_ALIGN_SIZE(size) ) ) |
| dirkx | 0:a259777c45a3 | 171 | #include "lwip/memp_std.h" |
| dirkx | 0:a259777c45a3 | 172 | ] MEM_POSITION; |
| dirkx | 0:a259777c45a3 | 173 | |
| dirkx | 0:a259777c45a3 | 174 | #endif /* MEMP_SEPARATE_POOLS */ |
| dirkx | 0:a259777c45a3 | 175 | |
| dirkx | 0:a259777c45a3 | 176 | #if MEMP_SANITY_CHECK |
| dirkx | 0:a259777c45a3 | 177 | /** |
| dirkx | 0:a259777c45a3 | 178 | * Check that memp-lists don't form a circle |
| dirkx | 0:a259777c45a3 | 179 | */ |
| dirkx | 0:a259777c45a3 | 180 | static int |
| dirkx | 0:a259777c45a3 | 181 | memp_sanity(void) |
| dirkx | 0:a259777c45a3 | 182 | { |
| dirkx | 0:a259777c45a3 | 183 | s16_t i, c; |
| dirkx | 0:a259777c45a3 | 184 | struct memp *m, *n; |
| dirkx | 0:a259777c45a3 | 185 | |
| dirkx | 0:a259777c45a3 | 186 | for (i = 0; i < MEMP_MAX; i++) { |
| dirkx | 0:a259777c45a3 | 187 | for (m = memp_tab[i]; m != NULL; m = m->next) { |
| dirkx | 0:a259777c45a3 | 188 | c = 1; |
| dirkx | 0:a259777c45a3 | 189 | for (n = memp_tab[i]; n != NULL; n = n->next) { |
| dirkx | 0:a259777c45a3 | 190 | if (n == m && --c < 0) { |
| dirkx | 0:a259777c45a3 | 191 | return 0; |
| dirkx | 0:a259777c45a3 | 192 | } |
| dirkx | 0:a259777c45a3 | 193 | } |
| dirkx | 0:a259777c45a3 | 194 | } |
| dirkx | 0:a259777c45a3 | 195 | } |
| dirkx | 0:a259777c45a3 | 196 | return 1; |
| dirkx | 0:a259777c45a3 | 197 | } |
| dirkx | 0:a259777c45a3 | 198 | #endif /* MEMP_SANITY_CHECK*/ |
| dirkx | 0:a259777c45a3 | 199 | #if MEMP_OVERFLOW_CHECK |
| dirkx | 0:a259777c45a3 | 200 | /** |
| dirkx | 0:a259777c45a3 | 201 | * Check if a memp element was victim of an overflow |
| dirkx | 0:a259777c45a3 | 202 | * (e.g. the restricted area after it has been altered) |
| dirkx | 0:a259777c45a3 | 203 | * |
| dirkx | 0:a259777c45a3 | 204 | * @param p the memp element to check |
| dirkx | 0:a259777c45a3 | 205 | * @param memp_size the element size of the pool p comes from |
| dirkx | 0:a259777c45a3 | 206 | */ |
| dirkx | 0:a259777c45a3 | 207 | static void |
| dirkx | 0:a259777c45a3 | 208 | memp_overflow_check_element(struct memp *p, u16_t memp_size) |
| dirkx | 0:a259777c45a3 | 209 | { |
| dirkx | 0:a259777c45a3 | 210 | u16_t k; |
| dirkx | 0:a259777c45a3 | 211 | u8_t *m; |
| dirkx | 0:a259777c45a3 | 212 | #if MEMP_SANITY_REGION_BEFORE_ALIGNED > 0 |
| dirkx | 0:a259777c45a3 | 213 | m = (u8_t*)p + MEMP_SIZE - MEMP_SANITY_REGION_BEFORE_ALIGNED; |
| dirkx | 0:a259777c45a3 | 214 | for (k = 0; k < MEMP_SANITY_REGION_BEFORE_ALIGNED; k++) { |
| dirkx | 0:a259777c45a3 | 215 | if (m[k] != 0xcd) { |
| dirkx | 0:a259777c45a3 | 216 | LWIP_ASSERT("detected memp underflow!", 0); |
| dirkx | 0:a259777c45a3 | 217 | } |
| dirkx | 0:a259777c45a3 | 218 | } |
| dirkx | 0:a259777c45a3 | 219 | #endif |
| dirkx | 0:a259777c45a3 | 220 | #if MEMP_SANITY_REGION_AFTER_ALIGNED > 0 |
| dirkx | 0:a259777c45a3 | 221 | m = (u8_t*)p + MEMP_SIZE + memp_size; |
| dirkx | 0:a259777c45a3 | 222 | for (k = 0; k < MEMP_SANITY_REGION_AFTER_ALIGNED; k++) { |
| dirkx | 0:a259777c45a3 | 223 | if (m[k] != 0xcd) { |
| dirkx | 0:a259777c45a3 | 224 | LWIP_ASSERT("detected memp overflow!", 0); |
| dirkx | 0:a259777c45a3 | 225 | } |
| dirkx | 0:a259777c45a3 | 226 | } |
| dirkx | 0:a259777c45a3 | 227 | #endif |
| dirkx | 0:a259777c45a3 | 228 | } |
| dirkx | 0:a259777c45a3 | 229 | |
| dirkx | 0:a259777c45a3 | 230 | /** |
| dirkx | 0:a259777c45a3 | 231 | * Do an overflow check for all elements in every pool. |
| dirkx | 0:a259777c45a3 | 232 | * |
| dirkx | 0:a259777c45a3 | 233 | * @see memp_overflow_check_element for a description of the check |
| dirkx | 0:a259777c45a3 | 234 | */ |
| dirkx | 0:a259777c45a3 | 235 | static void |
| dirkx | 0:a259777c45a3 | 236 | memp_overflow_check_all(void) |
| dirkx | 0:a259777c45a3 | 237 | { |
| dirkx | 0:a259777c45a3 | 238 | u16_t i, j; |
| dirkx | 0:a259777c45a3 | 239 | struct memp *p; |
| dirkx | 0:a259777c45a3 | 240 | |
| dirkx | 0:a259777c45a3 | 241 | p = LWIP_MEM_ALIGN(memp_memory); |
| dirkx | 0:a259777c45a3 | 242 | for (i = 0; i < MEMP_MAX; ++i) { |
| dirkx | 0:a259777c45a3 | 243 | p = p; |
| dirkx | 0:a259777c45a3 | 244 | for (j = 0; j < memp_num[i]; ++j) { |
| dirkx | 0:a259777c45a3 | 245 | memp_overflow_check_element(p, memp_sizes[i]); |
| dirkx | 0:a259777c45a3 | 246 | p = (struct memp*)((u8_t*)p + MEMP_SIZE + memp_sizes[i] + MEMP_SANITY_REGION_AFTER_ALIGNED); |
| dirkx | 0:a259777c45a3 | 247 | } |
| dirkx | 0:a259777c45a3 | 248 | } |
| dirkx | 0:a259777c45a3 | 249 | } |
| dirkx | 0:a259777c45a3 | 250 | |
| dirkx | 0:a259777c45a3 | 251 | /** |
| dirkx | 0:a259777c45a3 | 252 | * Initialize the restricted areas of all memp elements in every pool. |
| dirkx | 0:a259777c45a3 | 253 | */ |
| dirkx | 0:a259777c45a3 | 254 | static void |
| dirkx | 0:a259777c45a3 | 255 | memp_overflow_init(void) |
| dirkx | 0:a259777c45a3 | 256 | { |
| dirkx | 0:a259777c45a3 | 257 | u16_t i, j; |
| dirkx | 0:a259777c45a3 | 258 | struct memp *p; |
| dirkx | 0:a259777c45a3 | 259 | u8_t *m; |
| dirkx | 0:a259777c45a3 | 260 | |
| dirkx | 0:a259777c45a3 | 261 | p = LWIP_MEM_ALIGN(memp_memory); |
| dirkx | 0:a259777c45a3 | 262 | for (i = 0; i < MEMP_MAX; ++i) { |
| dirkx | 0:a259777c45a3 | 263 | p = p; |
| dirkx | 0:a259777c45a3 | 264 | for (j = 0; j < memp_num[i]; ++j) { |
| dirkx | 0:a259777c45a3 | 265 | #if MEMP_SANITY_REGION_BEFORE_ALIGNED > 0 |
| dirkx | 0:a259777c45a3 | 266 | m = (u8_t*)p + MEMP_SIZE - MEMP_SANITY_REGION_BEFORE_ALIGNED; |
| dirkx | 0:a259777c45a3 | 267 | memset(m, 0xcd, MEMP_SANITY_REGION_BEFORE_ALIGNED); |
| dirkx | 0:a259777c45a3 | 268 | #endif |
| dirkx | 0:a259777c45a3 | 269 | #if MEMP_SANITY_REGION_AFTER_ALIGNED > 0 |
| dirkx | 0:a259777c45a3 | 270 | m = (u8_t*)p + MEMP_SIZE + memp_sizes[i]; |
| dirkx | 0:a259777c45a3 | 271 | memset(m, 0xcd, MEMP_SANITY_REGION_AFTER_ALIGNED); |
| dirkx | 0:a259777c45a3 | 272 | #endif |
| dirkx | 0:a259777c45a3 | 273 | p = (struct memp*)((u8_t*)p + MEMP_SIZE + memp_sizes[i] + MEMP_SANITY_REGION_AFTER_ALIGNED); |
| dirkx | 0:a259777c45a3 | 274 | } |
| dirkx | 0:a259777c45a3 | 275 | } |
| dirkx | 0:a259777c45a3 | 276 | } |
| dirkx | 0:a259777c45a3 | 277 | #endif /* MEMP_OVERFLOW_CHECK */ |
| dirkx | 0:a259777c45a3 | 278 | |
| dirkx | 0:a259777c45a3 | 279 | /** |
| dirkx | 0:a259777c45a3 | 280 | * Initialize this module. |
| dirkx | 0:a259777c45a3 | 281 | * |
| dirkx | 0:a259777c45a3 | 282 | * Carves out memp_memory into linked lists for each pool-type. |
| dirkx | 0:a259777c45a3 | 283 | */ |
| dirkx | 0:a259777c45a3 | 284 | void |
| dirkx | 0:a259777c45a3 | 285 | memp_init(void) |
| dirkx | 0:a259777c45a3 | 286 | { |
| dirkx | 0:a259777c45a3 | 287 | struct memp *memp; |
| dirkx | 0:a259777c45a3 | 288 | u16_t i, j; |
| dirkx | 0:a259777c45a3 | 289 | |
| dirkx | 0:a259777c45a3 | 290 | for (i = 0; i < MEMP_MAX; ++i) { |
| dirkx | 0:a259777c45a3 | 291 | MEMP_STATS_AVAIL(used, i, 0); |
| dirkx | 0:a259777c45a3 | 292 | MEMP_STATS_AVAIL(max, i, 0); |
| dirkx | 0:a259777c45a3 | 293 | MEMP_STATS_AVAIL(err, i, 0); |
| dirkx | 0:a259777c45a3 | 294 | MEMP_STATS_AVAIL(avail, i, memp_num[i]); |
| dirkx | 0:a259777c45a3 | 295 | } |
| dirkx | 0:a259777c45a3 | 296 | |
| dirkx | 0:a259777c45a3 | 297 | #if !MEMP_SEPARATE_POOLS |
| dirkx | 0:a259777c45a3 | 298 | memp = (struct memp *)LWIP_MEM_ALIGN(memp_memory); |
| dirkx | 0:a259777c45a3 | 299 | #endif /* !MEMP_SEPARATE_POOLS */ |
| dirkx | 0:a259777c45a3 | 300 | /* for every pool: */ |
| dirkx | 0:a259777c45a3 | 301 | for (i = 0; i < MEMP_MAX; ++i) { |
| dirkx | 0:a259777c45a3 | 302 | memp_tab[i] = NULL; |
| dirkx | 0:a259777c45a3 | 303 | #if MEMP_SEPARATE_POOLS |
| dirkx | 0:a259777c45a3 | 304 | memp = (struct memp*)memp_bases[i]; |
| dirkx | 0:a259777c45a3 | 305 | #endif /* MEMP_SEPARATE_POOLS */ |
| dirkx | 0:a259777c45a3 | 306 | /* create a linked list of memp elements */ |
| dirkx | 0:a259777c45a3 | 307 | for (j = 0; j < memp_num[i]; ++j) { |
| dirkx | 0:a259777c45a3 | 308 | memp->next = memp_tab[i]; |
| dirkx | 0:a259777c45a3 | 309 | memp_tab[i] = memp; |
| dirkx | 0:a259777c45a3 | 310 | memp = (struct memp *)(void *)((u8_t *)memp + MEMP_SIZE + memp_sizes[i] |
| dirkx | 0:a259777c45a3 | 311 | #if MEMP_OVERFLOW_CHECK |
| dirkx | 0:a259777c45a3 | 312 | + MEMP_SANITY_REGION_AFTER_ALIGNED |
| dirkx | 0:a259777c45a3 | 313 | #endif |
| dirkx | 0:a259777c45a3 | 314 | ); |
| dirkx | 0:a259777c45a3 | 315 | } |
| dirkx | 0:a259777c45a3 | 316 | } |
| dirkx | 0:a259777c45a3 | 317 | #if MEMP_OVERFLOW_CHECK |
| dirkx | 0:a259777c45a3 | 318 | memp_overflow_init(); |
| dirkx | 0:a259777c45a3 | 319 | /* check everything a first time to see if it worked */ |
| dirkx | 0:a259777c45a3 | 320 | memp_overflow_check_all(); |
| dirkx | 0:a259777c45a3 | 321 | #endif /* MEMP_OVERFLOW_CHECK */ |
| dirkx | 0:a259777c45a3 | 322 | } |
| dirkx | 0:a259777c45a3 | 323 | |
| dirkx | 0:a259777c45a3 | 324 | /** |
| dirkx | 0:a259777c45a3 | 325 | * Get an element from a specific pool. |
| dirkx | 0:a259777c45a3 | 326 | * |
| dirkx | 0:a259777c45a3 | 327 | * @param type the pool to get an element from |
| dirkx | 0:a259777c45a3 | 328 | * |
| dirkx | 0:a259777c45a3 | 329 | * the debug version has two more parameters: |
| dirkx | 0:a259777c45a3 | 330 | * @param file file name calling this function |
| dirkx | 0:a259777c45a3 | 331 | * @param line number of line where this function is called |
| dirkx | 0:a259777c45a3 | 332 | * |
| dirkx | 0:a259777c45a3 | 333 | * @return a pointer to the allocated memory or a NULL pointer on error |
| dirkx | 0:a259777c45a3 | 334 | */ |
| dirkx | 0:a259777c45a3 | 335 | void * |
| dirkx | 0:a259777c45a3 | 336 | #if !MEMP_OVERFLOW_CHECK |
| dirkx | 0:a259777c45a3 | 337 | memp_malloc(memp_t type) |
| dirkx | 0:a259777c45a3 | 338 | #else |
| dirkx | 0:a259777c45a3 | 339 | memp_malloc_fn(memp_t type, const char* file, const int line) |
| dirkx | 0:a259777c45a3 | 340 | #endif |
| dirkx | 0:a259777c45a3 | 341 | { |
| dirkx | 0:a259777c45a3 | 342 | struct memp *memp; |
| dirkx | 0:a259777c45a3 | 343 | SYS_ARCH_DECL_PROTECT(old_level); |
| dirkx | 0:a259777c45a3 | 344 | |
| dirkx | 0:a259777c45a3 | 345 | LWIP_ERROR("memp_malloc: type < MEMP_MAX", (type < MEMP_MAX), return NULL;); |
| dirkx | 0:a259777c45a3 | 346 | |
| dirkx | 0:a259777c45a3 | 347 | SYS_ARCH_PROTECT(old_level); |
| dirkx | 0:a259777c45a3 | 348 | #if MEMP_OVERFLOW_CHECK >= 2 |
| dirkx | 0:a259777c45a3 | 349 | memp_overflow_check_all(); |
| dirkx | 0:a259777c45a3 | 350 | #endif /* MEMP_OVERFLOW_CHECK >= 2 */ |
| dirkx | 0:a259777c45a3 | 351 | |
| dirkx | 0:a259777c45a3 | 352 | memp = memp_tab[type]; |
| dirkx | 0:a259777c45a3 | 353 | |
| dirkx | 0:a259777c45a3 | 354 | if (memp != NULL) { |
| dirkx | 0:a259777c45a3 | 355 | memp_tab[type] = memp->next; |
| dirkx | 0:a259777c45a3 | 356 | #if MEMP_OVERFLOW_CHECK |
| dirkx | 0:a259777c45a3 | 357 | memp->next = NULL; |
| dirkx | 0:a259777c45a3 | 358 | memp->file = file; |
| dirkx | 0:a259777c45a3 | 359 | memp->line = line; |
| dirkx | 0:a259777c45a3 | 360 | #endif /* MEMP_OVERFLOW_CHECK */ |
| dirkx | 0:a259777c45a3 | 361 | MEMP_STATS_INC_USED(used, type); |
| dirkx | 0:a259777c45a3 | 362 | LWIP_ASSERT("memp_malloc: memp properly aligned", |
| dirkx | 0:a259777c45a3 | 363 | ((mem_ptr_t)memp % MEM_ALIGNMENT) == 0); |
| dirkx | 0:a259777c45a3 | 364 | memp = (struct memp*)(void *)((u8_t*)memp + MEMP_SIZE); |
| dirkx | 0:a259777c45a3 | 365 | } else { |
| dirkx | 0:a259777c45a3 | 366 | LWIP_DEBUGF(MEMP_DEBUG | LWIP_DBG_LEVEL_SERIOUS, ("memp_malloc: out of memory in pool %s\n", memp_desc[type])); |
| dirkx | 0:a259777c45a3 | 367 | MEMP_STATS_INC(err, type); |
| dirkx | 0:a259777c45a3 | 368 | } |
| dirkx | 0:a259777c45a3 | 369 | |
| dirkx | 0:a259777c45a3 | 370 | SYS_ARCH_UNPROTECT(old_level); |
| dirkx | 0:a259777c45a3 | 371 | |
| dirkx | 0:a259777c45a3 | 372 | return memp; |
| dirkx | 0:a259777c45a3 | 373 | } |
| dirkx | 0:a259777c45a3 | 374 | |
| dirkx | 0:a259777c45a3 | 375 | /** |
| dirkx | 0:a259777c45a3 | 376 | * Put an element back into its pool. |
| dirkx | 0:a259777c45a3 | 377 | * |
| dirkx | 0:a259777c45a3 | 378 | * @param type the pool where to put mem |
| dirkx | 0:a259777c45a3 | 379 | * @param mem the memp element to free |
| dirkx | 0:a259777c45a3 | 380 | */ |
| dirkx | 0:a259777c45a3 | 381 | void |
| dirkx | 0:a259777c45a3 | 382 | memp_free(memp_t type, void *mem) |
| dirkx | 0:a259777c45a3 | 383 | { |
| dirkx | 0:a259777c45a3 | 384 | struct memp *memp; |
| dirkx | 0:a259777c45a3 | 385 | SYS_ARCH_DECL_PROTECT(old_level); |
| dirkx | 0:a259777c45a3 | 386 | |
| dirkx | 0:a259777c45a3 | 387 | if (mem == NULL) { |
| dirkx | 0:a259777c45a3 | 388 | return; |
| dirkx | 0:a259777c45a3 | 389 | } |
| dirkx | 0:a259777c45a3 | 390 | LWIP_ASSERT("memp_free: mem properly aligned", |
| dirkx | 0:a259777c45a3 | 391 | ((mem_ptr_t)mem % MEM_ALIGNMENT) == 0); |
| dirkx | 0:a259777c45a3 | 392 | |
| dirkx | 0:a259777c45a3 | 393 | memp = (struct memp *)(void *)((u8_t*)mem - MEMP_SIZE); |
| dirkx | 0:a259777c45a3 | 394 | |
| dirkx | 0:a259777c45a3 | 395 | SYS_ARCH_PROTECT(old_level); |
| dirkx | 0:a259777c45a3 | 396 | #if MEMP_OVERFLOW_CHECK |
| dirkx | 0:a259777c45a3 | 397 | #if MEMP_OVERFLOW_CHECK >= 2 |
| dirkx | 0:a259777c45a3 | 398 | memp_overflow_check_all(); |
| dirkx | 0:a259777c45a3 | 399 | #else |
| dirkx | 0:a259777c45a3 | 400 | memp_overflow_check_element(memp, memp_sizes[type]); |
| dirkx | 0:a259777c45a3 | 401 | #endif /* MEMP_OVERFLOW_CHECK >= 2 */ |
| dirkx | 0:a259777c45a3 | 402 | #endif /* MEMP_OVERFLOW_CHECK */ |
| dirkx | 0:a259777c45a3 | 403 | |
| dirkx | 0:a259777c45a3 | 404 | MEMP_STATS_DEC(used, type); |
| dirkx | 0:a259777c45a3 | 405 | |
| dirkx | 0:a259777c45a3 | 406 | memp->next = memp_tab[type]; |
| dirkx | 0:a259777c45a3 | 407 | memp_tab[type] = memp; |
| dirkx | 0:a259777c45a3 | 408 | |
| dirkx | 0:a259777c45a3 | 409 | #if MEMP_SANITY_CHECK |
| dirkx | 0:a259777c45a3 | 410 | LWIP_ASSERT("memp sanity", memp_sanity()); |
| dirkx | 0:a259777c45a3 | 411 | #endif /* MEMP_SANITY_CHECK */ |
| dirkx | 0:a259777c45a3 | 412 | |
| dirkx | 0:a259777c45a3 | 413 | SYS_ARCH_UNPROTECT(old_level); |
| dirkx | 0:a259777c45a3 | 414 | } |
| dirkx | 0:a259777c45a3 | 415 | |
| dirkx | 0:a259777c45a3 | 416 | #endif /* MEMP_MEM_MALLOC */ |