|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 3072 (0xc00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Many_Objects_Benchmark, seg_02cfff, seg_02d10f, seg_03b91b
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
with Many_Objects_Frames;
with Many_Objects_Kbs;
with Many_Objects_Rules;
with Output_Stream;
with Slot;
with Text_Io;
use Many_Objects_Frames;
use Many_Objects_Kbs;
use Output_Stream;
procedure Many_Objects_Benchmark is
package Duration_Io is new Text_Io.Fixed_Io (Duration);
procedure Infere_On_Many_Objects is
new Kbs.Rule_Base.Infere (Do_Action => Many_Objects_Rules.Do_Action);
procedure Test_With (Iterations, Objects : Positive) is
begin
States.Add ((Value => Slot.Value (0),
Max_Iterations => Slot.Value (Iterations),
Max_Objects => Slot.Value (Objects)));
Numbers.Add ((Value => Slot.Value (0)));
Infere_On_Many_Objects;
Text_Io.Put (Integer'Image (Objects) & " Obj,");
Text_Io.Put (Integer'Image (Iterations) & " Iter: Time =>");
Duration_Io.Put (Kbs.Rule_Base.Elapsed_Time, Fore => 3, Aft => 2);
Text_Io.Put (", infer. =>" & Integer'Image
(Kbs.Rule_Base.Inference_Count));
Text_Io.Put (", firings per second =>" &
Integer'Image (Kbs.Rule_Base.Firings_Per_Second));
Text_Io.New_Line;
Kbs.Fact_Base.Working_Memory.Make_Empty;
end Test_With;
begin
for I in 1 .. Kbs.Rule_Base.Count loop
Kbs.Rule_Base.Put (I, Standard_Output);
end loop;
Test_With (Iterations => 10, Objects => 10);
Test_With (Iterations => 100, Objects => 10);
Test_With (Iterations => 100, Objects => 30);
Test_With (Iterations => 100, Objects => 100);
Test_With (Iterations => 100, Objects => 200);
end Many_Objects_Benchmark;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=20 rec1=00 rec2=01 rec3=012
[0x01] rec0=14 rec1=00 rec2=02 rec3=001
tail 0x21525f3b4841451a903d9 0x42a00088462063c03