2013-05-22 02:23:42 +08:00
|
|
|
/*
|
|
|
|
** $Id: lstring.c,v 2.26 2013/01/08 13:50:10 roberto Exp $
|
|
|
|
** String table (keeps all strings handled by Lua)
|
|
|
|
** See Copyright Notice in lua.h
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
#include <string.h>
|
|
|
|
|
|
|
|
#define lstring_c
|
|
|
|
#define LUA_CORE
|
|
|
|
|
|
|
|
#include "lua.h"
|
|
|
|
|
|
|
|
#include "lmem.h"
|
|
|
|
#include "lobject.h"
|
|
|
|
#include "lstate.h"
|
|
|
|
#include "lstring.h"
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** Lua will use at most ~(2^LUAI_HASHLIMIT) bytes from a string to
|
|
|
|
** compute its hash
|
|
|
|
*/
|
|
|
|
#if !defined(LUAI_HASHLIMIT)
|
2019-03-10 01:16:50 +08:00
|
|
|
#define LUAI_HASHLIMIT 5
|
2013-05-22 02:23:42 +08:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** equality for long strings
|
|
|
|
*/
|
2019-03-10 18:20:22 +08:00
|
|
|
int luaS_eqlngstr(TString *a, TString *b) {
|
2019-03-10 07:00:59 +08:00
|
|
|
size_t len = a->tsv.len;
|
|
|
|
lua_assert(a->tsv.tt == LUA_TLNGSTR && b->tsv.tt == LUA_TLNGSTR);
|
|
|
|
return (a == b) || /* same instance or... */
|
|
|
|
((len == b->tsv.len) && /* equal length and ... */
|
|
|
|
(memcmp(getstr(a), getstr(b), len) == 0)); /* equal contents */
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** equality for strings
|
|
|
|
*/
|
2019-03-10 18:20:22 +08:00
|
|
|
int luaS_eqstr(TString *a, TString *b) {
|
2019-03-10 07:00:59 +08:00
|
|
|
return (a->tsv.tt == b->tsv.tt) &&
|
|
|
|
(a->tsv.tt == LUA_TSHRSTR ? eqshrstr(a, b) : luaS_eqlngstr(a, b));
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-03-10 18:20:22 +08:00
|
|
|
unsigned int luaS_hash(const char *str, size_t l, unsigned int seed) {
|
2019-03-10 07:00:59 +08:00
|
|
|
unsigned int h = seed ^ cast(unsigned int, l);
|
|
|
|
size_t l1;
|
|
|
|
size_t step = (l >> LUAI_HASHLIMIT) + 1;
|
|
|
|
for (l1 = l; l1 >= step; l1 -= step)
|
|
|
|
h = h ^ ((h << 5) + (h >> 2) + cast_byte(str[l1 - 1]));
|
|
|
|
return h;
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** resizes the string table
|
|
|
|
*/
|
2019-03-10 18:20:22 +08:00
|
|
|
void luaS_resize(lua_State *L, int newsize) {
|
2019-03-10 07:00:59 +08:00
|
|
|
int i;
|
|
|
|
stringtable *tb = &G(L)->strt;
|
|
|
|
/* cannot resize while GC is traversing strings */
|
|
|
|
luaC_runtilstate(L, ~bitmask(GCSsweepstring));
|
|
|
|
if (newsize > tb->size) {
|
|
|
|
luaM_reallocvector(L, tb->hash, tb->size, newsize, GCObject *);
|
|
|
|
for (i = tb->size; i < newsize; i++) tb->hash[i] = NULL;
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
2019-03-10 07:00:59 +08:00
|
|
|
/* rehash */
|
|
|
|
for (i = 0; i < tb->size; i++) {
|
|
|
|
GCObject *p = tb->hash[i];
|
|
|
|
tb->hash[i] = NULL;
|
|
|
|
while (p) { /* for each node in the list */
|
|
|
|
GCObject *next = gch(p)->next; /* save next */
|
|
|
|
unsigned int h = lmod(gco2ts(p)->hash, newsize); /* new position */
|
|
|
|
gch(p)->next = tb->hash[h]; /* chain it */
|
|
|
|
tb->hash[h] = p;
|
|
|
|
resetoldbit(p); /* see MOVE OLD rule */
|
|
|
|
p = next;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (newsize < tb->size) {
|
|
|
|
/* shrinking slice must be empty */
|
|
|
|
lua_assert(tb->hash[newsize] == NULL && tb->hash[tb->size - 1] == NULL);
|
|
|
|
luaM_reallocvector(L, tb->hash, tb->size, newsize, GCObject *);
|
|
|
|
}
|
|
|
|
tb->size = newsize;
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** creates a new string object
|
|
|
|
*/
|
2019-03-10 07:00:59 +08:00
|
|
|
static TString *createstrobj(lua_State *L, const char *str, size_t l,
|
2019-03-10 18:20:22 +08:00
|
|
|
int tag, unsigned int h, GCObject **list) {
|
2019-03-10 07:00:59 +08:00
|
|
|
TString *ts;
|
|
|
|
size_t totalsize; /* total size of TString object */
|
|
|
|
totalsize = sizeof(TString) + ((l + 1) * sizeof(char));
|
|
|
|
ts = &luaC_newobj(L, tag, totalsize, list, 0)->ts;
|
|
|
|
ts->tsv.len = l;
|
|
|
|
ts->tsv.hash = h;
|
|
|
|
ts->tsv.extra = 0;
|
|
|
|
memcpy(ts + 1, str, l * sizeof(char));
|
|
|
|
((char *)(ts + 1))[l] = '\0'; /* ending 0 */
|
|
|
|
return ts;
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** creates a new short string, inserting it into string table
|
|
|
|
*/
|
2019-03-10 07:00:59 +08:00
|
|
|
static TString *newshrstr(lua_State *L, const char *str, size_t l,
|
2019-03-10 18:20:22 +08:00
|
|
|
unsigned int h) {
|
2019-03-10 07:00:59 +08:00
|
|
|
GCObject **list; /* (pointer to) list where it will be inserted */
|
|
|
|
stringtable *tb = &G(L)->strt;
|
|
|
|
TString *s;
|
|
|
|
if (tb->nuse >= cast(lu_int32, tb->size) && tb->size <= MAX_INT / 2)
|
|
|
|
luaS_resize(L, tb->size * 2); /* too crowded */
|
|
|
|
list = &tb->hash[lmod(h, tb->size)];
|
|
|
|
s = createstrobj(L, str, l, LUA_TSHRSTR, h, list);
|
|
|
|
tb->nuse++;
|
|
|
|
return s;
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** checks whether short string exists and reuses it or creates a new one
|
|
|
|
*/
|
2019-03-10 18:20:22 +08:00
|
|
|
static TString *internshrstr(lua_State *L, const char *str, size_t l) {
|
2019-03-10 07:00:59 +08:00
|
|
|
GCObject *o;
|
|
|
|
global_State *g = G(L);
|
|
|
|
unsigned int h = luaS_hash(str, l, g->seed);
|
|
|
|
for (o = g->strt.hash[lmod(h, g->strt.size)];
|
2019-03-10 18:20:22 +08:00
|
|
|
o != NULL;
|
|
|
|
o = gch(o)->next) {
|
2019-03-10 07:00:59 +08:00
|
|
|
TString *ts = rawgco2ts(o);
|
|
|
|
if (h == ts->tsv.hash &&
|
2019-03-10 18:20:22 +08:00
|
|
|
l == ts->tsv.len &&
|
|
|
|
(memcmp(str, getstr(ts), l * sizeof(char)) == 0)) {
|
2019-03-10 07:00:59 +08:00
|
|
|
if (isdead(G(L), o)) /* string is dead (but was not collected yet)? */
|
|
|
|
changewhite(o); /* resurrect it */
|
|
|
|
return ts;
|
|
|
|
}
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
2019-03-10 07:00:59 +08:00
|
|
|
return newshrstr(L, str, l, h); /* not found; create a new string */
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** new string (with explicit length)
|
|
|
|
*/
|
2019-03-10 18:20:22 +08:00
|
|
|
TString *luaS_newlstr(lua_State *L, const char *str, size_t l) {
|
2019-03-10 07:00:59 +08:00
|
|
|
if (l <= LUAI_MAXSHORTLEN) /* short string? */
|
|
|
|
return internshrstr(L, str, l);
|
|
|
|
else {
|
|
|
|
if (l + 1 > (MAX_SIZET - sizeof(TString)) / sizeof(char))
|
|
|
|
luaM_toobig(L);
|
|
|
|
return createstrobj(L, str, l, LUA_TLNGSTR, G(L)->seed, NULL);
|
|
|
|
}
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
** new zero-terminated string
|
|
|
|
*/
|
2019-03-10 18:20:22 +08:00
|
|
|
TString *luaS_new(lua_State *L, const char *str) {
|
2019-03-10 07:00:59 +08:00
|
|
|
return luaS_newlstr(L, str, strlen(str));
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-03-10 18:20:22 +08:00
|
|
|
Udata *luaS_newudata(lua_State *L, size_t s, Table *e) {
|
2019-03-10 07:00:59 +08:00
|
|
|
Udata *u;
|
|
|
|
if (s > MAX_SIZET - sizeof(Udata))
|
|
|
|
luaM_toobig(L);
|
|
|
|
u = &luaC_newobj(L, LUA_TUSERDATA, sizeof(Udata) + s, NULL, 0)->u;
|
|
|
|
u->uv.len = s;
|
|
|
|
u->uv.metatable = NULL;
|
|
|
|
u->uv.env = e;
|
|
|
|
return u;
|
2013-05-22 02:23:42 +08:00
|
|
|
}
|
|
|
|
|