Menu ▾ ▴

Commit [r7998]  Maximize  Restore  History

Fixed outstanding bug in incremental tabling. Structure managers required a structure to be at least 2 words long, but smKey structures were 4 bytes.

So I redefined the size of KEY structures to be 4/8 bytes on 32/64 bit machines, and created a SM_DeallocateSmallStruct that handles structures of 1 word.
Regular structure managers still require 2 words.

tswift 2014-07-30

Browse code at this revision

Parent: [r7997]

Child: [r7999]

changed /trunk/XSB/emu/call_graph_xsb.c
changed /trunk/XSB/emu/struct_manager.h
changed /trunk/XSB/emu/tries.h
/trunk/XSB/emu/call_graph_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/struct_manager.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tries.h Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB