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 theAmong
constraintBan A constraint to disallow the given VM, when running, to be hosted on a given set of nodes.BanChecker Checker for theBan
constraintDenyMyVMsActions<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 theFence
constraintGather A constraint to force a set of VMs, if running, to be hosted on the same node.GatherChecker Checker for theGather
constraintKilled A constraint to force a VM to be killed.KilledChecker Checker for theKilled
constraintLonely A constraint to force all the given VMs, when running, to not share their host with other VMs.LonelyChecker Checker for theLonely
constraintMaxOnline A constraint to force a set of nodes to have a maximum number of nodes to be online.MaxOnlineChecker Checker associated to theMaxOnline
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 theNoDelay
constraintOffline A constraint to force a node at being offline.OfflineChecker Checker for theOffline
constraintOnline A constraint to force a node at being online.OnlineChecker Checker for theOnline
constraintOptConstraint 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 theOverbook
constraintPreserve Ensure the allocation of a given minimum amount of resources for the given VM.PreserveChecker Checker for thePreserve
constraintQuarantine A constraint to put a node into quarantine.QuarantineChecker Checker for theQuarantine
constraintReady A constraint to force a VM at being ready for running.ReadyChecker Checker for theReady
constraintResourceCapacity Restrict the total amount of virtual resources consumed by the VMs hosted on the given nodes.ResourceCapacityChecker Checker for theResourceCapacity
constraintRoot A constraint to avoid VM relocation to another host.RootChecker Checker for theRoot
constraintRunning 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 theRunningCapacity
constraintRunningChecker Checker for theRunning
constraintSeq A constraint to force the actions that change the given VMs state to be executed in the given order.SeqChecker Checker for theSeq
constraintSimpleConstraint 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 theSleeping
constraintSplit 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 theSplitAmong
constraintSplitChecker Checker for theSplit
constraintSpread A constraint to force that the given VMs, if running, to be hosted on distinct nodes.SpreadChecker Checker for theSpread
constraint -
Annotation Types Summary Annotation Type Description SideConstraint Annotation to provide the specification of a side-constraint.