store: use Result<Store> builder, add auto upgrade

Make it a Result type, and add auto-upgrade (not enabled yet)
Update dependents.
This commit is contained in:
Dirk-Jan C. Binnema 2022-05-09 20:58:35 +03:00
parent 7470a5f8ea
commit 80d84bf635
8 changed files with 201 additions and 85 deletions

View File

@ -291,15 +291,47 @@ Store::Private::find_message_unlocked(Store::Id docid) const
Store::Store(const std::string& path, bool readonly) Store::Store(const std::string& path, Store::Options opts)
: priv_{std::make_unique<Private>(path, readonly)} : priv_{std::make_unique<Private>(path, none_of(opts & Store::Options::Writable))}
{ {
if (properties().schema_version != ExpectedSchemaVersion) if (properties().schema_version == ExpectedSchemaVersion)
return; // all is good.
// Now, it seems the schema versions do not match; shall we automatically
// update?
if (none_of(opts & Store::Options::AutoUpgrade)) {
// not allowed to auto-upgrade, so we give up.
throw Mu::Error(Error::Code::SchemaMismatch, throw Mu::Error(Error::Code::SchemaMismatch,
"expected schema-version %s, but got %s; " "expected schema-version %s, but got %s; "
"please use 'mu init'", "cannot auto-upgrade; please use 'mu init'",
ExpectedSchemaVersion, ExpectedSchemaVersion,
properties().schema_version.c_str()); properties().schema_version.c_str());
}
// Okay, let's attempt an auto-upgrade.
g_info("attempt reinit database from schema %s --> %s",
properties().schema_version.c_str(), ExpectedSchemaVersion);
Config conf;
conf.batch_size = properties().batch_size;
conf.max_message_size = properties().max_message_size;
priv_.reset();
priv_ = std::make_unique<Private>(path,
properties().root_maildir,
properties().personal_addresses,
conf);
// Now let's try again.
priv_.reset();
priv_ = std::make_unique<Private>(path, none_of(opts & Store::Options::Writable));
if (properties().schema_version != ExpectedSchemaVersion)
// Nope, we failed.
throw Mu::Error(Error::Code::SchemaMismatch,
"failed to auto-upgrade from %s to %s; "
"please use 'mu init'",
properties().schema_version.c_str(),
ExpectedSchemaVersion);
} }
Store::Store(const std::string& path, Store::Store(const std::string& path,
@ -310,6 +342,8 @@ Store::Store(const std::string& path,
{ {
} }
Store::Store(Store&&) = default;
Store::~Store() = default; Store::~Store() = default;
const Store::Properties& const Store::Properties&

View File

@ -44,12 +44,35 @@ public:
static constexpr Id InvalidId = 0; /**< Invalid store id */ static constexpr Id InvalidId = 0; /**< Invalid store id */
/** /**
* Construct a store for an existing document database * Configuration options.
*
* @param path
* @param readonly
*/
enum struct Options {
None = 0, /**< No specific options */
Writable = 1 << 0, /**< Open in writable mode */
AutoUpgrade = 1 << 1, /**< automatically re-initialize
* versions do not match */
};
/**
* Make a store for an existing document database
* *
* @param path path to the database * @param path path to the database
* @param readonly whether to open the database in read-only mode * @param options startup options
*
* A store or an error.
*/ */
Store(const std::string& path, bool readonly = true); static Result<Store> make(const std::string& path,
Options opts=Options::None) noexcept try {
return Ok(Store{path, opts});
} catch (const Mu::Error& me) {
return Err(me);
} catch (...) {
return Err(Error::Code::Internal, "failed to create store");
}
struct Config { struct Config {
size_t max_message_size{}; size_t max_message_size{};
@ -67,10 +90,24 @@ public:
* 'personal' for identifying personal messages. * 'personal' for identifying personal messages.
* @param config a configuration object * @param config a configuration object
*/ */
Store(const std::string& path, static Result<Store> make_new(const std::string& path,
const std::string& maildir, const std::string& maildir,
const StringVec& personal_addresses, const StringVec& personal_addresses,
const Config& conf); const Config& conf) noexcept try {
return Ok(Store(path, maildir, personal_addresses, conf));
} catch (const Mu::Error& me) {
return Err(me);
} catch (...) {
return Err(Error::Code::Internal, "failed to create store");
}
/**
* Move CTOR
*
*/
Store(Store&&);
/** /**
* DTOR * DTOR
@ -159,7 +196,7 @@ public:
* @param expr a xapian search expression * @param expr a xapian search expression
* @param xapian if true, show Xapian's internal representation, * @param xapian if true, show Xapian's internal representation,
* otherwise, mu's. * otherwise, mu's.
*
* @return the string representation of the query * @return the string representation of the query
*/ */
std::string parse_query(const std::string& expr, bool xapian) const; std::string parse_query(const std::string& expr, bool xapian) const;
@ -375,10 +412,33 @@ public:
const std::unique_ptr<Private>& priv() const { return priv_; } const std::unique_ptr<Private>& priv() const { return priv_; }
private: private:
/**
* Construct a store for an existing document database
*
* @param path path to the database
* @param options startup options
*/
Store(const std::string& path, Options opts=Options::None);
/**
* Construct a store for a not-yet-existing document database
*
* @param path path to the database
* @param maildir maildir to use for this store
* @param personal_addresses addresses that should be recognized as
* 'personal' for identifying personal messages.
* @param config a configuration object
*/
Store(const std::string& path,
const std::string& maildir,
const StringVec& personal_addresses,
const Config& conf);
std::unique_ptr<Private> priv_; std::unique_ptr<Private> priv_;
}; };
MU_ENABLE_BITOPS(Store::Options);
} // namespace Mu } // namespace Mu
#endif /* __MU_STORE_HH__ */ #endif /* __MU_STORE_HH__ */

View File

@ -43,13 +43,14 @@ static void
test_store_ctor_dtor() test_store_ctor_dtor()
{ {
TempDir tempdir; TempDir tempdir;
Mu::Store store{tempdir.path(), "/tmp", {}, {}}; auto store{Store::make_new(tempdir.path(), "/tmp", {}, {})};
assert_valid_result(store);
g_assert_true(store.empty()); g_assert_true(store->empty());
g_assert_cmpuint(0, ==, store.size()); g_assert_cmpuint(0, ==, store->size());
g_assert_cmpstr(MU_STORE_SCHEMA_VERSION, ==, g_assert_cmpstr(MU_STORE_SCHEMA_VERSION, ==,
store.properties().schema_version.c_str()); store->properties().schema_version.c_str());
} }
static void static void
@ -57,37 +58,38 @@ test_store_add_count_remove()
{ {
TempDir tempdir{false}; TempDir tempdir{false};
Mu::Store store{tempdir.path() + "/xapian", MuTestMaildir, {}, {}}; auto store{Store::make_new(tempdir.path() + "/xapian", MuTestMaildir, {}, {})};
assert_valid_result(store);
const auto msgpath{MuTestMaildir + "/cur/1283599333.1840_11.cthulhu!2,"}; const auto msgpath{MuTestMaildir + "/cur/1283599333.1840_11.cthulhu!2,"};
const auto id1 = store.add_message(msgpath); const auto id1 = store->add_message(msgpath);
assert_valid_result(id1); assert_valid_result(id1);
store.commit(); store->commit();
g_assert_cmpuint(store.size(), ==, 1); g_assert_cmpuint(store->size(), ==, 1);
g_assert_true(store.contains_message(msgpath)); g_assert_true(store->contains_message(msgpath));
g_assert_true(store.contains_message(msgpath)); g_assert_true(store->contains_message(msgpath));
const auto id2 = store.add_message(MuTestMaildir2 + "/bar/cur/mail3"); const auto id2 = store->add_message(MuTestMaildir2 + "/bar/cur/mail3");
g_assert_false(!!id2); // wrong maildir. g_assert_false(!!id2); // wrong maildir.
store.commit(); store->commit();
const auto msg3path{MuTestMaildir + "/cur/1252168370_3.14675.cthulhu!2,S"}; const auto msg3path{MuTestMaildir + "/cur/1252168370_3.14675.cthulhu!2,S"};
const auto id3 = store.add_message(msg3path); const auto id3 = store->add_message(msg3path);
assert_valid_result(id3); assert_valid_result(id3);
g_assert_cmpuint(store.size(), ==, 2); g_assert_cmpuint(store->size(), ==, 2);
g_assert_true(store.contains_message(msg3path)); g_assert_true(store->contains_message(msg3path));
store.remove_message(id1.value()); store->remove_message(id1.value());
g_assert_cmpuint(store.size(), ==, 1); g_assert_cmpuint(store->size(), ==, 1);
g_assert_false( g_assert_false(
store.contains_message(MuTestMaildir + "/cur/1283599333.1840_11.cthulhu!2,")); store->contains_message(MuTestMaildir + "/cur/1283599333.1840_11.cthulhu!2,"));
store.remove_message(msg3path); store->remove_message(msg3path);
g_assert_true(store.empty()); g_assert_true(store->empty());
g_assert_false(store.contains_message(msg3path)); g_assert_false(store->contains_message(msg3path));
} }
@ -126,23 +128,24 @@ statement you can use something like:
goto * instructions[pOp->opcode]; goto * instructions[pOp->opcode];
)"; )";
TempDir tempdir; TempDir tempdir;
Mu::Store store{tempdir.path(), "/home/test/Maildir", {}, {}}; auto store{Store::make_new(tempdir.path(), "/home/test/Maildir", {}, {})};
assert_valid_result(store);
const auto msgpath{"/home/test/Maildir/inbox/cur/1649279256.107710_1.evergrey:2,S"}; const auto msgpath{"/home/test/Maildir/inbox/cur/1649279256.107710_1.evergrey:2,S"};
auto message{Message::make_from_text(test_message_1, msgpath)}; auto message{Message::make_from_text(test_message_1, msgpath)};
assert_valid_result(message); assert_valid_result(message);
const auto docid = store.add_message(*message); const auto docid = store->add_message(*message);
assert_valid_result(docid); assert_valid_result(docid);
g_assert_cmpuint(store.size(),==, 1); g_assert_cmpuint(store->size(),==, 1);
auto msg2{store.find_message(*docid)}; auto msg2{store->find_message(*docid)};
g_assert_true(!!msg2); g_assert_true(!!msg2);
assert_equal(message->path(), msg2->path()); assert_equal(message->path(), msg2->path());
g_assert_true(store.contains_message(message->path())); g_assert_true(store->contains_message(message->path()));
const auto qr = store.run_query("to:sqlite-dev@sqlite.org"); const auto qr = store->run_query("to:sqlite-dev@sqlite.org");
g_assert_true(!!qr); g_assert_true(!!qr);
g_assert_cmpuint(qr->size(), ==, 1); g_assert_cmpuint(qr->size(), ==, 1);
} }
@ -204,22 +207,23 @@ World!
)"; )";
TempDir tempdir; TempDir tempdir;
Mu::Store store{tempdir.path(), "/home/test/Maildir", {}, {}}; auto store{Store::make_new(tempdir.path(), "/home/test/Maildir", {}, {})};
assert_valid_result(store);
auto message{Message::make_from_text( auto message{Message::make_from_text(
msg_text, msg_text,
"/home/test/Maildir/inbox/cur/1649279256.abcde_1.evergrey:2,S")}; "/home/test/Maildir/inbox/cur/1649279256.abcde_1.evergrey:2,S")};
assert_valid_result(message); assert_valid_result(message);
const auto docid = store.add_message(*message); const auto docid = store->add_message(*message);
assert_valid_result(docid); assert_valid_result(docid);
store.commit(); store->commit();
auto msg2{store.find_message(*docid)}; auto msg2{store->find_message(*docid)};
g_assert_true(!!msg2); g_assert_true(!!msg2);
assert_equal(message->path(), msg2->path()); assert_equal(message->path(), msg2->path());
g_assert_true(store.contains_message(message->path())); g_assert_true(store->contains_message(message->path()));
// for (auto&& term = msg2->document().xapian_document().termlist_begin(); // for (auto&& term = msg2->document().xapian_document().termlist_begin();
// term != msg2->document().xapian_document().termlist_end(); ++term) // term != msg2->document().xapian_document().termlist_end(); ++term)
@ -272,21 +276,23 @@ Yes, that would be excellent.
// Index it into a store. // Index it into a store.
TempDir tempdir; TempDir tempdir;
Store store{tempdir.path(), tempdir2.path() + "/Maildir", {}, {}}; auto store{Store::make_new(tempdir.path(), tempdir2.path() + "/Maildir", {}, {})};
store.indexer().start({}); assert_valid_result(store);
store->indexer().start({});
size_t n{}; size_t n{};
while (store.indexer().is_running()) { while (store->indexer().is_running()) {
std::this_thread::sleep_for(100ms); std::this_thread::sleep_for(100ms);
g_assert_cmpuint(n++,<=,25); g_assert_cmpuint(n++,<=,25);
} }
g_assert_true(!store.indexer().is_running()); g_assert_true(!store->indexer().is_running());
const auto& prog{store.indexer().progress()}; const auto& prog{store->indexer().progress()};
g_assert_cmpuint(prog.updated,==,1); g_assert_cmpuint(prog.updated,==,1);
g_assert_cmpuint(store.size(), ==, 1); g_assert_cmpuint(store->size(), ==, 1);
g_assert_false(store.empty()); g_assert_false(store->empty());
// Find the message // Find the message
auto qr = store.run_query("path:" + tempdir2.path() + "/Maildir/a/new/msg"); auto qr = store->run_query("path:" + tempdir2.path() + "/Maildir/a/new/msg");
assert_valid_result(qr); assert_valid_result(qr);
g_assert_cmpuint(qr->size(),==,1); g_assert_cmpuint(qr->size(),==,1);
@ -301,7 +307,7 @@ Yes, that would be excellent.
// Move the message from new->cur // Move the message from new->cur
std::this_thread::sleep_for(1s); /* ctime should change */ std::this_thread::sleep_for(1s); /* ctime should change */
const auto msg3 = store.move_message(msg->docid(), {}, Flags::Seen); const auto msg3 = store->move_message(msg->docid(), {}, Flags::Seen);
assert_valid_result(msg3); assert_valid_result(msg3);
assert_equal(msg3->maildir(), "/a"); assert_equal(msg3->maildir(), "/a");
assert_equal(msg3->path(), tempdir2.path() + "/Maildir/a/cur/msg:2,S"); assert_equal(msg3->path(), tempdir2.path() + "/Maildir/a/cur/msg:2,S");
@ -309,7 +315,7 @@ Yes, that would be excellent.
g_assert_false(::access(oldpath.c_str(), R_OK)==0); g_assert_false(::access(oldpath.c_str(), R_OK)==0);
g_debug("%s", msg3->to_sexp().to_sexp_string().c_str()); g_debug("%s", msg3->to_sexp().to_sexp_string().c_str());
g_assert_cmpuint(store.size(), ==, 1); g_assert_cmpuint(store->size(), ==, 1);
} }

View File

@ -26,6 +26,7 @@
#include "test-mu-common.hh" #include "test-mu-common.hh"
#include "mu-parser.hh" #include "mu-parser.hh"
#include "utils/mu-result.hh"
#include "utils/mu-utils.hh" #include "utils/mu-utils.hh"
using namespace Mu; using namespace Mu;
@ -42,10 +43,12 @@ test_cases(const CaseVec& cases)
{ {
char* tmpdir = test_mu_common_get_random_tmpdir(); char* tmpdir = test_mu_common_get_random_tmpdir();
g_assert(tmpdir); g_assert(tmpdir);
Mu::Store dummy_store{tmpdir, "/tmp", {}, {}}; auto dummy_store{Store::make_new(tmpdir, "/tmp", {}, {})};
assert_valid_result(dummy_store);
g_free(tmpdir); g_free(tmpdir);
Parser parser{dummy_store, Parser::Flags::UnitTest}; Parser parser{*dummy_store, Parser::Flags::UnitTest};
for (const auto& casus : cases) { for (const auto& casus : cases) {
WarningVec warnings; WarningVec warnings;

View File

@ -28,6 +28,7 @@
#include "mu-store.hh" #include "mu-store.hh"
#include "mu-query.hh" #include "mu-query.hh"
#include "index/mu-indexer.hh" #include "index/mu-indexer.hh"
#include "utils/mu-result.hh"
#include "utils/mu-utils.hh" #include "utils/mu-utils.hh"
#include "test-mu-common.hh" #include "test-mu-common.hh"
@ -40,10 +41,11 @@ test_query()
char* tdir; char* tdir;
tdir = test_mu_common_get_random_tmpdir(); tdir = test_mu_common_get_random_tmpdir();
Store store{tdir, std::string{MU_TESTMAILDIR}, {}, {}}; auto store = Store::make_new(tdir, std::string{MU_TESTMAILDIR}, {}, {});
assert_valid_result(store);
g_free(tdir); g_free(tdir);
auto&& idx{store.indexer()}; auto&& idx{store->indexer()};
g_assert_true(idx.start(Indexer::Config{})); g_assert_true(idx.start(Indexer::Config{}));
while (idx.is_running()) { while (idx.is_running()) {
@ -60,17 +62,17 @@ test_query()
item.message_id().value_or("<none>").c_str()); item.message_id().value_or("<none>").c_str());
}; };
g_assert_cmpuint(store.size(), ==, 19); g_assert_cmpuint(store->size(), ==, 19);
{ {
const auto res = store.run_query("", {}, QueryFlags::None); const auto res = store->run_query("", {}, QueryFlags::None);
g_assert_true(!!res); g_assert_true(!!res);
g_assert_cmpuint(res->size(), ==, 19); g_assert_cmpuint(res->size(), ==, 19);
dump_matches(*res); dump_matches(*res);
} }
{ {
const auto res = store.run_query("", Field::Id::Path, QueryFlags::None, 11); const auto res = store->run_query("", Field::Id::Path, QueryFlags::None, 11);
g_assert_true(!!res); g_assert_true(!!res);
g_assert_cmpuint(res->size(), ==, 11); g_assert_cmpuint(res->size(), ==, 11);
dump_matches(*res); dump_matches(*res);

View File

@ -116,16 +116,17 @@ report_error(const Mu::Error& err) noexcept
MuError MuError
Mu::mu_cmd_server(const MuConfig* opts, GError** err) Mu::mu_cmd_server(const MuConfig* opts, GError** err)
try { try {
Store store{mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB), false /*writable*/}; auto store = Store::make(mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB), Store::Options::Writable);
Server server{store, output_sexp_stdout}; if (!store)
throw store.error();
Server server{*store, output_sexp_stdout};
g_message("created server with store @ %s; maildir @ %s; debug-mode %s", g_message("created server with store @ %s; maildir @ %s; debug-mode %s",
store.properties().database_path.c_str(), store->properties().database_path.c_str(),
store.properties().root_maildir.c_str(), store->properties().root_maildir.c_str(),
opts->debug ? "yes" : "no"); opts->debug ? "yes" : "no");
tty = ::isatty(::fileno(stdout)); tty = ::isatty(::fileno(stdout));
const auto eval = std::string{opts->commands ? "(help :full t)" const auto eval = std::string{opts->commands ? "(help :full t)"
: opts->eval ? opts->eval : opts->eval ? opts->eval
: ""}; : ""};

View File

@ -549,9 +549,13 @@ cmd_init(const MuConfig* opts, GError** err)
++addrs; ++addrs;
} }
Mu::Store store(mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB), opts->maildir, my_addrs, conf); auto store = Store::make_new(mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB),
opts->maildir, my_addrs, conf);
if (!store)
throw store.error();
if (!opts->quiet) { if (!opts->quiet) {
cmd_info(store, opts, NULL); cmd_info(*store, opts, NULL);
std::cout << "\nstore created; use the 'index' command to fill/update it.\n"; std::cout << "\nstore created; use the 'index' command to fill/update it.\n";
} }
@ -561,9 +565,11 @@ cmd_init(const MuConfig* opts, GError** err)
static Result<void> static Result<void>
cmd_find(const MuConfig* opts) cmd_find(const MuConfig* opts)
{ {
Mu::Store store{mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB), true /*readonly*/}; auto store{Store::make(mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB))};
if (!store)
return mu_cmd_find(store, opts); return Err(store.error());
else
return mu_cmd_find(*store, opts);
} }
static void static void
@ -582,15 +588,22 @@ typedef MuError (*writable_store_func)(Mu::Store&, const MuConfig*, GError** err
static MuError static MuError
with_readonly_store(readonly_store_func func, const MuConfig* opts, GError** err) with_readonly_store(readonly_store_func func, const MuConfig* opts, GError** err)
{ {
const Mu::Store store{mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB), true /*readonly*/}; auto store{Store::make(mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB))};
return func(store, opts, err); if (!store)
throw store.error();
return func(*store, opts, err);
} }
static MuError static MuError
with_writable_store(writable_store_func func, const MuConfig* opts, GError** err) with_writable_store(writable_store_func func, const MuConfig* opts, GError** err)
{ {
Mu::Store store{mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB), false /*!readonly*/}; auto store{Store::make(mu_runtime_path(MU_RUNTIME_PATH_XAPIANDB),
return func(store, opts, err); Store::Options::Writable)};
if (!store)
throw store.error();
return func(*store, opts, err);
} }
static gboolean static gboolean

View File

@ -32,6 +32,7 @@
#include "test-mu-common.hh" #include "test-mu-common.hh"
#include "mu-query.hh" #include "mu-query.hh"
#include "utils/mu-result.hh"
#include "utils/mu-str.h" #include "utils/mu-str.h"
#include "utils/mu-utils.hh" #include "utils/mu-utils.hh"
#include "mu-store.hh" #include "mu-store.hh"
@ -90,7 +91,8 @@ run_and_count_matches(const std::string& xpath,
const std::string& expr, const std::string& expr,
Mu::QueryFlags flags = Mu::QueryFlags::None) Mu::QueryFlags flags = Mu::QueryFlags::None)
{ {
Mu::Store store{xpath}; auto store{Store::make(xpath)};
assert_valid_result(store);
// if (g_test_verbose()) { // if (g_test_verbose()) {
// std::cout << "==> mquery: " << store.parse_query(expr, false) << "\n"; // std::cout << "==> mquery: " << store.parse_query(expr, false) << "\n";
@ -99,7 +101,7 @@ run_and_count_matches(const std::string& xpath,
Mu::allow_warnings(); Mu::allow_warnings();
auto qres{store.run_query(expr, {}, flags)}; auto qres{store->run_query(expr, {}, flags)};
g_assert_true(!!qres); g_assert_true(!!qres);
assert_no_dups(*qres); assert_no_dups(*qres);
@ -237,11 +239,10 @@ test_mu_query_logic(void)
static void static void
test_mu_query_accented_chars_01(void) test_mu_query_accented_chars_01(void)
{ {
return; auto store = Store::make(DB_PATH1);
assert_valid_result(store);
Store store{DB_PATH1}; auto qres{store->run_query("fünkÿ")};
auto qres{store.run_query("fünkÿ")};
g_assert_true(!!qres); g_assert_true(!!qres);
g_assert_false(qres->empty()); g_assert_false(qres->empty());
@ -252,10 +253,6 @@ test_mu_query_accented_chars_01(void)
} }
assert_equal(msg->subject(), "Greetings from Lothlórien"); assert_equal(msg->subject(), "Greetings from Lothlórien");
const auto summ{to_string_opt_gchar(
mu_str_summarize(msg->body_text().value_or("").c_str(), 5))};
g_assert_true(!!summ);
assert_equal(*summ, "Let's write some fünkÿ text using umlauts. Foo.");
} }
static void static void