Conditions
The following table shows various states of the scheduling status of an operator:
Scheduling Status |
Description |
---|---|
NEVER | Operator will never execute again |
READY | Operator is ready for execution |
WAIT | Operator may execute in the future |
WAIT_TIME | Operator will be ready for execution after specified duration |
WAIT_EVENT | Operator is waiting on an asynchronous event with unknown time interval |
A failure in execution of any single operator stops the execution of all the operators.
Operators are naturally unscheduled from execution when their scheduling status reaches
NEVER
state.
By default, operators are always READY
, meaning they are scheduled to continuously execute their compute()
method. To change that behavior, some condition classes can be assigned to an operator. There are various conditions currently supported in the Holoscan SDK:
MessageAvailableCondition
ExpiringMessageAvailableCondition
MultiMessageAvailableCondition
MultiMessageAvailableTimeoutCondition
DownstreamMessageAffordableCondition
CountCondition
BooleanCondition
PeriodicCondition
AsynchronousCondition
These conditions fall under various types as detailed below. Often, conditions are explicitly added to an operator by the application author, but it should also be noted that unless the default is overridden, a MessageAvailableCondition
is automatically added for each of an operator’s input ports and a DownstreamMessageAffordableCondition
is automatically added for each of it’s output ports.
Conditions are AND-combined
An Operator can be associated with multiple conditions which define its execution behavior. Conditions are AND combined to describe
the current state of an operator. For an operator to be executed by the scheduler, all the conditions must be in READY
state and
conversely, the operator is unscheduled from execution whenever any one of the scheduling terms reaches NEVER
state. The priority of various states during AND combine follows the order NEVER
, WAIT_EVENT
, WAIT
, WAIT_TIME
, and READY
.
The following table gives a rough categorization of the available condition types to help better understand their purpose and how they are assigned. More detailed descriptions of the individual conditions are given in the following sections.
Condition Name |
Classification |
Associated With |
---|---|---|
MessageAvailableCondition | message-driven | single input port |
ExpiringMessageAvailableCondition | message-driven | single input port |
MultiMessageAffordableCondition | message-driven | multiple input ports |
MultiMessageAffordableTimeoutCondition | message-driven | single or multiple input ports |
DownstreamMessageAffordableCondition | message-driven | single output port |
PeriodicCondition | clock-driven | operator as a whole |
CountCondition | other | operator as a whole |
BooleanCondition | execution-driven | operator as a whole |
AsynchronousCondition | execution-driven | operator as a whole |
Here, the various message-driven conditions are associated with an input port (receiver) or output port (transmitter). Message-driven conditions that are associated with a single input port are assigned via the IOSpec::condition
method (C++
/Python
) method as called from an operator’s setup
(C++
/Python
) method. Those associated with multiple input ports would instead be assigned via the OperatorSpec::multi_port_condition
method (C++
/Python
) method as called from an operator’s setup
(C++
/Python
) method.
All other condition types are typically passed as either a positional or keyword argument during operator construction in the application’s compose
method (i.e. passed to make_operator()()
in C++ or the operator class’s constructor in Python). Once these conditions are assigned, they automatically enforce the associated criteria for that transmitter/receiver as part of the conditions controlling whether the operator will call compute
. Due to the AND combination of conditions discussed above, all ports must meet their associated conditions in order for an operator to call compute
.
The PeriodicCondition
is clock-driven. It automatically takes effect based on timing from it’s associated clock. The CountCondition
is another condition type that automatically takes effect, stopping execution of an operator after a specified count is reached.
The conditions that are marked as execution-driven, by contrast, require an application or operator thread to explicitly trigger a change in the condition. For example, the built-in HolovizOp
operator’s compute
method implements logic to update an associated BooleanCondition
to disable the operator when a user closes the display window. Similarly, the AsynchronousCondition
requires some thread to emit events to trigger an update of its state.
An operator associated with MessageAvailableCondition
(C++
/Python
) is executed when the associated queue of the input port has at least a certain number of elements.
This condition is associated with a specific input port of an operator through the condition()
method on the return value (IOSpec) of the OperatorSpec’s input()
method.
The minimum number of messages that permits the execution of the operator is specified by min_size
parameter (default: 1
). An optional parameter for this condition is front_stage_max_size
, the maximum front stage message count. If this parameter is set, the condition will only allow execution if the number of messages in the queue does not exceed this count. It can be used for operators which do not consume all messages from the queue.
An operator associated with ExpiringMessageAvailableCondition
(C++
/Python
) is executed when the first message received in the associated queue is expiring or when there are enough messages in the queue.
This condition is associated with a specific input or output port of an operator through the condition()
method on the return value (IOSpec) of the OperatorSpec’s input()
or output()
method.
The parameters max_batch_size
and max_delay_ns
dictate the maximum number of messages to be batched together and the maximum delay from first message to wait before executing the entity respectively.
Please note that ExpiringMessageAvailableCondition
requires that the input messages sent to any port using this condition must contain a timestamp. This means that the upstream operator has to emit using a timestamp.
To obtain a similar capability without the need for a timestamp, the MultiMessageAvailableTimeoutCondition
described below can be used with only a single input port assigned. The difference in the timing computation is that MultiMessageAvailableTimeOutCondition
measures time between the last time compute
was called on the operator while ExpiringMessageAvailableCondition
is instead based on the elapsed time since a message arrived in the operator’s input queue.
The DownstreamMessageAffordableCondition
(C++
/Python
) condition specifies that an operator shall be executed if the input port of the downstream operator for a given output port can accept new messages.
This condition is associated with a specific output port of an operator through the condition()
method on the return value (IOSpec) of the OperatorSpec’s output()
method.
The minimum number of messages that permits the execution of the operator is specified by min_size
parameter (default: 1
).
An operator associated with MultiMessageAvailableCondition
(C++
/Python
) is executed when the associated queues of multiple user-specified input ports have the required number of elements.
This condition is associated with multiple input ports of an operator through the multi_port_condition()
method on OperatorSpec. The port_names
argument to multi_port_condition
controls which input ports are associated with this condition.
This condition has two operating modes. The first mode is MultiMessageAvailableCondition::SamplingMode::SumOfAll
(C++) or holoscan.conditions.MultiMessageAvailableCondition.SamplingMode.SUM_OF_ALL
(Python). In this mode, the min_sum
parameter is used to specify the total number of messages that must be received across all the ports included in port_names
for the operator to execute. The second available mode is MultiMessageAvailableCondition::SamplingMode::PerReceiver
(C++) or holoscan.conditions.MultiMessageAvailableCondition.SamplingMode.PER_RECEIVER
(Python). This mode instead takes a vector/list of min_sizes
equal in length to the port_names
. This controls the number of messages that must arrive at each individual port in order for the operator to execute. This latter, “per-receiver” mode is equivalent to setting a MessageAvailableCondition
in each input port individually.
For more details see the C++ example or Python example.
This operator is the same as MultiMessageAvailableCondition
described above, but has one additional parameter “execution_frequency” that can be used to specify a timeout interval after which the operator will be allowed to execute even if the condition on the number of messages received has not yet been met.
For more details see the C++ example or Python example.
This condition can also be assigned via IOSpec::condition
instead of OperatorSpec::multi_port_condition
to support the use case where there is only one port to consider. This provides a way for a single input port to support a message available condition that has a timeout interval.
An operator associated with CountCondition
(C++
/Python
) is executed for a specific number of times specified using its count
parameter.
The scheduling status of the operator associated with this condition can either be in READY
or NEVER
state.
The scheduling status reaches the NEVER
state when the operator has been executed count
number of times.
The count
parameter can be set to a negative value to indicate that the operator should be executed an infinite number of times (default: 1
).
An operator associated with BooleanCondition
(C++
/Python
) is executed when the associated boolean variable is set to true
.
The boolean variable is set to true
/false
by calling the enable_tick()
/disable_tick()
methods on the BooleanCondition
object.
The check_tick_enabled()
method can be used to check if the boolean variable is set to true
/false
.
The scheduling status of the operator associated with this condition can either be in READY
or NEVER
state.
If the boolean variable is set to true
, the scheduling status of the operator associated with this condition is set to READY
.
If the boolean variable is set to false
, the scheduling status of the operator associated with this condition is set to NEVER
.
The enable_tick()
/disable_tick()
methods can be called from any operator in the workflow.
void compute(InputContext&, OutputContext& op_output, ExecutionContext&) override {
// ...
if (<condition expression>) { // e.g. if (index_ >= 10)
auto my_bool_condition = condition<BooleanCondition>("my_bool_condition");
if (my_bool_condition) { // if condition exists (not true or false)
my_bool_condition->disable_tick(); // this will stop the operator
}
}
// ...
}
def compute(self, op_input, op_output, context):
# ...
if <condition expression>: # e.g, self.index >= 10
my_bool_condition = self.conditions.get("my_bool_condition")
if my_bool_condition: # if condition exists (not true or false)
my_bool_condition.disable_tick() # this will stop the operator
# ...
An operator associated with PeriodicCondition
(C++
/Python
) is executed after periodic time intervals specified using its recess_period
parameter. The scheduling status of the operator associated with this condition can either be in READY
or WAIT_TIME
state.
For the first time or after periodic time intervals, the scheduling status of the operator associated with this condition is set to READY
and the operator is executed. After the operator is executed, the scheduling status is set to WAIT_TIME
, and the operator is not executed until the recess_period
time interval.
AsynchronousCondition
(C++
/Python
) is primarily associated with operators which are working with asynchronous events happening outside of their regular execution performed by the scheduler. Since these events are non-periodic in nature, AsynchronousCondition
prevents the scheduler from polling the operator for its status regularly and reduces CPU utilization. The scheduling status of the operator associated with this condition can either be in READY
, WAIT
, WAIT_EVENT
, or NEVER
states based on the asynchronous event it’s waiting on.
The state of an asynchronous event is described using AsynchronousEventState
and is updated using the event_state()
API.
AsynchronousEventState |
Description |
---|---|
READY | Init state, first execution of compute() method is pending |
WAIT | Request to async service yet to be sent, nothing to do but wait |
EVENT_WAITING | Request sent to an async service, pending event done notification |
EVENT_DONE | Event done notification received, operator ready to be ticked |
EVENT_NEVER | Operator does not want to be executed again, end of execution |
Operators associated with this scheduling term most likely have an asynchronous thread which can update the state of the condition outside of its regular execution cycle performed by the scheduler. When the asynchronous event state is in WAIT
state, the scheduler regularly polls for the scheduling state of the operator. When the asynchronous event state is in EVENT_WAITING
state, schedulers will not check the scheduling status of the operator again until they receive an event notification. Setting the state of the asynchronous event to EVENT_DONE
automatically sends the event notification to the scheduler. Operators can use the EVENT_NEVER
state to indicate the end of its execution cycle. As for all of the condition types, the condition type can be used with any of the schedulers.