preempt_order
if the resource is preemptive and preemption occurs with
more than one arrival in the server, this parameter defines which arrival should
be preempted first. It must be fifo
(First In First Out: older preemptible
tasks are preempted first) or lifo
(Last In First Out: newer preemptible tasks
are preempted first).
queue_size_strict
if the resource is preemptive and preemption occurs,
this parameter controls whether the queue_size
is a hard limit. By default,
preempted arrivals go to a dedicated queue, so that queue_size
may be
exceeded. If this option is TRUE
, preempted arrivals go to the standard
queue, and the maximum queue_size
is guaranteed (rejection may occur).