Package org.btrplace.model.constraint

Concrete implementation of SatConstraint.
  • Interface Summary 
    Interface Description
    Constraint
    Specify a constraint.
    SatConstraint
    Abstract class to characterize a satisfaction-oriented constraint that impose a restriction on some components of a model.
    SatConstraintChecker<C extends SatConstraint>
    Check if a constraint is satisfied by a reconfiguration plan.
  • Class Summary 
    Class Description
    AllowAllConstraintChecker<C extends SatConstraint>
    A default constraint checker that allow every action and event.
    Among
    A constraint to force a set of VMs to be hosted on a single group of nodes among those available.
    AmongChecker
    Checker for the Among constraint
    Ban
    A constraint to disallow the given VM, when running, to be hosted on a given set of nodes.
    BanChecker
    Checker for the Ban constraint
    DenyMyVMsActions<C extends SatConstraint>
    Basic checker that allow everything except all the actions on my VMs.
    Fence
    A constraint to force the given VM, when running, to be hosted on a given group of nodes.
    FenceChecker
    Checker for the Fence constraint
    Gather
    A constraint to force a set of VMs, if running, to be hosted on the same node.
    GatherChecker
    Checker for the Gather constraint
    Killed
    A constraint to force a VM to be killed.
    KilledChecker
    Checker for the Killed constraint
    Lonely
    A constraint to force all the given VMs, when running, to not share their host with other VMs.
    LonelyChecker
    Checker for the Lonely constraint
    MaxOnline
    A constraint to force a set of nodes to have a maximum number of nodes to be online.
    MaxOnlineChecker
    Checker associated to the MaxOnline constraint.
    MinMigrations
    An objective that just minimizes the cumulative duration of the migrations to perform during a reconfiguration.
    MinMTTR
    An optimization constraint that minimizes the time to repair a non-viable model.
    NoDelay
    A constraint to force VMs' actions to be executed at the beginning (time t=0), without any delay.
    NoDelayChecker
    Checker for the NoDelay constraint
    Offline
    A constraint to force a node at being offline.
    OfflineChecker
    Checker for the Offline constraint
    Online
    A constraint to force a node at being online.
    OnlineChecker
    Checker for the Online constraint
    OptConstraint
    Optimization oriented constraint.
    Overbook
    A constraint to specify and overbooking factor between the physical resources offered by a node and the virtual resources that are consumed by the VMs it hosts.
    OverbookChecker
    Checker for the Overbook constraint
    Preserve
    Ensure the allocation of a given minimum amount of resources for the given VM.
    PreserveChecker
    Checker for the Preserve constraint
    Quarantine
    A constraint to put a node into quarantine.
    QuarantineChecker
    Checker for the Quarantine constraint
    Ready
    A constraint to force a VM at being ready for running.
    ReadyChecker
    Checker for the Ready constraint
    ResourceCapacity
    Restrict the total amount of virtual resources consumed by the VMs hosted on the given nodes.
    ResourceCapacityChecker
    Checker for the ResourceCapacity constraint
    Root
    A constraint to avoid VM relocation to another host.
    RootChecker
    Checker for the Root constraint
    Running
    A constraint to force a VM at being running.
    RunningCapacity
    Restrict to a given value, the total amount of VMs running on the given set of nodes.
    RunningCapacityChecker
    Checker for the RunningCapacity constraint
    RunningChecker
    Checker for the Running constraint
    Seq
    A constraint to force the actions that change the given VMs state to be executed in the given order.
    SeqChecker
    Checker for the Seq constraint
    SimpleConstraint
    A skeleton for a constraint that can be either discrete or continuous.
    Sleeping
    A constraint to force a VM at being sleeping.
    SleepingChecker
    Checker for the Sleeping constraint
    Split
    A constraint to force several sets of VMs to not share any node when they are running.
    SplitAmong
    A constraint to force sets of running VMs to be hosted on distinct set of nodes.
    SplitAmongChecker
    Checker for the SplitAmong constraint
    SplitChecker
    Checker for the Split constraint
    Spread
    A constraint to force that the given VMs, if running, to be hosted on distinct nodes.
    SpreadChecker
    Checker for the Spread constraint
  • Annotation Types Summary 
    Annotation Type Description
    SideConstraint
    Annotation to provide the specification of a side-constraint.