Menu ▾ ▴

Commit [r9613]  Maximize  Restore  History

Modified fixpoint scheduling to use a scheduling queue to avoid linear scan of completion frames. Updated adjust_levels to be more multi-thread friendly, I hope.

dwarren 2019-07-10

Browse code at this revision

Parent: [r9612]

Child: [r9614]

changed /trunk/XSB/emu/context.h
changed /trunk/XSB/emu/emuloop.c
changed /trunk/XSB/emu/init_xsb.c
changed /trunk/XSB/emu/memory_xsb.c
changed /trunk/XSB/emu/schedrev_xsb_i.h
changed /trunk/XSB/emu/slginsts_xsb_i.h
changed /trunk/XSB/emu/tab_structs.h
changed /trunk/XSB/emu/tables.c
/trunk/XSB/emu/context.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/emuloop.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/init_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/memory_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/schedrev_xsb_i.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/slginsts_xsb_i.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tab_structs.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tables.c Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB