[Xsb-development] Memory consumption of XSB

[Kostis S. <ko...@us...>]

Hi,

I am trying to understand memory consumption of XSB.  I thought
that stack expansions were happening automatically on overflows
and no stack shrinkings were ever taking place.

But if I start XSB with -s, statistics shows otherwise:

------------------------------------------------------------------------------
| ?- statistics.

Memory (total)        23579448 bytes:     19342380 in use,      4237068 free
  permanent space     10072824 bytes:     10072824 in use,            0 free
  glob/loc space       2089984 bytes:          300 in use,      2089684 free
    global                                     120 bytes
    local                                      180 bytes
  trail/cp space        786432 bytes:          452 in use,       785980 free
    trail                                       64 bytes
    choice point                               388 bytes
  SLG unific. space      65536 bytes:            0 in use,        65536 free
  SLG completion         65536 bytes:            0 in use,        65536 free
  SLG table space     10499136 bytes:      9268804 in use,      1230332 free

  Maximum stack used: global 1295712, local 72644, trail 693016, cp 3354356,
                      SLG completion 24224 (1514 subgoals)
------------------------------------------------------------------------------

Note the numbers for the CP stack.  Is statistics lying or the CP stack
is shrunk at some point?  If yes, then why isn't the same happening for
the heap?

Also, note that most probably the table space is counted twice in the
memory total.

Best,
Kostis