mirror of
https://github.com/NixOS/nix.git
synced 2025-11-15 15:02:42 +01:00
Merge pull request #14038 from NixOS/thread-safe-dummy
libstore: Make writable dummy store thread-safe
This commit is contained in:
commit
5292b0e49e
5 changed files with 149 additions and 63 deletions
|
|
@ -4,6 +4,8 @@
|
|||
#include "nix/util/memory-source-accessor.hh"
|
||||
#include "nix/store/dummy-store.hh"
|
||||
|
||||
#include <boost/unordered/concurrent_flat_map.hpp>
|
||||
|
||||
namespace nix {
|
||||
|
||||
std::string DummyStoreConfig::doc()
|
||||
|
|
@ -13,6 +15,99 @@ std::string DummyStoreConfig::doc()
|
|||
;
|
||||
}
|
||||
|
||||
namespace {
|
||||
|
||||
class WholeStoreViewAccessor : public SourceAccessor
|
||||
{
|
||||
using BaseName = std::string;
|
||||
|
||||
/**
|
||||
* Map from store path basenames to corresponding accessors.
|
||||
*/
|
||||
boost::concurrent_flat_map<BaseName, ref<MemorySourceAccessor>> subdirs;
|
||||
|
||||
/**
|
||||
* Helper accessor for accessing just the CanonPath::root.
|
||||
*/
|
||||
MemorySourceAccessor rootPathAccessor;
|
||||
|
||||
/**
|
||||
* Helper empty accessor.
|
||||
*/
|
||||
MemorySourceAccessor emptyAccessor;
|
||||
|
||||
auto
|
||||
callWithAccessorForPath(CanonPath path, std::invocable<MemorySourceAccessor &, const CanonPath &> auto callback)
|
||||
{
|
||||
if (path.isRoot())
|
||||
return callback(rootPathAccessor, path);
|
||||
|
||||
BaseName baseName(*path.begin());
|
||||
MemorySourceAccessor * res = nullptr;
|
||||
|
||||
subdirs.cvisit(baseName, [&](const auto & kv) {
|
||||
path = path.removePrefix(CanonPath{baseName});
|
||||
res = &*kv.second;
|
||||
});
|
||||
|
||||
if (!res)
|
||||
res = &emptyAccessor;
|
||||
|
||||
return callback(*res, path);
|
||||
}
|
||||
|
||||
public:
|
||||
WholeStoreViewAccessor()
|
||||
{
|
||||
MemorySink sink{rootPathAccessor};
|
||||
sink.createDirectory(CanonPath::root);
|
||||
}
|
||||
|
||||
void addObject(std::string_view baseName, ref<MemorySourceAccessor> accessor)
|
||||
{
|
||||
subdirs.emplace(baseName, std::move(accessor));
|
||||
}
|
||||
|
||||
std::string readFile(const CanonPath & path) override
|
||||
{
|
||||
return callWithAccessorForPath(
|
||||
path, [](SourceAccessor & accessor, const CanonPath & path) { return accessor.readFile(path); });
|
||||
}
|
||||
|
||||
void readFile(const CanonPath & path, Sink & sink, std::function<void(uint64_t)> sizeCallback) override
|
||||
{
|
||||
return callWithAccessorForPath(path, [&](SourceAccessor & accessor, const CanonPath & path) {
|
||||
return accessor.readFile(path, sink, sizeCallback);
|
||||
});
|
||||
}
|
||||
|
||||
bool pathExists(const CanonPath & path) override
|
||||
{
|
||||
return callWithAccessorForPath(
|
||||
path, [](SourceAccessor & accessor, const CanonPath & path) { return accessor.pathExists(path); });
|
||||
}
|
||||
|
||||
std::optional<Stat> maybeLstat(const CanonPath & path) override
|
||||
{
|
||||
return callWithAccessorForPath(
|
||||
path, [](SourceAccessor & accessor, const CanonPath & path) { return accessor.maybeLstat(path); });
|
||||
}
|
||||
|
||||
DirEntries readDirectory(const CanonPath & path) override
|
||||
{
|
||||
return callWithAccessorForPath(
|
||||
path, [](SourceAccessor & accessor, const CanonPath & path) { return accessor.readDirectory(path); });
|
||||
}
|
||||
|
||||
std::string readLink(const CanonPath & path) override
|
||||
{
|
||||
return callWithAccessorForPath(
|
||||
path, [](SourceAccessor & accessor, const CanonPath & path) { return accessor.readLink(path); });
|
||||
}
|
||||
};
|
||||
|
||||
} // namespace
|
||||
|
||||
struct DummyStore : virtual Store
|
||||
{
|
||||
using Config = DummyStoreConfig;
|
||||
|
|
@ -29,7 +124,7 @@ struct DummyStore : virtual Store
|
|||
* This is map conceptually owns the file system objects for each
|
||||
* store object.
|
||||
*/
|
||||
std::map<StorePath, PathInfoAndContents> contents;
|
||||
boost::concurrent_flat_map<StorePath, PathInfoAndContents> contents;
|
||||
|
||||
/**
|
||||
* This view conceptually just borrows the file systems objects of
|
||||
|
|
@ -38,23 +133,23 @@ struct DummyStore : virtual Store
|
|||
*
|
||||
* This is needed just in order to implement `Store::getFSAccessor`.
|
||||
*/
|
||||
ref<MemorySourceAccessor> wholeStoreView = make_ref<MemorySourceAccessor>();
|
||||
ref<WholeStoreViewAccessor> wholeStoreView = make_ref<WholeStoreViewAccessor>();
|
||||
|
||||
DummyStore(ref<const Config> config)
|
||||
: Store{*config}
|
||||
, config(config)
|
||||
{
|
||||
wholeStoreView->setPathDisplay(config->storeDir);
|
||||
MemorySink sink{*wholeStoreView};
|
||||
sink.createDirectory(CanonPath::root);
|
||||
}
|
||||
|
||||
void queryPathInfoUncached(
|
||||
const StorePath & path, Callback<std::shared_ptr<const ValidPathInfo>> callback) noexcept override
|
||||
{
|
||||
if (auto it = contents.find(path); it != contents.end())
|
||||
callback(std::make_shared<ValidPathInfo>(StorePath{path}, it->second.info));
|
||||
else
|
||||
bool visited = contents.cvisit(path, [&](const auto & kv) {
|
||||
callback(std::make_shared<ValidPathInfo>(StorePath{kv.first}, kv.second.info));
|
||||
});
|
||||
|
||||
if (!visited)
|
||||
callback(nullptr);
|
||||
}
|
||||
|
||||
|
|
@ -87,19 +182,14 @@ struct DummyStore : virtual Store
|
|||
parseDump(tempSink, source);
|
||||
auto path = info.path;
|
||||
|
||||
auto [it, _] = contents.insert({
|
||||
path,
|
||||
{
|
||||
std::move(info),
|
||||
make_ref<MemorySourceAccessor>(std::move(*temp)),
|
||||
},
|
||||
});
|
||||
|
||||
auto & pathAndContents = it->second;
|
||||
|
||||
bool inserted = wholeStoreView->open(CanonPath(path.to_string()), pathAndContents.contents->root);
|
||||
if (!inserted)
|
||||
unreachable();
|
||||
auto accessor = make_ref<MemorySourceAccessor>(std::move(*temp));
|
||||
contents.insert(
|
||||
{path,
|
||||
PathInfoAndContents{
|
||||
std::move(info),
|
||||
accessor,
|
||||
}});
|
||||
wholeStoreView->addObject(path.to_string(), accessor);
|
||||
}
|
||||
|
||||
StorePath addToStoreFromDump(
|
||||
|
|
@ -156,33 +246,28 @@ struct DummyStore : virtual Store
|
|||
info.narSize = narHash.second.value();
|
||||
|
||||
auto path = info.path;
|
||||
|
||||
auto [it, _] = contents.insert({
|
||||
path,
|
||||
{
|
||||
std::move(info),
|
||||
make_ref<MemorySourceAccessor>(std::move(*temp)),
|
||||
},
|
||||
});
|
||||
|
||||
auto & pathAndContents = it->second;
|
||||
|
||||
bool inserted = wholeStoreView->open(CanonPath(path.to_string()), pathAndContents.contents->root);
|
||||
if (!inserted)
|
||||
unreachable();
|
||||
auto accessor = make_ref<MemorySourceAccessor>(std::move(*temp));
|
||||
contents.insert(
|
||||
{path,
|
||||
PathInfoAndContents{
|
||||
std::move(info),
|
||||
accessor,
|
||||
}});
|
||||
wholeStoreView->addObject(path.to_string(), accessor);
|
||||
|
||||
return path;
|
||||
}
|
||||
|
||||
void narFromPath(const StorePath & path, Sink & sink) override
|
||||
{
|
||||
auto object = contents.find(path);
|
||||
if (object == contents.end())
|
||||
throw Error("path '%s' is not valid", printStorePath(path));
|
||||
bool visited = contents.cvisit(path, [&](const auto & kv) {
|
||||
const auto & [info, accessor] = kv.second;
|
||||
SourcePath sourcePath(accessor);
|
||||
dumpPath(sourcePath, sink, FileSerialisationMethod::NixArchive);
|
||||
});
|
||||
|
||||
const auto & [info, accessor] = object->second;
|
||||
SourcePath sourcePath(accessor);
|
||||
dumpPath(sourcePath, sink, FileSerialisationMethod::NixArchive);
|
||||
if (!visited)
|
||||
throw Error("path '%s' is not valid", printStorePath(path));
|
||||
}
|
||||
|
||||
void
|
||||
|
|
|
|||
|
|
@ -108,4 +108,13 @@ struct hash<nix::StorePath>
|
|||
|
||||
} // namespace std
|
||||
|
||||
namespace nix {
|
||||
|
||||
inline std::size_t hash_value(const StorePath & path)
|
||||
{
|
||||
return std::hash<StorePath>{}(path);
|
||||
}
|
||||
|
||||
} // namespace nix
|
||||
|
||||
JSON_IMPL(nix::StorePath)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue