1997-09-16 23:25:59 +04:00
|
|
|
/*
|
2000-08-09 23:16:57 +04:00
|
|
|
** $Id: lmem.c,v 1.35 2000/08/04 19:38:35 roberto Exp roberto $
|
1997-09-16 23:25:59 +04:00
|
|
|
** Interface to Memory Manager
|
|
|
|
** See Copyright Notice in lua.h
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
2000-06-12 17:52:05 +04:00
|
|
|
#include "lua.h"
|
|
|
|
|
2000-08-04 23:38:35 +04:00
|
|
|
#include "ldo.h"
|
1997-09-16 23:25:59 +04:00
|
|
|
#include "lmem.h"
|
1999-11-29 19:38:48 +03:00
|
|
|
#include "lobject.h"
|
1997-11-19 20:29:23 +03:00
|
|
|
#include "lstate.h"
|
1997-09-16 23:25:59 +04:00
|
|
|
|
|
|
|
|
1999-01-22 20:28:00 +03:00
|
|
|
/*
|
2000-05-29 18:48:03 +04:00
|
|
|
** Real ISO (ANSI) systems do not need these tests;
|
|
|
|
** but some systems (Sun OS) are not that ISO...
|
1999-01-22 20:28:00 +03:00
|
|
|
*/
|
|
|
|
#ifdef OLD_ANSI
|
|
|
|
#define realloc(b,s) ((b) == NULL ? malloc(s) : (realloc)(b, s))
|
1999-01-22 21:08:57 +03:00
|
|
|
#define free(b) if (b) (free)(b)
|
1999-01-22 20:28:00 +03:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
1997-09-16 23:25:59 +04:00
|
|
|
|
2000-01-13 19:30:47 +03:00
|
|
|
#ifdef DEBUG
|
1997-09-16 23:25:59 +04:00
|
|
|
/*
|
2000-01-13 19:30:47 +03:00
|
|
|
** {======================================================================
|
2000-03-10 17:01:05 +03:00
|
|
|
** Controlled version for realloc.
|
2000-01-13 19:30:47 +03:00
|
|
|
** =======================================================================
|
1997-09-16 23:25:59 +04:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
2000-01-13 19:30:47 +03:00
|
|
|
#include <assert.h>
|
2000-08-04 23:38:35 +04:00
|
|
|
#include <limits.h>
|
2000-01-13 19:30:47 +03:00
|
|
|
#include <string.h>
|
1997-09-16 23:25:59 +04:00
|
|
|
|
2000-05-29 18:48:03 +04:00
|
|
|
#undef realloc
|
|
|
|
#undef malloc
|
|
|
|
#undef free
|
2000-01-13 19:30:47 +03:00
|
|
|
#define realloc(b, s) debug_realloc(b, s)
|
|
|
|
#define malloc(b) debug_realloc(NULL, 0)
|
|
|
|
#define free(b) debug_realloc(b, 0)
|
1997-09-16 23:25:59 +04:00
|
|
|
|
|
|
|
|
2000-03-03 17:58:26 +03:00
|
|
|
/* ensures maximum alignment for HEADER */
|
2000-06-26 23:28:31 +04:00
|
|
|
union L_U { double d; char *s; long l; };
|
|
|
|
#define HEADER (sizeof(union L_U))
|
2000-03-03 17:58:26 +03:00
|
|
|
|
1999-05-24 21:51:05 +04:00
|
|
|
#define MARKSIZE 16
|
2000-01-13 19:30:47 +03:00
|
|
|
#define MARK 0x55 /* 01010101 (a nice pattern) */
|
1997-09-16 23:25:59 +04:00
|
|
|
|
1999-05-24 21:51:05 +04:00
|
|
|
|
|
|
|
#define blocksize(b) ((unsigned long *)((char *)(b) - HEADER))
|
|
|
|
|
2000-01-13 19:30:47 +03:00
|
|
|
unsigned long memdebug_numblocks = 0;
|
|
|
|
unsigned long memdebug_total = 0;
|
2000-03-16 23:35:07 +03:00
|
|
|
unsigned long memdebug_maxmem = 0;
|
2000-08-04 23:38:35 +04:00
|
|
|
unsigned long memdebug_memlimit = LONG_MAX;
|
1997-09-16 23:25:59 +04:00
|
|
|
|
|
|
|
|
1999-01-22 20:28:00 +03:00
|
|
|
static void *checkblock (void *block) {
|
1999-08-17 00:52:00 +04:00
|
|
|
unsigned long *b = blocksize(block);
|
|
|
|
unsigned long size = *b;
|
|
|
|
int i;
|
|
|
|
for (i=0;i<MARKSIZE;i++)
|
2000-01-13 19:30:47 +03:00
|
|
|
assert(*(((char *)b)+HEADER+size+i) == MARK+i); /* corrupted block? */
|
|
|
|
memdebug_numblocks--;
|
|
|
|
memdebug_total -= size;
|
1999-08-17 00:52:00 +04:00
|
|
|
return b;
|
1999-05-24 21:51:05 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static void freeblock (void *block) {
|
1999-08-17 00:52:00 +04:00
|
|
|
if (block) {
|
2000-01-13 19:30:47 +03:00
|
|
|
size_t size = *blocksize(block);
|
1999-08-17 00:52:00 +04:00
|
|
|
block = checkblock(block);
|
2000-01-13 19:30:47 +03:00
|
|
|
memset(block, -1, size+HEADER+MARKSIZE); /* erase block */
|
|
|
|
(free)(block); /* free original block */
|
1999-08-17 00:52:00 +04:00
|
|
|
}
|
1997-09-16 23:25:59 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2000-01-13 19:30:47 +03:00
|
|
|
static void *debug_realloc (void *block, size_t size) {
|
1999-01-22 20:28:00 +03:00
|
|
|
if (size == 0) {
|
1999-05-24 21:51:05 +04:00
|
|
|
freeblock(block);
|
|
|
|
return NULL;
|
|
|
|
}
|
2000-08-04 23:38:35 +04:00
|
|
|
else if (memdebug_total+size > memdebug_memlimit)
|
|
|
|
return NULL; /* to test memory allocation errors */
|
1999-05-24 21:51:05 +04:00
|
|
|
else {
|
2000-03-03 17:58:26 +03:00
|
|
|
size_t realsize = HEADER+size+MARKSIZE;
|
2000-02-08 19:39:42 +03:00
|
|
|
char *newblock = (char *)(malloc)(realsize); /* alloc a new block */
|
1999-05-24 21:51:05 +04:00
|
|
|
int i;
|
2000-05-24 17:54:49 +04:00
|
|
|
if (realsize < size) return NULL; /* overflow! */
|
2000-03-03 17:58:26 +03:00
|
|
|
if (newblock == NULL) return NULL;
|
1997-09-16 23:25:59 +04:00
|
|
|
if (block) {
|
2000-01-13 19:30:47 +03:00
|
|
|
size_t oldsize = *blocksize(block);
|
1999-05-24 21:51:05 +04:00
|
|
|
if (oldsize > size) oldsize = size;
|
|
|
|
memcpy(newblock+HEADER, block, oldsize);
|
|
|
|
freeblock(block); /* erase (and check) old copy */
|
1997-09-16 23:25:59 +04:00
|
|
|
}
|
2000-01-13 19:30:47 +03:00
|
|
|
memdebug_total += size;
|
2000-03-16 23:35:07 +03:00
|
|
|
if (memdebug_total > memdebug_maxmem) memdebug_maxmem = memdebug_total;
|
2000-01-13 19:30:47 +03:00
|
|
|
memdebug_numblocks++;
|
1999-05-24 21:51:05 +04:00
|
|
|
*(unsigned long *)newblock = size;
|
|
|
|
for (i=0;i<MARKSIZE;i++)
|
1999-10-19 17:33:22 +04:00
|
|
|
*(newblock+HEADER+size+i) = (char)(MARK+i);
|
1999-05-24 21:51:05 +04:00
|
|
|
return newblock+HEADER;
|
1997-09-16 23:25:59 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2000-01-13 19:30:47 +03:00
|
|
|
/* }====================================================================== */
|
1997-09-16 23:25:59 +04:00
|
|
|
#endif
|
2000-01-13 19:30:47 +03:00
|
|
|
|
|
|
|
|
|
|
|
|
2000-05-24 17:54:49 +04:00
|
|
|
void *luaM_growaux (lua_State *L, void *block, size_t nelems,
|
|
|
|
int inc, size_t size, const char *errormsg, size_t limit) {
|
|
|
|
size_t newn = nelems+inc;
|
|
|
|
if (nelems >= limit-inc) lua_error(L, errormsg);
|
2000-01-13 19:30:47 +03:00
|
|
|
if ((newn ^ nelems) <= nelems || /* still the same power-of-2 limit? */
|
|
|
|
(nelems > 0 && newn < MINPOWER2)) /* or block already is MINPOWER2? */
|
|
|
|
return block; /* do not need to reallocate */
|
|
|
|
else /* it crossed a power-of-2 boundary; grow to next power */
|
|
|
|
return luaM_realloc(L, block, luaO_power2(newn)*size);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** generic allocation routine.
|
|
|
|
*/
|
2000-05-24 17:54:49 +04:00
|
|
|
void *luaM_realloc (lua_State *L, void *block, lint32 size) {
|
2000-01-13 19:30:47 +03:00
|
|
|
if (size == 0) {
|
|
|
|
free(block); /* block may be NULL; that is OK for free */
|
|
|
|
return NULL;
|
|
|
|
}
|
2000-05-24 17:54:49 +04:00
|
|
|
else if (size >= MAX_SIZET)
|
2000-03-03 17:58:26 +03:00
|
|
|
lua_error(L, "memory allocation error: block too big");
|
|
|
|
block = realloc(block, size);
|
2000-08-04 23:38:35 +04:00
|
|
|
if (block == NULL) {
|
|
|
|
if (L)
|
|
|
|
luaD_breakrun(L, LUA_ERRMEM); /* break run without error message */
|
|
|
|
else return NULL; /* error before creating state! */
|
|
|
|
}
|
2000-01-13 19:30:47 +03:00
|
|
|
return block;
|
|
|
|
}
|
|
|
|
|
|
|
|
|