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 - metrics - download

⟦4257aa59b⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Com_Storage_Socket, seg_0559a9

Derivation

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

with Com_Fifo_Socket, Text_Manager, Com_Socket, Transport_Defs, Byte_Defs;
package body Com_Storage_Socket is
    task body Manager_Socket is
        Fifo : Com_Fifo_Socket.Queue;
        Iterateur : Com_Fifo_Socket.Iterator;
        Data_Fifo : Com_Socket.Data_Socket;

    begin
        Text_Manager.Text.Put_Line ("Task socket is Running");
        Com_Fifo_Socket.Initialize (Fifo);
        loop
            select
                accept Search (Adr : in Transport_Defs.Host_Id;
                               Socket : out Transport_Defs.Socket_Id;
                               Status : in out Boolean) do
                    Status := False;
                    Com_Fifo_Socket.Init (Iterateur, Fifo);
                    while not Com_Fifo_Socket.Done (Iterateur) and
                             Status = False loop
                        Data_Fifo := Com_Fifo_Socket.Value (Iterateur);
                        if Byte_Defs."=" (Byte_Defs.Byte_String (Data_Fifo.Adr),
                                          Byte_Defs.Byte_String (Adr)) then
                            Socket := Data_Fifo.Socket;
                            Status := True;
                            Text_Manager.Text.Put_Line ("Task socket found");
                        end if;
                        Com_Fifo_Socket.Next (Iterateur);
                    end loop;
                end Search;
                accept Write (Adr : in Transport_Defs.Host_Id;
                              Socket : in Transport_Defs.Socket_Id) do
                    Data_Fifo.Adr := Adr;
                    Data_Fifo.Socket := Socket;  
                    Com_Fifo_Socket.Add (Fifo, Data_Fifo);
                    Text_Manager.Text.Put_Line ("Task socket new socket");
                end Write;
            end select;
        end loop;
    end Manager_Socket;
end Com_Storage_Socket;

    nblk1=4
    nid=2
    hdr6=4
        [0x00] rec0=16 rec1=00 rec2=01 rec3=09a
        [0x01] rec0=14 rec1=00 rec2=03 rec3=001
        [0x02] rec0=0b rec1=00 rec2=00 rec3=004
        [0x03] rec0=06 rec1=05 rec2=a7 rec3=742
    tail 0x217606a3287be7a1fe46d 0x42a00088462060003
Free Block Chain:
  0x2: 0000  00 04 03 fc 80 08 5f 4e 75 6d 62 65 72 3b 08 00  ┆      _Number;  ┆
  0x4: 0000  00 00 00 36 00 33 20 20 20 20 20 20 20 20 20 20  ┆   6 3          ┆