1997-09-16 23:25:59 +04:00
|
|
|
/*
|
2001-01-24 18:45:33 +03:00
|
|
|
** $Id: lmem.c,v 1.43 2001/01/19 13:20:30 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
|
|
|
|
1997-09-16 23:25:59 +04:00
|
|
|
|
2000-10-30 19:29:59 +03:00
|
|
|
#ifdef LUA_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-12-28 15:55:41 +03:00
|
|
|
#define basicrealloc(b, os, s) debug_realloc(b, os, s)
|
|
|
|
#define basicfree(b, s) debug_realloc(b, s, 0)
|
1997-09-16 23:25:59 +04:00
|
|
|
|
|
|
|
|
2000-03-03 17:58:26 +03:00
|
|
|
/* ensures maximum alignment for HEADER */
|
2000-10-26 16:47:05 +04:00
|
|
|
#define HEADER (sizeof(union L_Umaxalign))
|
2000-03-03 17:58:26 +03:00
|
|
|
|
2000-12-28 15:55:41 +03:00
|
|
|
#define MARKSIZE 32
|
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
|
|
|
|
2000-11-24 20:39:56 +03:00
|
|
|
#define blocksize(b) ((size_t *)((char *)(b) - HEADER))
|
1999-05-24 21:51:05 +04:00
|
|
|
|
2000-11-24 20:39:56 +03:00
|
|
|
mem_int memdebug_numblocks = 0;
|
|
|
|
mem_int memdebug_total = 0;
|
|
|
|
mem_int memdebug_maxmem = 0;
|
|
|
|
mem_int 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) {
|
2000-11-24 20:39:56 +03:00
|
|
|
size_t *b = blocksize(block);
|
|
|
|
size_t size = *b;
|
1999-08-17 00:52:00 +04:00
|
|
|
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? */
|
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 */
|
2000-12-28 15:55:41 +03:00
|
|
|
free(block); /* free original block */
|
|
|
|
memdebug_numblocks--;
|
|
|
|
memdebug_total -= size;
|
1999-08-17 00:52:00 +04:00
|
|
|
}
|
1997-09-16 23:25:59 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2000-12-28 15:55:41 +03:00
|
|
|
static void *debug_realloc (void *block, size_t oldsize, size_t size) {
|
|
|
|
assert((oldsize == 0) ? block == NULL : oldsize == *blocksize(block));
|
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-12-28 15:55:41 +03:00
|
|
|
char *newblock;
|
1999-05-24 21:51:05 +04:00
|
|
|
int i;
|
2000-12-28 15:55:41 +03:00
|
|
|
size_t realsize = HEADER+size+MARKSIZE;
|
2000-05-24 17:54:49 +04:00
|
|
|
if (realsize < size) return NULL; /* overflow! */
|
2000-12-28 15:55:41 +03:00
|
|
|
newblock = (char *)malloc(realsize); /* alloc a new block */
|
2000-03-03 17:58:26 +03:00
|
|
|
if (newblock == NULL) return NULL;
|
2000-12-28 15:55:41 +03:00
|
|
|
if (oldsize > size) oldsize = size;
|
1997-09-16 23:25:59 +04:00
|
|
|
if (block) {
|
1999-05-24 21:51:05 +04:00
|
|
|
memcpy(newblock+HEADER, block, oldsize);
|
|
|
|
freeblock(block); /* erase (and check) old copy */
|
1997-09-16 23:25:59 +04:00
|
|
|
}
|
2000-12-28 15:55:41 +03:00
|
|
|
/* initialize new part of the block with something `weird' */
|
|
|
|
memset(newblock+HEADER+oldsize, -MARK, size-oldsize);
|
2000-01-13 19:30:47 +03:00
|
|
|
memdebug_total += size;
|
2000-12-28 15:55:41 +03:00
|
|
|
if (memdebug_total > memdebug_maxmem)
|
|
|
|
memdebug_maxmem = memdebug_total;
|
2000-01-13 19:30:47 +03:00
|
|
|
memdebug_numblocks++;
|
2000-11-24 20:39:56 +03:00
|
|
|
*(size_t *)newblock = size;
|
1999-05-24 21:51:05 +04:00
|
|
|
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
|
|
|
/* }====================================================================== */
|
|
|
|
|
2000-12-28 15:55:41 +03:00
|
|
|
#else
|
|
|
|
/* no debug */
|
2000-01-13 19:30:47 +03:00
|
|
|
|
2000-10-11 20:47:50 +04:00
|
|
|
/*
|
|
|
|
** Real ISO (ANSI) systems do not need these tests;
|
|
|
|
** but some systems (Sun OS) are not that ISO...
|
|
|
|
*/
|
|
|
|
#ifdef OLD_ANSI
|
2000-12-28 15:55:41 +03:00
|
|
|
#define basicrealloc(b,os,s) ((b) == NULL ? malloc(s) : realloc(b, s))
|
|
|
|
#define basicfree(b,s) if (b) free(b)
|
|
|
|
#else
|
|
|
|
#define basicrealloc(b,os,s) realloc(b,s)
|
|
|
|
#define basicfree(b,s) free(b)
|
|
|
|
|
2000-10-11 20:47:50 +04:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
2000-12-28 15:55:41 +03:00
|
|
|
#endif
|
|
|
|
|
2000-12-26 21:46:09 +03:00
|
|
|
void *luaM_growaux (lua_State *L, void *block, int *size, int size_elems,
|
|
|
|
int limit, const char *errormsg) {
|
|
|
|
void *newblock;
|
|
|
|
int newsize = (*size)*2;
|
|
|
|
if (newsize < MINPOWER2)
|
|
|
|
newsize = MINPOWER2; /* minimum size */
|
|
|
|
else if (*size >= limit/2) { /* cannot double it? */
|
|
|
|
if (*size < limit - MINPOWER2) /* try something smaller... */
|
|
|
|
newsize = limit; /* still have at least MINPOWER2 free places */
|
2001-01-24 18:45:33 +03:00
|
|
|
else luaD_error(L, errormsg);
|
2000-12-26 21:46:09 +03:00
|
|
|
}
|
2000-12-28 15:55:41 +03:00
|
|
|
newblock = luaM_realloc(L, block, (luint32)(*size)*(luint32)size_elems,
|
|
|
|
(luint32)newsize*(luint32)size_elems);
|
2000-12-26 21:46:09 +03:00
|
|
|
*size = newsize; /* update only when everything else is OK */
|
|
|
|
return newblock;
|
2000-01-13 19:30:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** generic allocation routine.
|
|
|
|
*/
|
2000-12-28 15:55:41 +03:00
|
|
|
void *luaM_realloc (lua_State *L, void *block, luint32 oldsize, luint32 size) {
|
2000-01-13 19:30:47 +03:00
|
|
|
if (size == 0) {
|
2000-12-28 15:55:41 +03:00
|
|
|
basicfree(block, oldsize); /* block may be NULL; that is OK for free */
|
|
|
|
block = NULL;
|
2000-01-13 19:30:47 +03:00
|
|
|
}
|
2000-05-24 17:54:49 +04:00
|
|
|
else if (size >= MAX_SIZET)
|
2001-01-24 18:45:33 +03:00
|
|
|
luaD_error(L, "memory allocation error: block too big");
|
2000-12-28 15:55:41 +03:00
|
|
|
else {
|
|
|
|
block = basicrealloc(block, oldsize, size);
|
|
|
|
if (block == NULL) {
|
|
|
|
if (L)
|
|
|
|
luaD_breakrun(L, LUA_ERRMEM); /* break run without error message */
|
|
|
|
else return NULL; /* error before creating state! */
|
|
|
|
}
|
|
|
|
}
|
2001-01-19 16:20:30 +03:00
|
|
|
if (L && G(L)) {
|
|
|
|
G(L)->nblocks -= oldsize;
|
|
|
|
G(L)->nblocks += size;
|
2000-08-04 23:38:35 +04:00
|
|
|
}
|
2000-01-13 19:30:47 +03:00
|
|
|
return block;
|
|
|
|
}
|
|
|
|
|