org.btrplace.scheduler.runner.disjoint.splitter.MaxOnlineSplitter 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.Node;
import org.btrplace.model.constraint.MaxOnline;
import org.btrplace.scheduler.runner.disjoint.model.ElementSubSet;
import org.btrplace.scheduler.runner.disjoint.model.IterateProcedure;
import org.btrplace.scheduler.runner.disjoint.model.SplittableElementSet;
import java.util.List;
/**
* Splitter for the {@link MaxOnline} constraint.
* The constraint can be split iff all the nodes belong to the same partition.
* Otherwise, this would lead to a subjective splitting.
*
* @author Fabien Hermenier
*/
public class MaxOnlineSplitter implements ConstraintSplitter {
@Override
public Class getKey() {
return MaxOnline.class;
}
@Override
public boolean split(MaxOnline cstr, Instance origin, final List partitions, TIntIntHashMap vmsPosition, TIntIntHashMap nodePosition) {
final boolean c = cstr.isContinuous();
final int q = cstr.getAmount();
return SplittableElementSet.newNodeIndex(cstr.getInvolvedNodes(), nodePosition).
forEachPartition(new IterateProcedure() {
private boolean first = true;
@Override
public boolean extract(SplittableElementSet index, int idx, int from, int to) {
if (!first) {
return false;
}
if (to - from >= 1) {
partitions.get(idx).getSatConstraints().add(new MaxOnline(new ElementSubSet<>(index, idx, from, to), q, c));
first = false;
}
return true;
}
});
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy