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

⟦44fdf8176⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Vfslog, seg_012b33

Derivation

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

E3 Source Code



with Basetype;
with Dfs;

use Basetype;
use Dfs;

package Vfslog is
    type Log_Info is array (0 .. 60) of Word;
    type Log_Info_Ptr is access Log_Info;
    type Log_Entry_Kind is (Log_Rh11, Log_Ts11, Log_Ioa, Log_R1000, Log_Iop,
                            Log_Fru, Log_Spare5, Log_Spare6, Log_Spare7,
                            Log_Spare8, Log_Spare9, Log_Spare10, Log_Spare11,
                            Log_Spare12, Log_Spare13, Log_Spare14);

    for Log_Entry_Kind'Size use 8;
    type Log_File_Entry_Form is
        record
            Kind : Log_Entry_Kind; -- 8 bits
            Fill : Byte;
            Time : Fs_Time;
            Data : Log_Info;
        end record;        --  exactly 64 words

    type Offset_Thing is range 0 .. 7;
    for Offset_Thing'Size use 3;
    type Page_Thing is range 0 .. 8191;
    for Page_Thing'Size use 13;

    type Machine_Dependant_Log_Pointer is
        record
            Page : Page_Thing;
            Offset : Offset_Thing;
        end record;

    type Log_Pointer is
        record
            Fptr : Machine_Dependant_Log_Pointer;
        end record;
    type Slop_Thing is array (5 .. 511) of Word;
    type Log_Header_Form is
        record
            Sob : Log_Pointer;
            Eob : Log_Pointer;
            Date_Last_Examined : Fs_Time;
            Look : Log_Pointer;
            Slop : Slop_Thing;
        end record;
end Vfslog;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=21 rec1=00 rec2=01 rec3=010
        [0x01] rec0=11 rec1=00 rec2=02 rec3=000
    tail 0x2170e641082b14dc5ce56 0x42a00088462060003