fix stupid handling of atom expansion.
This commit is contained in:
parent
bf12f320fe
commit
b1651fcdf0
8
C/grow.c
8
C/grow.c
@ -1361,13 +1361,11 @@ static int
|
|||||||
growatomtable( USES_REGS1 )
|
growatomtable( USES_REGS1 )
|
||||||
{
|
{
|
||||||
AtomHashEntry *ntb;
|
AtomHashEntry *ntb;
|
||||||
UInt diff = 3*AtomHashTableSize-1, nsize;
|
UInt nsize = 3*AtomHashTableSize-1;
|
||||||
UInt start_growth_time = Yap_cputime(), growth_time;
|
UInt start_growth_time = Yap_cputime(), growth_time;
|
||||||
int gc_verbose = Yap_is_gc_verbose();
|
int gc_verbose = Yap_is_gc_verbose();
|
||||||
if (diff > 4*1024*1024)
|
if (nsize -AtomHashTableSize > 4*1024*1024)
|
||||||
diff = 4*1024*1024+7919;
|
nsize = AtomHashTableSize+4*1024*1024+7919;
|
||||||
else
|
|
||||||
nsize = nsize+7919;
|
|
||||||
|
|
||||||
LOCK(LOCAL_SignalLock);
|
LOCK(LOCAL_SignalLock);
|
||||||
if (LOCAL_ActiveSignals == YAP_CDOVF_SIGNAL) {
|
if (LOCAL_ActiveSignals == YAP_CDOVF_SIGNAL) {
|
||||||
|
Reference in New Issue
Block a user