cater@CSUN1.CS.UGA.EDU (Steven C. Cater) (08/20/90)
I am having a problem with Quintus Prolog version 2.4.2 running on a Sun 3/60 under SunOS version 3.4. [Yes, I know that these are old versions]. The problem is this: one moment my Prolog program is chugging happily along, and the next moment I get an error message from Prolog: [ERROR: out of space (error 207)] and I get thrown back into the command interpreter level. It appears that this happens durring an 'assert'/1 operation. I put a probe in the program to print out statistics just before the point where the error occurs and get the results: memory (total) 2,906,872 bytes program space 1,624,776 bytes: 831,324 in use 793,452 free global space 956,288 bytes: 418,200 in use 538,088 free local stack 233,796 bytes: 788 in use 233,008 free At this point the UN*X command pstat -s shows that my swap space looks like: 8912K used (2848K text), 21312K free, 1224K wasted, 0K missing max process allocable = 20464K avail: 20*1024K 1*256K ... etc. and the UN*X command ps -gv shows for the Prolog engine SIZE = 2904K RSS = 1656K TSIZ = 408K TRS = 392K %mem = 13.1 and the UN*X csh command limit shows for the shell process datasize 245,504 Kbytes stacksize 245,504 Kbytes memory use unlimited and the UN*X command dkinfo shows that my swap device (/dev/sd0b) contains 61472 sectors (30,736 Kbytes). The machine has 16 Mbytes of physical memory. ALL OF THE ABOVE INFORMATION SEEMS TO SUGGEST TO ME THAT THERE IS PLENTY OF SPACE AVAILABLE. THE QUINTUS MANUAL SAYS THAT ALL PROLOG DATA AREAS CAN EXPAND AS NEEDED UP TO THE LIMIT OF AVAILABLE RESOURCES. Therefore, I should not get the error 207. But I do get the error 207, so some part of the above information is incorrect or else there is a bug in SunOS 3.4 or Quintus 2.4.2. I would greatly appreciate any help anyone can give me in further diagnosing the problem, correcting the problem, or working around it. If this is a known bug in the old releases of software that I am using, which is corrected in a later release, I would also like to know that. Thanks. Please e-mail response to either: orville@vindalu.lu.eas.asu.edu weyrich@csun2.cs.uga.edu or phone 602-948-2600 ext 273.