322eeb87d0
This is a squashed commit of the following: commit 0dccab9f417b406f5d4aedc81900fc7b2f16c9f6 Author: Eelco Dolstra <eelco.dolstra@logicblox.com> Date: Thu Jul 2 00:30:16 2015 +0200 Typo commit 2cd28517b13524c242c7758783b0b2d8250fdded Author: Ludovic Courtès <ludo@gnu.org> Date: Wed Jul 1 14:56:34 2015 +0200 Preserve supplementary groups of build users The following patch is an attempt to address this bug (see <http://bugs.gnu.org/18994>) by preserving the supplementary groups of build users in the build environment. In practice, I would expect that supplementary groups would contain only one or two groups: the build users group, and possibly the “kvm” group. [Changed &at(0) to data() and removed tabs - Eelco] commit 6e38685ef65284093df79ebe7378bac33b0e7e5d Author: Eelco Dolstra <eelco.dolstra@logicblox.com> Date: Tue Jun 30 21:41:26 2015 +0200 GC: Handle ENOSPC creating/moving to the trash directory Issue #564. commit 5e0a9ae2e25a1016389f4893a6ed6682aadcf51d Author: Eelco Dolstra <eelco.dolstra@logicblox.com> Date: Mon Jun 22 15:54:55 2015 +0200 Use posix_fallocate to create /nix/var/nix/db/reserved commit 4e5ab98d6d14f8b0e3bd1d77b2f4f2354e7a49a8 Author: Eelco Dolstra <eelco.dolstra@logicblox.com> Date: Mon Jun 22 15:47:40 2015 +0200 Make /nix/var/nix/db/reserved bigger Issue #564. commit 60bda60fc06135aa97a93301b1a9e2270768f5b3 Author: Eelco Dolstra <eelco.dolstra@logicblox.com> Date: Wed Jun 10 16:17:06 2015 +0200 Export outputPaths function This is useful for the new hydra-queue-runner. commit 5dfea34048aa8541f20aeb2fbcd163561b609a49 Author: Eelco Dolstra <eelco.dolstra@logicblox.com> Date: Thu Jul 2 22:51:33 2015 +0200 Use std::vector::data() commit 2459458bc8257734ca78cb7a2db3df20bd730ec0 Author: Eelco Dolstra <eelco.dolstra@logicblox.com> Date: Thu Jun 4 16:04:41 2015 +0200 Allow substitutes for builds that have preferLocalBuild set Not substituting builds with "preferLocalBuild = true" was a bad idea, because it didn't take the cost of dependencies into account. For instance, if we can't substitute a fetchgit call, then we have to download/build git and all its dependencies. Partially reverts 5558652709f27e8a887580b77b93c705659d7a4b and adds a new derivation attribute "allowSubstitutes" to specify whether a derivation may be substituted.
221 lines
7.0 KiB
C++
221 lines
7.0 KiB
C++
#include "misc.hh"
|
||
#include "store-api.hh"
|
||
#include "local-store.hh"
|
||
#include "globals.hh"
|
||
|
||
|
||
namespace nix {
|
||
|
||
|
||
Derivation derivationFromPath(StoreAPI & store, const Path & drvPath)
|
||
{
|
||
assertStorePath(drvPath);
|
||
store.ensurePath(drvPath);
|
||
return readDerivation(drvPath);
|
||
}
|
||
|
||
|
||
void computeFSClosure(StoreAPI & store, const Path & path,
|
||
PathSet & paths, bool flipDirection, bool includeOutputs, bool includeDerivers)
|
||
{
|
||
if (paths.find(path) != paths.end()) return;
|
||
paths.insert(path);
|
||
|
||
PathSet edges;
|
||
|
||
if (flipDirection) {
|
||
store.queryReferrers(path, edges);
|
||
|
||
if (includeOutputs) {
|
||
PathSet derivers = store.queryValidDerivers(path);
|
||
foreach (PathSet::iterator, i, derivers)
|
||
edges.insert(*i);
|
||
}
|
||
|
||
if (includeDerivers && isDerivation(path)) {
|
||
PathSet outputs = store.queryDerivationOutputs(path);
|
||
foreach (PathSet::iterator, i, outputs)
|
||
if (store.isValidPath(*i) && store.queryDeriver(*i) == path)
|
||
edges.insert(*i);
|
||
}
|
||
|
||
} else {
|
||
store.queryReferences(path, edges);
|
||
|
||
if (includeOutputs && isDerivation(path)) {
|
||
PathSet outputs = store.queryDerivationOutputs(path);
|
||
foreach (PathSet::iterator, i, outputs)
|
||
if (store.isValidPath(*i)) edges.insert(*i);
|
||
}
|
||
|
||
if (includeDerivers) {
|
||
Path deriver = store.queryDeriver(path);
|
||
if (store.isValidPath(deriver)) edges.insert(deriver);
|
||
}
|
||
}
|
||
|
||
foreach (PathSet::iterator, i, edges)
|
||
computeFSClosure(store, *i, paths, flipDirection, includeOutputs, includeDerivers);
|
||
}
|
||
|
||
|
||
Path findOutput(const Derivation & drv, string id)
|
||
{
|
||
foreach (DerivationOutputs::const_iterator, i, drv.outputs)
|
||
if (i->first == id) return i->second.path;
|
||
throw Error(format("derivation has no output `%1%'") % id);
|
||
}
|
||
|
||
|
||
void queryMissing(StoreAPI & store, const PathSet & targets,
|
||
PathSet & willBuild, PathSet & willSubstitute, PathSet & unknown,
|
||
unsigned long long & downloadSize, unsigned long long & narSize)
|
||
{
|
||
downloadSize = narSize = 0;
|
||
|
||
PathSet todo(targets.begin(), targets.end()), done;
|
||
|
||
/* Getting substitute info has high latency when using the binary
|
||
cache substituter. Thus it's essential to do substitute
|
||
queries in parallel as much as possible. To accomplish this
|
||
we do the following:
|
||
|
||
- For all paths still to be processed (‘todo’), we add all
|
||
paths for which we need info to the set ‘query’. For an
|
||
unbuilt derivation this is the output paths; otherwise, it's
|
||
the path itself.
|
||
|
||
- We get info about all paths in ‘query’ in parallel.
|
||
|
||
- We process the results and add new items to ‘todo’ if
|
||
necessary. E.g. if a path is substitutable, then we need to
|
||
get info on its references.
|
||
|
||
- Repeat until ‘todo’ is empty.
|
||
*/
|
||
|
||
while (!todo.empty()) {
|
||
|
||
PathSet query, todoDrv, todoNonDrv;
|
||
|
||
foreach (PathSet::iterator, i, todo) {
|
||
if (done.find(*i) != done.end()) continue;
|
||
done.insert(*i);
|
||
|
||
DrvPathWithOutputs i2 = parseDrvPathWithOutputs(*i);
|
||
|
||
if (isDerivation(i2.first)) {
|
||
if (!store.isValidPath(i2.first)) {
|
||
// FIXME: we could try to substitute p.
|
||
unknown.insert(*i);
|
||
continue;
|
||
}
|
||
Derivation drv = derivationFromPath(store, i2.first);
|
||
|
||
PathSet invalid;
|
||
foreach (DerivationOutputs::iterator, j, drv.outputs)
|
||
if (wantOutput(j->first, i2.second)
|
||
&& !store.isValidPath(j->second.path))
|
||
invalid.insert(j->second.path);
|
||
if (invalid.empty()) continue;
|
||
|
||
todoDrv.insert(*i);
|
||
if (settings.useSubstitutes && substitutesAllowed(drv))
|
||
query.insert(invalid.begin(), invalid.end());
|
||
}
|
||
|
||
else {
|
||
if (store.isValidPath(*i)) continue;
|
||
query.insert(*i);
|
||
todoNonDrv.insert(*i);
|
||
}
|
||
}
|
||
|
||
todo.clear();
|
||
|
||
SubstitutablePathInfos infos;
|
||
store.querySubstitutablePathInfos(query, infos);
|
||
|
||
foreach (PathSet::iterator, i, todoDrv) {
|
||
DrvPathWithOutputs i2 = parseDrvPathWithOutputs(*i);
|
||
|
||
// FIXME: cache this
|
||
Derivation drv = derivationFromPath(store, i2.first);
|
||
|
||
PathSet outputs;
|
||
bool mustBuild = false;
|
||
if (settings.useSubstitutes && substitutesAllowed(drv)) {
|
||
foreach (DerivationOutputs::iterator, j, drv.outputs) {
|
||
if (!wantOutput(j->first, i2.second)) continue;
|
||
if (!store.isValidPath(j->second.path)) {
|
||
if (infos.find(j->second.path) == infos.end())
|
||
mustBuild = true;
|
||
else
|
||
outputs.insert(j->second.path);
|
||
}
|
||
}
|
||
} else
|
||
mustBuild = true;
|
||
|
||
if (mustBuild) {
|
||
willBuild.insert(i2.first);
|
||
todo.insert(drv.inputSrcs.begin(), drv.inputSrcs.end());
|
||
foreach (DerivationInputs::iterator, j, drv.inputDrvs)
|
||
todo.insert(makeDrvPathWithOutputs(j->first, j->second));
|
||
} else
|
||
todoNonDrv.insert(outputs.begin(), outputs.end());
|
||
}
|
||
|
||
foreach (PathSet::iterator, i, todoNonDrv) {
|
||
done.insert(*i);
|
||
SubstitutablePathInfos::iterator info = infos.find(*i);
|
||
if (info != infos.end()) {
|
||
willSubstitute.insert(*i);
|
||
downloadSize += info->second.downloadSize;
|
||
narSize += info->second.narSize;
|
||
todo.insert(info->second.references.begin(), info->second.references.end());
|
||
} else
|
||
unknown.insert(*i);
|
||
}
|
||
}
|
||
}
|
||
|
||
|
||
static void dfsVisit(StoreAPI & store, const PathSet & paths,
|
||
const Path & path, PathSet & visited, Paths & sorted,
|
||
PathSet & parents)
|
||
{
|
||
if (parents.find(path) != parents.end())
|
||
throw BuildError(format("cycle detected in the references of `%1%'") % path);
|
||
|
||
if (visited.find(path) != visited.end()) return;
|
||
visited.insert(path);
|
||
parents.insert(path);
|
||
|
||
PathSet references;
|
||
if (store.isValidPath(path))
|
||
store.queryReferences(path, references);
|
||
|
||
foreach (PathSet::iterator, i, references)
|
||
/* Don't traverse into paths that don't exist. That can
|
||
happen due to substitutes for non-existent paths. */
|
||
if (*i != path && paths.find(*i) != paths.end())
|
||
dfsVisit(store, paths, *i, visited, sorted, parents);
|
||
|
||
sorted.push_front(path);
|
||
parents.erase(path);
|
||
}
|
||
|
||
|
||
Paths topoSortPaths(StoreAPI & store, const PathSet & paths)
|
||
{
|
||
Paths sorted;
|
||
PathSet visited, parents;
|
||
foreach (PathSet::const_iterator, i, paths)
|
||
dfsVisit(store, paths, *i, visited, sorted, parents);
|
||
return sorted;
|
||
}
|
||
|
||
|
||
}
|