diff options
Diffstat (limited to 'gcc/ada/s-stausa.ads')
| -rw-r--r-- | gcc/ada/s-stausa.ads | 78 |
1 files changed, 35 insertions, 43 deletions
diff --git a/gcc/ada/s-stausa.ads b/gcc/ada/s-stausa.ads index 1cd78ea0465..c0449e8fbc8 100644 --- a/gcc/ada/s-stausa.ads +++ b/gcc/ada/s-stausa.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2011, Free Software Foundation, Inc. -- -- -- -- GNARL is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -57,11 +57,8 @@ package System.Stack_Usage is -- Amount of stack used. The value is calculated on the basis of the -- mechanism used by GNAT to allocate it, and it is NOT a precise value. - Variation : Natural; - -- Possible variation in the amount of used stack. The real stack usage - -- may vary in the range Value +/- Variation - - Max_Size : Natural; + Stack_Size : Natural; + -- Size of the stack end record; type Result_Array_Type is array (Positive range <>) of Task_Result; @@ -91,8 +88,9 @@ package System.Stack_Usage is -- begin -- Initialize_Analyzer (A, -- "Task t", + -- A_Storage_Size, + -- 0, -- A_Storage_Size - A_Guard, - -- A_Guard -- To_Stack_Address (Bottom_Of_Stack'Address)); -- Fill_Stack (A); -- Some_User_Code; @@ -115,7 +113,9 @@ package System.Stack_Usage is -- before the call to the instrumentation procedure. -- Strategy: The user of this package should measure the bottom of stack - -- before the call to Fill_Stack and pass it in parameter. + -- before the call to Fill_Stack and pass it in parameter. The impact + -- is very minor unless the stack used is very small, but in this case + -- you aren't very interested by the figure. -- Instrumentation threshold at writing: @@ -212,32 +212,29 @@ package System.Stack_Usage is -- the memory will look like that: -- -- Stack growing - -- -----------------------------------------------------------------------> - -- |<---------------------->|<----------------------------------->| - -- | Stack frame | Memory filled with Analyzer.Pattern | - -- | of Fill_Stack | | - -- | (deallocated at | | - -- | the end of the call) | | - -- ^ | ^ - -- Analyzer.Bottom_Of_Stack | Analyzer.Top_Pattern_Mark - -- ^ - -- Analyzer.Bottom_Pattern_Mark + -- ----------------------------------------------------------------------> + -- |<--------------------->|<----------------------------------->| + -- | Stack frames to | Memory filled with Analyzer.Pattern | + -- | Fill_Stack | | + -- ^ | ^ + -- Analyzer.Stack_Base | Analyzer.Pattern_Limit + -- ^ + -- Analyzer.Pattern_Limit +/- Analyzer.Pattern_Size -- procedure Initialize_Analyzer (Analyzer : in out Stack_Analyzer; Task_Name : String; - My_Stack_Size : Natural; - Max_Pattern_Size : Natural; - Bottom : Stack_Address; - Top : Stack_Address; + Stack_Size : Natural; + Stack_Base : Stack_Address; + Pattern_Size : Natural; Pattern : Interfaces.Unsigned_32 := 16#DEAD_BEEF#); -- Should be called before any use of a Stack_Analyzer, to initialize it. -- Max_Pattern_Size is the size of the pattern zone, might be smaller than - -- the full stack size in order to take into account e.g. the secondary - -- stack and a guard against overflow. The actual size taken will be - -- readjusted with data already used at the time the stack is actually - -- filled. + -- the full stack size Stack_Size in order to take into account e.g. the + -- secondary stack and a guard against overflow. The actual size taken + -- will be readjusted with data already used at the time the stack is + -- actually filled. Is_Enabled : Boolean := False; -- When this flag is true, then stack analysis is enabled @@ -253,16 +250,14 @@ package System.Stack_Usage is -- Stack growing -- -----------------------------------------------------------------------> -- |<---------------------->|<-------------->|<--------->|<--------->| - -- | Stack frame | Array of | used | Memory | - -- | of Compute_Result | Analyzer.Probe | during | filled | - -- | (deallocated at | elements | the | with | - -- | the end of the call) | | execution | pattern | - -- | ^ | | | - -- | Bottom_Pattern_Mark | | | + -- | Stack frames | Array of | used | Memory | + -- | to Compute_Result | Analyzer.Probe | during | filled | + -- | | elements | the | with | + -- | | | execution | pattern | -- | | | -- |<----------------------------------------------------> | -- Stack used ^ - -- Top_Pattern_Mark + -- Pattern_Limit procedure Report_Result (Analyzer : Stack_Analyzer); -- Store the results of the computation in memory, at the address @@ -288,6 +283,10 @@ private Task_Name : String (1 .. Task_Name_Length); -- Name of the task + Stack_Base : Stack_Address; + -- Address of the base of the stack, as given by the caller of + -- Initialize_Analyzer. + Stack_Size : Natural; -- Entire size of the analyzed stack @@ -297,11 +296,8 @@ private Pattern : Pattern_Type; -- Pattern used to recognize untouched memory - Bottom_Pattern_Mark : Stack_Address; - -- Bound of the pattern area on the stack closest to the bottom - - Top_Pattern_Mark : Stack_Address; - -- Topmost bound of the pattern area on the stack + Pattern_Limit : Stack_Address; + -- Bound of the pattern area farthest to the base Topmost_Touched_Mark : Stack_Address; -- Topmost address of the pattern area whose value it is pointing @@ -309,11 +305,7 @@ private -- compensated, it is the topmost value of the stack pointer during -- the execution. - Bottom_Of_Stack : Stack_Address; - -- Address of the bottom of the stack, as given by the caller of - -- Initialize_Analyzer. - - Stack_Overlay_Address : System.Address; + Pattern_Overlay_Address : System.Address; -- Address of the stack abstraction object we overlay over a -- task's real stack, typically a pattern-initialized array. |