Class KUnaryResource


  • public class KUnaryResource
    extends KResource
    Unary Resource

    Unary resources can process only one task at a time.

    The following schema shows an example with three tasks A,B and C executing
    on a disjunctive resource and on a cumulative resource with resource usage 3
    for task A, 1 for task B and 1 for task C :



    Tasks may require, provide, consume and produce resources :
    - A task requires a resource if some amount of the resource capacity must be made available for the execution of the activity. The capacity is renewable which means that the required capacity is available after the end of the task.
    - A task provides a resource if some amount of the resource capacity is made available through the execution of the task. The capacity is renewable which means that the provided capacity is available only during the execution of the task.
    - A task consumes a resource if some amount of the resource capacity must be made available for the execution of the task and the capacity is non-renewable which means that the consumed capacity if no longer available at the end of the task.
    - A task produces a resource if some amount of the resource capacity is made available through the execution of the task and the capacity is non-renewable which means that the produced capacity is definitively available after the starting of the task.
    • Constructor Detail

      • KUnaryResource

        protected KUnaryResource​(long cPtr,
                                 boolean cMemoryOwn)
      • KUnaryResource

        public KUnaryResource​(KSchedule s,
                              java.lang.String name,
                              int propagation)
        Constructor

        Parameters:
        s - the schedule
        name - name for this resource
        propagation - propagation scheme @see KUnaryResource#PropagationHint
      • KUnaryResource

        public KUnaryResource​(KSchedule s,
                              java.lang.String name)
        Constructor

        Parameters:
        s - the schedule
        name - name for this resource
        See Also:
        KUnaryResource#PropagationHint