1*b0d29bc4SBrooks Davis // Copyright 2011 The Kyua Authors.
2*b0d29bc4SBrooks Davis // All rights reserved.
3*b0d29bc4SBrooks Davis //
4*b0d29bc4SBrooks Davis // Redistribution and use in source and binary forms, with or without
5*b0d29bc4SBrooks Davis // modification, are permitted provided that the following conditions are
6*b0d29bc4SBrooks Davis // met:
7*b0d29bc4SBrooks Davis //
8*b0d29bc4SBrooks Davis // * Redistributions of source code must retain the above copyright
9*b0d29bc4SBrooks Davis //   notice, this list of conditions and the following disclaimer.
10*b0d29bc4SBrooks Davis // * Redistributions in binary form must reproduce the above copyright
11*b0d29bc4SBrooks Davis //   notice, this list of conditions and the following disclaimer in the
12*b0d29bc4SBrooks Davis //   documentation and/or other materials provided with the distribution.
13*b0d29bc4SBrooks Davis // * Neither the name of Google Inc. nor the names of its contributors
14*b0d29bc4SBrooks Davis //   may be used to endorse or promote products derived from this software
15*b0d29bc4SBrooks Davis //   without specific prior written permission.
16*b0d29bc4SBrooks Davis //
17*b0d29bc4SBrooks Davis // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18*b0d29bc4SBrooks Davis // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19*b0d29bc4SBrooks Davis // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20*b0d29bc4SBrooks Davis // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21*b0d29bc4SBrooks Davis // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22*b0d29bc4SBrooks Davis // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23*b0d29bc4SBrooks Davis // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24*b0d29bc4SBrooks Davis // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25*b0d29bc4SBrooks Davis // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26*b0d29bc4SBrooks Davis // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27*b0d29bc4SBrooks Davis // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28*b0d29bc4SBrooks Davis 
29*b0d29bc4SBrooks Davis #include "store/write_backend.hpp"
30*b0d29bc4SBrooks Davis 
31*b0d29bc4SBrooks Davis #include <stdexcept>
32*b0d29bc4SBrooks Davis 
33*b0d29bc4SBrooks Davis #include "store/exceptions.hpp"
34*b0d29bc4SBrooks Davis #include "store/metadata.hpp"
35*b0d29bc4SBrooks Davis #include "store/read_backend.hpp"
36*b0d29bc4SBrooks Davis #include "store/write_transaction.hpp"
37*b0d29bc4SBrooks Davis #include "utils/env.hpp"
38*b0d29bc4SBrooks Davis #include "utils/format/macros.hpp"
39*b0d29bc4SBrooks Davis #include "utils/fs/path.hpp"
40*b0d29bc4SBrooks Davis #include "utils/logging/macros.hpp"
41*b0d29bc4SBrooks Davis #include "utils/noncopyable.hpp"
42*b0d29bc4SBrooks Davis #include "utils/sanity.hpp"
43*b0d29bc4SBrooks Davis #include "utils/stream.hpp"
44*b0d29bc4SBrooks Davis #include "utils/sqlite/database.hpp"
45*b0d29bc4SBrooks Davis #include "utils/sqlite/exceptions.hpp"
46*b0d29bc4SBrooks Davis #include "utils/sqlite/statement.ipp"
47*b0d29bc4SBrooks Davis 
48*b0d29bc4SBrooks Davis namespace fs = utils::fs;
49*b0d29bc4SBrooks Davis namespace sqlite = utils::sqlite;
50*b0d29bc4SBrooks Davis 
51*b0d29bc4SBrooks Davis 
52*b0d29bc4SBrooks Davis /// The current schema version.
53*b0d29bc4SBrooks Davis ///
54*b0d29bc4SBrooks Davis /// Any new database gets this schema version.  Existing databases with an older
55*b0d29bc4SBrooks Davis /// schema version must be first migrated to the current schema with
56*b0d29bc4SBrooks Davis /// migrate_schema() before they can be used.
57*b0d29bc4SBrooks Davis ///
58*b0d29bc4SBrooks Davis /// This must be kept in sync with the value in the corresponding schema_vX.sql
59*b0d29bc4SBrooks Davis /// file, where X matches this version number.
60*b0d29bc4SBrooks Davis ///
61*b0d29bc4SBrooks Davis /// This variable is not const to allow tests to modify it.  No other code
62*b0d29bc4SBrooks Davis /// should change its value.
63*b0d29bc4SBrooks Davis int store::detail::current_schema_version = 3;
64*b0d29bc4SBrooks Davis 
65*b0d29bc4SBrooks Davis 
66*b0d29bc4SBrooks Davis namespace {
67*b0d29bc4SBrooks Davis 
68*b0d29bc4SBrooks Davis 
69*b0d29bc4SBrooks Davis /// Checks if a database is empty (i.e. if it is new).
70*b0d29bc4SBrooks Davis ///
71*b0d29bc4SBrooks Davis /// \param db The database to check.
72*b0d29bc4SBrooks Davis ///
73*b0d29bc4SBrooks Davis /// \return True if the database is empty.
74*b0d29bc4SBrooks Davis static bool
empty_database(sqlite::database & db)75*b0d29bc4SBrooks Davis empty_database(sqlite::database& db)
76*b0d29bc4SBrooks Davis {
77*b0d29bc4SBrooks Davis     sqlite::statement stmt = db.create_statement("SELECT * FROM sqlite_master");
78*b0d29bc4SBrooks Davis     return !stmt.step();
79*b0d29bc4SBrooks Davis }
80*b0d29bc4SBrooks Davis 
81*b0d29bc4SBrooks Davis 
82*b0d29bc4SBrooks Davis }  // anonymous namespace
83*b0d29bc4SBrooks Davis 
84*b0d29bc4SBrooks Davis 
85*b0d29bc4SBrooks Davis /// Calculates the path to the schema file for the database.
86*b0d29bc4SBrooks Davis ///
87*b0d29bc4SBrooks Davis /// \return The path to the installed schema_vX.sql file that matches the
88*b0d29bc4SBrooks Davis /// current_schema_version.
89*b0d29bc4SBrooks Davis fs::path
schema_file(void)90*b0d29bc4SBrooks Davis store::detail::schema_file(void)
91*b0d29bc4SBrooks Davis {
92*b0d29bc4SBrooks Davis     return fs::path(utils::getenv_with_default("KYUA_STOREDIR", KYUA_STOREDIR))
93*b0d29bc4SBrooks Davis         / (F("schema_v%s.sql") % current_schema_version);
94*b0d29bc4SBrooks Davis }
95*b0d29bc4SBrooks Davis 
96*b0d29bc4SBrooks Davis 
97*b0d29bc4SBrooks Davis /// Initializes an empty database.
98*b0d29bc4SBrooks Davis ///
99*b0d29bc4SBrooks Davis /// \param db The database to initialize.
100*b0d29bc4SBrooks Davis ///
101*b0d29bc4SBrooks Davis /// \return The metadata record written into the new database.
102*b0d29bc4SBrooks Davis ///
103*b0d29bc4SBrooks Davis /// \throw store::error If there is a problem initializing the database.
104*b0d29bc4SBrooks Davis store::metadata
initialize(sqlite::database & db)105*b0d29bc4SBrooks Davis store::detail::initialize(sqlite::database& db)
106*b0d29bc4SBrooks Davis {
107*b0d29bc4SBrooks Davis     PRE(empty_database(db));
108*b0d29bc4SBrooks Davis 
109*b0d29bc4SBrooks Davis     const fs::path schema = schema_file();
110*b0d29bc4SBrooks Davis 
111*b0d29bc4SBrooks Davis     LI(F("Populating new database with schema from %s") % schema);
112*b0d29bc4SBrooks Davis     try {
113*b0d29bc4SBrooks Davis         db.exec(utils::read_file(schema));
114*b0d29bc4SBrooks Davis 
115*b0d29bc4SBrooks Davis         const metadata metadata = metadata::fetch_latest(db);
116*b0d29bc4SBrooks Davis         LI(F("New metadata entry %s") % metadata.timestamp());
117*b0d29bc4SBrooks Davis         if (metadata.schema_version() != detail::current_schema_version) {
118*b0d29bc4SBrooks Davis             UNREACHABLE_MSG(F("current_schema_version is out of sync with "
119*b0d29bc4SBrooks Davis                               "%s") % schema);
120*b0d29bc4SBrooks Davis         }
121*b0d29bc4SBrooks Davis         return metadata;
122*b0d29bc4SBrooks Davis     } catch (const store::integrity_error& e) {
123*b0d29bc4SBrooks Davis         // Could be raised by metadata::fetch_latest.
124*b0d29bc4SBrooks Davis         UNREACHABLE_MSG("Inconsistent code while creating a database");
125*b0d29bc4SBrooks Davis     } catch (const sqlite::error& e) {
126*b0d29bc4SBrooks Davis         throw error(F("Failed to initialize database: %s") % e.what());
127*b0d29bc4SBrooks Davis     } catch (const std::runtime_error& e) {
128*b0d29bc4SBrooks Davis         throw error(F("Cannot read database schema '%s'") % schema);
129*b0d29bc4SBrooks Davis     }
130*b0d29bc4SBrooks Davis }
131*b0d29bc4SBrooks Davis 
132*b0d29bc4SBrooks Davis 
133*b0d29bc4SBrooks Davis /// Internal implementation for the backend.
134*b0d29bc4SBrooks Davis struct store::write_backend::impl : utils::noncopyable {
135*b0d29bc4SBrooks Davis     /// The SQLite database this backend talks to.
136*b0d29bc4SBrooks Davis     sqlite::database database;
137*b0d29bc4SBrooks Davis 
138*b0d29bc4SBrooks Davis     /// Constructor.
139*b0d29bc4SBrooks Davis     ///
140*b0d29bc4SBrooks Davis     /// \param database_ The SQLite database instance.
implstore::write_backend::impl141*b0d29bc4SBrooks Davis     impl(sqlite::database& database_) : database(database_)
142*b0d29bc4SBrooks Davis     {
143*b0d29bc4SBrooks Davis     }
144*b0d29bc4SBrooks Davis };
145*b0d29bc4SBrooks Davis 
146*b0d29bc4SBrooks Davis 
147*b0d29bc4SBrooks Davis /// Constructs a new backend.
148*b0d29bc4SBrooks Davis ///
149*b0d29bc4SBrooks Davis /// \param pimpl_ The internal data.
write_backend(impl * pimpl_)150*b0d29bc4SBrooks Davis store::write_backend::write_backend(impl* pimpl_) :
151*b0d29bc4SBrooks Davis     _pimpl(pimpl_)
152*b0d29bc4SBrooks Davis {
153*b0d29bc4SBrooks Davis }
154*b0d29bc4SBrooks Davis 
155*b0d29bc4SBrooks Davis 
156*b0d29bc4SBrooks Davis /// Destructor.
~write_backend(void)157*b0d29bc4SBrooks Davis store::write_backend::~write_backend(void)
158*b0d29bc4SBrooks Davis {
159*b0d29bc4SBrooks Davis }
160*b0d29bc4SBrooks Davis 
161*b0d29bc4SBrooks Davis 
162*b0d29bc4SBrooks Davis /// Opens a database in read-write mode and creates it if necessary.
163*b0d29bc4SBrooks Davis ///
164*b0d29bc4SBrooks Davis /// \param file The database file to be opened.
165*b0d29bc4SBrooks Davis ///
166*b0d29bc4SBrooks Davis /// \return The backend representation.
167*b0d29bc4SBrooks Davis ///
168*b0d29bc4SBrooks Davis /// \throw store::error If there is any problem opening or creating
169*b0d29bc4SBrooks Davis ///     the database.
170*b0d29bc4SBrooks Davis store::write_backend
open_rw(const fs::path & file)171*b0d29bc4SBrooks Davis store::write_backend::open_rw(const fs::path& file)
172*b0d29bc4SBrooks Davis {
173*b0d29bc4SBrooks Davis     sqlite::database db = detail::open_and_setup(
174*b0d29bc4SBrooks Davis         file, sqlite::open_readwrite | sqlite::open_create);
175*b0d29bc4SBrooks Davis     if (!empty_database(db))
176*b0d29bc4SBrooks Davis         throw error(F("%s already exists and is not empty; cannot open "
177*b0d29bc4SBrooks Davis                       "for write") % file);
178*b0d29bc4SBrooks Davis     detail::initialize(db);
179*b0d29bc4SBrooks Davis     return write_backend(new impl(db));
180*b0d29bc4SBrooks Davis }
181*b0d29bc4SBrooks Davis 
182*b0d29bc4SBrooks Davis 
183*b0d29bc4SBrooks Davis /// Closes the SQLite database.
184*b0d29bc4SBrooks Davis void
close(void)185*b0d29bc4SBrooks Davis store::write_backend::close(void)
186*b0d29bc4SBrooks Davis {
187*b0d29bc4SBrooks Davis     _pimpl->database.close();
188*b0d29bc4SBrooks Davis }
189*b0d29bc4SBrooks Davis 
190*b0d29bc4SBrooks Davis 
191*b0d29bc4SBrooks Davis /// Gets the connection to the SQLite database.
192*b0d29bc4SBrooks Davis ///
193*b0d29bc4SBrooks Davis /// \return A database connection.
194*b0d29bc4SBrooks Davis sqlite::database&
database(void)195*b0d29bc4SBrooks Davis store::write_backend::database(void)
196*b0d29bc4SBrooks Davis {
197*b0d29bc4SBrooks Davis     return _pimpl->database;
198*b0d29bc4SBrooks Davis }
199*b0d29bc4SBrooks Davis 
200*b0d29bc4SBrooks Davis 
201*b0d29bc4SBrooks Davis /// Opens a write-only transaction.
202*b0d29bc4SBrooks Davis ///
203*b0d29bc4SBrooks Davis /// \return A new transaction.
204*b0d29bc4SBrooks Davis store::write_transaction
start_write(void)205*b0d29bc4SBrooks Davis store::write_backend::start_write(void)
206*b0d29bc4SBrooks Davis {
207*b0d29bc4SBrooks Davis     return write_transaction(*this);
208*b0d29bc4SBrooks Davis }
209