DataMuseum.dk

top - metrics - download

    Length: 1474 (0x5c2)
    Types: TextFile
    Names: »V«

└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦a5bbbb819⟧ 
                └─⟦this⟧ 
└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦eec0a994f⟧ 
                └─⟦this⟧ 

TextFile

procedure Show_Snapshot_Times (Log_File        : String  := "<IMAGE>";
                               Not_Before      : Integer := 7;
                               Not_After       : Integer := 19;
                               Report_Per_File : Boolean := False;
                               Response        : String  := "<PROFILE>");
-- Takes a log file as would appear in !Machine.Error_Logs and analyses the
-- time spent in snapshots.  Filters the snapshots to exclude those occurring
-- before Not_Before or after Not_After.  Not_Before => 7, Not_After => 19
-- would only process snapshots that occurred between 7:00 in the morning and
-- 7:00 in the evening.  Report_Per_File will cause a separate analysis of each
-- file.  This can be useful for comparing a series of files.
-- All times are reported in seconds.
-- Snapshots requiring more than 2 minutes are displayed as the time of the
-- snapshot along with the length.
-- RMS is Sqrt (Sum (Times**2)).
-- A sample output might be:
--
-- 03:11:11 90/01/10 => 131
-- Value           Attribute
-- =====  ===========================
--    42  Snapshots
--    41  Average length
--    49  RMS
--     1  Over 2 minutes
--
--     8  Snapshots lasting 0.. 14
--     8  Snapshots lasting 15.. 29
--     8  Snapshots lasting 30.. 44
--     9  Snapshots lasting 45.. 59
--     5  Snapshots lasting 60.. 74
--     2  Snapshots lasting 75.. 89
--     1  Snapshots lasting 90.. 104
--     1  Snapshots lasting 120.. 134