From: CR R. <cr...@cs...> - 2000-04-25 03:41:18
|
Trie interned nodes (see intern.P in syslib) are apparently not counted in *any* memory statistics [not even in the total]. My memory may be failing me (oops, sorry ;-), but I believe it used to be counted with "SLG table space" when the intern library was first written. BTW, code asserted with trie index is not counted either. So those who used trie-indexed asserts/interns and computed memory stats for their applications gotta figure out another way to estimate total memory use. Is time ripe yet to rationalize our mallocs (or memallocs, or whatever names it is known by)? In the meantime, short of "top", is there any way we can get a reliable measure of total data area allocated by XSB? Thanks, - CR |