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

⟦02412d9e4⟧ Ada Source

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

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
                        -- Text_Manager.Text.Put_Line
                        --    ("Entree dans Search_fifo_socket");
                        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);
                        Text_Manager.Text.Put_Line
                           ("sortie dans Search_fifo_socket");
                    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=0
    hdr6=8
        [0x00] rec0=17 rec1=00 rec2=01 rec3=036
        [0x01] rec0=00 rec1=00 rec2=04 rec3=00c
        [0x02] rec0=11 rec1=00 rec2=03 rec3=07c
        [0x03] rec0=06 rec1=00 rec2=02 rec3=000
    tail 0x21762db4a87c48d8182fd 0x42a00088462060003