add rehashing and simpler hash-table (sadly too slow)

This commit is contained in:
Dmitry Olshansky 2013-03-07 23:40:30 +04:00
parent 510b7ca47e
commit b9c1928746
2 changed files with 111 additions and 27 deletions

View File

@ -1,5 +1,5 @@
dmd *.d std/d/*.d -release -inline -noboundscheck -O -w -wi -m64 -property -ofdscanner-dmd dmd *.d std/d/*.d -release -inline -noboundscheck -O -w -wi -m64 -property -ofdscanner-dmd
#dmd *.d std/d/*.d -g -m64 -w -wi -property -ofdscanner -unittest #dmd *.d std/d/*.d -g -m64 -w -wi -ofdscanner -unittest
ldc2 -O3 *.d std/d/*.d -of=dscanner-ldc -release -m64 ldc2 -O3 *.d std/d/*.d -of=dscanner-ldc -release -m64
#ldc2 *.d std/d/*.d -of=dscanner -unittest -m64 -g #ldc2 *.d std/d/*.d -of=dscanner -unittest -m64 -g
/opt/gdc/bin/gdc -O3 -odscanner-gdc -fno-bounds-check -frelease -m64 *.d std/d/*.d /opt/gdc/bin/gdc -O3 -odscanner-gdc -fno-bounds-check -frelease -m64 *.d std/d/*.d

View File

@ -591,7 +591,6 @@ L_advance:
current.value = getTokenValue(current.type); current.value = getTokenValue(current.type);
if (current.value is null) if (current.value is null)
setTokenValue(); setTokenValue();
if (!(config.iterStyle & IterationStyle.ignoreEOF) && current.type == TokenType.eof) if (!(config.iterStyle & IterationStyle.ignoreEOF) && current.type == TokenType.eof)
{ {
_empty = true; _empty = true;
@ -1130,7 +1129,7 @@ L_advance:
void lexString() void lexString()
in in
{ {
assert (src.front == '"'); //assert (src.front == '"');
} }
body body
{ {
@ -1832,8 +1831,9 @@ L_advance:
column = 0; column = 0;
_empty = false; _empty = false;
config = move(cfg); config = move(cfg);
cache = StringCache(initialTableSize);
} }
enum initialTableSize = 1024;
Token current; Token current;
uint lineNumber; uint lineNumber;
uint column; uint column;
@ -3008,31 +3008,40 @@ string generateCaseTrie(string[] args ...)
struct StringCache struct StringCache
{ {
this(size_t startSize)
{
assert((startSize & (startSize-1)) == 0);
index = new Slot*[startSize];
}
string get(R)(R range) string get(R)(R range)
if(isRandomAccessRange!R if(isRandomAccessRange!R
&& is(Unqual!(ElementType!R) : const(ubyte))) && is(Unqual!(ElementType!R) : const(ubyte)))
{ {
uint h = hash(range); uint h = hash(range);
uint bucket = h % mapSize; uint bucket = h % index.length;
Slot *s = &index[bucket]; Slot *s = index[bucket];
//1st slot not yet initialized? if(s == null)
if (s.value.ptr == null)
{ {
*s = Slot(putIntoCache(range), null, h); string str = putIntoCache(range);
return s.value; index[bucket] = allocateSlot(str, h);
uniqueSlots++;
return str;
} }
Slot* insSlot = s;
for(;;) for(;;)
{ {
if(s.hash == h && s.value.equal(range)) if(s.hash == h && s.value.equal(range))
return s.value; return s.value;
insSlot = s; if(s.next == null) break;
s = s.next; s = s.next;
if(s == null) break;
} }
string str = putIntoCache(range); string str = putIntoCache(range);
insertIntoSlot(insSlot, str, h); s.next = allocateSlot(str, h);
uniqueSlots++;
// had at least 1 item in this bucket
// and inserted another one - check load factor
if(uniqueSlots*loadDenom > index.length*loadQuot)
rehash();
return str; return str;
} }
@ -3049,8 +3058,6 @@ private:
return hash; return hash;
} }
enum mapSize = 2048;
struct Slot struct Slot
{ {
string value; string value;
@ -3058,21 +3065,98 @@ private:
uint hash; uint hash;
}; };
void insertIntoSlot(Slot* tgt, string val, uint hash) void printLoadFactor()
{
size_t cnt = 0, maxChain = 0;
foreach(Slot* s; index)
{
size_t chain = 0;
for(Slot* p = s; p; p = p.next)
{
chain++;
}
maxChain = max(chain, maxChain);
cnt += chain;
}
import std.stdio;
assert(cnt == uniqueSlots);
writefln("Load factor: %.3f; max bucket %d",
cast(double)cnt/index.length,
maxChain);
}
void rehash()
{
//writefln("BEFORE (size = %d):", index.length);
//printLoadFactor();
size_t oldLen = index.length;
index.length *= 2;
for (size_t i = 0; i < oldLen; i++)
{
Slot* cur = index[i], prev;
while(cur)
{
//has extra bit set - move it out
if(cur.hash & oldLen)
{
if(prev == null)
{
Slot* r = cur;
index[i] = cur.next;
cur = cur.next;
insertIntoBucket(r, i + oldLen);
}
else
{
Slot* r = removeLink(cur, prev);
insertIntoBucket(r, i + oldLen);
}
}
else
{
prev = cur;
cur = cur.next;
}
}
}
//writefln("AFTER (size = %d):", index.length);
//printLoadFactor();
}
static Slot* removeLink(ref Slot* cur, Slot* prev)
{
prev.next = cur.next;
Slot* r = cur;
cur = cur.next;
return r;
}
//insert at front of bucket
void insertIntoBucket(Slot* what, size_t bucket)
{
what.next = null;
Slot* p = index[bucket];
what.next = p;
index[bucket] = what;
}
Slot* allocateSlot(string val, uint hash)
{ {
auto slice = allocateInCache(Slot.sizeof); auto slice = allocateInCache(Slot.sizeof);
auto newSlot = cast(Slot*)slice.ptr; auto newSlot = cast(Slot*)slice.ptr;
*newSlot = Slot(val, null, hash); *newSlot = Slot(val, null, hash);
tgt.next = newSlot; return newSlot;
} }
Slot[mapSize] index; Slot*[] index;
size_t uniqueSlots;
enum loadQuot = 1, loadDenom = 3;
// leave some slack for alloctors/GC meta-data // leave some slack for alloctors/GC meta-data
enum chunkSize = 16*1024 - size_t.sizeof*8; enum chunkSize = 16*1024 - size_t.sizeof*8;
ubyte*[] chunkS; ubyte*[] chunkS;
size_t next = chunkSize; size_t next = chunkSize;
//TODO: add aligned variant that allocates at word boundary
ubyte[] allocateInCache(size_t size) ubyte[] allocateInCache(size_t size)
{ {
import core.memory; import core.memory;