DataMuseum.dk

top - metrics - download

    Length: 2393 (0x959)
    Types: TextFile
    Names: »V«

└─⟦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

with List_Generic;
with Time_Utilities;
package Performance is

    type Performance_Record is private;

    function Time_Stamp (Of_Entry : Performance_Record)
                        return Time_Utilities.Time;
    function Disk_Q_Load (Of_Entry : Performance_Record) return Natural;
    function Run_Q_Load (Of_Entry : Performance_Record) return Natural;
    function Job_Cpu_Time (Of_Entry : Performance_Record) return Duration;
    function Job_Elapsed_Time (Of_Entry : Performance_Record) return Duration;
    function Available_Disk_Space
                (Of_Entry : Performance_Record) return Natural;
    function Gc_Running (Of_Entry : Performance_Record) return Boolean;
    function Active_Sessions (Of_Entry : Performance_Record) return Natural;

    type Iterator is private;
    function Get_Entries (Starting_At : Time_Utilities.Time;
                          Ending_At : Time_Utilities.Time;
                          From_File : String) return Iterator;
    function Value (Iter : Iterator) return Performance_Record;
    function Done (Iter : Iterator) return Boolean;
    procedure Next (Iter : in out Iterator);

    procedure Monitor (Interval : Duration := 15 * 60.0;
                       Data_File : String := "performance_data");

    procedure Report (Start_Date : String := "";
                      End_Date : String := "";
                      Output : String := "";
                      Data_File : String := "performance_data");

    procedure Weekly_Report (Week_Of : String := ">>MONDAY'S DATE<<";
                             Start_Time : String := "9:00:00";
                             End_Time : String := "17:00:00";
                             Output : String := "";
                             Weekend_Too : Boolean := False;
                             Data_File : String := "performance_data");

private
    type Performance_Record is
        record
            The_Time : Time_Utilities.Time;
            The_Disk_Wait_Load,  
            The_Run_Queue_Load : Natural;
            The_Demote_Promote_Cpu : Duration;
            The_Demote_Promote_Elapsed : Duration;
            The_Unused_Disk_Space : Natural;
            The_Gc_Running : Boolean;
            The_Active_Session_Count : Natural;
        end record;

    package Perf_List is new List_Generic (Performance_Record);

    type Iterator is new Perf_List.List;
end Performance;