Michael Spencer / Mbed 2 deprecated LaOS

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Dependencies:   mbed

NetServices/lwip/core/memp.c@1:f5ac63519541, 2014-03-05 (annotated)

Committer:
Michael J. Spencer
Date:
Wed Mar 05 06:14:02 2014 -0800
Revision:
1:f5ac63519541
Initial commit.

Who changed what in which revision?

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