DataMuseum.dk

top - metrics - download

    Length: 2412 (0x96c)
    Types: TextFile
    Names: »B«

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧ 

TextFile

-- PERFORMANCE MEASUREMENT : function GET timing ( INTERNAL )

with Text_Io;
use Text_Io;
with Remote_Global;
use Remote_Global; -- control optimization
with Iteration; -- obtain stable measurement
with Piwg_Io; -- output results

procedure G000005 is  -- main procedure to execute
    Cpu_Time : Duration; -- CPU time for one feature execution
    Wall_Time : Duration; -- WALL time for one feature execution
    Check_Times : constant := 10; -- inside loop count and check
    Iteration_Count : Integer; -- set and varied by ITERATION package
    Stable : Boolean; -- true when measurement stable
    Scratch_String : String (1 .. 6) := "100   ";
    Scratch_Length : Natural;
    Scratch_Value : Integer;
    package Int_Io is new Integer_Io (Integer);
    use Int_Io;

begin

    Iteration.Start_Control;  -- dummy to bring in pages on some machines

    delay 0.5;  -- wait for stable enviornment on some machines

    Iteration.Initialize (Iteration_Count);

    loop  -- until stable measurement, ITERATION_COUNT increases each time

--
-- Control loop
--
        Iteration.Start_Control;
        for J in 1 .. Iteration_Count loop
            Global := 0;
            for Inside_Loop in 1 .. Check_Times loop
                Global := Global + A_One;
                Remote;  
                Put (Scratch_String, Inside_Loop);
            end loop;
        end loop;
        Iteration.Stop_Control (Global, Check_Times);


--
-- Test loop
--
-- establish the time for the GET pocdedure on an integer

        Iteration.Start_Test;
        for J in 1 .. Iteration_Count loop
            Global := 0;
            for Inside_Loop in 1 .. Check_Times loop
                Global := Global + A_One;
                Remote;  
                Put (Scratch_String, Inside_Loop);
                Get (Scratch_String, Scratch_Value, Scratch_Length);
            end loop;
        end loop;
        Iteration.Stop_Test (Global, Check_Times);
        Iteration.Test_Stable (Iteration_Count, Stable);
        exit when Stable;
    end loop;
--
    Iteration.Feature_Times (Cpu_Time, Wall_Time);

--
-- Printout
--
    Piwg_Io.Piwg_Output
       ("G000005", "Input/Output", Cpu_Time, Wall_Time, Iteration_Count,
        " TEXT_IO.GET an integer from a local string, timing measurement",
        " use TEXT_IO.PUT to convert 1..100 to a string ",
        " then use TEXT_IO.GET to get the number back");

end G000005;