Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 13:28:26 +00:00
|
|
|
|
#include "derivations.hh"
|
2006-09-04 21:06:23 +00:00
|
|
|
|
#include "globals.hh"
|
2006-11-30 17:43:04 +00:00
|
|
|
|
#include "local-store.hh"
|
2017-09-05 18:43:42 +00:00
|
|
|
|
#include "finally.hh"
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
2008-09-17 10:02:55 +00:00
|
|
|
|
#include <functional>
|
|
|
|
|
#include <queue>
|
2009-11-24 09:53:18 +00:00
|
|
|
|
#include <algorithm>
|
2016-07-20 18:00:36 +00:00
|
|
|
|
#include <regex>
|
2008-09-17 10:02:55 +00:00
|
|
|
|
|
2004-08-25 16:54:08 +00:00
|
|
|
|
#include <sys/types.h>
|
|
|
|
|
#include <sys/stat.h>
|
2017-09-05 18:43:42 +00:00
|
|
|
|
#include <sys/statvfs.h>
|
2005-01-31 10:27:25 +00:00
|
|
|
|
#include <errno.h>
|
|
|
|
|
#include <fcntl.h>
|
2004-08-25 16:54:08 +00:00
|
|
|
|
#include <unistd.h>
|
2016-07-20 18:00:36 +00:00
|
|
|
|
#include <climits>
|
2004-08-25 16:54:08 +00:00
|
|
|
|
|
2006-09-04 21:06:23 +00:00
|
|
|
|
namespace nix {
|
|
|
|
|
|
|
|
|
|
|
2005-01-31 22:23:49 +00:00
|
|
|
|
static string gcLockName = "gc.lock";
|
2005-02-01 13:48:46 +00:00
|
|
|
|
static string gcRootsDir = "gcroots";
|
2005-01-31 22:23:49 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* 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. */
|
2010-08-31 11:47:31 +00:00
|
|
|
|
int LocalStore::openGCLock(LockType lockType)
|
2005-01-31 22:01:55 +00:00
|
|
|
|
{
|
2005-01-31 22:23:49 +00:00
|
|
|
|
Path fnGCLock = (format("%1%/%2%")
|
2016-06-02 11:33:49 +00:00
|
|
|
|
% stateDir % gcLockName).str();
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2017-07-30 11:27:57 +00:00
|
|
|
|
debug(format("acquiring global GC lock '%1%'") % fnGCLock);
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2016-06-09 14:15:58 +00:00
|
|
|
|
AutoCloseFD fdGCLock = open(fnGCLock.c_str(), O_RDWR | O_CREAT | O_CLOEXEC, 0600);
|
2016-07-11 19:44:44 +00:00
|
|
|
|
if (!fdGCLock)
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw SysError(format("opening global GC lock '%1%'") % fnGCLock);
|
2005-01-31 22:23:49 +00:00
|
|
|
|
|
2016-07-11 19:44:44 +00:00
|
|
|
|
if (!lockFile(fdGCLock.get(), lockType, false)) {
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printError(format("waiting for the big garbage collector lock..."));
|
2016-07-11 19:44:44 +00:00
|
|
|
|
lockFile(fdGCLock.get(), lockType, true);
|
2006-09-14 22:30:33 +00:00
|
|
|
|
}
|
2005-01-31 22:23:49 +00:00
|
|
|
|
|
|
|
|
|
/* !!! Restrict read permission on the GC root. Otherwise any
|
|
|
|
|
process that can open the file for reading can DoS the
|
|
|
|
|
collector. */
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2016-07-11 19:44:44 +00:00
|
|
|
|
return fdGCLock.release();
|
2005-01-31 22:01:55 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2014-02-27 22:17:53 +00:00
|
|
|
|
static void makeSymlink(const Path & link, const Path & target)
|
2005-02-01 13:48:46 +00:00
|
|
|
|
{
|
|
|
|
|
/* Create directories up to `gcRoot'. */
|
|
|
|
|
createDirs(dirOf(link));
|
|
|
|
|
|
2012-04-16 16:47:01 +00:00
|
|
|
|
/* Create the new symlink. */
|
|
|
|
|
Path tempLink = (format("%1%.tmp-%2%-%3%")
|
|
|
|
|
% link % getpid() % rand()).str();
|
2014-02-27 22:17:53 +00:00
|
|
|
|
createSymlink(target, tempLink);
|
2012-04-16 16:47:01 +00:00
|
|
|
|
|
|
|
|
|
/* Atomically replace the old one. */
|
|
|
|
|
if (rename(tempLink.c_str(), link.c_str()) == -1)
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw SysError(format("cannot rename '%1%' to '%2%'")
|
2012-04-16 16:47:01 +00:00
|
|
|
|
% tempLink % link);
|
2005-02-01 13:48:46 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2006-12-02 16:41:36 +00:00
|
|
|
|
void LocalStore::syncWithGC()
|
|
|
|
|
{
|
|
|
|
|
AutoCloseFD fdGCLock = openGCLock(ltRead);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2006-12-04 23:29:16 +00:00
|
|
|
|
void LocalStore::addIndirectRoot(const Path & path)
|
|
|
|
|
{
|
2017-07-04 12:47:59 +00:00
|
|
|
|
string hash = hashString(htSHA1, path).to_string(Base32, false);
|
2006-12-04 23:29:16 +00:00
|
|
|
|
Path realRoot = canonPath((format("%1%/%2%/auto/%3%")
|
2016-06-02 11:33:49 +00:00
|
|
|
|
% stateDir % gcRootsDir % hash).str());
|
2014-02-27 22:17:53 +00:00
|
|
|
|
makeSymlink(realRoot, path);
|
2006-12-04 23:29:16 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2016-06-02 11:33:49 +00:00
|
|
|
|
Path LocalFSStore::addPermRoot(const Path & _storePath,
|
2011-08-31 21:11:50 +00:00
|
|
|
|
const Path & _gcRoot, bool indirect, bool allowOutsideRootsDir)
|
2005-02-01 12:36:25 +00:00
|
|
|
|
{
|
|
|
|
|
Path storePath(canonPath(_storePath));
|
|
|
|
|
Path gcRoot(canonPath(_gcRoot));
|
2005-02-01 13:48:46 +00:00
|
|
|
|
assertStorePath(storePath);
|
2005-02-01 12:36:25 +00:00
|
|
|
|
|
2007-06-11 11:36:22 +00:00
|
|
|
|
if (isInStore(gcRoot))
|
|
|
|
|
throw Error(format(
|
|
|
|
|
"creating a garbage collector root (%1%) in the Nix store is forbidden "
|
|
|
|
|
"(are you running nix-build inside the store?)") % gcRoot);
|
|
|
|
|
|
2005-02-01 13:48:46 +00:00
|
|
|
|
if (indirect) {
|
2015-03-06 15:39:48 +00:00
|
|
|
|
/* Don't clobber the link if it already exists and doesn't
|
2012-04-16 16:47:01 +00:00
|
|
|
|
point to the Nix store. */
|
|
|
|
|
if (pathExists(gcRoot) && (!isLink(gcRoot) || !isInStore(readLink(gcRoot))))
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw Error(format("cannot create symlink '%1%'; already exists") % gcRoot);
|
2014-02-27 22:17:53 +00:00
|
|
|
|
makeSymlink(gcRoot, storePath);
|
2016-02-11 15:14:42 +00:00
|
|
|
|
addIndirectRoot(gcRoot);
|
2005-02-01 13:48:46 +00:00
|
|
|
|
}
|
2005-02-01 12:36:25 +00:00
|
|
|
|
|
2005-02-01 13:48:46 +00:00
|
|
|
|
else {
|
2006-09-14 22:30:33 +00:00
|
|
|
|
if (!allowOutsideRootsDir) {
|
2016-06-02 11:33:49 +00:00
|
|
|
|
Path rootsDir = canonPath((format("%1%/%2%") % stateDir % gcRootsDir).str());
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2006-09-14 22:30:33 +00:00
|
|
|
|
if (string(gcRoot, 0, rootsDir.size() + 1) != rootsDir + "/")
|
|
|
|
|
throw Error(format(
|
2017-07-30 11:27:57 +00:00
|
|
|
|
"path '%1%' is not a valid garbage collector root; "
|
|
|
|
|
"it's not in the directory '%2%'")
|
2006-09-14 22:30:33 +00:00
|
|
|
|
% gcRoot % rootsDir);
|
|
|
|
|
}
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2014-08-13 15:44:41 +00:00
|
|
|
|
if (baseNameOf(gcRoot) == baseNameOf(storePath))
|
|
|
|
|
writeFile(gcRoot, "");
|
|
|
|
|
else
|
|
|
|
|
makeSymlink(gcRoot, storePath);
|
2005-02-01 13:48:46 +00:00
|
|
|
|
}
|
2005-02-01 12:36:25 +00:00
|
|
|
|
|
2008-06-14 16:02:31 +00:00
|
|
|
|
/* Check that the root can be found by the garbage collector.
|
|
|
|
|
!!! This can be very slow on machines that have many roots.
|
|
|
|
|
Instead of reading all the roots, it would be more efficient to
|
|
|
|
|
check if the root is in a directory in or linked from the
|
|
|
|
|
gcroots directory. */
|
2012-07-30 23:55:41 +00:00
|
|
|
|
if (settings.checkRootReachability) {
|
2016-02-11 15:14:42 +00:00
|
|
|
|
Roots roots = findRoots();
|
2007-03-19 09:16:47 +00:00
|
|
|
|
if (roots.find(gcRoot) == roots.end())
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printError(
|
2007-03-19 09:16:47 +00:00
|
|
|
|
format(
|
2017-07-30 11:27:57 +00:00
|
|
|
|
"warning: '%1%' is not in a directory where the garbage collector looks for roots; "
|
|
|
|
|
"therefore, '%2%' might be removed by the garbage collector")
|
2007-03-19 09:16:47 +00:00
|
|
|
|
% gcRoot % storePath);
|
|
|
|
|
}
|
2010-08-30 14:53:03 +00:00
|
|
|
|
|
2006-12-02 16:41:36 +00:00
|
|
|
|
/* Grab the global GC root, causing us to block while a GC is in
|
|
|
|
|
progress. This prevents the set of permanent roots from
|
|
|
|
|
increasing while a GC is in progress. */
|
2016-02-11 15:14:42 +00:00
|
|
|
|
syncWithGC();
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2005-02-01 12:36:25 +00:00
|
|
|
|
return gcRoot;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2006-12-02 16:41:36 +00:00
|
|
|
|
void LocalStore::addTempRoot(const Path & path)
|
2005-01-31 10:27:25 +00:00
|
|
|
|
{
|
2016-04-08 16:07:13 +00:00
|
|
|
|
auto state(_state.lock());
|
|
|
|
|
|
2005-01-31 10:27:25 +00:00
|
|
|
|
/* Create the temporary roots file for this process. */
|
2016-07-11 19:44:44 +00:00
|
|
|
|
if (!state->fdTempRoots) {
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
|
|
while (1) {
|
2005-01-31 22:23:49 +00:00
|
|
|
|
AutoCloseFD fdGCLock = openGCLock(ltRead);
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2017-09-05 18:39:57 +00:00
|
|
|
|
if (pathExists(fnTempRoots))
|
2006-06-20 17:48:10 +00:00
|
|
|
|
/* It *must* be stale, since there can be no two
|
|
|
|
|
processes with the same pid. */
|
2017-09-05 18:39:57 +00:00
|
|
|
|
unlink(fnTempRoots.c_str());
|
2006-06-20 17:48:10 +00:00
|
|
|
|
|
2017-09-05 18:39:57 +00:00
|
|
|
|
state->fdTempRoots = openLockFile(fnTempRoots, true);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
2016-07-11 19:44:44 +00:00
|
|
|
|
fdGCLock = -1;
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2017-09-05 18:39:57 +00:00
|
|
|
|
debug(format("acquiring read lock on '%1%'") % fnTempRoots);
|
2016-07-11 19:44:44 +00:00
|
|
|
|
lockFile(state->fdTempRoots.get(), ltRead, true);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
|
|
/* Check whether the garbage collector didn't get in our
|
|
|
|
|
way. */
|
|
|
|
|
struct stat st;
|
2016-07-11 19:44:44 +00:00
|
|
|
|
if (fstat(state->fdTempRoots.get(), &st) == -1)
|
2017-09-05 18:39:57 +00:00
|
|
|
|
throw SysError(format("statting '%1%'") % fnTempRoots);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
if (st.st_size == 0) break;
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2005-01-31 10:27:25 +00:00
|
|
|
|
/* The garbage collector deleted this file before we could
|
|
|
|
|
get a lock. (It won't delete the file after we get a
|
|
|
|
|
lock.) Try again. */
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Upgrade the lock to a write lock. This will cause us to block
|
|
|
|
|
if the garbage collector is holding our lock. */
|
2017-09-05 18:39:57 +00:00
|
|
|
|
debug(format("acquiring write lock on '%1%'") % fnTempRoots);
|
2016-07-11 19:44:44 +00:00
|
|
|
|
lockFile(state->fdTempRoots.get(), ltWrite, true);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
|
|
string s = path + '\0';
|
2016-07-11 19:44:44 +00:00
|
|
|
|
writeFull(state->fdTempRoots.get(), s);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
|
|
/* Downgrade to a read lock. */
|
2017-09-05 18:39:57 +00:00
|
|
|
|
debug(format("downgrading to read lock on '%1%'") % fnTempRoots);
|
2016-07-11 19:44:44 +00:00
|
|
|
|
lockFile(state->fdTempRoots.get(), ltRead, true);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2017-09-14 13:02:52 +00:00
|
|
|
|
std::set<std::pair<pid_t, Path>> LocalStore::readTempRoots(FDs & fds)
|
2005-01-31 10:27:25 +00:00
|
|
|
|
{
|
2017-09-14 13:02:52 +00:00
|
|
|
|
std::set<std::pair<pid_t, Path>> tempRoots;
|
2017-09-14 12:38:36 +00:00
|
|
|
|
|
2005-01-31 10:27:25 +00:00
|
|
|
|
/* Read the `temproots' directory for per-process temporary root
|
|
|
|
|
files. */
|
2017-09-14 13:02:52 +00:00
|
|
|
|
for (auto & i : readDirectory(tempRootsDir)) {
|
2017-09-05 18:39:57 +00:00
|
|
|
|
Path path = tempRootsDir + "/" + i.name;
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
2017-09-14 13:02:52 +00:00
|
|
|
|
pid_t pid = std::stoi(i.name);
|
|
|
|
|
|
2017-07-30 11:27:57 +00:00
|
|
|
|
debug(format("reading temporary root file '%1%'") % path);
|
2016-06-09 14:15:58 +00:00
|
|
|
|
FDPtr fd(new AutoCloseFD(open(path.c_str(), O_CLOEXEC | O_RDWR, 0666)));
|
2016-07-11 19:44:44 +00:00
|
|
|
|
if (!*fd) {
|
2005-01-31 10:27:25 +00:00
|
|
|
|
/* It's okay if the file has disappeared. */
|
|
|
|
|
if (errno == ENOENT) continue;
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw SysError(format("opening temporary roots file '%1%'") % path);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
}
|
|
|
|
|
|
2006-06-20 17:48:10 +00:00
|
|
|
|
/* This should work, but doesn't, for some reason. */
|
|
|
|
|
//FDPtr fd(new AutoCloseFD(openLockFile(path, false)));
|
|
|
|
|
//if (*fd == -1) continue;
|
|
|
|
|
|
2017-09-05 18:39:57 +00:00
|
|
|
|
if (path != fnTempRoots) {
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
2017-09-05 18:39:57 +00:00
|
|
|
|
/* Try to acquire a write lock without blocking. This can
|
|
|
|
|
only succeed if the owning process has died. In that case
|
|
|
|
|
we don't care about its temporary roots. */
|
|
|
|
|
if (lockFile(fd->get(), ltWrite, false)) {
|
|
|
|
|
printError(format("removing stale temporary roots file '%1%'") % path);
|
|
|
|
|
unlink(path.c_str());
|
|
|
|
|
writeFull(fd->get(), "d");
|
|
|
|
|
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);
|
|
|
|
|
|
|
|
|
|
}
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
|
|
/* Read the entire file. */
|
2016-07-11 19:44:44 +00:00
|
|
|
|
string contents = readFile(fd->get());
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
|
|
/* Extract the roots. */
|
2006-05-11 02:19:43 +00:00
|
|
|
|
string::size_type pos = 0, end;
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
|
|
while ((end = contents.find((char) 0, pos)) != string::npos) {
|
|
|
|
|
Path root(contents, pos, end - pos);
|
2017-09-14 13:02:52 +00:00
|
|
|
|
debug("got temporary root '%s'", root);
|
2016-06-02 11:33:49 +00:00
|
|
|
|
assertStorePath(root);
|
2017-09-14 13:02:52 +00:00
|
|
|
|
tempRoots.emplace(pid, root);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
pos = end + 1;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fds.push_back(fd); /* keep open */
|
|
|
|
|
}
|
2017-09-14 12:38:36 +00:00
|
|
|
|
|
|
|
|
|
return tempRoots;
|
2005-01-31 10:27:25 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 13:28:26 +00:00
|
|
|
|
void LocalStore::findRoots(const Path & path, unsigned char type, Roots & roots)
|
2005-02-01 15:05:32 +00:00
|
|
|
|
{
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 13:28:26 +00:00
|
|
|
|
auto foundRoot = [&](const Path & path, const Path & target) {
|
|
|
|
|
Path storePath = toStorePath(target);
|
2016-05-04 13:39:39 +00:00
|
|
|
|
if (isStorePath(storePath) && isValidPath(storePath))
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 13:28:26 +00:00
|
|
|
|
roots[path] = storePath;
|
|
|
|
|
else
|
2017-07-30 11:27:57 +00:00
|
|
|
|
printInfo(format("skipping invalid root from '%1%' to '%2%'") % path % storePath);
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 13:28:26 +00:00
|
|
|
|
};
|
2006-12-05 01:31:45 +00:00
|
|
|
|
|
2013-07-12 12:01:25 +00:00
|
|
|
|
try {
|
|
|
|
|
|
2014-10-03 20:37:51 +00:00
|
|
|
|
if (type == DT_UNKNOWN)
|
|
|
|
|
type = getFileType(path);
|
2006-12-05 01:31:45 +00:00
|
|
|
|
|
2014-08-01 15:20:25 +00:00
|
|
|
|
if (type == DT_DIR) {
|
2014-08-01 14:37:47 +00:00
|
|
|
|
for (auto & i : readDirectory(path))
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 13:28:26 +00:00
|
|
|
|
findRoots(path + "/" + i.name, i.type, roots);
|
2005-02-01 15:05:32 +00:00
|
|
|
|
}
|
|
|
|
|
|
2014-08-01 15:20:25 +00:00
|
|
|
|
else if (type == DT_LNK) {
|
2013-07-12 12:01:25 +00:00
|
|
|
|
Path target = readLink(path);
|
|
|
|
|
if (isInStore(target))
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 13:28:26 +00:00
|
|
|
|
foundRoot(path, target);
|
2013-07-12 12:01:25 +00:00
|
|
|
|
|
|
|
|
|
/* Handle indirect roots. */
|
|
|
|
|
else {
|
|
|
|
|
target = absPath(target, dirOf(path));
|
|
|
|
|
if (!pathExists(target)) {
|
2016-06-02 11:33:49 +00:00
|
|
|
|
if (isInDir(path, stateDir + "/" + gcRootsDir + "/auto")) {
|
2017-07-30 11:27:57 +00:00
|
|
|
|
printInfo(format("removing stale link from '%1%' to '%2%'") % path % target);
|
2013-07-12 12:01:25 +00:00
|
|
|
|
unlink(path.c_str());
|
|
|
|
|
}
|
|
|
|
|
} else {
|
|
|
|
|
struct stat st2 = lstat(target);
|
|
|
|
|
if (!S_ISLNK(st2.st_mode)) return;
|
|
|
|
|
Path target2 = readLink(target);
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 13:28:26 +00:00
|
|
|
|
if (isInStore(target2)) foundRoot(target, target2);
|
2006-12-05 01:31:45 +00:00
|
|
|
|
}
|
2005-02-01 15:05:32 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
2006-12-05 01:31:45 +00:00
|
|
|
|
|
2014-08-01 15:20:25 +00:00
|
|
|
|
else if (type == DT_REG) {
|
2016-06-01 12:49:12 +00:00
|
|
|
|
Path storePath = storeDir + "/" + baseNameOf(path);
|
2016-04-25 13:42:55 +00:00
|
|
|
|
if (isStorePath(storePath) && isValidPath(storePath))
|
2014-08-01 14:46:01 +00:00
|
|
|
|
roots[path] = storePath;
|
|
|
|
|
}
|
|
|
|
|
|
2006-12-05 01:31:45 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
catch (SysError & e) {
|
|
|
|
|
/* We only ignore permanent failures. */
|
|
|
|
|
if (e.errNo == EACCES || e.errNo == ENOENT || e.errNo == ENOTDIR)
|
2017-07-30 11:27:57 +00:00
|
|
|
|
printInfo(format("cannot read potential root '%1%'") % path);
|
2006-12-05 01:31:45 +00:00
|
|
|
|
else
|
|
|
|
|
throw;
|
2005-02-01 15:05:32 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2017-09-14 12:38:36 +00:00
|
|
|
|
Roots LocalStore::findRootsNoTemp()
|
2006-12-05 00:34:42 +00:00
|
|
|
|
{
|
2006-12-05 01:31:45 +00:00
|
|
|
|
Roots roots;
|
|
|
|
|
|
2018-02-01 09:39:16 +00:00
|
|
|
|
/* Process direct roots in {gcroots,profiles}. */
|
2016-06-02 11:33:49 +00:00
|
|
|
|
findRoots(stateDir + "/" + gcRootsDir, DT_UNKNOWN, roots);
|
|
|
|
|
findRoots(stateDir + "/profiles", DT_UNKNOWN, roots);
|
2006-12-05 01:31:45 +00:00
|
|
|
|
|
2017-09-14 12:38:36 +00:00
|
|
|
|
/* Add additional roots returned by the program specified by the
|
|
|
|
|
NIX_ROOT_FINDER environment variable. This is typically used
|
|
|
|
|
to add running programs to the set of roots (to prevent them
|
|
|
|
|
from being garbage collected). */
|
|
|
|
|
size_t n = 0;
|
|
|
|
|
for (auto & root : findRuntimeRoots())
|
|
|
|
|
roots[fmt("{memory:%d}", n++)] = root;
|
|
|
|
|
|
|
|
|
|
return roots;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Roots LocalStore::findRoots()
|
|
|
|
|
{
|
|
|
|
|
Roots roots = findRootsNoTemp();
|
|
|
|
|
|
|
|
|
|
FDs fds;
|
2017-09-14 13:02:52 +00:00
|
|
|
|
pid_t prev = -1;
|
2017-09-14 12:38:36 +00:00
|
|
|
|
size_t n = 0;
|
2017-09-14 13:02:52 +00:00
|
|
|
|
for (auto & root : readTempRoots(fds)) {
|
|
|
|
|
if (prev != root.first) n = 0;
|
|
|
|
|
prev = root.first;
|
|
|
|
|
roots[fmt("{temp:%d:%d}", root.first, n++)] = root.second;
|
|
|
|
|
}
|
2017-09-14 12:38:36 +00:00
|
|
|
|
|
2013-07-12 12:01:25 +00:00
|
|
|
|
return roots;
|
2006-12-05 00:34:42 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2016-07-20 18:00:36 +00:00
|
|
|
|
static void readProcLink(const string & file, StringSet & paths)
|
2006-07-20 12:17:25 +00:00
|
|
|
|
{
|
2016-07-20 18:00:36 +00:00
|
|
|
|
/* 64 is the starting buffer size gnu readlink uses... */
|
|
|
|
|
auto bufsiz = ssize_t{64};
|
|
|
|
|
try_again:
|
|
|
|
|
char buf[bufsiz];
|
|
|
|
|
auto res = readlink(file.c_str(), buf, bufsiz);
|
|
|
|
|
if (res == -1) {
|
|
|
|
|
if (errno == ENOENT || errno == EACCES)
|
|
|
|
|
return;
|
|
|
|
|
throw SysError("reading symlink");
|
|
|
|
|
}
|
|
|
|
|
if (res == bufsiz) {
|
|
|
|
|
if (SSIZE_MAX / 2 < bufsiz)
|
|
|
|
|
throw Error("stupidly long symlink");
|
|
|
|
|
bufsiz *= 2;
|
|
|
|
|
goto try_again;
|
|
|
|
|
}
|
|
|
|
|
if (res > 0 && buf[0] == '/')
|
|
|
|
|
paths.emplace(static_cast<char *>(buf), res);
|
|
|
|
|
return;
|
|
|
|
|
}
|
2006-07-20 12:17:25 +00:00
|
|
|
|
|
2016-07-20 18:00:36 +00:00
|
|
|
|
static string quoteRegexChars(const string & raw)
|
|
|
|
|
{
|
|
|
|
|
static auto specialRegex = std::regex(R"([.^$\\*+?()\[\]{}|])");
|
|
|
|
|
return std::regex_replace(raw, specialRegex, R"(\$&)");
|
|
|
|
|
}
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2016-07-20 18:00:36 +00:00
|
|
|
|
static void readFileRoots(const char * path, StringSet & paths)
|
|
|
|
|
{
|
|
|
|
|
try {
|
|
|
|
|
paths.emplace(readFile(path));
|
|
|
|
|
} catch (SysError & e) {
|
|
|
|
|
if (e.errNo != ENOENT && e.errNo != EACCES)
|
|
|
|
|
throw;
|
|
|
|
|
}
|
|
|
|
|
}
|
2006-07-20 12:17:25 +00:00
|
|
|
|
|
2017-09-14 12:38:36 +00:00
|
|
|
|
PathSet LocalStore::findRuntimeRoots()
|
2016-07-20 18:00:36 +00:00
|
|
|
|
{
|
2017-09-14 12:38:36 +00:00
|
|
|
|
PathSet roots;
|
2016-07-20 18:00:36 +00:00
|
|
|
|
StringSet paths;
|
|
|
|
|
auto procDir = AutoCloseDir{opendir("/proc")};
|
|
|
|
|
if (procDir) {
|
|
|
|
|
struct dirent * ent;
|
|
|
|
|
auto digitsRegex = std::regex(R"(^\d+$)");
|
|
|
|
|
auto mapRegex = std::regex(R"(^\s*\S+\s+\S+\s+\S+\s+\S+\s+\S+\s+(/\S+)\s*$)");
|
|
|
|
|
auto storePathRegex = std::regex(quoteRegexChars(storeDir) + R"(/[0-9a-z]+[0-9a-zA-Z\+\-\._\?=]*)");
|
2017-01-16 21:39:27 +00:00
|
|
|
|
while (errno = 0, ent = readdir(procDir.get())) {
|
2016-07-20 18:00:36 +00:00
|
|
|
|
checkInterrupt();
|
|
|
|
|
if (std::regex_match(ent->d_name, digitsRegex)) {
|
|
|
|
|
readProcLink((format("/proc/%1%/exe") % ent->d_name).str(), paths);
|
|
|
|
|
readProcLink((format("/proc/%1%/cwd") % ent->d_name).str(), paths);
|
|
|
|
|
|
|
|
|
|
auto fdStr = (format("/proc/%1%/fd") % ent->d_name).str();
|
|
|
|
|
auto fdDir = AutoCloseDir(opendir(fdStr.c_str()));
|
|
|
|
|
if (!fdDir) {
|
|
|
|
|
if (errno == ENOENT || errno == EACCES)
|
|
|
|
|
continue;
|
|
|
|
|
throw SysError(format("opening %1%") % fdStr);
|
|
|
|
|
}
|
|
|
|
|
struct dirent * fd_ent;
|
2017-01-16 21:39:27 +00:00
|
|
|
|
while (errno = 0, fd_ent = readdir(fdDir.get())) {
|
2016-07-20 18:00:36 +00:00
|
|
|
|
if (fd_ent->d_name[0] != '.') {
|
|
|
|
|
readProcLink((format("%1%/%2%") % fdStr % fd_ent->d_name).str(), paths);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
if (errno)
|
|
|
|
|
throw SysError(format("iterating /proc/%1%/fd") % ent->d_name);
|
2017-01-16 21:39:27 +00:00
|
|
|
|
fdDir.reset();
|
2016-07-20 18:00:36 +00:00
|
|
|
|
|
|
|
|
|
auto mapLines =
|
|
|
|
|
tokenizeString<std::vector<string>>(readFile((format("/proc/%1%/maps") % ent->d_name).str(), true), "\n");
|
|
|
|
|
for (const auto& line : mapLines) {
|
|
|
|
|
auto match = std::smatch{};
|
|
|
|
|
if (std::regex_match(line, match, mapRegex))
|
|
|
|
|
paths.emplace(match[1]);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
try {
|
|
|
|
|
auto envString = readFile((format("/proc/%1%/environ") % ent->d_name).str(), true);
|
|
|
|
|
auto env_end = std::sregex_iterator{};
|
|
|
|
|
for (auto i = std::sregex_iterator{envString.begin(), envString.end(), storePathRegex}; i != env_end; ++i)
|
|
|
|
|
paths.emplace(i->str());
|
|
|
|
|
} catch (SysError & e) {
|
|
|
|
|
if (errno == ENOENT || errno == EACCES)
|
|
|
|
|
continue;
|
|
|
|
|
throw;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
if (errno)
|
|
|
|
|
throw SysError("iterating /proc");
|
|
|
|
|
}
|
|
|
|
|
|
2017-04-20 17:11:45 +00:00
|
|
|
|
#if !defined(__linux__)
|
2016-07-20 18:00:36 +00:00
|
|
|
|
try {
|
2017-04-20 17:11:45 +00:00
|
|
|
|
std::regex lsofRegex(R"(^n(/.*)$)");
|
2016-07-20 18:00:36 +00:00
|
|
|
|
auto lsofLines =
|
2017-04-20 17:11:45 +00:00
|
|
|
|
tokenizeString<std::vector<string>>(runProgram(LSOF, true, { "-n", "-w", "-F", "n" }), "\n");
|
2016-07-20 18:00:36 +00:00
|
|
|
|
for (const auto & line : lsofLines) {
|
2017-04-20 17:11:45 +00:00
|
|
|
|
std::smatch match;
|
2016-07-20 18:00:36 +00:00
|
|
|
|
if (std::regex_match(line, match, lsofRegex))
|
|
|
|
|
paths.emplace(match[1]);
|
|
|
|
|
}
|
|
|
|
|
} catch (ExecError & e) {
|
|
|
|
|
/* lsof not installed, lsof failed */
|
|
|
|
|
}
|
2017-04-20 17:11:45 +00:00
|
|
|
|
#endif
|
2006-07-20 12:17:25 +00:00
|
|
|
|
|
2017-04-20 17:11:45 +00:00
|
|
|
|
#if defined(__linux__)
|
2016-07-20 18:00:36 +00:00
|
|
|
|
readFileRoots("/proc/sys/kernel/modprobe", paths);
|
|
|
|
|
readFileRoots("/proc/sys/kernel/fbsplash", paths);
|
|
|
|
|
readFileRoots("/proc/sys/kernel/poweroff_cmd", paths);
|
2017-04-20 17:11:45 +00:00
|
|
|
|
#endif
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : paths)
|
|
|
|
|
if (isInStore(i)) {
|
|
|
|
|
Path path = toStorePath(i);
|
2016-05-04 13:39:39 +00:00
|
|
|
|
if (roots.find(path) == roots.end() && isStorePath(path) && isValidPath(path)) {
|
2017-07-30 11:27:57 +00:00
|
|
|
|
debug(format("got additional root '%1%'") % path);
|
2006-07-20 12:17:25 +00:00
|
|
|
|
roots.insert(path);
|
|
|
|
|
}
|
|
|
|
|
}
|
2017-09-14 12:38:36 +00:00
|
|
|
|
|
|
|
|
|
return roots;
|
2006-07-20 12:17:25 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2008-06-18 14:20:16 +00:00
|
|
|
|
struct GCLimitReached { };
|
|
|
|
|
|
|
|
|
|
|
2009-11-23 16:34:24 +00:00
|
|
|
|
struct LocalStore::GCState
|
2008-06-13 18:25:24 +00:00
|
|
|
|
{
|
2009-11-23 16:34:24 +00:00
|
|
|
|
GCOptions options;
|
|
|
|
|
GCResults & results;
|
|
|
|
|
PathSet roots;
|
|
|
|
|
PathSet tempRoots;
|
2012-12-20 16:32:15 +00:00
|
|
|
|
PathSet dead;
|
|
|
|
|
PathSet alive;
|
2009-11-23 16:34:24 +00:00
|
|
|
|
bool gcKeepOutputs;
|
|
|
|
|
bool gcKeepDerivations;
|
2012-03-26 18:43:33 +00:00
|
|
|
|
unsigned long long bytesInvalidated;
|
2015-06-30 19:41:26 +00:00
|
|
|
|
bool moveToTrash = true;
|
2012-12-20 16:32:15 +00:00
|
|
|
|
bool shouldDelete;
|
2012-03-26 18:43:33 +00:00
|
|
|
|
GCState(GCResults & results_) : results(results_), bytesInvalidated(0) { }
|
2009-11-23 16:34:24 +00:00
|
|
|
|
};
|
2008-06-18 14:20:16 +00:00
|
|
|
|
|
2009-11-23 16:34:24 +00:00
|
|
|
|
|
|
|
|
|
bool LocalStore::isActiveTempFile(const GCState & state,
|
|
|
|
|
const Path & path, const string & suffix)
|
2008-09-17 12:54:07 +00:00
|
|
|
|
{
|
2009-11-23 16:34:24 +00:00
|
|
|
|
return hasSuffix(path, suffix)
|
|
|
|
|
&& state.tempRoots.find(string(path, 0, path.size() - suffix.size())) != state.tempRoots.end();
|
|
|
|
|
}
|
2008-09-17 12:54:07 +00:00
|
|
|
|
|
2012-03-26 18:00:02 +00:00
|
|
|
|
|
2012-03-26 18:43:33 +00:00
|
|
|
|
void LocalStore::deleteGarbage(GCState & state, const Path & path)
|
|
|
|
|
{
|
2012-08-02 02:34:46 +00:00
|
|
|
|
unsigned long long bytesFreed;
|
2013-11-14 10:57:37 +00:00
|
|
|
|
deletePath(path, bytesFreed);
|
2012-03-26 18:43:33 +00:00
|
|
|
|
state.results.bytesFreed += bytesFreed;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
void LocalStore::deletePathRecursive(GCState & state, const Path & path)
|
2009-11-23 16:34:24 +00:00
|
|
|
|
{
|
2010-10-14 15:55:51 +00:00
|
|
|
|
checkInterrupt();
|
2012-03-26 18:56:30 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
unsigned long long size = 0;
|
|
|
|
|
|
2016-05-04 13:39:39 +00:00
|
|
|
|
if (isStorePath(path) && isValidPath(path)) {
|
2012-12-20 16:32:15 +00:00
|
|
|
|
PathSet referrers;
|
|
|
|
|
queryReferrers(path, referrers);
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : referrers)
|
|
|
|
|
if (i != path) deletePathRecursive(state, i);
|
2016-04-19 16:50:15 +00:00
|
|
|
|
size = queryPathInfo(path)->narSize;
|
2012-12-20 16:32:15 +00:00
|
|
|
|
invalidatePathChecked(path);
|
|
|
|
|
}
|
2012-07-23 19:48:30 +00:00
|
|
|
|
|
2016-06-02 13:08:18 +00:00
|
|
|
|
Path realPath = realStoreDir + "/" + baseNameOf(path);
|
|
|
|
|
|
2012-03-26 18:56:30 +00:00
|
|
|
|
struct stat st;
|
2016-06-02 13:08:18 +00:00
|
|
|
|
if (lstat(realPath.c_str(), &st)) {
|
2012-12-20 16:32:15 +00:00
|
|
|
|
if (errno == ENOENT) return;
|
2016-06-02 13:08:18 +00:00
|
|
|
|
throw SysError(format("getting status of %1%") % realPath);
|
2012-03-26 18:56:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
2017-07-30 11:27:57 +00:00
|
|
|
|
printInfo(format("deleting '%1%'") % path);
|
2009-11-23 16:34:24 +00:00
|
|
|
|
|
2013-01-04 14:17:19 +00:00
|
|
|
|
state.results.paths.insert(path);
|
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
/* If the path is not a regular file or symlink, move it to the
|
|
|
|
|
trash directory. The move is to ensure that later (when we're
|
|
|
|
|
not holding the global GC lock) we can delete the path without
|
|
|
|
|
being afraid that the path has become alive again. Otherwise
|
|
|
|
|
delete it right away. */
|
2015-06-30 19:41:26 +00:00
|
|
|
|
if (state.moveToTrash && S_ISDIR(st.st_mode)) {
|
2012-12-20 16:32:15 +00:00
|
|
|
|
// Estimate the amount freed using the narSize field. FIXME:
|
|
|
|
|
// if the path was not valid, need to determine the actual
|
|
|
|
|
// size.
|
2015-06-30 19:41:26 +00:00
|
|
|
|
try {
|
2016-06-02 13:08:18 +00:00
|
|
|
|
if (chmod(realPath.c_str(), st.st_mode | S_IWUSR) == -1)
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw SysError(format("making '%1%' writable") % realPath);
|
2016-06-02 13:08:18 +00:00
|
|
|
|
Path tmp = trashDir + "/" + baseNameOf(path);
|
|
|
|
|
if (rename(realPath.c_str(), tmp.c_str()))
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw SysError(format("unable to rename '%1%' to '%2%'") % realPath % tmp);
|
2015-06-30 19:41:26 +00:00
|
|
|
|
state.bytesInvalidated += size;
|
|
|
|
|
} catch (SysError & e) {
|
|
|
|
|
if (e.errNo == ENOSPC) {
|
2017-07-30 11:27:57 +00:00
|
|
|
|
printInfo(format("note: can't create move '%1%': %2%") % realPath % e.msg());
|
2016-06-02 13:08:18 +00:00
|
|
|
|
deleteGarbage(state, realPath);
|
2015-06-30 19:41:26 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
2012-12-20 16:32:15 +00:00
|
|
|
|
} else
|
2016-06-02 13:08:18 +00:00
|
|
|
|
deleteGarbage(state, realPath);
|
2012-12-20 16:32:15 +00:00
|
|
|
|
|
|
|
|
|
if (state.results.bytesFreed + state.bytesInvalidated > state.options.maxFreed) {
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printInfo(format("deleted or invalidated more than %1% bytes; stopping") % state.options.maxFreed);
|
2012-12-20 16:32:15 +00:00
|
|
|
|
throw GCLimitReached();
|
|
|
|
|
}
|
|
|
|
|
}
|
2009-11-23 16:34:24 +00:00
|
|
|
|
|
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
bool LocalStore::canReachRoot(GCState & state, PathSet & visited, const Path & path)
|
|
|
|
|
{
|
2017-09-14 12:38:36 +00:00
|
|
|
|
if (visited.count(path)) return false;
|
2009-11-23 16:34:24 +00:00
|
|
|
|
|
2017-09-14 12:38:36 +00:00
|
|
|
|
if (state.alive.count(path)) return true;
|
2008-09-17 12:54:07 +00:00
|
|
|
|
|
2017-09-14 12:38:36 +00:00
|
|
|
|
if (state.dead.count(path)) return false;
|
2009-11-23 16:34:24 +00:00
|
|
|
|
|
2017-09-14 12:38:36 +00:00
|
|
|
|
if (state.roots.count(path)) {
|
2017-07-30 11:27:57 +00:00
|
|
|
|
debug(format("cannot delete '%1%' because it's a root") % path);
|
2012-12-20 16:32:15 +00:00
|
|
|
|
state.alive.insert(path);
|
|
|
|
|
return true;
|
2009-11-23 16:34:24 +00:00
|
|
|
|
}
|
2008-12-12 17:03:18 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
visited.insert(path);
|
2012-03-26 18:43:33 +00:00
|
|
|
|
|
2016-05-04 13:39:39 +00:00
|
|
|
|
if (!isStorePath(path) || !isValidPath(path)) return false;
|
2012-09-12 22:49:35 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
PathSet incoming;
|
2009-11-23 16:34:24 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
/* Don't delete this path if any of its referrers are alive. */
|
|
|
|
|
queryReferrers(path, incoming);
|
2012-09-12 22:49:35 +00:00
|
|
|
|
|
2017-08-31 12:28:25 +00:00
|
|
|
|
/* If keep-derivations is set and this is a derivation, then
|
2012-12-20 16:32:15 +00:00
|
|
|
|
don't delete the derivation if any of the outputs are alive. */
|
|
|
|
|
if (state.gcKeepDerivations && isDerivation(path)) {
|
|
|
|
|
PathSet outputs = queryDerivationOutputs(path);
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : outputs)
|
2016-04-19 16:50:15 +00:00
|
|
|
|
if (isValidPath(i) && queryPathInfo(i)->deriver == path)
|
2015-07-17 17:24:28 +00:00
|
|
|
|
incoming.insert(i);
|
2012-12-20 16:32:15 +00:00
|
|
|
|
}
|
|
|
|
|
|
2017-08-31 12:28:25 +00:00
|
|
|
|
/* If keep-outputs is set, then don't delete this path if there
|
2012-12-20 16:32:15 +00:00
|
|
|
|
are derivers of this path that are not garbage. */
|
|
|
|
|
if (state.gcKeepOutputs) {
|
|
|
|
|
PathSet derivers = queryValidDerivers(path);
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : derivers)
|
|
|
|
|
incoming.insert(i);
|
2012-12-20 16:32:15 +00:00
|
|
|
|
}
|
|
|
|
|
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : incoming)
|
|
|
|
|
if (i != path)
|
|
|
|
|
if (canReachRoot(state, visited, i)) {
|
2012-12-20 16:32:15 +00:00
|
|
|
|
state.alive.insert(path);
|
|
|
|
|
return true;
|
2012-09-12 22:49:35 +00:00
|
|
|
|
}
|
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
return false;
|
|
|
|
|
}
|
2012-09-12 22:49:35 +00:00
|
|
|
|
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
void LocalStore::tryToDelete(GCState & state, const Path & path)
|
|
|
|
|
{
|
|
|
|
|
checkInterrupt();
|
2009-11-23 16:34:24 +00:00
|
|
|
|
|
2016-06-02 13:08:18 +00:00
|
|
|
|
auto realPath = realStoreDir + "/" + baseNameOf(path);
|
|
|
|
|
if (realPath == linksDir || realPath == trashDir) return;
|
2012-12-20 16:32:15 +00:00
|
|
|
|
|
2017-07-30 11:27:57 +00:00
|
|
|
|
//Activity act(*logger, lvlDebug, format("considering whether to delete '%1%'") % path);
|
2012-12-20 16:32:15 +00:00
|
|
|
|
|
2016-05-04 13:39:39 +00:00
|
|
|
|
if (!isStorePath(path) || !isValidPath(path)) {
|
2012-12-20 16:32:15 +00:00
|
|
|
|
/* A lock file belonging to a path that we're building right
|
|
|
|
|
now isn't garbage. */
|
|
|
|
|
if (isActiveTempFile(state, path, ".lock")) return;
|
|
|
|
|
|
|
|
|
|
/* Don't delete .chroot directories for derivations that are
|
|
|
|
|
currently being built. */
|
|
|
|
|
if (isActiveTempFile(state, path, ".chroot")) return;
|
2016-12-08 20:38:58 +00:00
|
|
|
|
|
|
|
|
|
/* Don't delete .check directories for derivations that are
|
|
|
|
|
currently being built, because we may need to run
|
|
|
|
|
diff-hook. */
|
|
|
|
|
if (isActiveTempFile(state, path, ".check")) return;
|
2012-12-20 16:32:15 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
PathSet visited;
|
|
|
|
|
|
|
|
|
|
if (canReachRoot(state, visited, path)) {
|
2017-07-30 11:27:57 +00:00
|
|
|
|
debug(format("cannot delete '%1%' because it's still reachable") % path);
|
2012-12-20 16:32:15 +00:00
|
|
|
|
} else {
|
|
|
|
|
/* No path we visited was a root, so everything is garbage.
|
2016-11-25 23:37:43 +00:00
|
|
|
|
But we only delete ‘path’ and its referrers here so that
|
|
|
|
|
‘nix-store --delete’ doesn't have the unexpected effect of
|
2012-12-20 16:32:15 +00:00
|
|
|
|
recursing into derivations and outputs. */
|
|
|
|
|
state.dead.insert(visited.begin(), visited.end());
|
|
|
|
|
if (state.shouldDelete)
|
|
|
|
|
deletePathRecursive(state, path);
|
2012-09-12 22:49:35 +00:00
|
|
|
|
}
|
2008-12-12 17:03:18 +00:00
|
|
|
|
}
|
2009-11-24 09:53:18 +00:00
|
|
|
|
|
2008-12-12 17:03:18 +00:00
|
|
|
|
|
2012-07-23 19:48:30 +00:00
|
|
|
|
/* Unlink all files in /nix/store/.links that have a link count of 1,
|
|
|
|
|
which indicates that there are no other links and so they can be
|
|
|
|
|
safely deleted. FIXME: race condition with optimisePath(): we
|
|
|
|
|
might see a link count of 1 just before optimisePath() increases
|
|
|
|
|
the link count. */
|
2012-08-02 02:43:03 +00:00
|
|
|
|
void LocalStore::removeUnusedLinks(const GCState & state)
|
2012-07-23 19:48:30 +00:00
|
|
|
|
{
|
2017-01-16 21:39:27 +00:00
|
|
|
|
AutoCloseDir dir(opendir(linksDir.c_str()));
|
2017-07-30 11:27:57 +00:00
|
|
|
|
if (!dir) throw SysError(format("opening directory '%1%'") % linksDir);
|
2012-07-23 19:48:30 +00:00
|
|
|
|
|
2012-08-06 01:45:27 +00:00
|
|
|
|
long long actualSize = 0, unsharedSize = 0;
|
2012-08-01 23:01:50 +00:00
|
|
|
|
|
2012-07-23 19:48:30 +00:00
|
|
|
|
struct dirent * dirent;
|
2017-01-16 21:39:27 +00:00
|
|
|
|
while (errno = 0, dirent = readdir(dir.get())) {
|
2012-07-23 19:48:30 +00:00
|
|
|
|
checkInterrupt();
|
|
|
|
|
string name = dirent->d_name;
|
|
|
|
|
if (name == "." || name == "..") continue;
|
|
|
|
|
Path path = linksDir + "/" + name;
|
|
|
|
|
|
|
|
|
|
struct stat st;
|
|
|
|
|
if (lstat(path.c_str(), &st) == -1)
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw SysError(format("statting '%1%'") % path);
|
2012-07-23 19:48:30 +00:00
|
|
|
|
|
2012-08-01 23:01:50 +00:00
|
|
|
|
if (st.st_nlink != 1) {
|
|
|
|
|
unsigned long long size = st.st_blocks * 512ULL;
|
|
|
|
|
actualSize += size;
|
|
|
|
|
unsharedSize += (st.st_nlink - 1) * size;
|
|
|
|
|
continue;
|
|
|
|
|
}
|
2012-07-23 19:48:30 +00:00
|
|
|
|
|
2017-07-30 11:27:57 +00:00
|
|
|
|
printMsg(lvlTalkative, format("deleting unused link '%1%'") % path);
|
2012-07-23 19:48:30 +00:00
|
|
|
|
|
|
|
|
|
if (unlink(path.c_str()) == -1)
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw SysError(format("deleting '%1%'") % path);
|
2012-08-02 02:43:03 +00:00
|
|
|
|
|
2017-04-10 09:12:45 +00:00
|
|
|
|
state.results.bytesFreed += st.st_blocks * 512ULL;
|
2012-07-23 19:48:30 +00:00
|
|
|
|
}
|
2012-08-01 23:01:50 +00:00
|
|
|
|
|
|
|
|
|
struct stat st;
|
|
|
|
|
if (stat(linksDir.c_str(), &st) == -1)
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw SysError(format("statting '%1%'") % linksDir);
|
2012-08-06 01:45:27 +00:00
|
|
|
|
long long overhead = st.st_blocks * 512ULL;
|
2012-08-01 23:01:50 +00:00
|
|
|
|
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printInfo(format("note: currently hard linking saves %.2f MiB")
|
2012-08-01 23:01:50 +00:00
|
|
|
|
% ((unsharedSize - actualSize - overhead) / (1024.0 * 1024.0)));
|
2012-07-23 19:48:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2008-06-18 09:34:17 +00:00
|
|
|
|
void LocalStore::collectGarbage(const GCOptions & options, GCResults & results)
|
2005-01-27 15:21:29 +00:00
|
|
|
|
{
|
2009-11-23 16:34:24 +00:00
|
|
|
|
GCState state(results);
|
2012-07-30 23:55:41 +00:00
|
|
|
|
state.options = options;
|
|
|
|
|
state.gcKeepOutputs = settings.gcKeepOutputs;
|
|
|
|
|
state.gcKeepDerivations = settings.gcKeepDerivations;
|
2010-03-08 21:31:42 +00:00
|
|
|
|
|
|
|
|
|
/* Using `--ignore-liveness' with `--delete' can have unintended
|
2017-08-31 12:28:25 +00:00
|
|
|
|
consequences if `keep-outputs' or `keep-derivations' are true
|
|
|
|
|
(the garbage collector will recurse into deleting the outputs
|
|
|
|
|
or derivers, respectively). So disable them. */
|
2010-03-08 21:31:42 +00:00
|
|
|
|
if (options.action == GCOptions::gcDeleteSpecific && options.ignoreLiveness) {
|
|
|
|
|
state.gcKeepOutputs = false;
|
|
|
|
|
state.gcKeepDerivations = false;
|
|
|
|
|
}
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
state.shouldDelete = options.action == GCOptions::gcDeleteDead || options.action == GCOptions::gcDeleteSpecific;
|
|
|
|
|
|
2016-02-24 16:44:12 +00:00
|
|
|
|
if (state.shouldDelete)
|
2016-02-24 16:33:53 +00:00
|
|
|
|
deletePath(reservedPath);
|
|
|
|
|
|
2005-01-31 22:23:49 +00:00
|
|
|
|
/* Acquire the global GC root. This prevents
|
2005-01-31 10:27:25 +00:00
|
|
|
|
a) New roots from being added.
|
|
|
|
|
b) Processes from creating new temporary root files. */
|
2005-01-31 22:23:49 +00:00
|
|
|
|
AutoCloseFD fdGCLock = openGCLock(ltWrite);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
2005-02-01 15:05:32 +00:00
|
|
|
|
/* Find the roots. Since we've grabbed the GC lock, the set of
|
|
|
|
|
permanent roots cannot increase now. */
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printError(format("finding garbage collector roots..."));
|
2017-09-14 12:38:36 +00:00
|
|
|
|
Roots rootMap = options.ignoreLiveness ? Roots() : findRootsNoTemp();
|
2006-12-05 00:48:36 +00:00
|
|
|
|
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : rootMap) state.roots.insert(i.second);
|
2005-02-01 15:05:32 +00:00
|
|
|
|
|
2005-01-31 10:27:25 +00:00
|
|
|
|
/* Read the temporary roots. This acquires read locks on all
|
|
|
|
|
per-process temporary root files. So after this point no paths
|
|
|
|
|
can be added to the set of temporary roots. */
|
|
|
|
|
FDs fds;
|
2017-09-14 13:02:52 +00:00
|
|
|
|
for (auto & root : readTempRoots(fds))
|
|
|
|
|
state.tempRoots.insert(root.second);
|
2009-11-23 16:34:24 +00:00
|
|
|
|
state.roots.insert(state.tempRoots.begin(), state.tempRoots.end());
|
2005-01-31 14:00:43 +00:00
|
|
|
|
|
|
|
|
|
/* After this point the set of roots or temporary roots cannot
|
|
|
|
|
increase, since we hold locks on everything. So everything
|
2014-08-01 14:37:47 +00:00
|
|
|
|
that is not reachable from `roots' is garbage. */
|
2009-11-23 16:34:24 +00:00
|
|
|
|
|
2013-03-08 00:24:59 +00:00
|
|
|
|
if (state.shouldDelete) {
|
2016-06-02 13:08:18 +00:00
|
|
|
|
if (pathExists(trashDir)) deleteGarbage(state, trashDir);
|
2015-06-30 19:41:26 +00:00
|
|
|
|
try {
|
2016-06-02 13:08:18 +00:00
|
|
|
|
createDirs(trashDir);
|
2015-06-30 19:41:26 +00:00
|
|
|
|
} catch (SysError & e) {
|
|
|
|
|
if (e.errNo == ENOSPC) {
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printInfo(format("note: can't create trash directory: %1%") % e.msg());
|
2015-06-30 19:41:26 +00:00
|
|
|
|
state.moveToTrash = false;
|
|
|
|
|
}
|
|
|
|
|
}
|
2013-03-08 00:24:59 +00:00
|
|
|
|
}
|
2012-12-20 16:32:15 +00:00
|
|
|
|
|
2009-11-23 16:34:24 +00:00
|
|
|
|
/* Now either delete all garbage paths, or just the specified
|
|
|
|
|
paths (for gcDeleteSpecific). */
|
|
|
|
|
|
|
|
|
|
if (options.action == GCOptions::gcDeleteSpecific) {
|
2008-09-17 10:02:55 +00:00
|
|
|
|
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : options.pathsToDelete) {
|
|
|
|
|
assertStorePath(i);
|
|
|
|
|
tryToDelete(state, i);
|
|
|
|
|
if (state.dead.find(i) == state.dead.end())
|
2017-07-30 11:27:57 +00:00
|
|
|
|
throw Error(format("cannot delete path '%1%' since it is still alive") % i);
|
2005-12-23 21:08:42 +00:00
|
|
|
|
}
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2012-08-01 23:14:30 +00:00
|
|
|
|
} else if (options.maxFreed > 0) {
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
if (state.shouldDelete)
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printError(format("deleting garbage..."));
|
2009-11-23 16:34:24 +00:00
|
|
|
|
else
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printError(format("determining live/dead paths..."));
|
2012-07-30 23:55:41 +00:00
|
|
|
|
|
2009-11-23 16:34:24 +00:00
|
|
|
|
try {
|
2011-12-22 15:55:53 +00:00
|
|
|
|
|
2017-01-16 21:39:27 +00:00
|
|
|
|
AutoCloseDir dir(opendir(realStoreDir.c_str()));
|
2017-07-30 11:27:57 +00:00
|
|
|
|
if (!dir) throw SysError(format("opening directory '%1%'") % realStoreDir);
|
2011-12-22 15:55:53 +00:00
|
|
|
|
|
|
|
|
|
/* Read the store and immediately delete all paths that
|
|
|
|
|
aren't valid. When using --max-freed etc., deleting
|
|
|
|
|
invalid paths is preferred over deleting unreachable
|
|
|
|
|
paths, since unreachable paths could become reachable
|
|
|
|
|
again. We don't use readDirectory() here so that GCing
|
|
|
|
|
can start faster. */
|
|
|
|
|
Paths entries;
|
|
|
|
|
struct dirent * dirent;
|
2017-01-16 21:39:27 +00:00
|
|
|
|
while (errno = 0, dirent = readdir(dir.get())) {
|
2011-12-22 15:55:53 +00:00
|
|
|
|
checkInterrupt();
|
|
|
|
|
string name = dirent->d_name;
|
|
|
|
|
if (name == "." || name == "..") continue;
|
2016-06-01 12:49:12 +00:00
|
|
|
|
Path path = storeDir + "/" + name;
|
2016-04-21 16:21:25 +00:00
|
|
|
|
if (isStorePath(path) && isValidPath(path))
|
2011-12-22 15:55:53 +00:00
|
|
|
|
entries.push_back(path);
|
|
|
|
|
else
|
|
|
|
|
tryToDelete(state, path);
|
|
|
|
|
}
|
|
|
|
|
|
2017-01-16 21:39:27 +00:00
|
|
|
|
dir.reset();
|
2011-12-22 15:55:53 +00:00
|
|
|
|
|
|
|
|
|
/* 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());
|
|
|
|
|
random_shuffle(entries_.begin(), entries_.end());
|
|
|
|
|
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : entries_)
|
|
|
|
|
tryToDelete(state, i);
|
2011-12-22 15:55:53 +00:00
|
|
|
|
|
2009-11-23 16:34:24 +00:00
|
|
|
|
} catch (GCLimitReached & e) {
|
|
|
|
|
}
|
2011-12-22 15:55:53 +00:00
|
|
|
|
}
|
2012-03-26 18:43:33 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
if (state.options.action == GCOptions::gcReturnLive) {
|
|
|
|
|
state.results.paths = state.alive;
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (state.options.action == GCOptions::gcReturnDead) {
|
|
|
|
|
state.results.paths = state.dead;
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
2012-03-26 18:43:33 +00:00
|
|
|
|
/* Allow other processes to add to the store from here on. */
|
2016-07-11 19:44:44 +00:00
|
|
|
|
fdGCLock = -1;
|
2013-12-10 12:13:59 +00:00
|
|
|
|
fds.clear();
|
2012-03-26 18:43:33 +00:00
|
|
|
|
|
2012-12-20 16:32:15 +00:00
|
|
|
|
/* Delete the trash directory. */
|
2017-07-30 11:27:57 +00:00
|
|
|
|
printInfo(format("deleting '%1%'") % trashDir);
|
2016-06-02 13:08:18 +00:00
|
|
|
|
deleteGarbage(state, trashDir);
|
2012-07-23 19:48:30 +00:00
|
|
|
|
|
|
|
|
|
/* Clean up the links directory. */
|
2012-09-12 22:49:35 +00:00
|
|
|
|
if (options.action == GCOptions::gcDeleteDead || options.action == GCOptions::gcDeleteSpecific) {
|
2016-09-21 14:11:01 +00:00
|
|
|
|
printError(format("deleting unused links..."));
|
2012-09-12 22:49:35 +00:00
|
|
|
|
removeUnusedLinks(state);
|
|
|
|
|
}
|
2012-09-13 18:33:41 +00:00
|
|
|
|
|
|
|
|
|
/* While we're at it, vacuum the database. */
|
2014-11-19 17:02:39 +00:00
|
|
|
|
//if (options.action == GCOptions::gcDeleteDead) vacuumDB();
|
2004-08-25 11:43:49 +00:00
|
|
|
|
}
|
2006-09-04 21:06:23 +00:00
|
|
|
|
|
2008-09-17 10:02:55 +00:00
|
|
|
|
|
2017-09-05 18:43:42 +00:00
|
|
|
|
void LocalStore::autoGC(bool sync)
|
|
|
|
|
{
|
|
|
|
|
auto getAvail = [this]() {
|
|
|
|
|
struct statvfs st;
|
|
|
|
|
if (statvfs(realStoreDir.c_str(), &st))
|
|
|
|
|
throw SysError("getting filesystem info about '%s'", realStoreDir);
|
|
|
|
|
|
|
|
|
|
return (uint64_t) st.f_bavail * st.f_bsize;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
std::shared_future<void> future;
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
auto state(_state.lock());
|
|
|
|
|
|
|
|
|
|
if (state->gcRunning) {
|
|
|
|
|
future = state->gcFuture;
|
|
|
|
|
debug("waiting for auto-GC to finish");
|
|
|
|
|
goto sync;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
auto now = std::chrono::steady_clock::now();
|
|
|
|
|
|
|
|
|
|
if (now < state->lastGCCheck + std::chrono::seconds(5)) return;
|
|
|
|
|
|
|
|
|
|
auto avail = getAvail();
|
|
|
|
|
|
|
|
|
|
state->lastGCCheck = now;
|
|
|
|
|
|
|
|
|
|
if (avail >= settings.minFree || avail >= settings.maxFree) return;
|
|
|
|
|
|
|
|
|
|
if (avail > state->availAfterGC * 0.97) return;
|
|
|
|
|
|
|
|
|
|
state->gcRunning = true;
|
|
|
|
|
|
|
|
|
|
std::promise<void> promise;
|
|
|
|
|
future = state->gcFuture = promise.get_future().share();
|
|
|
|
|
|
|
|
|
|
std::thread([promise{std::move(promise)}, this, avail, getAvail]() mutable {
|
|
|
|
|
|
2017-09-06 09:37:58 +00:00
|
|
|
|
try {
|
2017-09-05 18:43:42 +00:00
|
|
|
|
|
2017-09-06 09:37:58 +00:00
|
|
|
|
/* Wake up any threads waiting for the auto-GC to finish. */
|
|
|
|
|
Finally wakeup([&]() {
|
|
|
|
|
auto state(_state.lock());
|
|
|
|
|
state->gcRunning = false;
|
|
|
|
|
state->lastGCCheck = std::chrono::steady_clock::now();
|
|
|
|
|
promise.set_value();
|
|
|
|
|
});
|
2017-09-05 18:43:42 +00:00
|
|
|
|
|
2017-09-06 09:37:58 +00:00
|
|
|
|
printInfo("running auto-GC to free %d bytes", settings.maxFree - avail);
|
2017-09-05 18:43:42 +00:00
|
|
|
|
|
2017-09-06 09:37:58 +00:00
|
|
|
|
GCOptions options;
|
|
|
|
|
options.maxFreed = settings.maxFree - avail;
|
2017-09-05 18:43:42 +00:00
|
|
|
|
|
2017-09-06 09:37:58 +00:00
|
|
|
|
GCResults results;
|
2017-09-05 18:43:42 +00:00
|
|
|
|
|
2017-09-06 09:37:58 +00:00
|
|
|
|
collectGarbage(options, results);
|
|
|
|
|
|
|
|
|
|
_state.lock()->availAfterGC = getAvail();
|
|
|
|
|
|
|
|
|
|
} catch (...) {
|
|
|
|
|
// FIXME: we could propagate the exception to the
|
|
|
|
|
// future, but we don't really care.
|
|
|
|
|
ignoreException();
|
|
|
|
|
}
|
2017-09-05 18:43:42 +00:00
|
|
|
|
|
|
|
|
|
}).detach();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
sync:
|
|
|
|
|
// Wait for the future outside of the state lock.
|
|
|
|
|
if (sync) future.get();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2006-09-04 21:06:23 +00:00
|
|
|
|
}
|