DataMuseum.dk

top - download

    Length: 1202 (0x4b2)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─ ⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧ 

TextFile

with System;

package Machine is

    -- machine id type and operations

    type Id is new Long_Integer range 0 .. 2 ** 32 - 1;

    Nil_Machine : constant Id := 0;

    function Get_Id return Id;
    -- get the id for current machine
    pragma Suppress (Elaboration_Check, Get_Id);


    -- task_id type and operations

    subtype Task_Id is System.Module_Name;

    Nil_Task : constant Task_Id := System.Null_Module;

    function Get_Task_Id return Task_Id renames System.Current_Name;

    function Is_Callable (The_Task : Task_Id) return Boolean;
    pragma Suppress (Elaboration_Check, Is_Callable);

    procedure Terminate_Job (The_Task : Task_Id);
    pragma Suppress (Elaboration_Check, Terminate_Job);

    Termination_Error : exception;


    -- session_id and job_id types and operations

    subtype Session_Id is Long_Integer range 0 .. 2 ** 24 - 1;
    subtype Job_Id     is System.Virtual_Processor_Number range 0 .. 255;

    Nil_Session : constant Session_Id := 0;
    Nil_Job     : constant Job_Id     := 0;

    function Get_Job_Id (Of_Task : Task_Id) return Job_Id renames System.Get_Vp;

    pragma Subsystem (Machine_Interface);
    pragma Module_Name (4, 108);

end Machine;