DataMuseum.dk

top - metrics - download

    Length: 3572 (0xdf4)
    Types: TextFile
    Names: »V«

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧ 

TextFile

package Batch_Queue is

    procedure Submit (Job : String := "";  
                      Start_Time : String := ">>YY/MM/DD HH:MM:SS<<";
                      To_Stream : Natural := 1;
                      Job_Context : String := "";
                      Username : String := "";
                      Error_Filename : String := "";
                      Input_Filename : String := "";
                      Output_Filename : String := "";
                      Restartable : Boolean := False;
                      Response : String := "<PROFILE>");
    -- Submits a job to the batch stream specified by To_stream.

    -- Job specifies the Ada statements to be formatted, compiled,
    -- linked, and executed.  Note that partially complete statements
    -- are formatted before they are compiled.  Line breaks do not need
    -- to be inserted between statements unless the length of a given
    -- line exceeds the maximum length for Ada programs.

    -- The job will start on or after Start_Time.  This string is
    -- passed to Time_Utilities.Value.

    -- To stream specifies the stream number to which the job will
    -- be submitted.  To find out which streams are running use
    -- Batch_Queue.Display.

    -- Job_Context specifies the context in which Ada units are
    -- compiled.  The srting provided can be any legal library name.
    -- The default value of the parameter is the library containing the
    -- current context or the current context if it is a library.

    -- Username specifies the identity under which the job will run.
    -- The default is to run on the identity of the user submitting the
    -- job.  The submitter must be a member of group Privileged in order
    -- to submit jobs to run under a different identity.

    -- Error_Filename specifies the job's Current_Error file.  The
    -- default will result in error output going to a time stamped
    -- error file in the user's home library.  All names supplied are
    -- with respect to the current context, not the Job_Context.

    -- Input_Filename specifies the job's Current_Input file.  The
    -- default should only be used if the job does not require any
    -- input. All names supplied are with respect to the current context,
    -- not the Job_Context.

    -- Output_Filename specifies the job's Current_Output file.  The
    -- default will result in error output going to a time stamped
    -- output file in the user's home library.  All names supplied are
    -- with respect to the current context, not the Job_Context.

    -- Restartable specifies whether this job should be resubmitted
    -- to the queue on startup, if the job was waiting or running
    -- when the batch queue was terminated for some reason, like
    -- a machine crash

    -- Response specifies how the job will respond to errors, generate
    -- logs, and what activities to use during the execution of the
    -- job.

    procedure Display (Streams : Natural := 0);
    -- Displays the state of the batch streams
    -- The default will show all streams

    procedure Cancel (Queue_Id : Natural; In_Stream : Natural);
    -- Cancels the specified job in the stream.  If the job is waiting
    -- to run it will be removed from the stream, if running it will not
    -- be killed.  The names of jobs run by the batch queue server will
    -- be "Queue Id# XXX", so these can be terminated by using job.kill.

    procedure Kill (Stream : Natural);
    -- Terminates the batch stream and destroys all permanent state
    -- associated with the stream.

end Batch_Queue;