2006-09-04 23:06:23 +02:00
|
|
|
#include "pathlocks.hh"
|
|
|
|
#include "util.hh"
|
|
|
|
|
2003-09-11 10:31:29 +02:00
|
|
|
#include <cerrno>
|
2008-05-21 13:17:31 +02:00
|
|
|
#include <cstdlib>
|
2003-09-11 10:31:29 +02:00
|
|
|
|
2003-10-14 17:33:00 +02:00
|
|
|
#include <sys/types.h>
|
|
|
|
#include <sys/stat.h>
|
2003-08-01 16:11:19 +02:00
|
|
|
#include <fcntl.h>
|
|
|
|
|
|
|
|
|
2006-09-04 23:06:23 +02:00
|
|
|
namespace nix {
|
|
|
|
|
|
|
|
|
2006-06-20 19:48:10 +02:00
|
|
|
int openLockFile(const Path & path, bool create)
|
|
|
|
{
|
|
|
|
AutoCloseFD fd;
|
|
|
|
|
|
|
|
fd = open(path.c_str(), O_RDWR | (create ? O_CREAT : 0), 0666);
|
|
|
|
if (fd == -1 && (create || errno != ENOENT))
|
|
|
|
throw SysError(format("opening lock file `%1%'") % path);
|
|
|
|
|
|
|
|
return fd.borrow();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-02-02 16:28:36 +01:00
|
|
|
void deleteLockFile(const Path & path, int fd)
|
2006-06-20 19:48:10 +02:00
|
|
|
{
|
|
|
|
/* Get rid of the lock file. Have to be careful not to introduce
|
2010-02-02 16:28:36 +01:00
|
|
|
races. Write a (meaningless) token to the file to indicate to
|
2006-06-20 19:48:10 +02:00
|
|
|
other processes waiting on this lock that the lock is stale
|
|
|
|
(deleted). */
|
|
|
|
unlink(path.c_str());
|
|
|
|
writeFull(fd, (const unsigned char *) "d", 1);
|
|
|
|
/* Note that the result of unlink() is ignored; removing the lock
|
|
|
|
file is an optimisation, not a necessity. */
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-02-03 22:22:57 +01:00
|
|
|
bool lockFile(int fd, LockType lockType, bool wait,
|
|
|
|
unsigned int progressInterval)
|
2003-10-14 17:33:00 +02:00
|
|
|
{
|
|
|
|
struct flock lock;
|
|
|
|
if (lockType == ltRead) lock.l_type = F_RDLCK;
|
|
|
|
else if (lockType == ltWrite) lock.l_type = F_WRLCK;
|
|
|
|
else if (lockType == ltNone) lock.l_type = F_UNLCK;
|
|
|
|
else abort();
|
|
|
|
lock.l_whence = SEEK_SET;
|
|
|
|
lock.l_start = 0;
|
|
|
|
lock.l_len = 0; /* entire file */
|
|
|
|
|
|
|
|
if (wait) {
|
2010-02-03 22:22:57 +01:00
|
|
|
/* Wait until we acquire the lock. If `progressInterval' is
|
|
|
|
non-zero, when print a message every `progressInterval'
|
|
|
|
seconds. This is mostly to make sure that remote builders
|
|
|
|
aren't killed due to the `max-silent-time' inactivity
|
|
|
|
monitor while waiting for the garbage collector lock. */
|
|
|
|
while (1) {
|
|
|
|
if (progressInterval) alarm(progressInterval);
|
|
|
|
if (fcntl(fd, F_SETLKW, &lock) == 0) break;
|
2004-01-15 21:23:55 +01:00
|
|
|
checkInterrupt();
|
2003-10-14 17:33:00 +02:00
|
|
|
if (errno != EINTR)
|
|
|
|
throw SysError(format("acquiring/releasing lock"));
|
2010-02-03 22:22:57 +01:00
|
|
|
if (progressInterval) printMsg(lvlError, "still waiting for lock...");
|
2004-01-15 21:23:55 +01:00
|
|
|
}
|
2010-02-03 22:22:57 +01:00
|
|
|
alarm(0);
|
2003-10-14 17:33:00 +02:00
|
|
|
} else {
|
|
|
|
while (fcntl(fd, F_SETLK, &lock) != 0) {
|
2004-01-15 21:23:55 +01:00
|
|
|
checkInterrupt();
|
2003-10-14 17:33:00 +02:00
|
|
|
if (errno == EACCES || errno == EAGAIN) return false;
|
|
|
|
if (errno != EINTR)
|
|
|
|
throw SysError(format("acquiring/releasing lock"));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-08-01 17:06:23 +02:00
|
|
|
/* This enables us to check whether are not already holding a lock on
|
|
|
|
a file ourselves. POSIX locks (fcntl) suck in this respect: if we
|
|
|
|
close a descriptor, the previous lock will be closed as well. And
|
|
|
|
there is no way to query whether we already have a lock (F_GETLK
|
|
|
|
only works on locks held by other processes). */
|
|
|
|
static StringSet lockedPaths; /* !!! not thread-safe */
|
|
|
|
|
|
|
|
|
2004-05-11 20:05:44 +02:00
|
|
|
PathLocks::PathLocks()
|
2003-11-21 17:05:19 +01:00
|
|
|
: deletePaths(false)
|
2003-08-01 16:11:19 +02:00
|
|
|
{
|
2004-05-11 20:05:44 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-06-15 13:56:49 +02:00
|
|
|
PathLocks::PathLocks(const PathSet & paths, const string & waitMsg)
|
2004-05-11 20:05:44 +02:00
|
|
|
: deletePaths(false)
|
|
|
|
{
|
2006-06-15 13:56:49 +02:00
|
|
|
lockPaths(paths, waitMsg);
|
2004-05-11 20:05:44 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-03-23 02:05:54 +01:00
|
|
|
bool PathLocks::lockPaths(const PathSet & _paths,
|
|
|
|
const string & waitMsg, bool wait)
|
2004-05-11 20:05:44 +02:00
|
|
|
{
|
2005-01-27 13:19:25 +01:00
|
|
|
assert(fds.empty());
|
2004-05-11 20:05:44 +02:00
|
|
|
|
2003-08-01 16:11:19 +02:00
|
|
|
/* Note that `fds' is built incrementally so that the destructor
|
|
|
|
will only release those locks that we have already acquired. */
|
|
|
|
|
|
|
|
/* Sort the paths. This assures that locks are always acquired in
|
|
|
|
the same order, thus preventing deadlocks. */
|
2003-10-08 17:06:59 +02:00
|
|
|
Paths paths(_paths.begin(), _paths.end());
|
2003-08-01 16:11:19 +02:00
|
|
|
paths.sort();
|
|
|
|
|
|
|
|
/* Acquire the lock for each path. */
|
2009-04-21 13:52:16 +02:00
|
|
|
foreach (Paths::iterator, i, paths) {
|
2004-01-15 21:23:55 +01:00
|
|
|
checkInterrupt();
|
2003-10-08 17:06:59 +02:00
|
|
|
Path path = *i;
|
|
|
|
Path lockPath = path + ".lock";
|
2003-08-01 16:11:19 +02:00
|
|
|
|
|
|
|
debug(format("locking path `%1%'") % path);
|
2003-08-01 17:06:23 +02:00
|
|
|
|
2007-08-28 11:39:03 +02:00
|
|
|
if (lockedPaths.find(lockPath) != lockedPaths.end())
|
|
|
|
throw Error("deadlock: trying to re-acquire self-held lock");
|
2003-08-01 17:06:23 +02:00
|
|
|
|
2005-01-27 13:19:25 +01:00
|
|
|
AutoCloseFD fd;
|
|
|
|
|
|
|
|
while (1) {
|
2006-06-19 16:43:13 +02:00
|
|
|
|
2005-01-27 13:19:25 +01:00
|
|
|
/* Open/create the lock file. */
|
2006-06-20 19:48:10 +02:00
|
|
|
fd = openLockFile(lockPath, true);
|
2005-01-27 13:19:25 +01:00
|
|
|
|
|
|
|
/* Acquire an exclusive lock. */
|
2006-06-15 13:56:49 +02:00
|
|
|
if (!lockFile(fd, ltWrite, false)) {
|
2009-03-23 02:05:54 +01:00
|
|
|
if (wait) {
|
|
|
|
if (waitMsg != "") printMsg(lvlError, waitMsg);
|
|
|
|
lockFile(fd, ltWrite, true);
|
|
|
|
} else {
|
|
|
|
/* Failed to lock this path; release all other
|
|
|
|
locks. */
|
|
|
|
unlock();
|
|
|
|
return false;
|
|
|
|
}
|
2006-06-15 13:56:49 +02:00
|
|
|
}
|
2005-01-27 13:19:25 +01:00
|
|
|
|
|
|
|
debug(format("lock acquired on `%1%'") % lockPath);
|
|
|
|
|
|
|
|
/* Check that the lock file hasn't become stale (i.e.,
|
|
|
|
hasn't been unlinked). */
|
|
|
|
struct stat st;
|
|
|
|
if (fstat(fd, &st) == -1)
|
|
|
|
throw SysError(format("statting lock file `%1%'") % lockPath);
|
|
|
|
if (st.st_size != 0)
|
|
|
|
/* This lock file has been unlinked, so we're holding
|
|
|
|
a lock on a deleted file. This means that other
|
|
|
|
processes may create and acquire a lock on
|
|
|
|
`lockPath', and proceed. So we must retry. */
|
|
|
|
debug(format("open lock file `%1%' has become stale") % lockPath);
|
|
|
|
else
|
|
|
|
break;
|
|
|
|
}
|
2004-05-11 20:05:44 +02:00
|
|
|
|
2005-01-27 13:19:25 +01:00
|
|
|
/* Use borrow so that the descriptor isn't closed. */
|
|
|
|
fds.push_back(FDPair(fd.borrow(), lockPath));
|
2003-08-01 17:06:23 +02:00
|
|
|
lockedPaths.insert(lockPath);
|
2003-08-01 16:11:19 +02:00
|
|
|
}
|
2009-03-23 02:05:54 +01:00
|
|
|
|
|
|
|
return true;
|
2003-08-01 16:11:19 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
PathLocks::~PathLocks()
|
2009-02-16 10:24:20 +01:00
|
|
|
{
|
|
|
|
unlock();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void PathLocks::unlock()
|
2003-08-01 16:11:19 +02:00
|
|
|
{
|
2009-04-21 13:52:16 +02:00
|
|
|
foreach (list<FDPair>::iterator, i, fds) {
|
2010-02-02 16:28:36 +01:00
|
|
|
if (deletePaths) deleteLockFile(i->second, i->first);
|
2006-06-20 19:48:10 +02:00
|
|
|
|
2005-01-27 13:19:25 +01:00
|
|
|
lockedPaths.erase(i->second);
|
|
|
|
if (close(i->first) == -1)
|
|
|
|
printMsg(lvlError,
|
|
|
|
format("error (ignored): cannot close lock file on `%1%'") % i->second);
|
2006-06-20 19:48:10 +02:00
|
|
|
|
2005-01-27 13:19:25 +01:00
|
|
|
debug(format("lock released on `%1%'") % i->second);
|
2003-11-21 17:05:19 +01:00
|
|
|
}
|
2009-02-16 10:24:20 +01:00
|
|
|
|
|
|
|
fds.clear();
|
2003-11-21 17:05:19 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void PathLocks::setDeletion(bool deletePaths)
|
|
|
|
{
|
|
|
|
this->deletePaths = deletePaths;
|
2003-08-01 16:11:19 +02:00
|
|
|
}
|
2006-09-04 23:06:23 +02:00
|
|
|
|
2007-08-28 13:36:17 +02:00
|
|
|
|
|
|
|
bool pathIsLockedByMe(const Path & path)
|
|
|
|
{
|
|
|
|
Path lockPath = path + ".lock";
|
|
|
|
return lockedPaths.find(lockPath) != lockedPaths.end();
|
|
|
|
}
|
|
|
|
|
2006-09-04 23:06:23 +02:00
|
|
|
|
|
|
|
}
|