DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

This is an automatic "excavation" of a thematic subset of artifacts from Datamuseum.dk's BitArchive. See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - download

⟦24985d85c⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Many_Objects_Benchmark, seg_02a461

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

with Calendar;
with Fact;
with Many_Objects_Frames;
with Many_Objects_Rule_Base;
with Many_Objects_Rules;
with Text_Io;

use Calendar;
use Fact;
use Many_Objects_Frames;

procedure Many_Objects_Benchmark is

    Inference_Count    : Natural;
    Elapsed_Time       : Duration;
    Firings_Per_Second : Integer;

    Started_At, Stopped_At : Calendar.Time;

    function Firable_On_Facts return Fact.Collection
        renames Many_Objects_Rule_Base.Rule_Base.Firable_On_Facts;

    function Firable_On_Rule return Many_Objects_Rule_Base.Rule_Base.Rule_Id
        renames Many_Objects_Rule_Base.Rule_Base.Firable_On_Rule;

    package Duration_Io is new Text_Io.Fixed_Io (Duration);

begin
    Inference_Count := 0;
    Started_At      := Calendar.Clock;

    States.Add ((Value => 0));
    Numbers.Add ((Value => 0));
    loop
        declare
            Result : constant Fact.Collection := Firable_On_Facts;
        begin
            exit when Result = Empty_Collection;
            Many_Objects_Rules.Do_Action (For_Rule => Firable_On_Rule,  
                                          On_Facts => Result);
            Inference_Count := Inference_Count + 1;
        end;
    end loop;

    Stopped_At         := Calendar.Clock;
    Elapsed_Time       := Stopped_At - Started_At;
    Firings_Per_Second := Integer
                             (Float (Inference_Count) / Float (Elapsed_Time));
    Duration_Io.Put (Elapsed_Time, Fore => 3, Aft => 2);  
    Text_Io.Put (", inferences =>" & Integer'Image (Inference_Count));
    Text_Io.Put (", firings per second =>" &
                 Integer'Image (Firings_Per_Second));
    Text_Io.New_Line;
end Many_Objects_Benchmark;

    nblk1=4
    nid=3
    hdr6=4
        [0x00] rec0=27 rec1=00 rec2=01 rec3=020
        [0x01] rec0=11 rec1=00 rec2=02 rec3=001
        [0x02] rec0=0a rec1=00 rec2=00 rec3=004
        [0x03] rec0=02 rec1=24 rec2=1d rec3=242
    tail 0x215225fc283e25693ac04 0x42a00088462063c03
Free Block Chain:
  0x3: 0000  00 04 03 fc 80 06 43 6c 6f 63 6b 3b 06 00 00 00  ┆      Clock;    ┆
  0x4: 0000  00 00 00 04 80 01 2e 01 20 3a 3d 20 43 61 6c 65  ┆      .  := Cale┆