blob: 4d89fff7070077238fc635e94b32cbfb81fb1780 [file] [log] [blame]
[email protected]2eec0a22012-07-24 01:59:581// Copyright (c) 2012 The Chromium Authors. All rights reserved.
[email protected]e5ffd0e42009-09-11 21:30:562// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
Victor Costancfbfa602018-08-01 23:24:465#ifndef SQL_DATABASE_H_
6#define SQL_DATABASE_H_
[email protected]e5ffd0e42009-09-11 21:30:567
avi0b519202015-12-21 07:25:198#include <stddef.h>
tfarina720d4f32015-05-11 22:31:269#include <stdint.h>
mostynbd82cd9952016-04-11 20:05:3410#include <memory>
[email protected]e5ffd0e42009-09-11 21:30:5611#include <set>
[email protected]7d6aee4e2009-09-12 01:12:3312#include <string>
Victor Costan87cf8c72018-07-19 19:36:0413#include <utility>
[email protected]80abf152013-05-22 12:42:4214#include <vector>
[email protected]e5ffd0e42009-09-11 21:30:5615
[email protected]c3881b372013-05-17 08:39:4616#include "base/callback.h"
[email protected]9fe37552011-12-23 17:07:2017#include "base/compiler_specific.h"
Victor Costane56cc682018-12-27 01:53:4618#include "base/component_export.h"
Dmitry Skibaa9ad8fe42017-08-16 21:02:4819#include "base/containers/flat_map.h"
Shubham Aggarwal7b60fe6e2020-10-15 06:00:2820#include "base/feature_list.h"
shessc8cd2a162015-10-22 20:30:4621#include "base/gtest_prod_util.h"
[email protected]3b63f8f42011-03-28 01:54:1522#include "base/memory/ref_counted.h"
Victor Costan12daa3ac92018-07-19 01:05:5823#include "base/sequence_checker.h"
Victor Costan83d940d62021-07-13 00:15:2024#include "base/strings/string_piece.h"
Etienne Pierre-Doray0400dfb62018-12-03 19:12:2525#include "base/threading/scoped_blocking_call.h"
Victor Costan7f6abbbe2018-07-29 02:57:2726#include "sql/internal_api_token.h"
Shubham Aggarwal7b60fe6e2020-10-15 06:00:2827#include "sql/sql_features.h"
Victor Costan12daa3ac92018-07-19 01:05:5828#include "sql/statement_id.h"
Anton Bikineev3ac3d302021-05-15 17:54:0129#include "third_party/abseil-cpp/absl/types/optional.h"
[email protected]e5ffd0e42009-09-11 21:30:5630
[email protected]e5ffd0e42009-09-11 21:30:5631struct sqlite3;
32struct sqlite3_stmt;
33
[email protected]a3ef4832013-02-02 05:12:3334namespace base {
35class FilePath;
dskibab4199f82016-11-21 20:16:1336namespace trace_event {
ssid1f4e5362016-12-08 20:41:3837class ProcessMemoryDump;
Victor Costan87cf8c72018-07-19 19:36:0438} // namespace trace_event
39} // namespace base
[email protected]a3ef4832013-02-02 05:12:3340
[email protected]e5ffd0e42009-09-11 21:30:5641namespace sql {
42
Victor Costancfbfa602018-08-01 23:24:4643class DatabaseMemoryDumpProvider;
[email protected]e5ffd0e42009-09-11 21:30:5644class Statement;
45
shess58b8df82015-06-03 00:19:3246namespace test {
shess976814402016-06-21 06:56:2547class ScopedErrorExpecter;
Victor Costan87cf8c72018-07-19 19:36:0448} // namespace test
shess58b8df82015-06-03 00:19:3249
Shubham Aggarwal7b60fe6e2020-10-15 06:00:2850struct COMPONENT_EXPORT(SQL) DatabaseOptions {
51 // Default page size for newly created databases.
52 //
53 // Guaranteed to match SQLITE_DEFAULT_PAGE_SIZE.
54 static constexpr int kDefaultPageSize = 4096;
55
56 // If true, the database can only be opened by one process at a time.
57 //
Shubham Aggarwalb30a0cee2021-01-28 15:11:2358 // SQLite supports a locking protocol that allows multiple processes to safely
59 // operate on the same database at the same time. The locking protocol is used
60 // on every transaction, and comes with a small performance penalty.
61 //
62 // Setting this to true causes the locking protocol to be used once, when the
63 // database is opened. No other process will be able to access the database at
64 // the same time.
65 //
66 // More details at https://www.sqlite.org/pragma.html#pragma_locking_mode
67 //
68 // SQLite's locking protocol is summarized at
69 // https://www.sqlite.org/c3ref/io_methods.html
70 //
Shubham Aggarwal7b60fe6e2020-10-15 06:00:2871 // Exclusive mode is strongly recommended. It reduces the I/O cost of setting
72 // up a transaction. It also removes the need of handling transaction failures
73 // due to lock contention.
74 bool exclusive_locking = true;
75
76 // If true, enables SQLite's Write-Ahead Logging (WAL).
77 //
78 // WAL integration is under development, and should not be used in shipping
79 // Chrome features yet. In particular, our custom database recovery code does
80 // not support the WAL log file.
81 //
Shubham Aggarwalb30a0cee2021-01-28 15:11:2382 // WAL mode is currently not fully supported on FuchsiaOS. It will only be
83 // turned on if the database is also using exclusive locking mode.
84 // (https://crbug.com/1082059)
85 //
86 // Note: Changing page size is not supported when in WAL mode. So running
87 // 'PRAGMA page_size = <new-size>' will result in no-ops.
88 //
Shubham Aggarwal7b60fe6e2020-10-15 06:00:2889 // More details at https://www.sqlite.org/wal.html
90 bool wal_mode =
91 base::FeatureList::IsEnabled(sql::features::kEnableWALModeByDefault);
92
93 // Database page size.
94 //
95 // Larger page sizes result in shallower B-trees, because they allow an inner
96 // page to hold more keys. On the flip side, larger page sizes may result in
97 // more I/O when making small changes to existing records.
Shubham Aggarwalb30a0cee2021-01-28 15:11:2398 //
99 // Must be a power of two between 512 and 65536 inclusive.
Shubham Aggarwal7b60fe6e2020-10-15 06:00:28100 int page_size = kDefaultPageSize;
101
102 // The size of in-memory cache, in pages.
103 //
104 // SQLite's database cache will take up at most (`page_size` * `cache_size`)
105 // bytes of RAM.
106 //
107 // 0 invokes SQLite's default, which is currently to size up the cache to use
108 // exactly 2,048,000 bytes of RAM.
109 int cache_size = 0;
110};
111
Victor Costan87cf8c72018-07-19 19:36:04112// Handle to an open SQLite database.
113//
114// Instances of this class are thread-unsafe and DCHECK that they are accessed
115// on the same sequence.
Victor Costane56cc682018-12-27 01:53:46116class COMPONENT_EXPORT(SQL) Database {
[email protected]e5ffd0e42009-09-11 21:30:56117 private:
118 class StatementRef; // Forward declaration, see real one below.
119
120 public:
[email protected]765b44502009-10-02 05:01:42121 // The database is opened by calling Open[InMemory](). Any uncommitted
122 // transactions will be rolled back when this object is deleted.
Shubham Aggarwal7b60fe6e2020-10-15 06:00:28123 //
124 // This constructor is deprecated.
125 // TODO(crbug.com/1126968): Remove this constructor after migrating all
126 // uses to the explicit constructor below.
Victor Costancfbfa602018-08-01 23:24:46127 Database();
Shubham Aggarwal7b60fe6e2020-10-15 06:00:28128 // |options| only affects newly created databases.
129 explicit Database(DatabaseOptions options);
Victor Costan00c76432021-07-07 16:55:58130 Database(const Database&) = delete;
131 Database& operator=(const Database&) = delete;
Victor Costancfbfa602018-08-01 23:24:46132 ~Database();
[email protected]e5ffd0e42009-09-11 21:30:56133
Ken Rockot01687422020-08-17 18:00:59134 // Allows mmapping to be disabled globally by default in the calling process.
135 // Must be called before any threads attempt to create a Database.
136 //
137 // TODO(crbug.com/1117049): Remove this global configuration.
138 static void DisableMmapByDefault();
139
[email protected]e5ffd0e42009-09-11 21:30:56140 // Pre-init configuration ----------------------------------------------------
141
Victor Costan7f6abbbe2018-07-29 02:57:27142 // The page size that will be used when creating a new database.
Shubham Aggarwal7b60fe6e2020-10-15 06:00:28143 int page_size() const { return options_.page_size; }
Victor Costan7f6abbbe2018-07-29 02:57:27144
Shubham Aggarwalbe4f97ce2020-06-19 15:58:57145 // Returns whether a database will be opened in WAL mode.
146 bool UseWALMode() const;
147
shessa62504d2016-11-07 19:26:12148 // Call to use alternative status-tracking for mmap. Usually this is tracked
149 // in the meta table, but some databases have no meta table.
150 // TODO(shess): Maybe just have all databases use the alt option?
151 void set_mmap_alt_status() { mmap_alt_status_ = true; }
152
Victor Costan87cf8c72018-07-19 19:36:04153 // Opt out of memory-mapped file I/O.
shess7dbd4dee2015-10-06 17:39:16154 void set_mmap_disabled() { mmap_disabled_ = true; }
155
[email protected]c3881b372013-05-17 08:39:46156 // Set an error-handling callback. On errors, the error number (and
157 // statement, if available) will be passed to the callback.
158 //
159 // If no callback is set, the default action is to crash in debug
160 // mode or return failure in release mode.
Victor Costanc7e7f2e2018-07-18 20:07:55161 using ErrorCallback = base::RepeatingCallback<void(int, Statement*)>;
[email protected]c3881b372013-05-17 08:39:46162 void set_error_callback(const ErrorCallback& callback) {
163 error_callback_ = callback;
164 }
Victor Costan87cf8c72018-07-19 19:36:04165 bool has_error_callback() const { return !error_callback_.is_null(); }
166 void reset_error_callback() { error_callback_.Reset(); }
[email protected]c3881b372013-05-17 08:39:46167
Victor Costan90dae262021-06-01 21:01:08168 // Developer-friendly database ID used in logging output and memory dumps.
shess58b8df82015-06-03 00:19:32169 void set_histogram_tag(const std::string& tag);
[email protected]c088e3a32013-01-03 23:59:14170
[email protected]579446c2013-12-16 18:36:52171 // Run "PRAGMA integrity_check" and post each line of
172 // results into |messages|. Returns the success of running the
173 // statement - per the SQLite documentation, if no errors are found the
174 // call should succeed, and a single value "ok" should be in messages.
175 bool FullIntegrityCheck(std::vector<std::string>* messages);
176
177 // Runs "PRAGMA quick_check" and, unlike the FullIntegrityCheck method,
178 // interprets the results returning true if the the statement executes
179 // without error and results in a single "ok" value.
180 bool QuickIntegrityCheck() WARN_UNUSED_RESULT;
[email protected]80abf152013-05-22 12:42:42181
afakhry7c9abe72016-08-05 17:33:19182 // Meant to be called from a client error callback so that it's able to
183 // get diagnostic information about the database.
184 std::string GetDiagnosticInfo(int extended_error, Statement* statement);
185
ssid1f4e5362016-12-08 20:41:38186 // Reports memory usage into provided memory dump with the given name.
187 bool ReportMemoryUsage(base::trace_event::ProcessMemoryDump* pmd,
188 const std::string& dump_name);
dskibab4199f82016-11-21 20:16:13189
[email protected]e5ffd0e42009-09-11 21:30:56190 // Initialization ------------------------------------------------------------
191
Victor Costancfbfa602018-08-01 23:24:46192 // Initializes the SQL database for the given file, returning true if the
[email protected]35f2094c2009-12-29 22:46:55193 // file could be opened. You can call this or OpenInMemory.
[email protected]a3ef4832013-02-02 05:12:33194 bool Open(const base::FilePath& path) WARN_UNUSED_RESULT;
[email protected]765b44502009-10-02 05:01:42195
Victor Costancfbfa602018-08-01 23:24:46196 // Initializes the SQL database for a temporary in-memory database. There
[email protected]765b44502009-10-02 05:01:42197 // will be no associated file on disk, and the initial database will be
[email protected]35f2094c2009-12-29 22:46:55198 // empty. You can call this or Open.
[email protected]9fe37552011-12-23 17:07:20199 bool OpenInMemory() WARN_UNUSED_RESULT;
[email protected]765b44502009-10-02 05:01:42200
[email protected]8d409412013-07-19 18:25:30201 // Create a temporary on-disk database. The database will be
202 // deleted after close. This kind of database is similar to
203 // OpenInMemory() for small databases, but can page to disk if the
204 // database becomes large.
205 bool OpenTemporary() WARN_UNUSED_RESULT;
206
[email protected]41a97c812013-02-07 02:35:38207 // Returns true if the database has been successfully opened.
Victor Costan87cf8c72018-07-19 19:36:04208 bool is_open() const { return static_cast<bool>(db_); }
[email protected]e5ffd0e42009-09-11 21:30:56209
210 // Closes the database. This is automatically performed on destruction for
211 // you, but this allows you to close the database early. You must not call
212 // any other functions after closing it. It is permissable to call Close on
213 // an uninitialized or already-closed database.
214 void Close();
215
[email protected]8ada10f2013-12-21 00:42:34216 // Reads the first <cache-size>*<page-size> bytes of the file to prime the
217 // filesystem cache. This can be more efficient than faulting pages
218 // individually. Since this involves blocking I/O, it should only be used if
219 // the caller will immediately read a substantial amount of data from the
220 // database.
[email protected]e5ffd0e42009-09-11 21:30:56221 //
[email protected]8ada10f2013-12-21 00:42:34222 // TODO(shess): Design a set of histograms or an experiment to inform this
223 // decision. Preloading should almost always improve later performance
224 // numbers for this database simply because it pulls operations forward, but
225 // if the data isn't actually used soon then preloading just slows down
226 // everything else.
[email protected]e5ffd0e42009-09-11 21:30:56227 void Preload();
228
Victor Costan52bef812018-12-05 07:41:49229 // Release all non-essential memory associated with this database connection.
230 void TrimMemory();
[email protected]be7995f12013-07-18 18:49:14231
[email protected]8e0c01282012-04-06 19:36:49232 // Raze the database to the ground. This approximates creating a
233 // fresh database from scratch, within the constraints of SQLite's
234 // locking protocol (locks and open handles can make doing this with
235 // filesystem operations problematic). Returns true if the database
236 // was razed.
237 //
238 // false is returned if the database is locked by some other
Carlos Knippschild46800c9f2017-09-02 02:21:43239 // process.
[email protected]8e0c01282012-04-06 19:36:49240 //
241 // NOTE(shess): Raze() will DCHECK in the following situations:
242 // - database is not open.
Victor Costancfbfa602018-08-01 23:24:46243 // - the database has a transaction open.
[email protected]8e0c01282012-04-06 19:36:49244 // - a SQLite issue occurs which is structural in nature (like the
245 // statements used are broken).
246 // Since Raze() is expected to be called in unexpected situations,
247 // these all return false, since it is unlikely that the caller
248 // could fix them.
[email protected]6d42f152012-11-10 00:38:24249 //
Shubham Aggarwal7b60fe6e2020-10-15 06:00:28250 // The database's page size is taken from |options_.page_size|. The
[email protected]6d42f152012-11-10 00:38:24251 // existing database's |auto_vacuum| setting is lost (the
252 // possibility of corruption makes it unreliable to pull it from the
253 // existing database). To re-enable on the empty database requires
254 // running "PRAGMA auto_vacuum = 1;" then "VACUUM".
255 //
256 // NOTE(shess): For Android, SQLITE_DEFAULT_AUTOVACUUM is set to 1,
257 // so Raze() sets auto_vacuum to 1.
258 //
Victor Costancfbfa602018-08-01 23:24:46259 // TODO(shess): Raze() needs a database so cannot clear SQLITE_NOTADB.
260 // TODO(shess): Bake auto_vacuum into Database's API so it can
[email protected]6d42f152012-11-10 00:38:24261 // just pick up the default.
[email protected]8e0c01282012-04-06 19:36:49262 bool Raze();
[email protected]8e0c01282012-04-06 19:36:49263
[email protected]41a97c812013-02-07 02:35:38264 // Breaks all outstanding transactions (as initiated by
[email protected]8d409412013-07-19 18:25:30265 // BeginTransaction()), closes the SQLite database, and poisons the
Victor Costancfbfa602018-08-01 23:24:46266 // object so that all future operations against the Database (or
[email protected]8d409412013-07-19 18:25:30267 // its Statements) fail safely, without side effects.
[email protected]41a97c812013-02-07 02:35:38268 //
[email protected]8d409412013-07-19 18:25:30269 // This is intended as an alternative to Close() in error callbacks.
270 // Close() should still be called at some point.
271 void Poison();
272
273 // Raze() the database and Poison() the handle. Returns the return
274 // value from Raze().
275 // TODO(shess): Rename to RazeAndPoison().
[email protected]41a97c812013-02-07 02:35:38276 bool RazeAndClose();
277
Victor Costancfbfa602018-08-01 23:24:46278 // Delete the underlying database files associated with |path|. This should be
279 // used on a database which is not opened by any Database instance. Open
280 // Database instances pointing to the database can cause odd results or
281 // corruption (for instance if a hot journal is deleted but the associated
282 // database is not).
[email protected]8d2e39e2013-06-24 05:55:08283 //
284 // Returns true if the database file and associated journals no
285 // longer exist, false otherwise. If the database has never
286 // existed, this will return true.
287 static bool Delete(const base::FilePath& path);
288
[email protected]e5ffd0e42009-09-11 21:30:56289 // Transactions --------------------------------------------------------------
290
291 // Transaction management. We maintain a virtual transaction stack to emulate
292 // nested transactions since sqlite can't do nested transactions. The
293 // limitation is you can't roll back a sub transaction: if any transaction
294 // fails, all transactions open will also be rolled back. Any nested
295 // transactions after one has rolled back will return fail for Begin(). If
296 // Begin() fails, you must not call Commit or Rollback().
297 //
298 // Normally you should use sql::Transaction to manage a transaction, which
299 // will scope it to a C++ context.
300 bool BeginTransaction();
301 void RollbackTransaction();
302 bool CommitTransaction();
303
[email protected]8d409412013-07-19 18:25:30304 // Rollback all outstanding transactions. Use with care, there may
305 // be scoped transactions on the stack.
306 void RollbackAllTransactions();
307
[email protected]e5ffd0e42009-09-11 21:30:56308 // Returns the current transaction nesting, which will be 0 if there are
309 // no open transactions.
310 int transaction_nesting() const { return transaction_nesting_; }
311
[email protected]8d409412013-07-19 18:25:30312 // Attached databases---------------------------------------------------------
313
Victor Costan7f6abbbe2018-07-29 02:57:27314 // SQLite supports attaching multiple database files to a single connection.
[email protected]8d409412013-07-19 18:25:30315 //
Victor Costan7f6abbbe2018-07-29 02:57:27316 // Attach the database in |other_db_path| to the current connection under
317 // |attachment_point|. |attachment_point| must only contain characters from
318 // [a-zA-Z0-9_].
Victor Costan8a87f7e52017-11-10 01:29:30319 //
320 // On the SQLite version shipped with Chrome (3.21+, Oct 2017), databases can
321 // be attached while a transaction is opened. However, these databases cannot
Victor Costan70bedf22018-07-18 21:21:14322 // be detached until the transaction is committed or aborted.
Victor Costan7f6abbbe2018-07-29 02:57:27323 //
324 // These APIs are only exposed for use in recovery. They are extremely subtle
325 // and are not useful for features built on top of //sql.
[email protected]8d409412013-07-19 18:25:30326 bool AttachDatabase(const base::FilePath& other_db_path,
Victor Costan83d940d62021-07-13 00:15:20327 base::StringPiece attachment_point,
Victor Costan7f6abbbe2018-07-29 02:57:27328 InternalApiToken);
Victor Costan83d940d62021-07-13 00:15:20329 bool DetachDatabase(base::StringPiece attachment_point, InternalApiToken);
[email protected]8d409412013-07-19 18:25:30330
[email protected]e5ffd0e42009-09-11 21:30:56331 // Statements ----------------------------------------------------------------
332
333 // Executes the given SQL string, returning true on success. This is
334 // normally used for simple, 1-off statements that don't take any bound
335 // parameters and don't return any data (e.g. CREATE TABLE).
[email protected]9fe37552011-12-23 17:07:20336 //
[email protected]eff1fa522011-12-12 23:50:59337 // This will DCHECK if the |sql| contains errors.
[email protected]9fe37552011-12-23 17:07:20338 //
339 // Do not use ignore_result() to ignore all errors. Use
340 // ExecuteAndReturnErrorCode() and ignore only specific errors.
341 bool Execute(const char* sql) WARN_UNUSED_RESULT;
[email protected]e5ffd0e42009-09-11 21:30:56342
[email protected]eff1fa522011-12-12 23:50:59343 // Like Execute(), but returns the error code given by SQLite.
[email protected]9fe37552011-12-23 17:07:20344 int ExecuteAndReturnErrorCode(const char* sql) WARN_UNUSED_RESULT;
[email protected]eff1fa522011-12-12 23:50:59345
[email protected]e5ffd0e42009-09-11 21:30:56346 // Returns a statement for the given SQL using the statement cache. It can
347 // take a nontrivial amount of work to parse and compile a statement, so
348 // keeping commonly-used ones around for future use is important for
349 // performance.
350 //
Victor Costan613b4302018-11-20 05:32:43351 // The SQL_FROM_HERE macro is the recommended way of generating a StatementID.
352 // Code that generates custom IDs must ensure that a StatementID is never used
353 // for different SQL statements. Failing to meet this requirement results in
354 // incorrect behavior, and should be caught by a DCHECK.
355 //
356 // The SQL statement passed in |sql| must match the SQL statement reported
357 // back by SQLite. Mismatches are caught by a DCHECK, so any code that has
358 // automated test coverage or that was manually tested on a DCHECK build will
359 // not exhibit this problem. Mismatches generally imply that the statement
360 // passed in has extra whitespace or comments surrounding it, which waste
361 // storage and CPU cycles.
362 //
[email protected]eff1fa522011-12-12 23:50:59363 // If the |sql| has an error, an invalid, inert StatementRef is returned (and
364 // the code will crash in debug). The caller must deal with this eventuality,
365 // either by checking validity of the |sql| before calling, by correctly
366 // handling the return of an inert statement, or both.
[email protected]e5ffd0e42009-09-11 21:30:56367 //
[email protected]e5ffd0e42009-09-11 21:30:56368 // Example:
Victor Costancfbfa602018-08-01 23:24:46369 // sql::Statement stmt(database_.GetCachedStatement(
[email protected]3273dce2010-01-27 16:08:08370 // SQL_FROM_HERE, "SELECT * FROM foo"));
[email protected]e5ffd0e42009-09-11 21:30:56371 // if (!stmt)
372 // return false; // Error creating statement.
Victor Costan12daa3ac92018-07-19 01:05:58373 scoped_refptr<StatementRef> GetCachedStatement(StatementID id,
[email protected]e5ffd0e42009-09-11 21:30:56374 const char* sql);
375
[email protected]eff1fa522011-12-12 23:50:59376 // Used to check a |sql| statement for syntactic validity. If the statement is
377 // valid SQL, returns true.
378 bool IsSQLValid(const char* sql);
379
[email protected]e5ffd0e42009-09-11 21:30:56380 // Returns a non-cached statement for the given SQL. Use this for SQL that
381 // is only executed once or only rarely (there is overhead associated with
382 // keeping a statement cached).
383 //
384 // See GetCachedStatement above for examples and error information.
385 scoped_refptr<StatementRef> GetUniqueStatement(const char* sql);
386
Shubham Aggarwalbe4f97ce2020-06-19 15:58:57387 // Performs a passive checkpoint on the main attached database if it is in
388 // WAL mode. Returns true if the checkpoint was successful and false in case
389 // of an error. It is a no-op if the database is not in WAL mode.
390 //
391 // Note: Checkpointing is a very slow operation and will block any writes
392 // until it is finished. Please use with care.
393 bool CheckpointDatabase();
394
[email protected]e5ffd0e42009-09-11 21:30:56395 // Info querying -------------------------------------------------------------
396
shessa62504d2016-11-07 19:26:12397 // Returns true if the given structure exists. Instead of test-then-create,
398 // callers should almost always prefer the "IF NOT EXISTS" version of the
399 // CREATE statement.
Victor Costan83d940d62021-07-13 00:15:20400 bool DoesIndexExist(base::StringPiece index_name) const;
401 bool DoesTableExist(base::StringPiece table_name) const;
402 bool DoesViewExist(base::StringPiece table_name) const;
[email protected]e2cadec82011-12-13 02:00:53403
[email protected]e5ffd0e42009-09-11 21:30:56404 // Returns true if a column with the given name exists in the given table.
Victor Costan1ff47e92018-12-07 11:10:43405 //
406 // Calling this method on a VIEW returns an unspecified result.
407 //
408 // This should only be used by migration code for legacy features that do not
409 // use MetaTable, and need an alternative way of figuring out the database's
410 // current version.
[email protected]1ed78a32009-09-15 20:24:17411 bool DoesColumnExist(const char* table_name, const char* column_name) const;
[email protected]e5ffd0e42009-09-11 21:30:56412
413 // Returns sqlite's internal ID for the last inserted row. Valid only
414 // immediately after an insert.
tfarina720d4f32015-05-11 22:31:26415 int64_t GetLastInsertRowId() const;
[email protected]e5ffd0e42009-09-11 21:30:56416
[email protected]1ed78a32009-09-15 20:24:17417 // Returns sqlite's count of the number of rows modified by the last
418 // statement executed. Will be 0 if no statement has executed or the database
419 // is closed.
420 int GetLastChangeCount() const;
421
Victor Costand6e73252020-10-14 21:11:25422 // Approximates the amount of memory used by SQLite for this database.
423 //
424 // This measures the memory used for the page cache (most likely the biggest
425 // consumer), database schema, and prepared statements.
426 //
427 // The memory used by the page cache can be recovered by calling TrimMemory(),
428 // which will cause SQLite to drop the page cache.
429 int GetMemoryUsage();
430
[email protected]e5ffd0e42009-09-11 21:30:56431 // Errors --------------------------------------------------------------------
432
433 // Returns the error code associated with the last sqlite operation.
434 int GetErrorCode() const;
435
[email protected]767718e52010-09-21 23:18:49436 // Returns the errno associated with GetErrorCode(). See
437 // SQLITE_LAST_ERRNO in SQLite documentation.
438 int GetLastErrno() const;
439
[email protected]e5ffd0e42009-09-11 21:30:56440 // Returns a pointer to a statically allocated string associated with the
441 // last sqlite operation.
442 const char* GetErrorMessage() const;
443
[email protected]92cd00a2013-08-16 11:09:58444 // Return a reproducible representation of the schema equivalent to
445 // running the following statement at a sqlite3 command-line:
446 // SELECT type, name, tbl_name, sql FROM sqlite_master ORDER BY 1, 2, 3, 4;
447 std::string GetSchema() const;
448
shess976814402016-06-21 06:56:25449 // Returns |true| if there is an error expecter (see SetErrorExpecter), and
450 // that expecter returns |true| when passed |error|. Clients which provide an
451 // |error_callback| should use IsExpectedSqliteError() to check for unexpected
Sigurdur Asgeirsson8d82bd02017-09-25 21:05:52452 // errors; if one is detected, DLOG(DCHECK) is generally appropriate (see
shess976814402016-06-21 06:56:25453 // OnSqliteError implementation).
454 static bool IsExpectedSqliteError(int error);
[email protected]74cdede2013-09-25 05:39:57455
Victor Costance678e72018-07-24 10:25:00456 // Computes the path of a database's rollback journal.
457 //
458 // The journal file is created at the beginning of the database's first
459 // transaction. The file may be removed and re-created between transactions,
460 // depending on whether the database is opened in exclusive mode, and on
461 // configuration options. The journal file does not exist when the database
462 // operates in WAL mode.
463 //
464 // This is intended for internal use and tests. To preserve our ability to
465 // iterate on our SQLite configuration, features must avoid relying on
466 // the existence of specific files.
467 static base::FilePath JournalPath(const base::FilePath& db_path);
468
469 // Computes the path of a database's write-ahead log (WAL).
470 //
471 // The WAL file exists while a database is opened in WAL mode.
472 //
473 // This is intended for internal use and tests. To preserve our ability to
474 // iterate on our SQLite configuration, features must avoid relying on
475 // the existence of specific files.
476 static base::FilePath WriteAheadLogPath(const base::FilePath& db_path);
477
478 // Computes the path of a database's shared memory (SHM) file.
479 //
480 // The SHM file is used to coordinate between multiple processes using the
481 // same database in WAL mode. Thus, this file only exists for databases using
482 // WAL and not opened in exclusive mode.
483 //
484 // This is intended for internal use and tests. To preserve our ability to
485 // iterate on our SQLite configuration, features must avoid relying on
486 // the existence of specific files.
487 static base::FilePath SharedMemoryFilePath(const base::FilePath& db_path);
488
Victor Costan7f6abbbe2018-07-29 02:57:27489 // Internal state accessed by other classes in //sql.
490 sqlite3* db(InternalApiToken) const { return db_; }
491 bool poisoned(InternalApiToken) const { return poisoned_; }
492
493 private:
shess976814402016-06-21 06:56:25494 // Allow test-support code to set/reset error expecter.
495 friend class test::ScopedErrorExpecter;
[email protected]4350e322013-06-18 22:18:10496
[email protected]eff1fa522011-12-12 23:50:59497 // Statement accesses StatementRef which we don't want to expose to everybody
[email protected]e5ffd0e42009-09-11 21:30:56498 // (they should go through Statement).
499 friend class Statement;
500
Victor Costancfbfa602018-08-01 23:24:46501 FRIEND_TEST_ALL_PREFIXES(SQLDatabaseTest, CachedStatement);
502 FRIEND_TEST_ALL_PREFIXES(SQLDatabaseTest, CollectDiagnosticInfo);
503 FRIEND_TEST_ALL_PREFIXES(SQLDatabaseTest, GetAppropriateMmapSize);
504 FRIEND_TEST_ALL_PREFIXES(SQLDatabaseTest, GetAppropriateMmapSizeAltStatus);
505 FRIEND_TEST_ALL_PREFIXES(SQLDatabaseTest, OnMemoryDump);
506 FRIEND_TEST_ALL_PREFIXES(SQLDatabaseTest, RegisterIntentToUpload);
shessf7fcc452017-04-19 22:10:41507 FRIEND_TEST_ALL_PREFIXES(SQLiteFeaturesTest, WALNoClose);
shessc8cd2a162015-10-22 20:30:46508
[email protected]765b44502009-10-02 05:01:42509 // Internal initialize function used by both Init and InitInMemory. The file
510 // name is always 8 bits since we want to use the 8-bit version of
511 // sqlite3_open. The string can also be sqlite's special ":memory:" string.
[email protected]fed734a2013-07-17 04:45:13512 //
513 // |retry_flag| controls retrying the open if the error callback
514 // addressed errors using RazeAndClose().
Victor Costancfbfa602018-08-01 23:24:46515 enum Retry { NO_RETRY = 0, RETRY_ON_POISON };
[email protected]fed734a2013-07-17 04:45:13516 bool OpenInternal(const std::string& file_name, Retry retry_flag);
[email protected]765b44502009-10-02 05:01:42517
[email protected]41a97c812013-02-07 02:35:38518 // Internal close function used by Close() and RazeAndClose().
519 // |forced| indicates that orderly-shutdown checks should not apply.
520 void CloseInternal(bool forced);
521
Etienne Pierre-Doraya71d7af2019-02-07 02:07:54522 // Construct a ScopedBlockingCall to annotate IO calls, but only if
Etienne Bergerone7681c72020-01-17 00:51:20523 // database wasn't open in memory. ScopedBlockingCall uses |from_here| to
524 // declare its blocking execution scope (see https://www.crbug/934302).
Etienne Pierre-Doraya71d7af2019-02-07 02:07:54525 void InitScopedBlockingCall(
Etienne Bergerone7681c72020-01-17 00:51:20526 const base::Location& from_here,
Anton Bikineev3ac3d302021-05-15 17:54:01527 absl::optional<base::ScopedBlockingCall>* scoped_blocking_call) const {
[email protected]35f7e5392012-07-27 19:54:50528 if (!in_memory_)
Etienne Bergerone7681c72020-01-17 00:51:20529 scoped_blocking_call->emplace(from_here, base::BlockingType::MAY_BLOCK);
[email protected]35f7e5392012-07-27 19:54:50530 }
531
shessa62504d2016-11-07 19:26:12532 // Internal helper for Does*Exist() functions.
Victor Costan83d940d62021-07-13 00:15:20533 bool DoesSchemaItemExist(base::StringPiece name,
534 base::StringPiece type) const;
[email protected]e2cadec82011-12-13 02:00:53535
shess976814402016-06-21 06:56:25536 // Accessors for global error-expecter, for injecting behavior during tests.
537 // See test/scoped_error_expecter.h.
Victor Costanc7e7f2e2018-07-18 20:07:55538 using ErrorExpecterCallback = base::RepeatingCallback<bool(int)>;
shess976814402016-06-21 06:56:25539 static ErrorExpecterCallback* current_expecter_cb_;
540 static void SetErrorExpecter(ErrorExpecterCallback* expecter);
541 static void ResetErrorExpecter();
[email protected]4350e322013-06-18 22:18:10542
[email protected]e5ffd0e42009-09-11 21:30:56543 // A StatementRef is a refcounted wrapper around a sqlite statement pointer.
544 // Refcounting allows us to give these statements out to sql::Statement
545 // objects while also optionally maintaining a cache of compiled statements
546 // by just keeping a refptr to these objects.
547 //
548 // A statement ref can be valid, in which case it can be used, or invalid to
549 // indicate that the statement hasn't been created yet, has an error, or has
550 // been destroyed.
551 //
Victor Costancfbfa602018-08-01 23:24:46552 // The Database may revoke a StatementRef in some error cases, so callers
[email protected]e5ffd0e42009-09-11 21:30:56553 // should always check validity before using.
Victor Costane56cc682018-12-27 01:53:46554 class COMPONENT_EXPORT(SQL) StatementRef
555 : public base::RefCounted<StatementRef> {
[email protected]e5ffd0e42009-09-11 21:30:56556 public:
Victor Costan3b02cdf2018-07-18 00:39:56557 REQUIRE_ADOPTION_FOR_REFCOUNTED_TYPE();
558
Victor Costancfbfa602018-08-01 23:24:46559 // |database| is the sql::Database instance associated with
[email protected]41a97c812013-02-07 02:35:38560 // the statement, and is used for tracking outstanding statements
Victor Costanbd623112018-07-18 04:17:27561 // and for error handling. Set to nullptr for invalid or untracked
562 // refs. |stmt| is the actual statement, and should only be null
[email protected]41a97c812013-02-07 02:35:38563 // to create an invalid ref. |was_valid| indicates whether the
Etienne Bergeron95a01c2a2019-02-26 21:32:50564 // statement should be considered valid for diagnostic purposes.
Victor Costancfbfa602018-08-01 23:24:46565 // |was_valid| can be true for a null |stmt| if the Database has
[email protected]41a97c812013-02-07 02:35:38566 // been forcibly closed by an error handler.
Victor Costancfbfa602018-08-01 23:24:46567 StatementRef(Database* database, sqlite3_stmt* stmt, bool was_valid);
[email protected]e5ffd0e42009-09-11 21:30:56568
Victor Costan00c76432021-07-07 16:55:58569 StatementRef(const StatementRef&) = delete;
570 StatementRef& operator=(const StatementRef&) = delete;
571
[email protected]e5ffd0e42009-09-11 21:30:56572 // When true, the statement can be used.
573 bool is_valid() const { return !!stmt_; }
574
[email protected]41a97c812013-02-07 02:35:38575 // When true, the statement is either currently valid, or was
Victor Costancfbfa602018-08-01 23:24:46576 // previously valid but the database was forcibly closed. Used
[email protected]41a97c812013-02-07 02:35:38577 // for diagnostic checks.
578 bool was_valid() const { return was_valid_; }
579
Victor Costancfbfa602018-08-01 23:24:46580 // If we've not been linked to a database, this will be null.
Victor Costanbd623112018-07-18 04:17:27581 //
Victor Costancfbfa602018-08-01 23:24:46582 // TODO(shess): database_ can be nullptr in case of
Victor Costanbd623112018-07-18 04:17:27583 // GetUntrackedStatement(), which prevents Statement::OnError() from
584 // forwarding errors.
Victor Costancfbfa602018-08-01 23:24:46585 Database* database() const { return database_; }
[email protected]e5ffd0e42009-09-11 21:30:56586
587 // Returns the sqlite statement if any. If the statement is not active,
Victor Costanbd623112018-07-18 04:17:27588 // this will return nullptr.
[email protected]e5ffd0e42009-09-11 21:30:56589 sqlite3_stmt* stmt() const { return stmt_; }
590
Victor Costanbd623112018-07-18 04:17:27591 // Destroys the compiled statement and sets it to nullptr. The statement
592 // will no longer be active. |forced| is used to indicate if
Victor Costancfbfa602018-08-01 23:24:46593 // orderly-shutdown checks should apply (see Database::RazeAndClose()).
[email protected]41a97c812013-02-07 02:35:38594 void Close(bool forced);
[email protected]e5ffd0e42009-09-11 21:30:56595
Etienne Pierre-Doraya71d7af2019-02-07 02:07:54596 // Construct a ScopedBlockingCall to annotate IO calls, but only if
Etienne Bergerone7681c72020-01-17 00:51:20597 // database wasn't open in memory. ScopedBlockingCall uses |from_here| to
598 // declare its blocking execution scope (see https://www.crbug/934302).
Etienne Pierre-Doraya71d7af2019-02-07 02:07:54599 void InitScopedBlockingCall(
Etienne Bergerone7681c72020-01-17 00:51:20600 const base::Location& from_here,
Anton Bikineev3ac3d302021-05-15 17:54:01601 absl::optional<base::ScopedBlockingCall>* scoped_blocking_call) const {
Victor Costancfbfa602018-08-01 23:24:46602 if (database_)
Etienne Bergerone7681c72020-01-17 00:51:20603 database_->InitScopedBlockingCall(from_here, scoped_blocking_call);
Victor Costanc7e7f2e2018-07-18 20:07:55604 }
[email protected]35f7e5392012-07-27 19:54:50605
[email protected]e5ffd0e42009-09-11 21:30:56606 private:
[email protected]877d55d2009-11-05 21:53:08607 friend class base::RefCounted<StatementRef>;
608
609 ~StatementRef();
610
Victor Costancfbfa602018-08-01 23:24:46611 Database* database_;
[email protected]e5ffd0e42009-09-11 21:30:56612 sqlite3_stmt* stmt_;
[email protected]41a97c812013-02-07 02:35:38613 bool was_valid_;
[email protected]e5ffd0e42009-09-11 21:30:56614 };
615 friend class StatementRef;
616
617 // Executes a rollback statement, ignoring all transaction state. Used
618 // internally in the transaction management code.
619 void DoRollback();
620
621 // Called by a StatementRef when it's being created or destroyed. See
622 // open_statements_ below.
623 void StatementRefCreated(StatementRef* ref);
624 void StatementRefDeleted(StatementRef* ref);
625
[email protected]2f496b42013-09-26 18:36:58626 // Called when a sqlite function returns an error, which is passed
627 // as |err|. The return value is the error code to be reflected
Victor Costanbd623112018-07-18 04:17:27628 // back to client code. |stmt| is non-null if the error relates to
629 // an sql::Statement instance. |sql| is non-nullptr if the error
[email protected]2f496b42013-09-26 18:36:58630 // relates to non-statement sql code (Execute, for instance). Both
Victor Costanbd623112018-07-18 04:17:27631 // can be null, but both should never be set.
[email protected]2f496b42013-09-26 18:36:58632 // NOTE(shess): Originally, the return value was intended to allow
633 // error handlers to transparently convert errors into success.
634 // Unfortunately, transactions are not generally restartable, so
635 // this did not work out.
shess9e77283d2016-06-13 23:53:20636 int OnSqliteError(int err, Statement* stmt, const char* sql) const;
[email protected]faa604e2009-09-25 22:38:59637
[email protected]5b96f3772010-09-28 16:30:57638 // Like |Execute()|, but retries if the database is locked.
Victor Costancfbfa602018-08-01 23:24:46639 bool ExecuteWithTimeout(const char* sql,
640 base::TimeDelta ms_timeout) WARN_UNUSED_RESULT;
[email protected]5b96f3772010-09-28 16:30:57641
shess9e77283d2016-06-13 23:53:20642 // Implementation helper for GetUniqueStatement() and GetUntrackedStatement().
643 // |tracking_db| is the db the resulting ref should register with for
Victor Costanbd623112018-07-18 04:17:27644 // outstanding statement tracking, which should be |this| to track or null to
shess9e77283d2016-06-13 23:53:20645 // not track.
Victor Costancfbfa602018-08-01 23:24:46646 scoped_refptr<StatementRef> GetStatementImpl(sql::Database* tracking_db,
647 const char* sql) const;
shess9e77283d2016-06-13 23:53:20648
649 // Helper for implementing const member functions. Like GetUniqueStatement(),
650 // except the StatementRef is not entered into |open_statements_|, so an
651 // outstanding StatementRef from this function can block closing the database.
652 // The StatementRef will not call OnSqliteError(), because that can call
653 // |error_callback_| which can close the database.
[email protected]2eec0a22012-07-24 01:59:58654 scoped_refptr<StatementRef> GetUntrackedStatement(const char* sql) const;
655
Victor Costancfbfa602018-08-01 23:24:46656 bool IntegrityCheckHelper(const char* pragma_sql,
657 std::vector<std::string>* messages)
658 WARN_UNUSED_RESULT;
[email protected]579446c2013-12-16 18:36:52659
shess7dbd4dee2015-10-06 17:39:16660 // Release page-cache memory if memory-mapped I/O is enabled and the database
661 // was changed. Passing true for |implicit_change_performed| allows
662 // overriding the change detection for cases like DDL (CREATE, DROP, etc),
663 // which do not participate in the total-rows-changed tracking.
664 void ReleaseCacheMemoryIfNeeded(bool implicit_change_performed);
665
shessc8cd2a162015-10-22 20:30:46666 // Returns the results of sqlite3_db_filename(), which should match the path
667 // passed to Open().
668 base::FilePath DbPath() const;
669
shessc8cd2a162015-10-22 20:30:46670 // Helper to collect diagnostic info for a corrupt database.
671 std::string CollectCorruptionInfo();
672
673 // Helper to collect diagnostic info for errors.
674 std::string CollectErrorInfo(int error, Statement* stmt) const;
675
shessd90aeea82015-11-13 02:24:31676 // Calculates a value appropriate to pass to "PRAGMA mmap_size = ". So errors
677 // can make it unsafe to map a file, so the file is read using regular I/O,
678 // with any errors causing 0 (don't map anything) to be returned. If the
679 // entire file is read without error, a large value is returned which will
680 // allow the entire file to be mapped in most cases.
681 //
682 // Results are recorded in the database's meta table for future reference, so
683 // the file should only be read through once.
684 size_t GetAppropriateMmapSize();
685
shessa62504d2016-11-07 19:26:12686 // Helpers for GetAppropriateMmapSize().
687 bool GetMmapAltStatus(int64_t* status);
688 bool SetMmapAltStatus(int64_t status);
689
Victor Costanbd623112018-07-18 04:17:27690 // The actual sqlite database. Will be null before Init has been called or if
[email protected]e5ffd0e42009-09-11 21:30:56691 // Init resulted in an error.
Shubham Aggarwale2d6b60d2020-10-22 04:41:48692 sqlite3* db_ = nullptr;
[email protected]e5ffd0e42009-09-11 21:30:56693
Shubham Aggarwal7b60fe6e2020-10-15 06:00:28694 // TODO([email protected]): Make `options_` const after removing all
695 // setters.
696 DatabaseOptions options_;
[email protected]e5ffd0e42009-09-11 21:30:56697
Victor Costanc7e7f2e2018-07-18 20:07:55698 // Holds references to all cached statements so they remain active.
699 //
700 // flat_map is appropriate here because the codebase has ~400 cached
701 // statements, and each statement is at most one insertion in the map
702 // throughout a process' lifetime.
703 base::flat_map<StatementID, scoped_refptr<StatementRef>> statement_cache_;
[email protected]e5ffd0e42009-09-11 21:30:56704
705 // A list of all StatementRefs we've given out. Each ref must register with
706 // us when it's created or destroyed. This allows us to potentially close
707 // any open statements when we encounter an error.
Victor Costanc7e7f2e2018-07-18 20:07:55708 std::set<StatementRef*> open_statements_;
[email protected]e5ffd0e42009-09-11 21:30:56709
710 // Number of currently-nested transactions.
Shubham Aggarwale2d6b60d2020-10-22 04:41:48711 int transaction_nesting_ = 0;
[email protected]e5ffd0e42009-09-11 21:30:56712
713 // True if any of the currently nested transactions have been rolled back.
714 // When we get to the outermost transaction, this will determine if we do
715 // a rollback instead of a commit.
Shubham Aggarwale2d6b60d2020-10-22 04:41:48716 bool needs_rollback_ = false;
[email protected]e5ffd0e42009-09-11 21:30:56717
[email protected]35f7e5392012-07-27 19:54:50718 // True if database is open with OpenInMemory(), False if database is open
719 // with Open().
Shubham Aggarwale2d6b60d2020-10-22 04:41:48720 bool in_memory_ = false;
[email protected]35f7e5392012-07-27 19:54:50721
Victor Costancfbfa602018-08-01 23:24:46722 // |true| if the Database was closed using RazeAndClose(). Used
[email protected]41a97c812013-02-07 02:35:38723 // to enable diagnostics to distinguish calls to never-opened
724 // databases (incorrect use of the API) from calls to once-valid
725 // databases.
Shubham Aggarwale2d6b60d2020-10-22 04:41:48726 bool poisoned_ = false;
[email protected]41a97c812013-02-07 02:35:38727
shessa62504d2016-11-07 19:26:12728 // |true| to use alternate storage for tracking mmap status.
Shubham Aggarwale2d6b60d2020-10-22 04:41:48729 bool mmap_alt_status_ = false;
shessa62504d2016-11-07 19:26:12730
Victor Costancfbfa602018-08-01 23:24:46731 // |true| if SQLite memory-mapped I/O is not desired for this database.
shess7dbd4dee2015-10-06 17:39:16732 bool mmap_disabled_;
733
Victor Costancfbfa602018-08-01 23:24:46734 // |true| if SQLite memory-mapped I/O was enabled for this database.
shess7dbd4dee2015-10-06 17:39:16735 // Used by ReleaseCacheMemoryIfNeeded().
Shubham Aggarwale2d6b60d2020-10-22 04:41:48736 bool mmap_enabled_ = false;
shess7dbd4dee2015-10-06 17:39:16737
738 // Used by ReleaseCacheMemoryIfNeeded() to track if new changes have happened
739 // since memory was last released.
Shubham Aggarwale2d6b60d2020-10-22 04:41:48740 int total_changes_at_last_release_ = 0;
shess7dbd4dee2015-10-06 17:39:16741
[email protected]c3881b372013-05-17 08:39:46742 ErrorCallback error_callback_;
743
Victor Costan90dae262021-06-01 21:01:08744 // Developer-friendly database ID used in logging output and memory dumps.
[email protected]210ce0af2013-05-15 09:10:39745 std::string histogram_tag_;
[email protected]c088e3a32013-01-03 23:59:14746
ssid3be5b1ec2016-01-13 14:21:57747 // Stores the dump provider object when db is open.
Victor Costancfbfa602018-08-01 23:24:46748 std::unique_ptr<DatabaseMemoryDumpProvider> memory_dump_provider_;
[email protected]e5ffd0e42009-09-11 21:30:56749};
750
751} // namespace sql
752
Victor Costancfbfa602018-08-01 23:24:46753#endif // SQL_DATABASE_H_