⟦5abcca1f9⟧

E3 Source Code



-- Copyright 1993 Verdix Corporation

------------------------------------------------------------------------------
-- Interface to the CIFO type definitions used by Ada tasking
------------------------------------------------------------------------------
with System;
use System;
with Unchecked_Conversion;
package V_I_Cifo is
    pragma Suppress (All_Checks);
    pragma Suppress (Exception_Tables);
    pragma Not_Elaborated;
    pragma Local_Access;

    -- Task entry or safe condition variable wait queuing
    type Queuing_T is (Unspecified_Queuing, Arbitrary_Queuing, Fifo_Queuing,
                       Priority_Queuing, Priority_Ceiling, Spinning);

    -- Do not change these values without also changing the compiler.
    for Queuing_T use (Unspecified_Queuing => 0,
                       Arbitrary_Queuing => 1,
                       Fifo_Queuing => 2,
                       Priority_Queuing => 3,
                       Priority_Ceiling => 4,
                       Spinning => 5);
    for Queuing_T'Size use Integer'Size;


    -- This exception is raised for any priority ceiling errors, such
    -- as, the priority of the calling task is higher than the
    -- priority of a priority ceiling server task.
    Priority_Ceiling_Error : exception;


    -- Values set by pragmas in the main procedure

    Main_Task_Priority : Priority;
    pragma Interface_Name (Main_Task_Priority, "MAIN_TASK_PRIORITY");

    Main_Priority_Inheritance_Enabled : Integer;
    pragma Interface_Name (Main_Priority_Inheritance_Enabled,
                           "MAIN_PRIORITY_INHERITANCE");
    --  If TRUE, then ARBITRARY_QUEUING is PRIORITY_QUEUING.
    --  Otherwise, ARBITRARY_QUEUING is FIFO_QUEUING.
    --

    Main_Global_Entry_Criteria : Queuing_T;
    pragma Interface_Name (Main_Global_Entry_Criteria,
                           "MAIN_GLOBAL_ENTRY_CRITERIA");
    --\x09SPINNING isn't valid.
    --
    --\x09If set to ARBITRARY_QUEUING, then, it is
    --\x09updated during startup according to
    --  main_priority_inheritance_enabled as follows:
    --\x09\x09main_priority_inheritance_enabled = FALSE =>
    --\x09\x09\x09main_global_entry_criteria := FIFO_QUEUING
    --\x09\x09main_priority_inheritance_enabled = TRUE =>
    --\x09\x09\x09main_global_entry_criteria := PRIORITY_QUEUING
    --

    Main_Global_Select_Lexical_Order : Integer;
    pragma Interface_Name (Main_Global_Select_Lexical_Order,
                           "MAIN_SELECT_LEXICAL_ORDER");

    type Main_Pragmas_T is
        record
            Main_Task_Priority : Priority := Priority'First;
            Priority_Inheritance_Enabled : Boolean := False;
            Global_Entry_Criteria : Queuing_T := Arbitrary_Queuing;
            Global_Select_Lexical_Order : Boolean := False;
        end record;
    type A_Main_Pragmas_T is access Main_Pragmas_T;
    function To_A_Main_Pragmas_T is
       new Unchecked_Conversion (Address, A_Main_Pragmas_T);


    -- The following is used for an INTERRUPT_TASK.  The compiler knows
    -- the names of the fields in this record.
    type Cifo_Isr_Header is
        record
            Vector_Num : Integer;
            Handler : Address; -- Address of the first instruction
            -- in the entry's accept body.
            -- The code emitted for the accept
            -- body should look like a normal
            -- Ada procedure.
        end record;

    for Cifo_Isr_Header use
        record
            Vector_Num at 0 range 0 .. 4 * Storage_Unit - 1;
            Handler at 4 range 0 .. 4 * Storage_Unit - 1;
        end record;

    Cifo_Isr_Vector_Num_Off : constant := 0;
    Cifo_Isr_Handler_Off : constant := 4;

    type Cifo_Isr_Header_Ref is access Cifo_Isr_Header;
end V_I_Cifo;
DataMuseum.dk

Rational R1000/400

⟦5abcca1f9⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
