2006-09-04 21:06:23 +00:00
|
|
|
#include "globals.hh"
|
2006-03-06 11:21:15 +00:00
|
|
|
#include "misc.hh"
|
2005-01-31 10:27:25 +00:00
|
|
|
#include "pathlocks.hh"
|
2006-11-30 17:43:04 +00:00
|
|
|
#include "local-store.hh"
|
2006-09-04 21:06:23 +00:00
|
|
|
#include "db.hh"
|
|
|
|
#include "util.hh"
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
#include <boost/shared_ptr.hpp>
|
2004-08-25 11:43:49 +00:00
|
|
|
|
2004-08-25 16:54:08 +00:00
|
|
|
#include <sys/types.h>
|
|
|
|
#include <sys/stat.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>
|
|
|
|
|
2006-06-20 17:48:10 +00:00
|
|
|
#ifdef __CYGWIN__
|
|
|
|
#include <windows.h>
|
|
|
|
#include <sys/cygwin.h>
|
|
|
|
#endif
|
|
|
|
|
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 tempRootsDir = "temproots";
|
|
|
|
static string gcRootsDir = "gcroots";
|
2005-01-31 22:23:49 +00:00
|
|
|
|
2007-11-29 16:18:24 +00:00
|
|
|
static const int defaultGcLevel = 1000;
|
2007-11-15 15:07:27 +00:00
|
|
|
|
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. */
|
|
|
|
static int openGCLock(LockType lockType)
|
2005-01-31 22:01:55 +00:00
|
|
|
{
|
2005-01-31 22:23:49 +00:00
|
|
|
Path fnGCLock = (format("%1%/%2%")
|
|
|
|
% nixStateDir % gcLockName).str();
|
2005-02-01 15:05:32 +00:00
|
|
|
|
|
|
|
debug(format("acquiring global GC lock `%1%'") % fnGCLock);
|
|
|
|
|
2005-01-31 22:23:49 +00:00
|
|
|
AutoCloseFD fdGCLock = open(fnGCLock.c_str(), O_RDWR | O_CREAT, 0600);
|
|
|
|
if (fdGCLock == -1)
|
|
|
|
throw SysError(format("opening global GC lock `%1%'") % fnGCLock);
|
|
|
|
|
2006-09-14 22:30:33 +00:00
|
|
|
if (!lockFile(fdGCLock, lockType, false)) {
|
|
|
|
printMsg(lvlError, format("waiting for the big garbage collector lock..."));
|
|
|
|
lockFile(fdGCLock, lockType, true);
|
|
|
|
}
|
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. */
|
|
|
|
|
|
|
|
return fdGCLock.borrow();
|
2005-01-31 22:01:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-02-01 13:48:46 +00:00
|
|
|
void createSymlink(const Path & link, const Path & target, bool careful)
|
|
|
|
{
|
|
|
|
/* Create directories up to `gcRoot'. */
|
|
|
|
createDirs(dirOf(link));
|
|
|
|
|
2007-08-28 09:39:03 +00:00
|
|
|
/* !!! shouldn't removing and creating the symlink be atomic? */
|
|
|
|
|
2005-02-01 13:48:46 +00:00
|
|
|
/* Remove the old symlink. */
|
|
|
|
if (pathExists(link)) {
|
2005-02-07 14:32:44 +00:00
|
|
|
if (careful && (!isLink(link) || !isInStore(readLink(link))))
|
2005-02-01 13:48:46 +00:00
|
|
|
throw Error(format("cannot create symlink `%1%'; already exists") % link);
|
|
|
|
unlink(link.c_str());
|
|
|
|
}
|
|
|
|
|
2007-08-28 09:39:03 +00:00
|
|
|
/* And create the new one. */
|
2005-02-01 13:48:46 +00:00
|
|
|
if (symlink(target.c_str(), link.c_str()) == -1)
|
|
|
|
throw SysError(format("symlinking `%1%' to `%2%'")
|
|
|
|
% link % target);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
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)
|
|
|
|
{
|
|
|
|
string hash = printHash32(hashString(htSHA1, path));
|
|
|
|
Path realRoot = canonPath((format("%1%/%2%/auto/%3%")
|
|
|
|
% nixStateDir % gcRootsDir % hash).str());
|
|
|
|
createSymlink(realRoot, path, false);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-02-01 13:48:46 +00:00
|
|
|
Path addPermRoot(const Path & _storePath, const Path & _gcRoot,
|
2006-09-14 22:30:33 +00:00
|
|
|
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) {
|
2006-12-02 14:34:14 +00:00
|
|
|
createSymlink(gcRoot, storePath, true);
|
2006-12-04 23:29:16 +00:00
|
|
|
store->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) {
|
|
|
|
Path rootsDir = canonPath((format("%1%/%2%") % nixStateDir % gcRootsDir).str());
|
2005-02-01 13:48:46 +00:00
|
|
|
|
2006-09-14 22:30:33 +00:00
|
|
|
if (string(gcRoot, 0, rootsDir.size() + 1) != rootsDir + "/")
|
|
|
|
throw Error(format(
|
|
|
|
"path `%1%' is not a valid garbage collector root; "
|
|
|
|
"it's not in the directory `%2%'")
|
|
|
|
% gcRoot % rootsDir);
|
|
|
|
}
|
|
|
|
|
2005-02-01 13:48:46 +00:00
|
|
|
createSymlink(gcRoot, storePath, false);
|
|
|
|
}
|
2005-02-01 12:36:25 +00:00
|
|
|
|
2006-12-05 01:31:45 +00:00
|
|
|
/* Check that the root can be found by the garbage collector. */
|
2007-03-19 09:16:47 +00:00
|
|
|
if (queryBoolSetting("gc-check-reachability", true)) {
|
|
|
|
Roots roots = store->findRoots();
|
|
|
|
if (roots.find(gcRoot) == roots.end())
|
|
|
|
printMsg(lvlError,
|
|
|
|
format(
|
|
|
|
"warning: `%1%' is not in a directory where the garbage collector looks for roots; "
|
|
|
|
"therefore, `%2%' might be removed by the garbage collector")
|
|
|
|
% gcRoot % storePath);
|
|
|
|
}
|
2006-12-05 01:31:45 +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. */
|
|
|
|
store->syncWithGC();
|
|
|
|
|
2005-02-01 12:36:25 +00:00
|
|
|
return gcRoot;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-01-31 10:27:25 +00:00
|
|
|
/* The file to which we write our temporary roots. */
|
2005-01-31 22:01:55 +00:00
|
|
|
static Path fnTempRoots;
|
2005-01-31 10:27:25 +00:00
|
|
|
static AutoCloseFD fdTempRoots;
|
|
|
|
|
|
|
|
|
2006-12-02 16:41:36 +00:00
|
|
|
void LocalStore::addTempRoot(const Path & path)
|
2005-01-31 10:27:25 +00:00
|
|
|
{
|
|
|
|
/* Create the temporary roots file for this process. */
|
|
|
|
if (fdTempRoots == -1) {
|
|
|
|
|
|
|
|
while (1) {
|
2005-03-24 17:46:38 +00:00
|
|
|
Path dir = (format("%1%/%2%") % nixStateDir % tempRootsDir).str();
|
|
|
|
createDirs(dir);
|
|
|
|
|
|
|
|
fnTempRoots = (format("%1%/%2%")
|
|
|
|
% dir % getpid()).str();
|
2005-01-31 22:23:49 +00:00
|
|
|
|
|
|
|
AutoCloseFD fdGCLock = openGCLock(ltRead);
|
|
|
|
|
2006-06-20 17:48:10 +00:00
|
|
|
if (pathExists(fnTempRoots))
|
|
|
|
/* It *must* be stale, since there can be no two
|
|
|
|
processes with the same pid. */
|
|
|
|
deletePath(fnTempRoots);
|
|
|
|
|
|
|
|
fdTempRoots = openLockFile(fnTempRoots, true);
|
2005-01-31 10:27:25 +00:00
|
|
|
|
2005-01-31 22:23:49 +00:00
|
|
|
fdGCLock.close();
|
2006-06-20 17:48:10 +00:00
|
|
|
|
|
|
|
/* Note that on Cygwin a lot of the following complexity
|
|
|
|
is unnecessary, since we cannot delete open lock
|
|
|
|
files. If we have the lock file open, then it's valid;
|
|
|
|
if we can delete it, then it wasn't in use any more.
|
|
|
|
|
|
|
|
Also note that on Cygwin we cannot "upgrade" a lock
|
|
|
|
from a read lock to a write lock. */
|
|
|
|
|
|
|
|
#ifndef __CYGWIN__
|
2005-01-31 10:27:25 +00:00
|
|
|
debug(format("acquiring read lock on `%1%'") % fnTempRoots);
|
|
|
|
lockFile(fdTempRoots, ltRead, true);
|
|
|
|
|
|
|
|
/* Check whether the garbage collector didn't get in our
|
|
|
|
way. */
|
|
|
|
struct stat st;
|
|
|
|
if (fstat(fdTempRoots, &st) == -1)
|
|
|
|
throw SysError(format("statting `%1%'") % fnTempRoots);
|
|
|
|
if (st.st_size == 0) break;
|
|
|
|
|
|
|
|
/* 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. */
|
2006-06-20 17:48:10 +00:00
|
|
|
|
|
|
|
#else
|
|
|
|
break;
|
|
|
|
#endif
|
2005-01-31 10:27:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Upgrade the lock to a write lock. This will cause us to block
|
|
|
|
if the garbage collector is holding our lock. */
|
|
|
|
debug(format("acquiring write lock on `%1%'") % fnTempRoots);
|
|
|
|
lockFile(fdTempRoots, ltWrite, true);
|
|
|
|
|
|
|
|
string s = path + '\0';
|
|
|
|
writeFull(fdTempRoots, (const unsigned char *) s.c_str(), s.size());
|
|
|
|
|
2006-06-20 17:48:10 +00:00
|
|
|
#ifndef __CYGWIN__
|
2005-01-31 10:27:25 +00:00
|
|
|
/* Downgrade to a read lock. */
|
|
|
|
debug(format("downgrading to read lock on `%1%'") % fnTempRoots);
|
|
|
|
lockFile(fdTempRoots, ltRead, true);
|
2006-06-20 17:48:10 +00:00
|
|
|
#else
|
|
|
|
debug(format("releasing write lock on `%1%'") % fnTempRoots);
|
|
|
|
lockFile(fdTempRoots, ltNone, true);
|
|
|
|
#endif
|
2005-01-31 10:27:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-01-31 21:20:59 +00:00
|
|
|
void removeTempRoots()
|
|
|
|
{
|
|
|
|
if (fdTempRoots != -1) {
|
|
|
|
fdTempRoots.close();
|
|
|
|
unlink(fnTempRoots.c_str());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-04 21:06:23 +00:00
|
|
|
typedef boost::shared_ptr<AutoCloseFD> FDPtr;
|
2005-01-31 10:27:25 +00:00
|
|
|
typedef list<FDPtr> FDs;
|
|
|
|
|
|
|
|
|
|
|
|
static void readTempRoots(PathSet & tempRoots, FDs & fds)
|
|
|
|
{
|
|
|
|
/* Read the `temproots' directory for per-process temporary root
|
|
|
|
files. */
|
|
|
|
Strings tempRootFiles = readDirectory(
|
|
|
|
(format("%1%/%2%") % nixStateDir % tempRootsDir).str());
|
|
|
|
|
|
|
|
for (Strings::iterator i = tempRootFiles.begin();
|
|
|
|
i != tempRootFiles.end(); ++i)
|
|
|
|
{
|
|
|
|
Path path = (format("%1%/%2%/%3%") % nixStateDir % tempRootsDir % *i).str();
|
|
|
|
|
|
|
|
debug(format("reading temporary root file `%1%'") % path);
|
2006-06-20 17:48:10 +00:00
|
|
|
|
|
|
|
#ifdef __CYGWIN__
|
|
|
|
/* On Cygwin we just try to delete the lock file. */
|
|
|
|
char win32Path[MAX_PATH];
|
|
|
|
cygwin_conv_to_full_win32_path(path.c_str(), win32Path);
|
|
|
|
if (DeleteFile(win32Path)) {
|
|
|
|
printMsg(lvlError, format("removed stale temporary roots file `%1%'")
|
|
|
|
% path);
|
|
|
|
continue;
|
|
|
|
} else
|
|
|
|
debug(format("delete of `%1%' failed: %2%") % path % GetLastError());
|
|
|
|
#endif
|
|
|
|
|
2005-01-31 10:27:25 +00:00
|
|
|
FDPtr fd(new AutoCloseFD(open(path.c_str(), O_RDWR, 0666)));
|
|
|
|
if (*fd == -1) {
|
|
|
|
/* It's okay if the file has disappeared. */
|
|
|
|
if (errno == ENOENT) continue;
|
|
|
|
throw SysError(format("opening temporary roots file `%1%'") % path);
|
|
|
|
}
|
|
|
|
|
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;
|
|
|
|
|
|
|
|
#ifndef __CYGWIN__
|
2005-01-31 10:27:25 +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, ltWrite, false)) {
|
|
|
|
printMsg(lvlError, format("removing stale temporary roots file `%1%'")
|
|
|
|
% path);
|
2005-01-31 21:20:59 +00:00
|
|
|
unlink(path.c_str());
|
|
|
|
writeFull(*fd, (const unsigned char *) "d", 1);
|
2005-01-31 10:27:25 +00:00
|
|
|
continue;
|
|
|
|
}
|
2006-06-20 17:48:10 +00:00
|
|
|
#endif
|
2005-01-31 10:27:25 +00:00
|
|
|
|
|
|
|
/* 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, ltRead, true);
|
|
|
|
|
|
|
|
/* Read the entire file. */
|
2005-02-01 22:07:48 +00:00
|
|
|
string contents = readFile(*fd);
|
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);
|
|
|
|
debug(format("got temporary root `%1%'") % root);
|
|
|
|
assertStorePath(root);
|
|
|
|
tempRoots.insert(root);
|
|
|
|
pos = end + 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
fds.push_back(fd); /* keep open */
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-02-01 15:05:32 +00:00
|
|
|
static void findRoots(const Path & path, bool recurseSymlinks,
|
2006-12-05 01:31:45 +00:00
|
|
|
bool deleteStale, Roots & roots)
|
2005-02-01 15:05:32 +00:00
|
|
|
{
|
2006-12-05 01:31:45 +00:00
|
|
|
try {
|
|
|
|
|
|
|
|
struct stat st;
|
|
|
|
if (lstat(path.c_str(), &st) == -1)
|
|
|
|
throw SysError(format("statting `%1%'") % path);
|
|
|
|
|
|
|
|
printMsg(lvlVomit, format("looking at `%1%'") % path);
|
|
|
|
|
|
|
|
if (S_ISDIR(st.st_mode)) {
|
|
|
|
Strings names = readDirectory(path);
|
|
|
|
for (Strings::iterator i = names.begin(); i != names.end(); ++i)
|
|
|
|
findRoots(path + "/" + *i, recurseSymlinks, deleteStale, roots);
|
2005-02-01 15:05:32 +00:00
|
|
|
}
|
|
|
|
|
2006-12-05 01:31:45 +00:00
|
|
|
else if (S_ISLNK(st.st_mode)) {
|
|
|
|
Path target = absPath(readLink(path), dirOf(path));
|
|
|
|
|
|
|
|
if (isInStore(target)) {
|
|
|
|
debug(format("found root `%1%' in `%2%'")
|
|
|
|
% target % path);
|
|
|
|
Path storePath = toStorePath(target);
|
|
|
|
if (store->isValidPath(storePath))
|
|
|
|
roots[path] = storePath;
|
|
|
|
else
|
|
|
|
printMsg(lvlInfo, format("skipping invalid root from `%1%' to `%2%'")
|
|
|
|
% path % storePath);
|
|
|
|
}
|
|
|
|
|
|
|
|
else if (recurseSymlinks) {
|
|
|
|
if (pathExists(target))
|
|
|
|
findRoots(target, false, deleteStale, roots);
|
|
|
|
else if (deleteStale) {
|
|
|
|
printMsg(lvlInfo, format("removing stale link from `%1%' to `%2%'") % path % target);
|
|
|
|
/* Note that we only delete when recursing, i.e.,
|
|
|
|
when we are still in the `gcroots' tree. We
|
|
|
|
never delete stuff outside that tree. */
|
|
|
|
unlink(path.c_str());
|
|
|
|
}
|
2005-02-01 15:05:32 +00:00
|
|
|
}
|
|
|
|
}
|
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)
|
|
|
|
printMsg(lvlInfo, format("cannot read potential root `%1%'") % path);
|
|
|
|
else
|
|
|
|
throw;
|
2005-02-01 15:05:32 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-12-05 01:31:45 +00:00
|
|
|
static Roots findRoots(bool deleteStale)
|
2006-12-05 00:34:42 +00:00
|
|
|
{
|
2006-12-05 01:31:45 +00:00
|
|
|
Roots roots;
|
2006-12-05 00:34:42 +00:00
|
|
|
Path rootsDir = canonPath((format("%1%/%2%") % nixStateDir % gcRootsDir).str());
|
2006-12-05 01:31:45 +00:00
|
|
|
findRoots(rootsDir, true, deleteStale, roots);
|
|
|
|
return roots;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
Roots LocalStore::findRoots()
|
|
|
|
{
|
|
|
|
return nix::findRoots(false);
|
2006-12-05 00:34:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-07-20 12:17:25 +00:00
|
|
|
static void addAdditionalRoots(PathSet & roots)
|
|
|
|
{
|
|
|
|
Path rootFinder = getEnv("NIX_ROOT_FINDER",
|
2006-07-20 13:21:37 +00:00
|
|
|
nixLibexecDir + "/nix/find-runtime-roots.pl");
|
2006-07-20 12:17:25 +00:00
|
|
|
|
|
|
|
if (rootFinder.empty()) return;
|
|
|
|
|
2006-07-20 12:19:55 +00:00
|
|
|
debug(format("executing `%1%' to find additional roots") % rootFinder);
|
2006-07-20 12:17:25 +00:00
|
|
|
|
|
|
|
string result = runProgram(rootFinder);
|
|
|
|
|
|
|
|
Strings paths = tokenizeString(result, "\n");
|
|
|
|
|
|
|
|
for (Strings::iterator i = paths.begin(); i != paths.end(); ++i) {
|
|
|
|
if (isInStore(*i)) {
|
|
|
|
Path path = toStorePath(*i);
|
2006-11-30 17:43:04 +00:00
|
|
|
if (roots.find(path) == roots.end() && store->isValidPath(path)) {
|
2006-07-20 12:17:25 +00:00
|
|
|
debug(format("found additional root `%1%'") % path);
|
|
|
|
roots.insert(path);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-01-31 14:00:43 +00:00
|
|
|
static void dfsVisit(const PathSet & paths, const Path & path,
|
|
|
|
PathSet & visited, Paths & sorted)
|
|
|
|
{
|
|
|
|
if (visited.find(path) != visited.end()) return;
|
|
|
|
visited.insert(path);
|
|
|
|
|
|
|
|
PathSet references;
|
2006-11-30 17:43:04 +00:00
|
|
|
if (store->isValidPath(path))
|
|
|
|
store->queryReferences(path, references);
|
2005-01-31 14:00:43 +00:00
|
|
|
|
|
|
|
for (PathSet::iterator i = references.begin();
|
|
|
|
i != references.end(); ++i)
|
|
|
|
/* 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(paths, *i, visited, sorted);
|
|
|
|
|
|
|
|
sorted.push_front(path);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2007-02-21 22:45:10 +00:00
|
|
|
Paths topoSortPaths(const PathSet & paths)
|
2005-01-31 14:00:43 +00:00
|
|
|
{
|
|
|
|
Paths sorted;
|
|
|
|
PathSet visited;
|
|
|
|
for (PathSet::const_iterator i = paths.begin(); i != paths.end(); ++i)
|
|
|
|
dfsVisit(paths, *i, visited, sorted);
|
|
|
|
return sorted;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-12-05 02:18:46 +00:00
|
|
|
void LocalStore::collectGarbage(GCAction action, const PathSet & pathsToDelete,
|
2005-12-23 21:36:44 +00:00
|
|
|
bool ignoreLiveness, PathSet & result, unsigned long long & bytesFreed)
|
2005-01-27 15:21:29 +00:00
|
|
|
{
|
|
|
|
result.clear();
|
2005-12-15 21:11:39 +00:00
|
|
|
bytesFreed = 0;
|
2005-02-01 22:07:48 +00:00
|
|
|
|
2005-02-14 14:16:56 +00:00
|
|
|
bool gcKeepOutputs =
|
|
|
|
queryBoolSetting("gc-keep-outputs", false);
|
|
|
|
bool gcKeepDerivations =
|
|
|
|
queryBoolSetting("gc-keep-derivations", true);
|
2007-11-29 16:18:24 +00:00
|
|
|
int gcKeepOutputsThreshold =
|
2007-11-15 03:47:12 +00:00
|
|
|
queryIntSetting ("gc-keep-outputs-threshold", defaultGcLevel);
|
2005-02-01 22:07:48 +00:00
|
|
|
|
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. */
|
2006-12-05 02:18:46 +00:00
|
|
|
Roots rootMap = ignoreLiveness ? Roots() : nix::findRoots(true);
|
2006-12-05 00:48:36 +00:00
|
|
|
|
2005-02-01 15:05:32 +00:00
|
|
|
PathSet roots;
|
2006-12-05 00:48:36 +00:00
|
|
|
for (Roots::iterator i = rootMap.begin(); i != rootMap.end(); ++i)
|
|
|
|
roots.insert(i->second);
|
2005-02-01 15:05:32 +00:00
|
|
|
|
2006-07-20 12:17:25 +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). */
|
2006-12-05 02:18:46 +00:00
|
|
|
if (!ignoreLiveness)
|
|
|
|
addAdditionalRoots(roots);
|
2006-07-20 12:17:25 +00:00
|
|
|
|
2005-02-01 15:05:32 +00:00
|
|
|
if (action == gcReturnRoots) {
|
|
|
|
result = roots;
|
|
|
|
return;
|
|
|
|
}
|
2005-02-01 12:36:25 +00:00
|
|
|
|
2005-01-27 15:21:29 +00:00
|
|
|
/* Determine the live paths which is just the closure of the
|
|
|
|
roots under the `references' relation. */
|
|
|
|
PathSet livePaths;
|
|
|
|
for (PathSet::const_iterator i = roots.begin(); i != roots.end(); ++i)
|
|
|
|
computeFSClosure(canonPath(*i), livePaths);
|
|
|
|
|
2005-02-14 14:16:56 +00:00
|
|
|
if (gcKeepDerivations) {
|
|
|
|
for (PathSet::iterator i = livePaths.begin();
|
|
|
|
i != livePaths.end(); ++i)
|
|
|
|
{
|
2005-03-25 14:31:12 +00:00
|
|
|
/* Note that the deriver need not be valid (e.g., if we
|
|
|
|
previously ran the collector with `gcKeepDerivations'
|
|
|
|
turned off). */
|
2007-06-12 16:53:44 +00:00
|
|
|
Path deriver = store->queryDeriver(*i);
|
2006-11-30 17:43:04 +00:00
|
|
|
if (deriver != "" && store->isValidPath(deriver))
|
2005-02-14 14:16:56 +00:00
|
|
|
computeFSClosure(deriver, livePaths);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2005-02-14 13:07:09 +00:00
|
|
|
if (gcKeepOutputs) {
|
2005-02-01 22:07:48 +00:00
|
|
|
/* Hmz, identical to storePathRequisites in nix-store. */
|
|
|
|
for (PathSet::iterator i = livePaths.begin();
|
|
|
|
i != livePaths.end(); ++i)
|
|
|
|
if (isDerivation(*i)) {
|
|
|
|
Derivation drv = derivationFromPath(*i);
|
2007-11-15 03:47:12 +00:00
|
|
|
|
|
|
|
string gcLevelStr = drv.env["__gcLevel"];
|
|
|
|
int gcLevel;
|
2007-11-29 16:18:24 +00:00
|
|
|
if (!string2Int(gcLevelStr, gcLevel))
|
2007-11-15 03:47:12 +00:00
|
|
|
gcLevel = defaultGcLevel;
|
|
|
|
|
|
|
|
if (gcLevel >= gcKeepOutputsThreshold)
|
|
|
|
for (DerivationOutputs::iterator j = drv.outputs.begin();
|
2007-11-29 16:18:24 +00:00
|
|
|
j != drv.outputs.end(); ++j)
|
2007-11-15 03:47:12 +00:00
|
|
|
if (store->isValidPath(j->second.path))
|
|
|
|
computeFSClosure(j->second.path, livePaths);
|
2005-02-01 22:07:48 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2005-01-27 15:21:29 +00:00
|
|
|
if (action == gcReturnLive) {
|
|
|
|
result = livePaths;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
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. */
|
|
|
|
PathSet tempRoots;
|
|
|
|
FDs fds;
|
|
|
|
readTempRoots(tempRoots, fds);
|
|
|
|
|
2005-01-31 14:00:43 +00:00
|
|
|
/* Close the temporary roots. Note that we *cannot* do this in
|
|
|
|
readTempRoots(), because there we may not have all locks yet,
|
|
|
|
meaning that an invalid path can become valid (and thus add to
|
|
|
|
the references graph) after we have added it to the closure
|
|
|
|
(and computeFSClosure() assumes that the presence of a path
|
|
|
|
means that it has already been closed). */
|
|
|
|
PathSet tempRootsClosed;
|
|
|
|
for (PathSet::iterator i = tempRoots.begin(); i != tempRoots.end(); ++i)
|
2006-11-30 17:43:04 +00:00
|
|
|
if (store->isValidPath(*i))
|
2005-01-31 14:00:43 +00:00
|
|
|
computeFSClosure(*i, tempRootsClosed);
|
|
|
|
else
|
|
|
|
tempRootsClosed.insert(*i);
|
|
|
|
|
2005-01-31 22:01:55 +00:00
|
|
|
/* For testing - see tests/gc-concurrent.sh. */
|
|
|
|
if (getenv("NIX_DEBUG_GC_WAIT"))
|
|
|
|
sleep(2);
|
|
|
|
|
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
|
|
|
|
that is not currently in in `livePaths' or `tempRootsClosed'
|
|
|
|
can be deleted. */
|
2005-01-31 10:27:25 +00:00
|
|
|
|
2005-01-27 15:21:29 +00:00
|
|
|
/* Read the Nix store directory to find all currently existing
|
|
|
|
paths. */
|
2005-12-23 21:08:42 +00:00
|
|
|
PathSet storePathSet;
|
|
|
|
if (action != gcDeleteSpecific) {
|
|
|
|
Paths entries = readDirectory(nixStore);
|
|
|
|
for (Paths::iterator i = entries.begin(); i != entries.end(); ++i)
|
|
|
|
storePathSet.insert(canonPath(nixStore + "/" + *i));
|
|
|
|
} else {
|
|
|
|
for (PathSet::iterator i = pathsToDelete.begin();
|
|
|
|
i != pathsToDelete.end(); ++i)
|
|
|
|
{
|
|
|
|
assertStorePath(*i);
|
|
|
|
storePathSet.insert(*i);
|
|
|
|
}
|
|
|
|
}
|
2005-01-31 14:00:43 +00:00
|
|
|
|
2005-12-13 21:04:48 +00:00
|
|
|
/* Topologically sort them under the `referrers' relation. That
|
|
|
|
is, a < b iff a is in referrers(b). This gives us the order in
|
2005-01-31 14:00:43 +00:00
|
|
|
which things can be deleted safely. */
|
|
|
|
/* !!! when we have multiple output paths per derivation, this
|
|
|
|
will not work anymore because we get cycles. */
|
2007-02-21 22:45:10 +00:00
|
|
|
Paths storePaths = topoSortPaths(storePathSet);
|
2005-01-31 22:01:55 +00:00
|
|
|
|
2005-02-01 12:36:25 +00:00
|
|
|
/* Try to delete store paths in the topologically sorted order. */
|
2005-01-31 14:00:43 +00:00
|
|
|
for (Paths::iterator i = storePaths.begin(); i != storePaths.end(); ++i) {
|
2005-01-27 15:21:29 +00:00
|
|
|
|
2005-01-31 14:00:43 +00:00
|
|
|
debug(format("considering deletion of `%1%'") % *i);
|
|
|
|
|
|
|
|
if (livePaths.find(*i) != livePaths.end()) {
|
2005-12-23 21:08:42 +00:00
|
|
|
if (action == gcDeleteSpecific)
|
|
|
|
throw Error(format("cannot delete path `%1%' since it is still alive") % *i);
|
2005-01-31 14:00:43 +00:00
|
|
|
debug(format("live path `%1%'") % *i);
|
2005-01-27 15:21:29 +00:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2005-01-31 14:00:43 +00:00
|
|
|
if (tempRootsClosed.find(*i) != tempRootsClosed.end()) {
|
|
|
|
debug(format("temporary root `%1%'") % *i);
|
2005-01-31 10:27:25 +00:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2005-01-31 14:00:43 +00:00
|
|
|
debug(format("dead path `%1%'") % *i);
|
|
|
|
result.insert(*i);
|
2005-01-27 15:21:29 +00:00
|
|
|
|
2006-08-11 20:26:49 +00:00
|
|
|
/* If just returning the set of dead paths, we also return the
|
|
|
|
space that would be freed if we deleted them. */
|
2006-11-24 20:24:14 +00:00
|
|
|
if (action == gcReturnDead)
|
|
|
|
bytesFreed += computePathSize(*i);
|
2006-08-11 20:26:49 +00:00
|
|
|
|
2005-12-23 21:08:42 +00:00
|
|
|
if (action == gcDeleteDead || action == gcDeleteSpecific) {
|
2005-01-31 12:19:53 +00:00
|
|
|
|
2006-06-20 17:48:10 +00:00
|
|
|
#ifndef __CYGWIN__
|
|
|
|
AutoCloseFD fdLock;
|
|
|
|
|
2005-01-31 12:19:53 +00:00
|
|
|
/* Only delete a lock file if we can acquire a write lock
|
|
|
|
on it. That means that it's either stale, or the
|
|
|
|
process that created it hasn't locked it yet. In the
|
|
|
|
latter case the other process will detect that we
|
|
|
|
deleted the lock, and retry (see pathlocks.cc). */
|
2005-01-31 14:00:43 +00:00
|
|
|
if (i->size() >= 5 && string(*i, i->size() - 5) == ".lock") {
|
2006-06-20 17:48:10 +00:00
|
|
|
fdLock = openLockFile(*i, false);
|
|
|
|
if (fdLock != -1 && !lockFile(fdLock, ltWrite, false)) {
|
2005-01-31 14:00:43 +00:00
|
|
|
debug(format("skipping active lock `%1%'") % *i);
|
2005-01-31 12:19:53 +00:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
}
|
2006-06-20 17:48:10 +00:00
|
|
|
#endif
|
2005-01-31 14:00:43 +00:00
|
|
|
|
2007-08-12 00:29:28 +00:00
|
|
|
if (!pathExists(*i)) continue;
|
|
|
|
|
2005-01-31 14:00:43 +00:00
|
|
|
printMsg(lvlInfo, format("deleting `%1%'") % *i);
|
2005-01-31 12:19:53 +00:00
|
|
|
|
2005-01-31 14:00:43 +00:00
|
|
|
/* Okay, it's safe to delete. */
|
2007-01-14 16:24:49 +00:00
|
|
|
try {
|
|
|
|
unsigned long long freed;
|
|
|
|
deleteFromStore(*i, freed);
|
|
|
|
bytesFreed += freed;
|
|
|
|
} catch (PathInUse & e) {
|
|
|
|
printMsg(lvlError, format("warning: %1%") % e.msg());
|
|
|
|
}
|
2005-01-31 12:19:53 +00:00
|
|
|
|
2006-06-20 17:48:10 +00:00
|
|
|
#ifndef __CYGWIN__
|
2005-01-31 12:19:53 +00:00
|
|
|
if (fdLock != -1)
|
|
|
|
/* Write token to stale (deleted) lock file. */
|
|
|
|
writeFull(fdLock, (const unsigned char *) "d", 1);
|
2006-06-20 17:48:10 +00:00
|
|
|
#endif
|
2005-01-27 15:21:29 +00:00
|
|
|
}
|
2004-08-25 11:43:49 +00:00
|
|
|
}
|
|
|
|
}
|
2006-09-04 21:06:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
}
|