module Pbs:sig
..end
LONG_RUNNING
API with the PBS batch processing
scheduler.LONG_RUNNING
API with the PBS batch processing
scheduler.
Shell commands are put in a Ketrew_pure.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 Long_running.LONG_RUNNING
val create : ?host:Ketrew_pure.Host.t ->
?queue:string ->
?name:string ->
?wall_limit:[ `Hours of float ] ->
?processors:int ->
?email_user:[ `Always of string | `Never ] ->
?shell:string ->
Ketrew_pure.Program.t -> [> `Long_running of string * string ]
Ketrew_pure.Target.build_process
to run a
Ketrew_pure.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.