org.btrplace.scheduler.runner.disjoint.splitter.KilledSplitter Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of split Show documentation
Show all versions of split Show documentation
Instance solvers that split a single problem into smaller parts
to solve them in parallel.
/*
* Copyright (c) 2016 University Nice Sophia Antipolis
*
* This file is part of btrplace.
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 3 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program. If not, see .
*/
package org.btrplace.scheduler.runner.disjoint.splitter;
import gnu.trove.map.hash.TIntIntHashMap;
import org.btrplace.model.Instance;
import org.btrplace.model.VM;
import org.btrplace.model.constraint.Killed;
import java.util.List;
/**
* Splitter for {@link Killed} constraints.
*
* When the constraint focuses VMs among different partitions,
* the constraint is split.
*
* This operation is conservative wrt. the constraint semantic.
*
* @author Fabien Hermenier
*/
public class KilledSplitter implements ConstraintSplitter {
@Override
public Class getKey() {
return Killed.class;
}
@Override
public boolean split(Killed cstr, Instance origin, final List partitions, TIntIntHashMap vmsPosition, TIntIntHashMap nodePosition) {
VM v = cstr.getInvolvedVMs().iterator().next();
int i = vmsPosition.get(v.id());
return partitions.get(i).getSatConstraints().add(cstr);
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy