forked from lix-project/lix
Non-blocking garbage collector
The garbage collector no longer blocks other processes from adding/building store paths or adding GC roots. To prevent the collector from deleting store paths just added by another process, processes need to connect to the garbage collector via a Unix domain socket to register new temporary roots.
This commit is contained in:
parent
9947f1646a
commit
8614cf1334
|
@ -1353,7 +1353,7 @@ void LocalDerivationGoal::startDaemon()
|
||||||
AutoCloseFD remote = accept(daemonSocket.get(),
|
AutoCloseFD remote = accept(daemonSocket.get(),
|
||||||
(struct sockaddr *) &remoteAddr, &remoteAddrLen);
|
(struct sockaddr *) &remoteAddr, &remoteAddrLen);
|
||||||
if (!remote) {
|
if (!remote) {
|
||||||
if (errno == EINTR) continue;
|
if (errno == EINTR || errno == EAGAIN) continue;
|
||||||
if (errno == EINVAL) break;
|
if (errno == EINVAL) break;
|
||||||
throw SysError("accepting connection");
|
throw SysError("accepting connection");
|
||||||
}
|
}
|
||||||
|
|
|
@ -10,48 +10,22 @@
|
||||||
#include <regex>
|
#include <regex>
|
||||||
#include <random>
|
#include <random>
|
||||||
|
|
||||||
#include <sys/types.h>
|
#include <climits>
|
||||||
#include <sys/stat.h>
|
|
||||||
#include <sys/statvfs.h>
|
|
||||||
#include <errno.h>
|
#include <errno.h>
|
||||||
#include <fcntl.h>
|
#include <fcntl.h>
|
||||||
|
#include <poll.h>
|
||||||
|
#include <sys/socket.h>
|
||||||
|
#include <sys/stat.h>
|
||||||
|
#include <sys/statvfs.h>
|
||||||
|
#include <sys/types.h>
|
||||||
|
#include <sys/un.h>
|
||||||
#include <unistd.h>
|
#include <unistd.h>
|
||||||
#include <climits>
|
|
||||||
|
|
||||||
namespace nix {
|
namespace nix {
|
||||||
|
|
||||||
|
|
||||||
static string gcLockName = "gc.lock";
|
static std::string gcSocketPath = "/gc-socket/socket";
|
||||||
static string gcRootsDir = "gcroots";
|
static std::string gcRootsDir = "gcroots";
|
||||||
|
|
||||||
|
|
||||||
/* Acquire the global GC lock. This is used to prevent new Nix
|
|
||||||
processes from starting after the temporary root files have been
|
|
||||||
read. To be precise: when they try to create a new temporary root
|
|
||||||
file, they will block until the garbage collector has finished /
|
|
||||||
yielded the GC lock. */
|
|
||||||
AutoCloseFD LocalStore::openGCLock(LockType lockType)
|
|
||||||
{
|
|
||||||
Path fnGCLock = (format("%1%/%2%")
|
|
||||||
% stateDir % gcLockName).str();
|
|
||||||
|
|
||||||
debug(format("acquiring global GC lock '%1%'") % fnGCLock);
|
|
||||||
|
|
||||||
AutoCloseFD fdGCLock = open(fnGCLock.c_str(), O_RDWR | O_CREAT | O_CLOEXEC, 0600);
|
|
||||||
if (!fdGCLock)
|
|
||||||
throw SysError("opening global GC lock '%1%'", fnGCLock);
|
|
||||||
|
|
||||||
if (!lockFile(fdGCLock.get(), lockType, false)) {
|
|
||||||
printInfo("waiting for the big garbage collector lock...");
|
|
||||||
lockFile(fdGCLock.get(), lockType, true);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* !!! Restrict read permission on the GC root. Otherwise any
|
|
||||||
process that can open the file for reading can DoS the
|
|
||||||
collector. */
|
|
||||||
|
|
||||||
return fdGCLock;
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
static void makeSymlink(const Path & link, const Path & target)
|
static void makeSymlink(const Path & link, const Path & target)
|
||||||
|
@ -114,8 +88,6 @@ void LocalStore::addTempRoot(const StorePath & path)
|
||||||
if (!state->fdTempRoots) {
|
if (!state->fdTempRoots) {
|
||||||
|
|
||||||
while (1) {
|
while (1) {
|
||||||
AutoCloseFD fdGCLock = openGCLock(ltRead);
|
|
||||||
|
|
||||||
if (pathExists(fnTempRoots))
|
if (pathExists(fnTempRoots))
|
||||||
/* It *must* be stale, since there can be no two
|
/* It *must* be stale, since there can be no two
|
||||||
processes with the same pid. */
|
processes with the same pid. */
|
||||||
|
@ -123,10 +95,8 @@ void LocalStore::addTempRoot(const StorePath & path)
|
||||||
|
|
||||||
state->fdTempRoots = openLockFile(fnTempRoots, true);
|
state->fdTempRoots = openLockFile(fnTempRoots, true);
|
||||||
|
|
||||||
fdGCLock = -1;
|
debug("acquiring write lock on '%s'", fnTempRoots);
|
||||||
|
lockFile(state->fdTempRoots.get(), ltWrite, true);
|
||||||
debug(format("acquiring read lock on '%1%'") % fnTempRoots);
|
|
||||||
lockFile(state->fdTempRoots.get(), ltRead, true);
|
|
||||||
|
|
||||||
/* Check whether the garbage collector didn't get in our
|
/* Check whether the garbage collector didn't get in our
|
||||||
way. */
|
way. */
|
||||||
|
@ -142,24 +112,62 @@ void LocalStore::addTempRoot(const StorePath & path)
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Upgrade the lock to a write lock. This will cause us to block
|
restart:
|
||||||
if the garbage collector is holding our lock. */
|
FdLock gcLock(state->fdGCLock.get(), ltRead, false, "");
|
||||||
debug(format("acquiring write lock on '%1%'") % fnTempRoots);
|
|
||||||
lockFile(state->fdTempRoots.get(), ltWrite, true);
|
|
||||||
|
|
||||||
|
if (!gcLock.acquired) {
|
||||||
|
/* We couldn't get a shared global GC lock, so the garbage
|
||||||
|
collector is running. So we have to connect to the garbage
|
||||||
|
collector and inform it about our root. */
|
||||||
|
if (!state->fdRootsSocket) {
|
||||||
|
state->fdRootsSocket = createUnixDomainSocket();
|
||||||
|
|
||||||
|
auto socketPath = stateDir.get() + gcSocketPath;
|
||||||
|
|
||||||
|
debug("connecting to '%s'", socketPath);
|
||||||
|
|
||||||
|
struct sockaddr_un addr;
|
||||||
|
addr.sun_family = AF_UNIX;
|
||||||
|
if (socketPath.size() + 1 >= sizeof(addr.sun_path))
|
||||||
|
throw Error("socket path '%s' is too long", socketPath);
|
||||||
|
strcpy(addr.sun_path, socketPath.c_str());
|
||||||
|
|
||||||
|
if (::connect(state->fdRootsSocket.get(), (struct sockaddr *) &addr, sizeof(addr)) == -1)
|
||||||
|
throw SysError("cannot connect to garbage collector at '%s'", socketPath);
|
||||||
|
}
|
||||||
|
|
||||||
|
try {
|
||||||
|
debug("sending GC root '%s'", printStorePath(path));
|
||||||
|
writeFull(state->fdRootsSocket.get(), printStorePath(path) + "\n", false);
|
||||||
|
char c;
|
||||||
|
readFull(state->fdRootsSocket.get(), &c, 1);
|
||||||
|
assert(c == '1');
|
||||||
|
debug("got ack for GC root '%s'", printStorePath(path));
|
||||||
|
} catch (SysError & e) {
|
||||||
|
/* The garbage collector may have exited, so we need to
|
||||||
|
restart. */
|
||||||
|
if (e.errNo == EPIPE) {
|
||||||
|
debug("GC socket disconnected");
|
||||||
|
state->fdRootsSocket.close();
|
||||||
|
goto restart;
|
||||||
|
}
|
||||||
|
} catch (EndOfFile & e) {
|
||||||
|
debug("GC socket disconnected");
|
||||||
|
state->fdRootsSocket.close();
|
||||||
|
goto restart;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Append the store path to the temporary roots file. */
|
||||||
string s = printStorePath(path) + '\0';
|
string s = printStorePath(path) + '\0';
|
||||||
writeFull(state->fdTempRoots.get(), s);
|
writeFull(state->fdTempRoots.get(), s);
|
||||||
|
|
||||||
/* Downgrade to a read lock. */
|
|
||||||
debug(format("downgrading to read lock on '%1%'") % fnTempRoots);
|
|
||||||
lockFile(state->fdTempRoots.get(), ltRead, true);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
static std::string censored = "{censored}";
|
static std::string censored = "{censored}";
|
||||||
|
|
||||||
|
|
||||||
void LocalStore::findTempRoots(FDs & fds, Roots & tempRoots, bool censor)
|
void LocalStore::findTempRoots(Roots & tempRoots, bool censor)
|
||||||
{
|
{
|
||||||
/* Read the `temproots' directory for per-process temporary root
|
/* Read the `temproots' directory for per-process temporary root
|
||||||
files. */
|
files. */
|
||||||
|
@ -174,35 +182,25 @@ void LocalStore::findTempRoots(FDs & fds, Roots & tempRoots, bool censor)
|
||||||
pid_t pid = std::stoi(i.name);
|
pid_t pid = std::stoi(i.name);
|
||||||
|
|
||||||
debug(format("reading temporary root file '%1%'") % path);
|
debug(format("reading temporary root file '%1%'") % path);
|
||||||
FDPtr fd(new AutoCloseFD(open(path.c_str(), O_CLOEXEC | O_RDWR, 0666)));
|
AutoCloseFD fd(open(path.c_str(), O_CLOEXEC | O_RDWR, 0666));
|
||||||
if (!*fd) {
|
if (!fd) {
|
||||||
/* It's okay if the file has disappeared. */
|
/* It's okay if the file has disappeared. */
|
||||||
if (errno == ENOENT) continue;
|
if (errno == ENOENT) continue;
|
||||||
throw SysError("opening temporary roots file '%1%'", path);
|
throw SysError("opening temporary roots file '%1%'", path);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* This should work, but doesn't, for some reason. */
|
|
||||||
//FDPtr fd(new AutoCloseFD(openLockFile(path, false)));
|
|
||||||
//if (*fd == -1) continue;
|
|
||||||
|
|
||||||
/* Try to acquire a write lock without blocking. This can
|
/* Try to acquire a write lock without blocking. This can
|
||||||
only succeed if the owning process has died. In that case
|
only succeed if the owning process has died. In that case
|
||||||
we don't care about its temporary roots. */
|
we don't care about its temporary roots. */
|
||||||
if (lockFile(fd->get(), ltWrite, false)) {
|
if (lockFile(fd.get(), ltWrite, false)) {
|
||||||
printInfo("removing stale temporary roots file '%1%'", path);
|
printInfo("removing stale temporary roots file '%1%'", path);
|
||||||
unlink(path.c_str());
|
unlink(path.c_str());
|
||||||
writeFull(fd->get(), "d");
|
writeFull(fd.get(), "d");
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Acquire a read lock. This will prevent the owning process
|
|
||||||
from upgrading to a write lock, therefore it will block in
|
|
||||||
addTempRoot(). */
|
|
||||||
debug(format("waiting for read lock on '%1%'") % path);
|
|
||||||
lockFile(fd->get(), ltRead, true);
|
|
||||||
|
|
||||||
/* Read the entire file. */
|
/* Read the entire file. */
|
||||||
string contents = readFile(fd->get());
|
string contents = readFile(fd.get());
|
||||||
|
|
||||||
/* Extract the roots. */
|
/* Extract the roots. */
|
||||||
string::size_type pos = 0, end;
|
string::size_type pos = 0, end;
|
||||||
|
@ -213,8 +211,6 @@ void LocalStore::findTempRoots(FDs & fds, Roots & tempRoots, bool censor)
|
||||||
tempRoots[parseStorePath(root)].emplace(censor ? censored : fmt("{temp:%d}", pid));
|
tempRoots[parseStorePath(root)].emplace(censor ? censored : fmt("{temp:%d}", pid));
|
||||||
pos = end + 1;
|
pos = end + 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
fds.push_back(fd); /* keep open */
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -299,8 +295,7 @@ Roots LocalStore::findRoots(bool censor)
|
||||||
Roots roots;
|
Roots roots;
|
||||||
findRootsNoTemp(roots, censor);
|
findRootsNoTemp(roots, censor);
|
||||||
|
|
||||||
FDs fds;
|
findTempRoots(roots, censor);
|
||||||
findTempRoots(fds, roots, censor);
|
|
||||||
|
|
||||||
return roots;
|
return roots;
|
||||||
}
|
}
|
||||||
|
@ -455,160 +450,141 @@ struct LocalStore::GCState
|
||||||
const GCOptions & options;
|
const GCOptions & options;
|
||||||
GCResults & results;
|
GCResults & results;
|
||||||
StorePathSet roots;
|
StorePathSet roots;
|
||||||
StorePathSet tempRoots;
|
|
||||||
StorePathSet dead;
|
StorePathSet dead;
|
||||||
StorePathSet alive;
|
StorePathSet alive;
|
||||||
bool gcKeepOutputs;
|
bool gcKeepOutputs;
|
||||||
bool gcKeepDerivations;
|
bool gcKeepDerivations;
|
||||||
bool shouldDelete;
|
bool shouldDelete;
|
||||||
|
|
||||||
|
struct Shared
|
||||||
|
{
|
||||||
|
// The temp roots only store the hash part to make it easier to
|
||||||
|
// ignore suffixes like '.lock', '.chroot' and '.check'.
|
||||||
|
std::unordered_set<std::string> tempRoots;
|
||||||
|
|
||||||
|
// Hash part of the store path currently being deleted, if
|
||||||
|
// any.
|
||||||
|
std::optional<std::string> pending;
|
||||||
|
};
|
||||||
|
|
||||||
|
Sync<Shared> shared;
|
||||||
|
|
||||||
|
std::condition_variable wakeup;
|
||||||
|
|
||||||
GCState(const GCOptions & options, GCResults & results)
|
GCState(const GCOptions & options, GCResults & results)
|
||||||
: options(options), results(results) { }
|
: options(options), results(results) { }
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
||||||
bool LocalStore::isActiveTempFile(const GCState & state,
|
bool LocalStore::tryToDelete(
|
||||||
const Path & path, const string & suffix)
|
GCState & state,
|
||||||
{
|
StorePathSet & visited,
|
||||||
return hasSuffix(path, suffix)
|
const Path & path,
|
||||||
&& state.tempRoots.count(parseStorePath(string(path, 0, path.size() - suffix.size())));
|
bool recursive)
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
void LocalStore::deleteGarbage(GCState & state, const Path & path)
|
|
||||||
{
|
|
||||||
uint64_t bytesFreed;
|
|
||||||
deletePath(path, bytesFreed);
|
|
||||||
state.results.bytesFreed += bytesFreed;
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
void LocalStore::deletePathRecursive(GCState & state, const Path & path)
|
|
||||||
{
|
|
||||||
checkInterrupt();
|
|
||||||
|
|
||||||
auto storePath = maybeParseStorePath(path);
|
|
||||||
if (storePath && isValidPath(*storePath)) {
|
|
||||||
StorePathSet referrers;
|
|
||||||
queryReferrers(*storePath, referrers);
|
|
||||||
for (auto & i : referrers)
|
|
||||||
if (printStorePath(i) != path) deletePathRecursive(state, printStorePath(i));
|
|
||||||
invalidatePathChecked(*storePath);
|
|
||||||
}
|
|
||||||
|
|
||||||
Path realPath = realStoreDir + "/" + std::string(baseNameOf(path));
|
|
||||||
|
|
||||||
struct stat st;
|
|
||||||
if (lstat(realPath.c_str(), &st)) {
|
|
||||||
if (errno == ENOENT) return;
|
|
||||||
throw SysError("getting status of %1%", realPath);
|
|
||||||
}
|
|
||||||
|
|
||||||
printInfo(format("deleting '%1%'") % path);
|
|
||||||
|
|
||||||
state.results.paths.insert(path);
|
|
||||||
|
|
||||||
deleteGarbage(state, realPath);
|
|
||||||
|
|
||||||
if (state.results.bytesFreed > state.options.maxFreed) {
|
|
||||||
printInfo("deleted more than %d bytes; stopping", state.options.maxFreed);
|
|
||||||
throw GCLimitReached();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
bool LocalStore::canReachRoot(GCState & state, StorePathSet & visited, const StorePath & path)
|
|
||||||
{
|
|
||||||
if (visited.count(path)) return false;
|
|
||||||
|
|
||||||
if (state.alive.count(path)) return true;
|
|
||||||
|
|
||||||
if (state.dead.count(path)) return false;
|
|
||||||
|
|
||||||
if (state.roots.count(path)) {
|
|
||||||
debug("cannot delete '%1%' because it's a root", printStorePath(path));
|
|
||||||
state.alive.insert(path);
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
visited.insert(path);
|
|
||||||
|
|
||||||
if (!isValidPath(path)) return false;
|
|
||||||
|
|
||||||
StorePathSet incoming;
|
|
||||||
|
|
||||||
/* Don't delete this path if any of its referrers are alive. */
|
|
||||||
queryReferrers(path, incoming);
|
|
||||||
|
|
||||||
/* If keep-derivations is set and this is a derivation, then
|
|
||||||
don't delete the derivation if any of the outputs are alive. */
|
|
||||||
if (state.gcKeepDerivations && path.isDerivation()) {
|
|
||||||
for (auto & [name, maybeOutPath] : queryPartialDerivationOutputMap(path))
|
|
||||||
if (maybeOutPath &&
|
|
||||||
isValidPath(*maybeOutPath) &&
|
|
||||||
queryPathInfo(*maybeOutPath)->deriver == path
|
|
||||||
)
|
|
||||||
incoming.insert(*maybeOutPath);
|
|
||||||
}
|
|
||||||
|
|
||||||
/* If keep-outputs is set, then don't delete this path if there
|
|
||||||
are derivers of this path that are not garbage. */
|
|
||||||
if (state.gcKeepOutputs) {
|
|
||||||
auto derivers = queryValidDerivers(path);
|
|
||||||
for (auto & i : derivers)
|
|
||||||
incoming.insert(i);
|
|
||||||
}
|
|
||||||
|
|
||||||
for (auto & i : incoming)
|
|
||||||
if (i != path)
|
|
||||||
if (canReachRoot(state, visited, i)) {
|
|
||||||
state.alive.insert(path);
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
void LocalStore::tryToDelete(GCState & state, const Path & path)
|
|
||||||
{
|
{
|
||||||
checkInterrupt();
|
checkInterrupt();
|
||||||
|
|
||||||
auto realPath = realStoreDir + "/" + std::string(baseNameOf(path));
|
auto realPath = realStoreDir + "/" + std::string(baseNameOf(path));
|
||||||
if (realPath == linksDir) return;
|
if (realPath == linksDir) return false;
|
||||||
|
|
||||||
//Activity act(*logger, lvlDebug, format("considering whether to delete '%1%'") % path);
|
//Activity act(*logger, lvlDebug, format("considering whether to delete '%1%'") % path);
|
||||||
|
|
||||||
auto storePath = maybeParseStorePath(path);
|
auto storePath = maybeParseStorePath(path);
|
||||||
|
|
||||||
if (!storePath || !isValidPath(*storePath)) {
|
/* Wake up any client waiting for deletion of this path to
|
||||||
/* A lock file belonging to a path that we're building right
|
finish. */
|
||||||
now isn't garbage. */
|
Finally releasePending([&]() {
|
||||||
if (isActiveTempFile(state, path, ".lock")) return;
|
auto shared(state.shared.lock());
|
||||||
|
shared->pending.reset();
|
||||||
|
state.wakeup.notify_all();
|
||||||
|
});
|
||||||
|
|
||||||
/* Don't delete .chroot directories for derivations that are
|
if (storePath) {
|
||||||
currently being built. */
|
|
||||||
if (isActiveTempFile(state, path, ".chroot")) return;
|
|
||||||
|
|
||||||
/* Don't delete .check directories for derivations that are
|
if (!visited.insert(*storePath).second) return true;
|
||||||
currently being built, because we may need to run
|
|
||||||
diff-hook. */
|
|
||||||
if (isActiveTempFile(state, path, ".check")) return;
|
|
||||||
}
|
|
||||||
|
|
||||||
StorePathSet visited;
|
if (state.alive.count(*storePath)) return false;
|
||||||
|
|
||||||
|
if (state.dead.count(*storePath)) return true;
|
||||||
|
|
||||||
|
if (state.roots.count(*storePath)) {
|
||||||
|
debug("cannot delete '%s' because it's a root", path);
|
||||||
|
state.alive.insert(*storePath);
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (isValidPath(*storePath)) {
|
||||||
|
StorePathSet incoming;
|
||||||
|
|
||||||
|
/* Don't delete this path if any of its referrers are alive. */
|
||||||
|
queryReferrers(*storePath, incoming);
|
||||||
|
|
||||||
|
/* If keep-derivations is set and this is a derivation, then
|
||||||
|
don't delete the derivation if any of the outputs are alive. */
|
||||||
|
if (state.gcKeepDerivations && storePath->isDerivation()) {
|
||||||
|
for (auto & [name, maybeOutPath] : queryPartialDerivationOutputMap(*storePath))
|
||||||
|
if (maybeOutPath &&
|
||||||
|
isValidPath(*maybeOutPath) &&
|
||||||
|
queryPathInfo(*maybeOutPath)->deriver == *storePath)
|
||||||
|
incoming.insert(*maybeOutPath);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* If keep-outputs is set, then don't delete this path if there
|
||||||
|
are derivers of this path that are not garbage. */
|
||||||
|
if (state.gcKeepOutputs) {
|
||||||
|
auto derivers = queryValidDerivers(*storePath);
|
||||||
|
for (auto & i : derivers)
|
||||||
|
incoming.insert(i);
|
||||||
|
}
|
||||||
|
|
||||||
|
for (auto & i : incoming)
|
||||||
|
if (i != *storePath
|
||||||
|
&& (recursive || state.options.pathsToDelete.count(i))
|
||||||
|
&& !tryToDelete(state, visited, printStorePath(i), recursive))
|
||||||
|
{
|
||||||
|
state.alive.insert(*storePath);
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
auto hashPart = std::string(storePath->hashPart());
|
||||||
|
auto shared(state.shared.lock());
|
||||||
|
if (shared->tempRoots.count(hashPart))
|
||||||
|
return false;
|
||||||
|
shared->pending = hashPart;
|
||||||
|
}
|
||||||
|
|
||||||
|
state.dead.insert(*storePath);
|
||||||
|
|
||||||
if (storePath && canReachRoot(state, visited, *storePath)) {
|
|
||||||
debug("cannot delete '%s' because it's still reachable", path);
|
|
||||||
} else {
|
|
||||||
/* No path we visited was a root, so everything is garbage.
|
|
||||||
But we only delete ‘path’ and its referrers here so that
|
|
||||||
‘nix-store --delete’ doesn't have the unexpected effect of
|
|
||||||
recursing into derivations and outputs. */
|
|
||||||
for (auto & i : visited)
|
|
||||||
state.dead.insert(i);
|
|
||||||
if (state.shouldDelete)
|
if (state.shouldDelete)
|
||||||
deletePathRecursive(state, path);
|
invalidatePathChecked(*storePath);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if (state.shouldDelete) {
|
||||||
|
Path realPath = realStoreDir + "/" + std::string(baseNameOf(path));
|
||||||
|
|
||||||
|
struct stat st;
|
||||||
|
if (lstat(realPath.c_str(), &st)) {
|
||||||
|
if (errno == ENOENT) return true;
|
||||||
|
throw SysError("getting status of %1%", realPath);
|
||||||
|
}
|
||||||
|
|
||||||
|
printInfo("deleting '%1%'", path);
|
||||||
|
|
||||||
|
state.results.paths.insert(path);
|
||||||
|
|
||||||
|
uint64_t bytesFreed;
|
||||||
|
deletePath(realPath, bytesFreed);
|
||||||
|
state.results.bytesFreed += bytesFreed;
|
||||||
|
|
||||||
|
if (state.results.bytesFreed > state.options.maxFreed) {
|
||||||
|
printInfo("deleted more than %d bytes; stopping", state.options.maxFreed);
|
||||||
|
throw GCLimitReached();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@ -678,7 +654,104 @@ void LocalStore::collectGarbage(const GCOptions & options, GCResults & results)
|
||||||
deletePath(reservedPath);
|
deletePath(reservedPath);
|
||||||
|
|
||||||
/* Acquire the global GC root. */
|
/* Acquire the global GC root. */
|
||||||
AutoCloseFD fdGCLock = openGCLock(ltWrite);
|
FdLock gcLock(_state.lock()->fdGCLock.get(), ltWrite, true, "waiting for the big garbage collector lock...");
|
||||||
|
|
||||||
|
/* Start the server for receiving new roots. */
|
||||||
|
auto socketPath = stateDir.get() + gcSocketPath;
|
||||||
|
createDirs(dirOf(socketPath));
|
||||||
|
auto fdServer = createUnixDomainSocket(socketPath, 0666);
|
||||||
|
|
||||||
|
if (fcntl(fdServer.get(), F_SETFL, fcntl(fdServer.get(), F_GETFL) | O_NONBLOCK) == -1)
|
||||||
|
throw SysError("making socket '%1%' non-blocking", socketPath);
|
||||||
|
|
||||||
|
Pipe shutdownPipe;
|
||||||
|
shutdownPipe.create();
|
||||||
|
|
||||||
|
std::thread serverThread([&]() {
|
||||||
|
std::map<int, std::pair<std::unique_ptr<AutoCloseFD>, std::string>> fdClients;
|
||||||
|
bool quit = false;
|
||||||
|
|
||||||
|
while (!quit) {
|
||||||
|
std::vector<struct pollfd> fds;
|
||||||
|
fds.push_back({.fd = shutdownPipe.readSide.get(), .events = POLLIN});
|
||||||
|
fds.push_back({.fd = fdServer.get(), .events = POLLIN});
|
||||||
|
for (auto & i : fdClients)
|
||||||
|
fds.push_back({.fd = i.first, .events = POLLIN});
|
||||||
|
auto count = poll(fds.data(), fds.size(), -1);
|
||||||
|
assert(count != -1);
|
||||||
|
|
||||||
|
for (auto & fd : fds) {
|
||||||
|
if (!fd.revents) continue;
|
||||||
|
if (fd.fd == shutdownPipe.readSide.get())
|
||||||
|
/* Parent is asking us to quit. */
|
||||||
|
quit = true;
|
||||||
|
else if (fd.fd == fdServer.get()) {
|
||||||
|
/* Accept a new connection. */
|
||||||
|
assert(fd.revents & POLLIN);
|
||||||
|
auto fdClient = std::make_unique<AutoCloseFD>(accept(fdServer.get(), nullptr, nullptr));
|
||||||
|
if (*fdClient) {
|
||||||
|
auto fd = fdClient->get();
|
||||||
|
fdClients.insert({fd, std::make_pair(std::move(fdClient), "")});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
else {
|
||||||
|
/* Receive data from a client. */
|
||||||
|
auto fdClient = fdClients.find(fd.fd);
|
||||||
|
assert(fdClient != fdClients.end());
|
||||||
|
if (fd.revents & POLLIN) {
|
||||||
|
char buf[16384];
|
||||||
|
auto n = read(fd.fd, buf, sizeof(buf));
|
||||||
|
if (n > 0) {
|
||||||
|
fdClient->second.second.append(buf, n);
|
||||||
|
/* Split the input into lines. */
|
||||||
|
while (true) {
|
||||||
|
auto p = fdClient->second.second.find('\n');
|
||||||
|
if (p == std::string::npos) break;
|
||||||
|
/* We got a full line. Send ack back
|
||||||
|
to the client. */
|
||||||
|
auto path = fdClient->second.second.substr(0, p);
|
||||||
|
fdClient->second.second = fdClient->second.second.substr(p + 1);
|
||||||
|
auto storePath = maybeParseStorePath(path);
|
||||||
|
if (storePath) {
|
||||||
|
debug("got new GC root '%s'", path);
|
||||||
|
auto hashPart = std::string(storePath->hashPart());
|
||||||
|
auto shared(state.shared.lock());
|
||||||
|
shared->tempRoots.insert(hashPart);
|
||||||
|
/* If this path is currently being
|
||||||
|
deleted, then we have to wait
|
||||||
|
until deletion is finished to
|
||||||
|
ensure that the client doesn't
|
||||||
|
start re-creating it before
|
||||||
|
we're done. FIXME: ideally we
|
||||||
|
would use a FD for this so we
|
||||||
|
don't block the poll loop. */
|
||||||
|
while (shared->pending == hashPart) {
|
||||||
|
debug("synchronising with deletion of path '%s'", path);
|
||||||
|
shared.wait(state.wakeup);
|
||||||
|
}
|
||||||
|
} else
|
||||||
|
printError("received garbage instead of a root from client");
|
||||||
|
// This could block, but meh.
|
||||||
|
try {
|
||||||
|
writeFull(fd.fd, "1", false);
|
||||||
|
} catch (SysError &) { }
|
||||||
|
}
|
||||||
|
} else if (n == 0)
|
||||||
|
fdClients.erase(fdClient);
|
||||||
|
} else
|
||||||
|
fdClients.erase(fdClient);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
debug("GC roots server shut down");
|
||||||
|
});
|
||||||
|
|
||||||
|
Finally stopServer([&]() {
|
||||||
|
writeFull(shutdownPipe.writeSide.get(), "x", false);
|
||||||
|
state.wakeup.notify_all();
|
||||||
|
if (serverThread.joinable()) serverThread.join();
|
||||||
|
});
|
||||||
|
|
||||||
/* Find the roots. Since we've grabbed the GC lock, the set of
|
/* Find the roots. Since we've grabbed the GC lock, the set of
|
||||||
permanent roots cannot increase now. */
|
permanent roots cannot increase now. */
|
||||||
|
@ -689,32 +762,26 @@ void LocalStore::collectGarbage(const GCOptions & options, GCResults & results)
|
||||||
|
|
||||||
for (auto & i : rootMap) state.roots.insert(i.first);
|
for (auto & i : rootMap) state.roots.insert(i.first);
|
||||||
|
|
||||||
/* Read the temporary roots. This acquires read locks on all
|
/* Read the temporary roots created before we acquired the global
|
||||||
per-process temporary root files. So after this point no paths
|
GC root. Any new roots will be sent to our socket. */
|
||||||
can be added to the set of temporary roots. */
|
|
||||||
FDs fds;
|
|
||||||
Roots tempRoots;
|
Roots tempRoots;
|
||||||
findTempRoots(fds, tempRoots, true);
|
findTempRoots(tempRoots, true);
|
||||||
for (auto & root : tempRoots) {
|
for (auto & root : tempRoots) {
|
||||||
state.tempRoots.insert(root.first);
|
state.shared.lock()->tempRoots.insert(std::string(root.first.hashPart()));
|
||||||
state.roots.insert(root.first);
|
state.roots.insert(root.first);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* After this point the set of roots or temporary roots cannot
|
|
||||||
increase, since we hold locks on everything. So everything
|
|
||||||
that is not reachable from `roots' is garbage. */
|
|
||||||
|
|
||||||
/* Now either delete all garbage paths, or just the specified
|
/* Now either delete all garbage paths, or just the specified
|
||||||
paths (for gcDeleteSpecific). */
|
paths (for gcDeleteSpecific). */
|
||||||
|
|
||||||
if (options.action == GCOptions::gcDeleteSpecific) {
|
if (options.action == GCOptions::gcDeleteSpecific) {
|
||||||
|
|
||||||
for (auto & i : options.pathsToDelete) {
|
for (auto & i : options.pathsToDelete) {
|
||||||
tryToDelete(state, printStorePath(i));
|
StorePathSet visited;
|
||||||
if (state.dead.find(i) == state.dead.end())
|
if (!tryToDelete(state, visited, printStorePath(i), false))
|
||||||
throw Error(
|
throw Error(
|
||||||
"cannot delete path '%1%' since it is still alive. "
|
"cannot delete path '%1%' since it is still alive. "
|
||||||
"To find out why use: "
|
"To find out why, use: "
|
||||||
"nix-store --query --roots",
|
"nix-store --query --roots",
|
||||||
printStorePath(i));
|
printStorePath(i));
|
||||||
}
|
}
|
||||||
|
@ -727,44 +794,21 @@ void LocalStore::collectGarbage(const GCOptions & options, GCResults & results)
|
||||||
printInfo("determining live/dead paths...");
|
printInfo("determining live/dead paths...");
|
||||||
|
|
||||||
try {
|
try {
|
||||||
|
|
||||||
AutoCloseDir dir(opendir(realStoreDir.get().c_str()));
|
AutoCloseDir dir(opendir(realStoreDir.get().c_str()));
|
||||||
if (!dir) throw SysError("opening directory '%1%'", realStoreDir);
|
if (!dir) throw SysError("opening directory '%1%'", realStoreDir);
|
||||||
|
|
||||||
/* Read the store and immediately delete all paths that
|
/* Read the store and delete all paths that are invalid or
|
||||||
aren't valid. When using --max-freed etc., deleting
|
unreachable. We don't use readDirectory() here so that
|
||||||
invalid paths is preferred over deleting unreachable
|
GCing can start faster. */
|
||||||
paths, since unreachable paths could become reachable
|
|
||||||
again. We don't use readDirectory() here so that GCing
|
|
||||||
can start faster. */
|
|
||||||
Paths entries;
|
Paths entries;
|
||||||
struct dirent * dirent;
|
struct dirent * dirent;
|
||||||
while (errno = 0, dirent = readdir(dir.get())) {
|
while (errno = 0, dirent = readdir(dir.get())) {
|
||||||
checkInterrupt();
|
checkInterrupt();
|
||||||
string name = dirent->d_name;
|
string name = dirent->d_name;
|
||||||
if (name == "." || name == "..") continue;
|
if (name == "." || name == "..") continue;
|
||||||
Path path = storeDir + "/" + name;
|
StorePathSet visited;
|
||||||
auto storePath = maybeParseStorePath(path);
|
tryToDelete(state, visited, storeDir + "/" + name, true);
|
||||||
if (storePath && isValidPath(*storePath))
|
|
||||||
entries.push_back(path);
|
|
||||||
else
|
|
||||||
tryToDelete(state, path);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
dir.reset();
|
|
||||||
|
|
||||||
/* Now delete the unreachable valid paths. Randomise the
|
|
||||||
order in which we delete entries to make the collector
|
|
||||||
less biased towards deleting paths that come
|
|
||||||
alphabetically first (e.g. /nix/store/000...). This
|
|
||||||
matters when using --max-freed etc. */
|
|
||||||
vector<Path> entries_(entries.begin(), entries.end());
|
|
||||||
std::mt19937 gen(1);
|
|
||||||
std::shuffle(entries_.begin(), entries_.end(), gen);
|
|
||||||
|
|
||||||
for (auto & i : entries_)
|
|
||||||
tryToDelete(state, i);
|
|
||||||
|
|
||||||
} catch (GCLimitReached & e) {
|
} catch (GCLimitReached & e) {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -382,6 +382,11 @@ LocalStore::LocalStore(const Params & params)
|
||||||
(select id from Realisations where drvPath = ? and outputName = ?));
|
(select id from Realisations where drvPath = ? and outputName = ?));
|
||||||
)");
|
)");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Path fnGCLock = stateDir + "/gc.lock";
|
||||||
|
state->fdGCLock = open(fnGCLock.c_str(), O_RDWR | O_CREAT | O_CLOEXEC, 0600);
|
||||||
|
if (!state->fdGCLock)
|
||||||
|
throw SysError("opening global GC lock '%1%'", fnGCLock);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@ -1504,7 +1509,7 @@ bool LocalStore::verifyStore(bool checkContents, RepairFlag repair)
|
||||||
|
|
||||||
/* Acquire the global GC lock to get a consistent snapshot of
|
/* Acquire the global GC lock to get a consistent snapshot of
|
||||||
existing and valid paths. */
|
existing and valid paths. */
|
||||||
AutoCloseFD fdGCLock = openGCLock(ltWrite);
|
FdLock gcLock(_state.lock()->fdGCLock.get(), ltWrite, true, "waiting for the big garbage collector lock...");
|
||||||
|
|
||||||
StringSet store;
|
StringSet store;
|
||||||
for (auto & i : readDirectory(realStoreDir)) store.insert(i.name);
|
for (auto & i : readDirectory(realStoreDir)) store.insert(i.name);
|
||||||
|
@ -1515,8 +1520,6 @@ bool LocalStore::verifyStore(bool checkContents, RepairFlag repair)
|
||||||
StorePathSet validPaths;
|
StorePathSet validPaths;
|
||||||
PathSet done;
|
PathSet done;
|
||||||
|
|
||||||
fdGCLock = -1;
|
|
||||||
|
|
||||||
for (auto & i : queryAllValidPaths())
|
for (auto & i : queryAllValidPaths())
|
||||||
verifyPath(printStorePath(i), store, done, validPaths, repair, errors);
|
verifyPath(printStorePath(i), store, done, validPaths, repair, errors);
|
||||||
|
|
||||||
|
|
|
@ -58,9 +58,15 @@ private:
|
||||||
struct Stmts;
|
struct Stmts;
|
||||||
std::unique_ptr<Stmts> stmts;
|
std::unique_ptr<Stmts> stmts;
|
||||||
|
|
||||||
|
/* The global GC lock */
|
||||||
|
AutoCloseFD fdGCLock;
|
||||||
|
|
||||||
/* The file to which we write our temporary roots. */
|
/* The file to which we write our temporary roots. */
|
||||||
AutoCloseFD fdTempRoots;
|
AutoCloseFD fdTempRoots;
|
||||||
|
|
||||||
|
/* Connection to the garbage collector. */
|
||||||
|
AutoCloseFD fdRootsSocket;
|
||||||
|
|
||||||
/* The last time we checked whether to do an auto-GC, or an
|
/* The last time we checked whether to do an auto-GC, or an
|
||||||
auto-GC finished. */
|
auto-GC finished. */
|
||||||
std::chrono::time_point<std::chrono::steady_clock> lastGCCheck;
|
std::chrono::time_point<std::chrono::steady_clock> lastGCCheck;
|
||||||
|
@ -150,10 +156,7 @@ public:
|
||||||
|
|
||||||
private:
|
private:
|
||||||
|
|
||||||
typedef std::shared_ptr<AutoCloseFD> FDPtr;
|
void findTempRoots(Roots & roots, bool censor);
|
||||||
typedef list<FDPtr> FDs;
|
|
||||||
|
|
||||||
void findTempRoots(FDs & fds, Roots & roots, bool censor);
|
|
||||||
|
|
||||||
public:
|
public:
|
||||||
|
|
||||||
|
@ -235,18 +238,11 @@ private:
|
||||||
|
|
||||||
struct GCState;
|
struct GCState;
|
||||||
|
|
||||||
void deleteGarbage(GCState & state, const Path & path);
|
bool tryToDelete(
|
||||||
|
GCState & state,
|
||||||
void tryToDelete(GCState & state, const Path & path);
|
StorePathSet & visited,
|
||||||
|
const Path & path,
|
||||||
bool canReachRoot(GCState & state, StorePathSet & visited, const StorePath & path);
|
bool recursive);
|
||||||
|
|
||||||
void deletePathRecursive(GCState & state, const Path & path);
|
|
||||||
|
|
||||||
bool isActiveTempFile(const GCState & state,
|
|
||||||
const Path & path, const string & suffix);
|
|
||||||
|
|
||||||
AutoCloseFD openGCLock(LockType lockType);
|
|
||||||
|
|
||||||
void findRoots(const Path & path, unsigned char type, Roots & roots);
|
void findRoots(const Path & path, unsigned char type, Roots & roots);
|
||||||
|
|
||||||
|
|
|
@ -176,4 +176,17 @@ void PathLocks::setDeletion(bool deletePaths)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
FdLock::FdLock(int fd, LockType lockType, bool wait, std::string_view waitMsg)
|
||||||
|
: fd(fd)
|
||||||
|
{
|
||||||
|
if (wait) {
|
||||||
|
if (!lockFile(fd, lockType, false)) {
|
||||||
|
printInfo("%s", waitMsg);
|
||||||
|
acquired = lockFile(fd, lockType, true);
|
||||||
|
}
|
||||||
|
} else
|
||||||
|
acquired = lockFile(fd, lockType, false);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -35,4 +35,18 @@ public:
|
||||||
void setDeletion(bool deletePaths);
|
void setDeletion(bool deletePaths);
|
||||||
};
|
};
|
||||||
|
|
||||||
|
struct FdLock
|
||||||
|
{
|
||||||
|
int fd;
|
||||||
|
bool acquired = false;
|
||||||
|
|
||||||
|
FdLock(int fd, LockType lockType, bool wait, std::string_view waitMsg);
|
||||||
|
|
||||||
|
~FdLock()
|
||||||
|
{
|
||||||
|
if (acquired)
|
||||||
|
lockFile(fd, ltNone, false);
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -56,14 +56,7 @@ ref<RemoteStore::Connection> UDSRemoteStore::openConnection()
|
||||||
auto conn = make_ref<Connection>();
|
auto conn = make_ref<Connection>();
|
||||||
|
|
||||||
/* Connect to a daemon that does the privileged work for us. */
|
/* Connect to a daemon that does the privileged work for us. */
|
||||||
conn->fd = socket(PF_UNIX, SOCK_STREAM
|
conn->fd = createUnixDomainSocket();
|
||||||
#ifdef SOCK_CLOEXEC
|
|
||||||
| SOCK_CLOEXEC
|
|
||||||
#endif
|
|
||||||
, 0);
|
|
||||||
if (!conn->fd)
|
|
||||||
throw SysError("cannot create Unix domain socket");
|
|
||||||
closeOnExec(conn->fd.get());
|
|
||||||
|
|
||||||
nix::connect(conn->fd.get(), path ? *path : settings.nixDaemonSocketFile);
|
nix::connect(conn->fd.get(), path ? *path : settings.nixDaemonSocketFile);
|
||||||
|
|
||||||
|
|
|
@ -1670,7 +1670,7 @@ std::unique_ptr<InterruptCallback> createInterruptCallback(std::function<void()>
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
AutoCloseFD createUnixDomainSocket(const Path & path, mode_t mode)
|
AutoCloseFD createUnixDomainSocket()
|
||||||
{
|
{
|
||||||
AutoCloseFD fdSocket = socket(PF_UNIX, SOCK_STREAM
|
AutoCloseFD fdSocket = socket(PF_UNIX, SOCK_STREAM
|
||||||
#ifdef SOCK_CLOEXEC
|
#ifdef SOCK_CLOEXEC
|
||||||
|
@ -1679,8 +1679,14 @@ AutoCloseFD createUnixDomainSocket(const Path & path, mode_t mode)
|
||||||
, 0);
|
, 0);
|
||||||
if (!fdSocket)
|
if (!fdSocket)
|
||||||
throw SysError("cannot create Unix domain socket");
|
throw SysError("cannot create Unix domain socket");
|
||||||
|
|
||||||
closeOnExec(fdSocket.get());
|
closeOnExec(fdSocket.get());
|
||||||
|
return fdSocket;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
AutoCloseFD createUnixDomainSocket(const Path & path, mode_t mode)
|
||||||
|
{
|
||||||
|
auto fdSocket = nix::createUnixDomainSocket();
|
||||||
|
|
||||||
bind(fdSocket.get(), path);
|
bind(fdSocket.get(), path);
|
||||||
|
|
||||||
|
|
|
@ -571,6 +571,9 @@ extern PathFilter defaultPathFilter;
|
||||||
/* Common initialisation performed in child processes. */
|
/* Common initialisation performed in child processes. */
|
||||||
void commonChildInit(Pipe & logPipe);
|
void commonChildInit(Pipe & logPipe);
|
||||||
|
|
||||||
|
/* Create a Unix domain socket. */
|
||||||
|
AutoCloseFD createUnixDomainSocket();
|
||||||
|
|
||||||
/* Create a Unix domain socket in listen mode. */
|
/* Create a Unix domain socket in listen mode. */
|
||||||
AutoCloseFD createUnixDomainSocket(const Path & path, mode_t mode);
|
AutoCloseFD createUnixDomainSocket(const Path & path, mode_t mode);
|
||||||
|
|
||||||
|
|
|
@ -8,7 +8,7 @@ requireDaemonNewerThan "2.4pre20210621"
|
||||||
|
|
||||||
# Get the output path of `rootCA`, and put some garbage instead
|
# Get the output path of `rootCA`, and put some garbage instead
|
||||||
outPath="$(nix-build ./content-addressed.nix -A rootCA --no-out-link)"
|
outPath="$(nix-build ./content-addressed.nix -A rootCA --no-out-link)"
|
||||||
nix-store --delete "$outPath"
|
nix-store --delete $(nix-store -q --referrers-closure "$outPath")
|
||||||
touch "$outPath"
|
touch "$outPath"
|
||||||
|
|
||||||
# The build should correctly remove the garbage and put the expected path instead
|
# The build should correctly remove the garbage and put the expected path instead
|
||||||
|
|
|
@ -30,7 +30,7 @@ nix-store --verify-path $path2
|
||||||
chmod u+w $path2
|
chmod u+w $path2
|
||||||
touch $path2/bad
|
touch $path2/bad
|
||||||
|
|
||||||
nix-store --delete $(nix-store -qd $path2)
|
nix-store --delete $(nix-store -q --referrers-closure $(nix-store -qd $path2))
|
||||||
|
|
||||||
(! nix-store --verify --check-contents --repair)
|
(! nix-store --verify --check-contents --repair)
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue