Re: Invalid page fault with gnat304a on Win95

["Sune Falck" <Sune.Falck@abc.se>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1551 bytes --]




Vinicius Fernando Arcaro <vfa@turing.unicamp.br> skrev i inl�gg
<19961001002056.aaaa000RR@babyblue.cs.yale.edu>...
> Dear gnat user:
> 
>     This program runs correctly only with maxn less than 93, 
> otherwise it runs into a page fault. Is there a way to use a
> maxn greater than 92? I am compiling and linking through
> gnatmake test.adb
> 
> procedure test is
> 
>   maxn : constant integer := 93;
>   a    : array (1 .. maxn, 1 .. maxn) of long_float;
> 
> begin
>   for i in 1 .. maxn loop
>     for j in 1 .. maxn loop
>       a(i,j) := 0.0;
>     end loop;
>   end loop;
> end test;
> 

Your program needs 93*93*8 =  69192 bytes, in hex 10E48 on the
stack and the default value for the committed stack size in hex is 10000 
Try to increase the stack size 

With microsoft tool editbin - 

C:\tmp>h:\dev\msdev\bin\editbin  /stack:100000,100000 c:\tmp\test.exe
Microsoft (R) COFF Binary File Editor Version 3.00.5270
Copyright (C) Microsoft Corp 1992-1995. All rights reserved.

After this change your program runs just fine.
 
One can give gnatmake options to the linker in the following way that
also gives a working program.

C:\tmp>gnatmake test -largs -Xlinker  -stack -Xlinker 100000,20000
gnatbind -x test.ali
gnatlink -Xlinker -stack -Xlinker 100000,20000 test.ali

C:\tmp>test

Runs fine with a committed stack size of 20000

The mysterious -Xlinker options is there to make gcc
pass the argument "-stack 100000,20000" to the
linker.

-- 
Sune Falck       mailto:Sune.Falck@abc.se
Stavshaellsv 5, S-146 54 Tullinge, SWEDEN