home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTERNALS_HANDLER
All features
class PROCESS_SCHEDULER
Summary
top
Direct parents
inherit list:
PROCESS_RUNNER
Class invariant
top
process_count
.in_range(0,
maximum_process_count
)
Overview
top
creation features
make
exported features
execute
(program:
STRING
, arguments:
TRAVERSABLE
[
STRING
], keep_environment:
BOOLEAN
)
Execute the given
program
(how the program is discovered is os-dependant), passing to it the
arguments
.
execute_command_line
(command_line:
STRING
, keep_environment:
BOOLEAN
)
Execute the
command_line
through the operating system's basic shell.
is_ready
:
BOOLEAN
set_parallel_process_count
(parallel_process_count_:
INTEGER_32
)
wait
maximum_process_count
:
INTEGER_32
parallel_process_count
:
INTEGER_32
How many processes can run concurrently in a parallel session.
process_count
:
INTEGER_32
How many processes are currently running.
is_serial
:
BOOLEAN
Are processes currently launched sequentially rather than concurrently.
set_parallel
set_serial
register_on_launched
(on_launched_:
ROUTINE
[
TUPLE 4
[
STRING
,
STRING
,
TRAVERSABLE
[
STRING
],
BOOLEAN
]])
register_on_failed
(on_failed_:
ROUTINE
[
TUPLE 4
[
STRING
,
STRING
,
TRAVERSABLE
[
STRING
],
BOOLEAN
]])
register_on_finished
(on_finished_:
ROUTINE
[
TUPLE 5
[
INTEGER_32
,
STRING
,
STRING
,
TRAVERSABLE
[
STRING
],
BOOLEAN
]])
execute
(program:
STRING
, arguments:
TRAVERSABLE
[
STRING
], keep_environment:
BOOLEAN
)
effective procedure
top
Execute the given
program
(how the program is discovered is os-dependant), passing to it the
arguments
.
The environment is cleared if
keep_environment
is False.
require
program /= Void
is_ready
execute_command_line
(command_line:
STRING
, keep_environment:
BOOLEAN
)
effective procedure
top
Execute the
command_line
through the operating system's basic shell.
The environment is cleared if
keep_environment
is False.
See also:
SYSTEM
.execute_command
require
command_line /= Void
not command_line.is_empty
is_ready
is_ready
:
BOOLEAN
effective function
top
ensure
Result =
maximum_process_count
>= 1
set_parallel_process_count
(parallel_process_count_:
INTEGER_32
)
effective procedure
top
require
parallel_process_count_ >= 1
ensure
parallel_process_count
.in_range(0, parallel_process_count_)
wait
effective procedure
top
ensure
process_count
= 0
maximum_process_count
:
INTEGER_32
effective function
top
ensure
is_serial
implies Result =
parallel_process_count
.min(1)
not
is_serial
implies Result =
parallel_process_count
parallel_process_count
:
INTEGER_32
writable attribute
top
How many processes can run concurrently in a parallel session.
process_count
:
INTEGER_32
writable attribute
top
How many processes are currently running.
is_serial
:
BOOLEAN
writable attribute
top
Are processes currently launched sequentially rather than concurrently.
set_parallel
effective procedure
top
set_serial
effective procedure
top
register_on_launched
(on_launched_:
ROUTINE
[
TUPLE 4
[
STRING
,
STRING
,
TRAVERSABLE
[
STRING
],
BOOLEAN
]])
effective procedure
top
register_on_failed
(on_failed_:
ROUTINE
[
TUPLE 4
[
STRING
,
STRING
,
TRAVERSABLE
[
STRING
],
BOOLEAN
]])
effective procedure
top
register_on_finished
(on_finished_:
ROUTINE
[
TUPLE 5
[
INTEGER_32
,
STRING
,
STRING
,
TRAVERSABLE
[
STRING
],
BOOLEAN
]])
effective procedure
top