Re: Yes it is possible. Re: Stackusage at runtime

[anon@anon.org (anon)]

Because a few questions here are from students, that may want to bypass the 
research, you should give a partial answer that leads them to learn how things 
work. And not the complete answer the first time around or send them to get 
a package that is going to cost them, unless they ask for it.

No one here even suggested looking at GNAT's documentation for an example of 
"Inline Assembler", did they. The only problem is that the correct Assembly 
statements or opcodes need to be inserted in the Ada "Asm" statement for 
the PPC. Now this version is for intel x86 version and not PPC because I did 
not want to dusty off my PPC assembly books, but one should be able to 
adopt the code for PPC. 


  -- Intel version 

  package Unsigned_32_IO is new Modular_IO ( Unsigned_32 ) ;

      ...

      --  routine returns SP (stack index reg) into a unsigned_32 variable 

      Asm ( Template => "movl %%eax,  %%esp",
             Outputs => Unsigned_32'Asm_Output ( "=a", Offset ),
             Volatile => True ) ;
      --
      Put ( "Intel SP Register := " ) ;  
      Unsigned_32_IO.Put ( Offset, Base => 16 ) ;  
      New_Line ;

      ...


And you can make this routine into a procedure like in a debug package, But 
in that case you would have to adjust the offset.  And you could even add a 
routine that can dump apart of the stack if needed by expanding the idea 
of using "System.Machine_Code" package.


But Ludovic Brenta is quick at doing nothing but cutting people down! Even 
if Brenta does not understand, also I see Ludovic Brenta had no answer to 
give. So Ludovic Brenta should get back and fix Annex -E for Debian and let 
people help those who need it.



In <3c9a589e-da1c-4d8c-b42e-e84bcde38739@g17g2000prg.googlegroups.com>, Ludovic Brenta <ludovic@ludovic-brenta.org> writes:
>anon wrote:
>> To monitor the main (system) stack that GNAT uses, you need to alter the
>> System.Memory package to include some monitoring information like in
>> the following code. Some may not like it but it get the job done.
>[...]
>
>> =A0 begin
>> =A0 =A0 Put ( "Before create Integer :=3D " ) ;
>> =A0 =A0 S_IO.Put ( Stack_Monitor ) ;
>> =A0 =A0 A :=3D new Integer ;
>> =A0 =A0 Put ( " after create operation :=3D " ) ;
>> =A0 =A0 S_IO.Put ( Stack_Monitor ) ;
>[...]
>
>As your example shows, your technique does not address the OP's
>problem; it monitors heap allocations (done via new), not the stack
>(done by declaring variables in subprograms).
>
>--
>Ludovic Brenta.