YAP Memory

[Tony Wilson-3]

I don't know what is in the cygwin.tar, but as far as I know, the win32
binaries are also built on cygwin with mingw32 options (-mno-cygwin). I
built mine from the sources using:

../Yap-5.1.3/configure CFLAGS="-mno-cygwin -O3 -fomit-frame-pointer
-march=i686" YAP_EXTRAS=-DBP_FREE=1 --with-gmp=/usr/local
--enable-max-performance

The output of this program:

for( A, B, C) :- B =< C, '_for'( A, B, C).

'_for'( I, I, _).
'_for'( I, C, L) :- C < L, C2 is C + 1, '_for'( I, C2, L).

:-  for(_,1,6000000),
    A is random,
    write(a(A,A,A,A,A)),write('.'),nl,
    fail
    ;
    true.

filesize: 353,968,146 bytes
gives (on a 2.4GHz Celeron with 1 Gb):

% Restoring file C:/Yap/lib/Yap/startup
YAP version Yap-5.1.3
   ?- [c],statistics.
 % consulting C:\Documents and Settings\t\My Documents\c.yap...
 % consulted C:\Documents and Settings\t\My Documents\c.yap in module
user, 275375 msec 576000224 bytes
memory (total)      611377148 bytes
   program space    610402304 bytes:  577127720 in use,     33274584 free
                                                                   0  max
   stack space         843776 bytes:       5240 in use,       838536 free
     global stack:                         4848 in use,         4848  max
      local stack:                          392 in use,          996  max
   trail stack         131068 bytes:         56 in use,       131012 free

       0.000 sec. for 42 code, 0 stack, and 0 trail space overflows
       0.000 sec. for 0 garbage collections which collected 0 bytes
       0.000 sec. for 0 atom garbage collections which collected 0 bytes
     275.421 sec. runtime
     275.421 sec. cputime
     540.406 sec. elapsed time

yes
   ?-

Don't know if this helps.

Regards,
Tony,
Durban, South Africa.


------------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It is the best place to buy or sell services for
just about anything Open Source.
http://p.sf.net/sfu/Xq1LFB
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users