2006-11-30 18:43:04 +01:00
|
|
|
#ifndef __LOCAL_STORE_H
|
|
|
|
#define __LOCAL_STORE_H
|
|
|
|
|
|
|
|
#include <string>
|
|
|
|
|
2008-08-02 14:54:35 +02:00
|
|
|
#include <ext/stdio_filebuf.h>
|
|
|
|
|
2006-11-30 18:43:04 +01:00
|
|
|
#include "store-api.hh"
|
2008-06-09 15:52:45 +02:00
|
|
|
#include "util.hh"
|
2006-11-30 18:43:04 +01:00
|
|
|
|
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
|
|
|
|
|
|
|
/* Nix store and database schema version. Version 1 (or 0) was Nix <=
|
2007-08-13 13:37:39 +02:00
|
|
|
0.7. Version 2 was Nix 0.8 and 0.9. Version 3 is Nix 0.10.
|
2008-06-09 15:52:45 +02:00
|
|
|
Version 4 is Nix 0.11. Version 5 is Nix 0.12*/
|
|
|
|
const int nixSchemaVersion = 5;
|
2006-11-30 18:43:04 +01:00
|
|
|
|
|
|
|
|
2006-11-30 19:02:04 +01:00
|
|
|
extern string drvsLogDir;
|
|
|
|
|
|
|
|
|
2007-10-10 00:14:27 +02:00
|
|
|
struct OptimiseStats
|
|
|
|
{
|
|
|
|
unsigned long totalFiles;
|
|
|
|
unsigned long sameContents;
|
|
|
|
unsigned long filesLinked;
|
|
|
|
unsigned long long bytesFreed;
|
2008-06-18 11:34:17 +02:00
|
|
|
unsigned long long blocksFreed;
|
2007-10-10 00:14:27 +02:00
|
|
|
OptimiseStats()
|
|
|
|
{
|
|
|
|
totalFiles = sameContents = filesLinked = 0;
|
2008-06-18 11:34:17 +02:00
|
|
|
bytesFreed = blocksFreed = 0;
|
2007-10-10 00:14:27 +02:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2008-08-02 14:54:35 +02:00
|
|
|
typedef __gnu_cxx::stdio_filebuf<char> stdio_filebuf;
|
|
|
|
|
|
|
|
|
|
|
|
struct RunningSubstituter
|
|
|
|
{
|
|
|
|
Pid pid;
|
|
|
|
boost::shared_ptr<stdio_filebuf> toBuf, fromBuf;
|
|
|
|
boost::shared_ptr<std::ostream> to;
|
|
|
|
boost::shared_ptr<std::istream> from;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2006-11-30 18:43:04 +01:00
|
|
|
class LocalStore : public StoreAPI
|
|
|
|
{
|
2007-08-12 02:29:28 +02:00
|
|
|
private:
|
|
|
|
bool substitutablePathsLoaded;
|
|
|
|
PathSet substitutablePaths;
|
2008-08-02 14:54:35 +02:00
|
|
|
|
|
|
|
typedef std::map<Path, RunningSubstituter> RunningSubstituters;
|
|
|
|
RunningSubstituters runningSubstituters;
|
2007-08-12 02:29:28 +02:00
|
|
|
|
2006-11-30 18:43:04 +01:00
|
|
|
public:
|
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
/* Initialise the local store, upgrading the schema if
|
|
|
|
necessary. */
|
|
|
|
LocalStore();
|
2006-11-30 18:43:04 +01:00
|
|
|
|
|
|
|
~LocalStore();
|
|
|
|
|
|
|
|
/* Implementations of abstract store API methods. */
|
|
|
|
|
|
|
|
bool isValidPath(const Path & path);
|
|
|
|
|
2008-01-29 19:17:36 +01:00
|
|
|
PathSet queryValidPaths();
|
|
|
|
|
2006-11-30 18:43:04 +01:00
|
|
|
Hash queryPathHash(const Path & path);
|
|
|
|
|
2006-12-01 21:51:18 +01:00
|
|
|
void queryReferences(const Path & path, PathSet & references);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2006-12-01 21:51:18 +01:00
|
|
|
void queryReferrers(const Path & path, PathSet & referrers);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2007-06-12 18:53:44 +02:00
|
|
|
Path queryDeriver(const Path & path);
|
|
|
|
|
2007-08-12 02:29:28 +02:00
|
|
|
PathSet querySubstitutablePaths();
|
|
|
|
|
|
|
|
bool hasSubstitutes(const Path & path);
|
2008-08-02 14:54:35 +02:00
|
|
|
|
|
|
|
bool querySubstitutablePathInfo(const Path & path,
|
|
|
|
SubstitutablePathInfo & info);
|
2007-08-12 02:29:28 +02:00
|
|
|
|
2008-08-04 15:15:35 +02:00
|
|
|
bool querySubstitutablePathInfo(const Path & substituter,
|
|
|
|
const Path & path, SubstitutablePathInfo & info);
|
|
|
|
|
2006-12-01 21:51:18 +01:00
|
|
|
Path addToStore(const Path & srcPath, bool fixed = false,
|
2006-12-13 00:05:01 +01:00
|
|
|
bool recursive = false, string hashAlgo = "",
|
|
|
|
PathFilter & filter = defaultPathFilter);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
|
|
|
Path addTextToStore(const string & suffix, const string & s,
|
|
|
|
const PathSet & references);
|
|
|
|
|
2007-02-21 00:17:20 +01:00
|
|
|
void exportPath(const Path & path, bool sign,
|
|
|
|
Sink & sink);
|
|
|
|
|
2007-02-21 16:45:32 +01:00
|
|
|
Path importPath(bool requireSignature, Source & source);
|
|
|
|
|
2006-11-30 19:02:04 +01:00
|
|
|
void buildDerivations(const PathSet & drvPaths);
|
|
|
|
|
2006-12-01 21:51:18 +01:00
|
|
|
void ensurePath(const Path & path);
|
2006-12-02 17:41:36 +01:00
|
|
|
|
|
|
|
void addTempRoot(const Path & path);
|
|
|
|
|
2006-12-05 00:29:16 +01:00
|
|
|
void addIndirectRoot(const Path & path);
|
|
|
|
|
2006-12-02 17:41:36 +01:00
|
|
|
void syncWithGC();
|
2006-12-05 02:31:45 +01:00
|
|
|
|
|
|
|
Roots findRoots();
|
2006-12-05 03:18:46 +01:00
|
|
|
|
2008-06-18 11:34:17 +02:00
|
|
|
void collectGarbage(const GCOptions & options, GCResults & results);
|
2007-10-10 00:14:27 +02:00
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
/* Delete a path from the Nix store. */
|
2008-06-18 11:34:17 +02:00
|
|
|
void deleteFromStore(const Path & path, unsigned long long & bytesFreed,
|
|
|
|
unsigned long long & blocksFreed);
|
2008-06-09 15:52:45 +02:00
|
|
|
|
2007-10-10 00:14:27 +02:00
|
|
|
/* Optimise the disk space usage of the Nix store by hard-linking
|
|
|
|
files with the same contents. */
|
|
|
|
void optimiseStore(bool dryRun, OptimiseStats & stats);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
/* Check the integrity of the Nix store. */
|
|
|
|
void verifyStore(bool checkContents);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
/* Register the validity of a path, i.e., that `path' exists, that
|
|
|
|
the paths referenced by it exists, and in the case of an output
|
|
|
|
path of a derivation, that it has been produced by a succesful
|
|
|
|
execution of the derivation (or something equivalent). Also
|
|
|
|
register the hash of the file system contents of the path. The
|
|
|
|
hash must be a SHA-256 hash. */
|
|
|
|
void registerValidPath(const Path & path,
|
|
|
|
const Hash & hash, const PathSet & references, const Path & deriver);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
void registerValidPaths(const ValidPathInfos & infos);
|
|
|
|
|
|
|
|
private:
|
|
|
|
|
|
|
|
Path schemaPath;
|
|
|
|
|
|
|
|
/* Lock file used for upgrading. */
|
|
|
|
AutoCloseFD globalLock;
|
|
|
|
|
|
|
|
/* !!! The cache can grow very big. Maybe it should be pruned
|
|
|
|
every once in a while. */
|
|
|
|
std::map<Path, ValidPathInfo> pathInfoCache;
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
/* Store paths for which the referrers file must be purged. */
|
|
|
|
PathSet delayedUpdates;
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
int getSchema();
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
void registerValidPath(const ValidPathInfo & info, bool ignoreValidity = false);
|
|
|
|
|
|
|
|
ValidPathInfo queryPathInfo(const Path & path);
|
|
|
|
|
|
|
|
void rewriteReferrers(const Path & path, bool purge, PathSet referrers);
|
|
|
|
|
|
|
|
void flushDelayedUpdates();
|
|
|
|
|
|
|
|
bool queryReferrersInternal(const Path & path, PathSet & referrers);
|
|
|
|
|
|
|
|
void invalidatePath(const Path & path);
|
|
|
|
|
|
|
|
void upgradeStore12();
|
|
|
|
|
2008-06-18 11:34:17 +02:00
|
|
|
void tryToDelete(const GCOptions & options, GCResults & results,
|
2008-09-17 12:02:55 +02:00
|
|
|
PathSet & done, const Path & path);
|
2008-08-02 14:54:35 +02:00
|
|
|
|
|
|
|
void startSubstituter(const Path & substituter,
|
|
|
|
RunningSubstituter & runningSubstituter);
|
2008-06-09 15:52:45 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
/* Copy a path recursively. */
|
|
|
|
void copyPath(const Path & src, const Path & dst);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
|
|
|
/* "Fix", or canonicalise, the meta-data of the files in a store path
|
|
|
|
after it has been built. In particular:
|
|
|
|
- the last modification date on each file is set to 0 (i.e.,
|
|
|
|
00:00:00 1/1/1970 UTC)
|
|
|
|
- the permissions are set of 444 or 555 (i.e., read-only with or
|
|
|
|
without execute permission; setuid bits etc. are cleared)
|
|
|
|
- the owner and group are set to the Nix user and group, if we're
|
|
|
|
in a setuid Nix installation. */
|
|
|
|
void canonicalisePathMetaData(const Path & path);
|
|
|
|
|
2008-06-09 15:52:45 +02:00
|
|
|
void canonicalisePathMetaData(const Path & path, bool recurse);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
2007-01-14 17:24:49 +01:00
|
|
|
MakeError(PathInUse, Error);
|
|
|
|
|
2006-12-07 16:54:52 +01:00
|
|
|
/* Whether we are in build users mode. */
|
|
|
|
bool haveBuildUsers();
|
|
|
|
|
|
|
|
/* Whether we are root. */
|
|
|
|
bool amPrivileged();
|
|
|
|
|
|
|
|
/* Recursively change the ownership of `path' to the current uid. */
|
|
|
|
void getOwnership(const Path & path);
|
|
|
|
|
2006-12-09 01:26:24 +01:00
|
|
|
/* Like deletePath(), but changes the ownership of `path' using the
|
|
|
|
setuid wrapper if necessary (and possible). */
|
|
|
|
void deletePathWrapped(const Path & path,
|
2008-06-18 11:34:17 +02:00
|
|
|
unsigned long long & bytesFreed, unsigned long long & blocksFreed);
|
2006-12-09 01:26:24 +01:00
|
|
|
|
|
|
|
void deletePathWrapped(const Path & path);
|
2006-11-30 18:43:04 +01:00
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
#endif /* !__LOCAL_STORE_H */
|