Module Ketrew_pbs (.ml)

module Ketrew_pbs: sig .. end

Implementation of the LONG_RUNNING API with the PBS batch processing scheduler.

“Long-running” plugin based on the PBS batch scheduler.

Shell commands are put in a Ketrew_monitored_script.t, and started with "qsub [OPTIONS] <script>" (we gather the job-id while submitting).

The update function uses the log-file of the monitored-script, and the command "qstat [OPTIONS] <job-ID>".

The kill function kills the job with "qdel <job-ID>".

include Ketrew_long_running.LONG_RUNNING

The “standard” plugin API.

val create : ?host:Ketrew_host.t ->
       ?queue:string ->
       ?name:string ->
       ?wall_limit:[ `Hours of float ] ->
       ?processors:int ->
       ?email_user:[ `Always of string | `Never ] ->
       ?shell:string -> Ketrew_program.t -> [> `Long_running of string * string ]

Create a “long-running” Ketrew_target.build_process to run a Ketrew_program.t on a given PBS-enabled host (run parameters already serialized):

?queue is the name of the PBS queue requested ("-q" option).
?name is the job name ("-N" option).
?wall_limit is the job's Wall-time timeout ("-l" option, default: 24 H).
?processors is the “processors” request ("-l" option).
?email_user tell PBS to send emails to the given address.
?shell sets the shell used for the "#!" of the PBS script.