1 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4
5 #include "sql/connection.h"
6
7 #include <string.h>
8
9 #include "base/files/file_path.h"
10 #include "base/files/file_util.h"
11 #include "base/lazy_instance.h"
12 #include "base/logging.h"
13 #include "base/metrics/histogram.h"
14 #include "base/metrics/sparse_histogram.h"
15 #include "base/strings/string_split.h"
16 #include "base/strings/string_util.h"
17 #include "base/strings/stringprintf.h"
18 #include "base/strings/utf_string_conversions.h"
19 #include "base/synchronization/lock.h"
20 #include "sql/statement.h"
21 #include "third_party/sqlite/sqlite3.h"
22
23 #if defined(OS_IOS) && defined(USE_SYSTEM_SQLITE)
24 #include "third_party/sqlite/src/ext/icu/sqliteicu.h"
25 #endif
26
27 namespace {
28
29 // Spin for up to a second waiting for the lock to clear when setting
30 // up the database.
31 // TODO(shess): Better story on this. http://crbug.com/56559
32 const int kBusyTimeoutSeconds = 1;
33
34 class ScopedBusyTimeout {
35 public:
ScopedBusyTimeout(sqlite3 * db)36 explicit ScopedBusyTimeout(sqlite3* db)
37 : db_(db) {
38 }
~ScopedBusyTimeout()39 ~ScopedBusyTimeout() {
40 sqlite3_busy_timeout(db_, 0);
41 }
42
SetTimeout(base::TimeDelta timeout)43 int SetTimeout(base::TimeDelta timeout) {
44 DCHECK_LT(timeout.InMilliseconds(), INT_MAX);
45 return sqlite3_busy_timeout(db_,
46 static_cast<int>(timeout.InMilliseconds()));
47 }
48
49 private:
50 sqlite3* db_;
51 };
52
53 // Helper to "safely" enable writable_schema. No error checking
54 // because it is reasonable to just forge ahead in case of an error.
55 // If turning it on fails, then most likely nothing will work, whereas
56 // if turning it off fails, it only matters if some code attempts to
57 // continue working with the database and tries to modify the
58 // sqlite_master table (none of our code does this).
59 class ScopedWritableSchema {
60 public:
ScopedWritableSchema(sqlite3 * db)61 explicit ScopedWritableSchema(sqlite3* db)
62 : db_(db) {
63 sqlite3_exec(db_, "PRAGMA writable_schema=1", NULL, NULL, NULL);
64 }
~ScopedWritableSchema()65 ~ScopedWritableSchema() {
66 sqlite3_exec(db_, "PRAGMA writable_schema=0", NULL, NULL, NULL);
67 }
68
69 private:
70 sqlite3* db_;
71 };
72
73 // Helper to wrap the sqlite3_backup_*() step of Raze(). Return
74 // SQLite error code from running the backup step.
BackupDatabase(sqlite3 * src,sqlite3 * dst,const char * db_name)75 int BackupDatabase(sqlite3* src, sqlite3* dst, const char* db_name) {
76 DCHECK_NE(src, dst);
77 sqlite3_backup* backup = sqlite3_backup_init(dst, db_name, src, db_name);
78 if (!backup) {
79 // Since this call only sets things up, this indicates a gross
80 // error in SQLite.
81 DLOG(FATAL) << "Unable to start sqlite3_backup(): " << sqlite3_errmsg(dst);
82 return sqlite3_errcode(dst);
83 }
84
85 // -1 backs up the entire database.
86 int rc = sqlite3_backup_step(backup, -1);
87 int pages = sqlite3_backup_pagecount(backup);
88 sqlite3_backup_finish(backup);
89
90 // If successful, exactly one page should have been backed up. If
91 // this breaks, check this function to make sure assumptions aren't
92 // being broken.
93 if (rc == SQLITE_DONE)
94 DCHECK_EQ(pages, 1);
95
96 return rc;
97 }
98
99 // Be very strict on attachment point. SQLite can handle a much wider
100 // character set with appropriate quoting, but Chromium code should
101 // just use clean names to start with.
ValidAttachmentPoint(const char * attachment_point)102 bool ValidAttachmentPoint(const char* attachment_point) {
103 for (size_t i = 0; attachment_point[i]; ++i) {
104 if (!((attachment_point[i] >= '0' && attachment_point[i] <= '9') ||
105 (attachment_point[i] >= 'a' && attachment_point[i] <= 'z') ||
106 (attachment_point[i] >= 'A' && attachment_point[i] <= 'Z') ||
107 attachment_point[i] == '_')) {
108 return false;
109 }
110 }
111 return true;
112 }
113
114 // SQLite automatically calls sqlite3_initialize() lazily, but
115 // sqlite3_initialize() uses double-checked locking and thus can have
116 // data races.
117 //
118 // TODO(shess): Another alternative would be to have
119 // sqlite3_initialize() called as part of process bring-up. If this
120 // is changed, remove the dynamic_annotations dependency in sql.gyp.
121 base::LazyInstance<base::Lock>::Leaky
122 g_sqlite_init_lock = LAZY_INSTANCE_INITIALIZER;
InitializeSqlite()123 void InitializeSqlite() {
124 base::AutoLock lock(g_sqlite_init_lock.Get());
125 sqlite3_initialize();
126 }
127
128 // Helper to get the sqlite3_file* associated with the "main" database.
GetSqlite3File(sqlite3 * db,sqlite3_file ** file)129 int GetSqlite3File(sqlite3* db, sqlite3_file** file) {
130 *file = NULL;
131 int rc = sqlite3_file_control(db, NULL, SQLITE_FCNTL_FILE_POINTER, file);
132 if (rc != SQLITE_OK)
133 return rc;
134
135 // TODO(shess): NULL in file->pMethods has been observed on android_dbg
136 // content_unittests, even though it should not be possible.
137 // http://crbug.com/329982
138 if (!*file || !(*file)->pMethods)
139 return SQLITE_ERROR;
140
141 return rc;
142 }
143
144 } // namespace
145
146 namespace sql {
147
148 // static
149 Connection::ErrorIgnorerCallback* Connection::current_ignorer_cb_ = NULL;
150
151 // static
ShouldIgnoreSqliteError(int error)152 bool Connection::ShouldIgnoreSqliteError(int error) {
153 if (!current_ignorer_cb_)
154 return false;
155 return current_ignorer_cb_->Run(error);
156 }
157
158 // static
SetErrorIgnorer(Connection::ErrorIgnorerCallback * cb)159 void Connection::SetErrorIgnorer(Connection::ErrorIgnorerCallback* cb) {
160 CHECK(current_ignorer_cb_ == NULL);
161 current_ignorer_cb_ = cb;
162 }
163
164 // static
ResetErrorIgnorer()165 void Connection::ResetErrorIgnorer() {
166 CHECK(current_ignorer_cb_);
167 current_ignorer_cb_ = NULL;
168 }
169
operator <(const StatementID & other) const170 bool StatementID::operator<(const StatementID& other) const {
171 if (number_ != other.number_)
172 return number_ < other.number_;
173 return strcmp(str_, other.str_) < 0;
174 }
175
StatementRef(Connection * connection,sqlite3_stmt * stmt,bool was_valid)176 Connection::StatementRef::StatementRef(Connection* connection,
177 sqlite3_stmt* stmt,
178 bool was_valid)
179 : connection_(connection),
180 stmt_(stmt),
181 was_valid_(was_valid) {
182 if (connection)
183 connection_->StatementRefCreated(this);
184 }
185
~StatementRef()186 Connection::StatementRef::~StatementRef() {
187 if (connection_)
188 connection_->StatementRefDeleted(this);
189 Close(false);
190 }
191
Close(bool forced)192 void Connection::StatementRef::Close(bool forced) {
193 if (stmt_) {
194 // Call to AssertIOAllowed() cannot go at the beginning of the function
195 // because Close() is called unconditionally from destructor to clean
196 // connection_. And if this is inactive statement this won't cause any
197 // disk access and destructor most probably will be called on thread
198 // not allowing disk access.
199 // TODO(paivanof@gmail.com): This should move to the beginning
200 // of the function. http://crbug.com/136655.
201 AssertIOAllowed();
202 sqlite3_finalize(stmt_);
203 stmt_ = NULL;
204 }
205 connection_ = NULL; // The connection may be getting deleted.
206
207 // Forced close is expected to happen from a statement error
208 // handler. In that case maintain the sense of |was_valid_| which
209 // previously held for this ref.
210 was_valid_ = was_valid_ && forced;
211 }
212
Connection()213 Connection::Connection()
214 : db_(NULL),
215 page_size_(0),
216 cache_size_(0),
217 exclusive_locking_(false),
218 restrict_to_user_(false),
219 transaction_nesting_(0),
220 needs_rollback_(false),
221 in_memory_(false),
222 poisoned_(false) {
223 }
224
~Connection()225 Connection::~Connection() {
226 Close();
227 }
228
Open(const base::FilePath & path)229 bool Connection::Open(const base::FilePath& path) {
230 if (!histogram_tag_.empty()) {
231 int64 size_64 = 0;
232 if (base::GetFileSize(path, &size_64)) {
233 size_t sample = static_cast<size_t>(size_64 / 1024);
234 std::string full_histogram_name = "Sqlite.SizeKB." + histogram_tag_;
235 base::HistogramBase* histogram =
236 base::Histogram::FactoryGet(
237 full_histogram_name, 1, 1000000, 50,
238 base::HistogramBase::kUmaTargetedHistogramFlag);
239 if (histogram)
240 histogram->Add(sample);
241 }
242 }
243
244 #if defined(OS_WIN)
245 return OpenInternal(base::WideToUTF8(path.value()), RETRY_ON_POISON);
246 #elif defined(OS_POSIX)
247 return OpenInternal(path.value(), RETRY_ON_POISON);
248 #endif
249 }
250
OpenInMemory()251 bool Connection::OpenInMemory() {
252 in_memory_ = true;
253 return OpenInternal(":memory:", NO_RETRY);
254 }
255
OpenTemporary()256 bool Connection::OpenTemporary() {
257 return OpenInternal("", NO_RETRY);
258 }
259
CloseInternal(bool forced)260 void Connection::CloseInternal(bool forced) {
261 // TODO(shess): Calling "PRAGMA journal_mode = DELETE" at this point
262 // will delete the -journal file. For ChromiumOS or other more
263 // embedded systems, this is probably not appropriate, whereas on
264 // desktop it might make some sense.
265
266 // sqlite3_close() needs all prepared statements to be finalized.
267
268 // Release cached statements.
269 statement_cache_.clear();
270
271 // With cached statements released, in-use statements will remain.
272 // Closing the database while statements are in use is an API
273 // violation, except for forced close (which happens from within a
274 // statement's error handler).
275 DCHECK(forced || open_statements_.empty());
276
277 // Deactivate any outstanding statements so sqlite3_close() works.
278 for (StatementRefSet::iterator i = open_statements_.begin();
279 i != open_statements_.end(); ++i)
280 (*i)->Close(forced);
281 open_statements_.clear();
282
283 if (db_) {
284 // Call to AssertIOAllowed() cannot go at the beginning of the function
285 // because Close() must be called from destructor to clean
286 // statement_cache_, it won't cause any disk access and it most probably
287 // will happen on thread not allowing disk access.
288 // TODO(paivanof@gmail.com): This should move to the beginning
289 // of the function. http://crbug.com/136655.
290 AssertIOAllowed();
291
292 int rc = sqlite3_close(db_);
293 if (rc != SQLITE_OK) {
294 UMA_HISTOGRAM_SPARSE_SLOWLY("Sqlite.CloseFailure", rc);
295 DLOG(FATAL) << "sqlite3_close failed: " << GetErrorMessage();
296 }
297 }
298 db_ = NULL;
299 }
300
Close()301 void Connection::Close() {
302 // If the database was already closed by RazeAndClose(), then no
303 // need to close again. Clear the |poisoned_| bit so that incorrect
304 // API calls are caught.
305 if (poisoned_) {
306 poisoned_ = false;
307 return;
308 }
309
310 CloseInternal(false);
311 }
312
Preload()313 void Connection::Preload() {
314 AssertIOAllowed();
315
316 if (!db_) {
317 DLOG_IF(FATAL, !poisoned_) << "Cannot preload null db";
318 return;
319 }
320
321 // Use local settings if provided, otherwise use documented defaults. The
322 // actual results could be fetching via PRAGMA calls.
323 const int page_size = page_size_ ? page_size_ : 1024;
324 sqlite3_int64 preload_size = page_size * (cache_size_ ? cache_size_ : 2000);
325 if (preload_size < 1)
326 return;
327
328 sqlite3_file* file = NULL;
329 int rc = GetSqlite3File(db_, &file);
330 if (rc != SQLITE_OK)
331 return;
332
333 sqlite3_int64 file_size = 0;
334 rc = file->pMethods->xFileSize(file, &file_size);
335 if (rc != SQLITE_OK)
336 return;
337
338 // Don't preload more than the file contains.
339 if (preload_size > file_size)
340 preload_size = file_size;
341
342 scoped_ptr<char[]> buf(new char[page_size]);
343 for (sqlite3_int64 pos = 0; pos < file_size; pos += page_size) {
344 rc = file->pMethods->xRead(file, buf.get(), page_size, pos);
345 if (rc != SQLITE_OK)
346 return;
347 }
348 }
349
TrimMemory(bool aggressively)350 void Connection::TrimMemory(bool aggressively) {
351 if (!db_)
352 return;
353
354 // TODO(shess): investigate using sqlite3_db_release_memory() when possible.
355 int original_cache_size;
356 {
357 Statement sql_get_original(GetUniqueStatement("PRAGMA cache_size"));
358 if (!sql_get_original.Step()) {
359 DLOG(WARNING) << "Could not get cache size " << GetErrorMessage();
360 return;
361 }
362 original_cache_size = sql_get_original.ColumnInt(0);
363 }
364 int shrink_cache_size = aggressively ? 1 : (original_cache_size / 2);
365
366 // Force sqlite to try to reduce page cache usage.
367 const std::string sql_shrink =
368 base::StringPrintf("PRAGMA cache_size=%d", shrink_cache_size);
369 if (!Execute(sql_shrink.c_str()))
370 DLOG(WARNING) << "Could not shrink cache size: " << GetErrorMessage();
371
372 // Restore cache size.
373 const std::string sql_restore =
374 base::StringPrintf("PRAGMA cache_size=%d", original_cache_size);
375 if (!Execute(sql_restore.c_str()))
376 DLOG(WARNING) << "Could not restore cache size: " << GetErrorMessage();
377 }
378
379 // Create an in-memory database with the existing database's page
380 // size, then backup that database over the existing database.
Raze()381 bool Connection::Raze() {
382 AssertIOAllowed();
383
384 if (!db_) {
385 DLOG_IF(FATAL, !poisoned_) << "Cannot raze null db";
386 return false;
387 }
388
389 if (transaction_nesting_ > 0) {
390 DLOG(FATAL) << "Cannot raze within a transaction";
391 return false;
392 }
393
394 sql::Connection null_db;
395 if (!null_db.OpenInMemory()) {
396 DLOG(FATAL) << "Unable to open in-memory database.";
397 return false;
398 }
399
400 if (page_size_) {
401 // Enforce SQLite restrictions on |page_size_|.
402 DCHECK(!(page_size_ & (page_size_ - 1)))
403 << " page_size_ " << page_size_ << " is not a power of two.";
404 const int kSqliteMaxPageSize = 32768; // from sqliteLimit.h
405 DCHECK_LE(page_size_, kSqliteMaxPageSize);
406 const std::string sql =
407 base::StringPrintf("PRAGMA page_size=%d", page_size_);
408 if (!null_db.Execute(sql.c_str()))
409 return false;
410 }
411
412 #if defined(OS_ANDROID)
413 // Android compiles with SQLITE_DEFAULT_AUTOVACUUM. Unfortunately,
414 // in-memory databases do not respect this define.
415 // TODO(shess): Figure out a way to set this without using platform
416 // specific code. AFAICT from sqlite3.c, the only way to do it
417 // would be to create an actual filesystem database, which is
418 // unfortunate.
419 if (!null_db.Execute("PRAGMA auto_vacuum = 1"))
420 return false;
421 #endif
422
423 // The page size doesn't take effect until a database has pages, and
424 // at this point the null database has none. Changing the schema
425 // version will create the first page. This will not affect the
426 // schema version in the resulting database, as SQLite's backup
427 // implementation propagates the schema version from the original
428 // connection to the new version of the database, incremented by one
429 // so that other readers see the schema change and act accordingly.
430 if (!null_db.Execute("PRAGMA schema_version = 1"))
431 return false;
432
433 // SQLite tracks the expected number of database pages in the first
434 // page, and if it does not match the total retrieved from a
435 // filesystem call, treats the database as corrupt. This situation
436 // breaks almost all SQLite calls. "PRAGMA writable_schema" can be
437 // used to hint to SQLite to soldier on in that case, specifically
438 // for purposes of recovery. [See SQLITE_CORRUPT_BKPT case in
439 // sqlite3.c lockBtree().]
440 // TODO(shess): With this, "PRAGMA auto_vacuum" and "PRAGMA
441 // page_size" can be used to query such a database.
442 ScopedWritableSchema writable_schema(db_);
443
444 const char* kMain = "main";
445 int rc = BackupDatabase(null_db.db_, db_, kMain);
446 UMA_HISTOGRAM_SPARSE_SLOWLY("Sqlite.RazeDatabase",rc);
447
448 // The destination database was locked.
449 if (rc == SQLITE_BUSY) {
450 return false;
451 }
452
453 // SQLITE_NOTADB can happen if page 1 of db_ exists, but is not
454 // formatted correctly. SQLITE_IOERR_SHORT_READ can happen if db_
455 // isn't even big enough for one page. Either way, reach in and
456 // truncate it before trying again.
457 // TODO(shess): Maybe it would be worthwhile to just truncate from
458 // the get-go?
459 if (rc == SQLITE_NOTADB || rc == SQLITE_IOERR_SHORT_READ) {
460 sqlite3_file* file = NULL;
461 rc = GetSqlite3File(db_, &file);
462 if (rc != SQLITE_OK) {
463 DLOG(FATAL) << "Failure getting file handle.";
464 return false;
465 }
466
467 rc = file->pMethods->xTruncate(file, 0);
468 if (rc != SQLITE_OK) {
469 UMA_HISTOGRAM_SPARSE_SLOWLY("Sqlite.RazeDatabaseTruncate",rc);
470 DLOG(FATAL) << "Failed to truncate file.";
471 return false;
472 }
473
474 rc = BackupDatabase(null_db.db_, db_, kMain);
475 UMA_HISTOGRAM_SPARSE_SLOWLY("Sqlite.RazeDatabase2",rc);
476
477 if (rc != SQLITE_DONE) {
478 DLOG(FATAL) << "Failed retrying Raze().";
479 }
480 }
481
482 // The entire database should have been backed up.
483 if (rc != SQLITE_DONE) {
484 // TODO(shess): Figure out which other cases can happen.
485 DLOG(FATAL) << "Unable to copy entire null database.";
486 return false;
487 }
488
489 return true;
490 }
491
RazeWithTimout(base::TimeDelta timeout)492 bool Connection::RazeWithTimout(base::TimeDelta timeout) {
493 if (!db_) {
494 DLOG_IF(FATAL, !poisoned_) << "Cannot raze null db";
495 return false;
496 }
497
498 ScopedBusyTimeout busy_timeout(db_);
499 busy_timeout.SetTimeout(timeout);
500 return Raze();
501 }
502
RazeAndClose()503 bool Connection::RazeAndClose() {
504 if (!db_) {
505 DLOG_IF(FATAL, !poisoned_) << "Cannot raze null db";
506 return false;
507 }
508
509 // Raze() cannot run in a transaction.
510 RollbackAllTransactions();
511
512 bool result = Raze();
513
514 CloseInternal(true);
515
516 // Mark the database so that future API calls fail appropriately,
517 // but don't DCHECK (because after calling this function they are
518 // expected to fail).
519 poisoned_ = true;
520
521 return result;
522 }
523
Poison()524 void Connection::Poison() {
525 if (!db_) {
526 DLOG_IF(FATAL, !poisoned_) << "Cannot poison null db";
527 return;
528 }
529
530 RollbackAllTransactions();
531 CloseInternal(true);
532
533 // Mark the database so that future API calls fail appropriately,
534 // but don't DCHECK (because after calling this function they are
535 // expected to fail).
536 poisoned_ = true;
537 }
538
539 // TODO(shess): To the extent possible, figure out the optimal
540 // ordering for these deletes which will prevent other connections
541 // from seeing odd behavior. For instance, it may be necessary to
542 // manually lock the main database file in a SQLite-compatible fashion
543 // (to prevent other processes from opening it), then delete the
544 // journal files, then delete the main database file. Another option
545 // might be to lock the main database file and poison the header with
546 // junk to prevent other processes from opening it successfully (like
547 // Gears "SQLite poison 3" trick).
548 //
549 // static
Delete(const base::FilePath & path)550 bool Connection::Delete(const base::FilePath& path) {
551 base::ThreadRestrictions::AssertIOAllowed();
552
553 base::FilePath journal_path(path.value() + FILE_PATH_LITERAL("-journal"));
554 base::FilePath wal_path(path.value() + FILE_PATH_LITERAL("-wal"));
555
556 base::DeleteFile(journal_path, false);
557 base::DeleteFile(wal_path, false);
558 base::DeleteFile(path, false);
559
560 return !base::PathExists(journal_path) &&
561 !base::PathExists(wal_path) &&
562 !base::PathExists(path);
563 }
564
BeginTransaction()565 bool Connection::BeginTransaction() {
566 if (needs_rollback_) {
567 DCHECK_GT(transaction_nesting_, 0);
568
569 // When we're going to rollback, fail on this begin and don't actually
570 // mark us as entering the nested transaction.
571 return false;
572 }
573
574 bool success = true;
575 if (!transaction_nesting_) {
576 needs_rollback_ = false;
577
578 Statement begin(GetCachedStatement(SQL_FROM_HERE, "BEGIN TRANSACTION"));
579 if (!begin.Run())
580 return false;
581 }
582 transaction_nesting_++;
583 return success;
584 }
585
RollbackTransaction()586 void Connection::RollbackTransaction() {
587 if (!transaction_nesting_) {
588 DLOG_IF(FATAL, !poisoned_) << "Rolling back a nonexistent transaction";
589 return;
590 }
591
592 transaction_nesting_--;
593
594 if (transaction_nesting_ > 0) {
595 // Mark the outermost transaction as needing rollback.
596 needs_rollback_ = true;
597 return;
598 }
599
600 DoRollback();
601 }
602
CommitTransaction()603 bool Connection::CommitTransaction() {
604 if (!transaction_nesting_) {
605 DLOG_IF(FATAL, !poisoned_) << "Rolling back a nonexistent transaction";
606 return false;
607 }
608 transaction_nesting_--;
609
610 if (transaction_nesting_ > 0) {
611 // Mark any nested transactions as failing after we've already got one.
612 return !needs_rollback_;
613 }
614
615 if (needs_rollback_) {
616 DoRollback();
617 return false;
618 }
619
620 Statement commit(GetCachedStatement(SQL_FROM_HERE, "COMMIT"));
621 return commit.Run();
622 }
623
RollbackAllTransactions()624 void Connection::RollbackAllTransactions() {
625 if (transaction_nesting_ > 0) {
626 transaction_nesting_ = 0;
627 DoRollback();
628 }
629 }
630
AttachDatabase(const base::FilePath & other_db_path,const char * attachment_point)631 bool Connection::AttachDatabase(const base::FilePath& other_db_path,
632 const char* attachment_point) {
633 DCHECK(ValidAttachmentPoint(attachment_point));
634
635 Statement s(GetUniqueStatement("ATTACH DATABASE ? AS ?"));
636 #if OS_WIN
637 s.BindString16(0, other_db_path.value());
638 #else
639 s.BindString(0, other_db_path.value());
640 #endif
641 s.BindString(1, attachment_point);
642 return s.Run();
643 }
644
DetachDatabase(const char * attachment_point)645 bool Connection::DetachDatabase(const char* attachment_point) {
646 DCHECK(ValidAttachmentPoint(attachment_point));
647
648 Statement s(GetUniqueStatement("DETACH DATABASE ?"));
649 s.BindString(0, attachment_point);
650 return s.Run();
651 }
652
ExecuteAndReturnErrorCode(const char * sql)653 int Connection::ExecuteAndReturnErrorCode(const char* sql) {
654 AssertIOAllowed();
655 if (!db_) {
656 DLOG_IF(FATAL, !poisoned_) << "Illegal use of connection without a db";
657 return SQLITE_ERROR;
658 }
659 return sqlite3_exec(db_, sql, NULL, NULL, NULL);
660 }
661
Execute(const char * sql)662 bool Connection::Execute(const char* sql) {
663 if (!db_) {
664 DLOG_IF(FATAL, !poisoned_) << "Illegal use of connection without a db";
665 return false;
666 }
667
668 int error = ExecuteAndReturnErrorCode(sql);
669 if (error != SQLITE_OK)
670 error = OnSqliteError(error, NULL, sql);
671
672 // This needs to be a FATAL log because the error case of arriving here is
673 // that there's a malformed SQL statement. This can arise in development if
674 // a change alters the schema but not all queries adjust. This can happen
675 // in production if the schema is corrupted.
676 if (error == SQLITE_ERROR)
677 DLOG(FATAL) << "SQL Error in " << sql << ", " << GetErrorMessage();
678 return error == SQLITE_OK;
679 }
680
ExecuteWithTimeout(const char * sql,base::TimeDelta timeout)681 bool Connection::ExecuteWithTimeout(const char* sql, base::TimeDelta timeout) {
682 if (!db_) {
683 DLOG_IF(FATAL, !poisoned_) << "Illegal use of connection without a db";
684 return false;
685 }
686
687 ScopedBusyTimeout busy_timeout(db_);
688 busy_timeout.SetTimeout(timeout);
689 return Execute(sql);
690 }
691
HasCachedStatement(const StatementID & id) const692 bool Connection::HasCachedStatement(const StatementID& id) const {
693 return statement_cache_.find(id) != statement_cache_.end();
694 }
695
GetCachedStatement(const StatementID & id,const char * sql)696 scoped_refptr<Connection::StatementRef> Connection::GetCachedStatement(
697 const StatementID& id,
698 const char* sql) {
699 CachedStatementMap::iterator i = statement_cache_.find(id);
700 if (i != statement_cache_.end()) {
701 // Statement is in the cache. It should still be active (we're the only
702 // one invalidating cached statements, and we'll remove it from the cache
703 // if we do that. Make sure we reset it before giving out the cached one in
704 // case it still has some stuff bound.
705 DCHECK(i->second->is_valid());
706 sqlite3_reset(i->second->stmt());
707 return i->second;
708 }
709
710 scoped_refptr<StatementRef> statement = GetUniqueStatement(sql);
711 if (statement->is_valid())
712 statement_cache_[id] = statement; // Only cache valid statements.
713 return statement;
714 }
715
GetUniqueStatement(const char * sql)716 scoped_refptr<Connection::StatementRef> Connection::GetUniqueStatement(
717 const char* sql) {
718 AssertIOAllowed();
719
720 // Return inactive statement.
721 if (!db_)
722 return new StatementRef(NULL, NULL, poisoned_);
723
724 sqlite3_stmt* stmt = NULL;
725 int rc = sqlite3_prepare_v2(db_, sql, -1, &stmt, NULL);
726 if (rc != SQLITE_OK) {
727 // This is evidence of a syntax error in the incoming SQL.
728 DLOG(FATAL) << "SQL compile error " << GetErrorMessage();
729
730 // It could also be database corruption.
731 OnSqliteError(rc, NULL, sql);
732 return new StatementRef(NULL, NULL, false);
733 }
734 return new StatementRef(this, stmt, true);
735 }
736
GetUntrackedStatement(const char * sql) const737 scoped_refptr<Connection::StatementRef> Connection::GetUntrackedStatement(
738 const char* sql) const {
739 // Return inactive statement.
740 if (!db_)
741 return new StatementRef(NULL, NULL, poisoned_);
742
743 sqlite3_stmt* stmt = NULL;
744 int rc = sqlite3_prepare_v2(db_, sql, -1, &stmt, NULL);
745 if (rc != SQLITE_OK) {
746 // This is evidence of a syntax error in the incoming SQL.
747 DLOG(FATAL) << "SQL compile error " << GetErrorMessage();
748 return new StatementRef(NULL, NULL, false);
749 }
750 return new StatementRef(NULL, stmt, true);
751 }
752
GetSchema() const753 std::string Connection::GetSchema() const {
754 // The ORDER BY should not be necessary, but relying on organic
755 // order for something like this is questionable.
756 const char* kSql =
757 "SELECT type, name, tbl_name, sql "
758 "FROM sqlite_master ORDER BY 1, 2, 3, 4";
759 Statement statement(GetUntrackedStatement(kSql));
760
761 std::string schema;
762 while (statement.Step()) {
763 schema += statement.ColumnString(0);
764 schema += '|';
765 schema += statement.ColumnString(1);
766 schema += '|';
767 schema += statement.ColumnString(2);
768 schema += '|';
769 schema += statement.ColumnString(3);
770 schema += '\n';
771 }
772
773 return schema;
774 }
775
IsSQLValid(const char * sql)776 bool Connection::IsSQLValid(const char* sql) {
777 AssertIOAllowed();
778 if (!db_) {
779 DLOG_IF(FATAL, !poisoned_) << "Illegal use of connection without a db";
780 return false;
781 }
782
783 sqlite3_stmt* stmt = NULL;
784 if (sqlite3_prepare_v2(db_, sql, -1, &stmt, NULL) != SQLITE_OK)
785 return false;
786
787 sqlite3_finalize(stmt);
788 return true;
789 }
790
DoesTableExist(const char * table_name) const791 bool Connection::DoesTableExist(const char* table_name) const {
792 return DoesTableOrIndexExist(table_name, "table");
793 }
794
DoesIndexExist(const char * index_name) const795 bool Connection::DoesIndexExist(const char* index_name) const {
796 return DoesTableOrIndexExist(index_name, "index");
797 }
798
DoesTableOrIndexExist(const char * name,const char * type) const799 bool Connection::DoesTableOrIndexExist(
800 const char* name, const char* type) const {
801 const char* kSql = "SELECT name FROM sqlite_master WHERE type=? AND name=?";
802 Statement statement(GetUntrackedStatement(kSql));
803 statement.BindString(0, type);
804 statement.BindString(1, name);
805
806 return statement.Step(); // Table exists if any row was returned.
807 }
808
DoesColumnExist(const char * table_name,const char * column_name) const809 bool Connection::DoesColumnExist(const char* table_name,
810 const char* column_name) const {
811 std::string sql("PRAGMA TABLE_INFO(");
812 sql.append(table_name);
813 sql.append(")");
814
815 Statement statement(GetUntrackedStatement(sql.c_str()));
816 while (statement.Step()) {
817 if (!statement.ColumnString(1).compare(column_name))
818 return true;
819 }
820 return false;
821 }
822
GetLastInsertRowId() const823 int64 Connection::GetLastInsertRowId() const {
824 if (!db_) {
825 DLOG_IF(FATAL, !poisoned_) << "Illegal use of connection without a db";
826 return 0;
827 }
828 return sqlite3_last_insert_rowid(db_);
829 }
830
GetLastChangeCount() const831 int Connection::GetLastChangeCount() const {
832 if (!db_) {
833 DLOG_IF(FATAL, !poisoned_) << "Illegal use of connection without a db";
834 return 0;
835 }
836 return sqlite3_changes(db_);
837 }
838
GetErrorCode() const839 int Connection::GetErrorCode() const {
840 if (!db_)
841 return SQLITE_ERROR;
842 return sqlite3_errcode(db_);
843 }
844
GetLastErrno() const845 int Connection::GetLastErrno() const {
846 if (!db_)
847 return -1;
848
849 int err = 0;
850 if (SQLITE_OK != sqlite3_file_control(db_, NULL, SQLITE_LAST_ERRNO, &err))
851 return -2;
852
853 return err;
854 }
855
GetErrorMessage() const856 const char* Connection::GetErrorMessage() const {
857 if (!db_)
858 return "sql::Connection has no connection.";
859 return sqlite3_errmsg(db_);
860 }
861
OpenInternal(const std::string & file_name,Connection::Retry retry_flag)862 bool Connection::OpenInternal(const std::string& file_name,
863 Connection::Retry retry_flag) {
864 AssertIOAllowed();
865
866 if (db_) {
867 DLOG(FATAL) << "sql::Connection is already open.";
868 return false;
869 }
870
871 // Make sure sqlite3_initialize() is called before anything else.
872 InitializeSqlite();
873
874 // If |poisoned_| is set, it means an error handler called
875 // RazeAndClose(). Until regular Close() is called, the caller
876 // should be treating the database as open, but is_open() currently
877 // only considers the sqlite3 handle's state.
878 // TODO(shess): Revise is_open() to consider poisoned_, and review
879 // to see if any non-testing code even depends on it.
880 DLOG_IF(FATAL, poisoned_) << "sql::Connection is already open.";
881 poisoned_ = false;
882
883 int err = sqlite3_open(file_name.c_str(), &db_);
884 if (err != SQLITE_OK) {
885 // Extended error codes cannot be enabled until a handle is
886 // available, fetch manually.
887 err = sqlite3_extended_errcode(db_);
888
889 // Histogram failures specific to initial open for debugging
890 // purposes.
891 UMA_HISTOGRAM_SPARSE_SLOWLY("Sqlite.OpenFailure", err);
892
893 OnSqliteError(err, NULL, "-- sqlite3_open()");
894 bool was_poisoned = poisoned_;
895 Close();
896
897 if (was_poisoned && retry_flag == RETRY_ON_POISON)
898 return OpenInternal(file_name, NO_RETRY);
899 return false;
900 }
901
902 // TODO(shess): OS_WIN support?
903 #if defined(OS_POSIX)
904 if (restrict_to_user_) {
905 DCHECK_NE(file_name, std::string(":memory"));
906 base::FilePath file_path(file_name);
907 int mode = 0;
908 // TODO(shess): Arguably, failure to retrieve and change
909 // permissions should be fatal if the file exists.
910 if (base::GetPosixFilePermissions(file_path, &mode)) {
911 mode &= base::FILE_PERMISSION_USER_MASK;
912 base::SetPosixFilePermissions(file_path, mode);
913
914 // SQLite sets the permissions on these files from the main
915 // database on create. Set them here in case they already exist
916 // at this point. Failure to set these permissions should not
917 // be fatal unless the file doesn't exist.
918 base::FilePath journal_path(file_name + FILE_PATH_LITERAL("-journal"));
919 base::FilePath wal_path(file_name + FILE_PATH_LITERAL("-wal"));
920 base::SetPosixFilePermissions(journal_path, mode);
921 base::SetPosixFilePermissions(wal_path, mode);
922 }
923 }
924 #endif // defined(OS_POSIX)
925
926 // SQLite uses a lookaside buffer to improve performance of small mallocs.
927 // Chromium already depends on small mallocs being efficient, so we disable
928 // this to avoid the extra memory overhead.
929 // This must be called immediatly after opening the database before any SQL
930 // statements are run.
931 sqlite3_db_config(db_, SQLITE_DBCONFIG_LOOKASIDE, NULL, 0, 0);
932
933 // Enable extended result codes to provide more color on I/O errors.
934 // Not having extended result codes is not a fatal problem, as
935 // Chromium code does not attempt to handle I/O errors anyhow. The
936 // current implementation always returns SQLITE_OK, the DCHECK is to
937 // quickly notify someone if SQLite changes.
938 err = sqlite3_extended_result_codes(db_, 1);
939 DCHECK_EQ(err, SQLITE_OK) << "Could not enable extended result codes";
940
941 // sqlite3_open() does not actually read the database file (unless a
942 // hot journal is found). Successfully executing this pragma on an
943 // existing database requires a valid header on page 1.
944 // TODO(shess): For now, just probing to see what the lay of the
945 // land is. If it's mostly SQLITE_NOTADB, then the database should
946 // be razed.
947 err = ExecuteAndReturnErrorCode("PRAGMA auto_vacuum");
948 if (err != SQLITE_OK)
949 UMA_HISTOGRAM_SPARSE_SLOWLY("Sqlite.OpenProbeFailure", err);
950
951 #if defined(OS_IOS) && defined(USE_SYSTEM_SQLITE)
952 // The version of SQLite shipped with iOS doesn't enable ICU, which includes
953 // REGEXP support. Add it in dynamically.
954 err = sqlite3IcuInit(db_);
955 DCHECK_EQ(err, SQLITE_OK) << "Could not enable ICU support";
956 #endif // OS_IOS && USE_SYSTEM_SQLITE
957
958 // If indicated, lock up the database before doing anything else, so
959 // that the following code doesn't have to deal with locking.
960 // TODO(shess): This code is brittle. Find the cases where code
961 // doesn't request |exclusive_locking_| and audit that it does the
962 // right thing with SQLITE_BUSY, and that it doesn't make
963 // assumptions about who might change things in the database.
964 // http://crbug.com/56559
965 if (exclusive_locking_) {
966 // TODO(shess): This should probably be a failure. Code which
967 // requests exclusive locking but doesn't get it is almost certain
968 // to be ill-tested.
969 ignore_result(Execute("PRAGMA locking_mode=EXCLUSIVE"));
970 }
971
972 // http://www.sqlite.org/pragma.html#pragma_journal_mode
973 // DELETE (default) - delete -journal file to commit.
974 // TRUNCATE - truncate -journal file to commit.
975 // PERSIST - zero out header of -journal file to commit.
976 // journal_size_limit provides size to trim to in PERSIST.
977 // TODO(shess): Figure out if PERSIST and journal_size_limit really
978 // matter. In theory, it keeps pages pre-allocated, so if
979 // transactions usually fit, it should be faster.
980 ignore_result(Execute("PRAGMA journal_mode = PERSIST"));
981 ignore_result(Execute("PRAGMA journal_size_limit = 16384"));
982
983 const base::TimeDelta kBusyTimeout =
984 base::TimeDelta::FromSeconds(kBusyTimeoutSeconds);
985
986 if (page_size_ != 0) {
987 // Enforce SQLite restrictions on |page_size_|.
988 DCHECK(!(page_size_ & (page_size_ - 1)))
989 << " page_size_ " << page_size_ << " is not a power of two.";
990 const int kSqliteMaxPageSize = 32768; // from sqliteLimit.h
991 DCHECK_LE(page_size_, kSqliteMaxPageSize);
992 const std::string sql =
993 base::StringPrintf("PRAGMA page_size=%d", page_size_);
994 ignore_result(ExecuteWithTimeout(sql.c_str(), kBusyTimeout));
995 }
996
997 if (cache_size_ != 0) {
998 const std::string sql =
999 base::StringPrintf("PRAGMA cache_size=%d", cache_size_);
1000 ignore_result(ExecuteWithTimeout(sql.c_str(), kBusyTimeout));
1001 }
1002
1003 if (!ExecuteWithTimeout("PRAGMA secure_delete=ON", kBusyTimeout)) {
1004 bool was_poisoned = poisoned_;
1005 Close();
1006 if (was_poisoned && retry_flag == RETRY_ON_POISON)
1007 return OpenInternal(file_name, NO_RETRY);
1008 return false;
1009 }
1010
1011 return true;
1012 }
1013
DoRollback()1014 void Connection::DoRollback() {
1015 Statement rollback(GetCachedStatement(SQL_FROM_HERE, "ROLLBACK"));
1016 rollback.Run();
1017 needs_rollback_ = false;
1018 }
1019
StatementRefCreated(StatementRef * ref)1020 void Connection::StatementRefCreated(StatementRef* ref) {
1021 DCHECK(open_statements_.find(ref) == open_statements_.end());
1022 open_statements_.insert(ref);
1023 }
1024
StatementRefDeleted(StatementRef * ref)1025 void Connection::StatementRefDeleted(StatementRef* ref) {
1026 StatementRefSet::iterator i = open_statements_.find(ref);
1027 if (i == open_statements_.end())
1028 DLOG(FATAL) << "Could not find statement";
1029 else
1030 open_statements_.erase(i);
1031 }
1032
AddTaggedHistogram(const std::string & name,size_t sample) const1033 void Connection::AddTaggedHistogram(const std::string& name,
1034 size_t sample) const {
1035 if (histogram_tag_.empty())
1036 return;
1037
1038 // TODO(shess): The histogram macros create a bit of static storage
1039 // for caching the histogram object. This code shouldn't execute
1040 // often enough for such caching to be crucial. If it becomes an
1041 // issue, the object could be cached alongside histogram_prefix_.
1042 std::string full_histogram_name = name + "." + histogram_tag_;
1043 base::HistogramBase* histogram =
1044 base::SparseHistogram::FactoryGet(
1045 full_histogram_name,
1046 base::HistogramBase::kUmaTargetedHistogramFlag);
1047 if (histogram)
1048 histogram->Add(sample);
1049 }
1050
OnSqliteError(int err,sql::Statement * stmt,const char * sql)1051 int Connection::OnSqliteError(int err, sql::Statement *stmt, const char* sql) {
1052 UMA_HISTOGRAM_SPARSE_SLOWLY("Sqlite.Error", err);
1053 AddTaggedHistogram("Sqlite.Error", err);
1054
1055 // Always log the error.
1056 if (!sql && stmt)
1057 sql = stmt->GetSQLStatement();
1058 if (!sql)
1059 sql = "-- unknown";
1060 LOG(ERROR) << histogram_tag_ << " sqlite error " << err
1061 << ", errno " << GetLastErrno()
1062 << ": " << GetErrorMessage()
1063 << ", sql: " << sql;
1064
1065 if (!error_callback_.is_null()) {
1066 // Fire from a copy of the callback in case of reentry into
1067 // re/set_error_callback().
1068 // TODO(shess): <http://crbug.com/254584>
1069 ErrorCallback(error_callback_).Run(err, stmt);
1070 return err;
1071 }
1072
1073 // The default handling is to assert on debug and to ignore on release.
1074 if (!ShouldIgnoreSqliteError(err))
1075 DLOG(FATAL) << GetErrorMessage();
1076 return err;
1077 }
1078
FullIntegrityCheck(std::vector<std::string> * messages)1079 bool Connection::FullIntegrityCheck(std::vector<std::string>* messages) {
1080 return IntegrityCheckHelper("PRAGMA integrity_check", messages);
1081 }
1082
QuickIntegrityCheck()1083 bool Connection::QuickIntegrityCheck() {
1084 std::vector<std::string> messages;
1085 if (!IntegrityCheckHelper("PRAGMA quick_check", &messages))
1086 return false;
1087 return messages.size() == 1 && messages[0] == "ok";
1088 }
1089
1090 // TODO(shess): Allow specifying maximum results (default 100 lines).
IntegrityCheckHelper(const char * pragma_sql,std::vector<std::string> * messages)1091 bool Connection::IntegrityCheckHelper(
1092 const char* pragma_sql,
1093 std::vector<std::string>* messages) {
1094 messages->clear();
1095
1096 // This has the side effect of setting SQLITE_RecoveryMode, which
1097 // allows SQLite to process through certain cases of corruption.
1098 // Failing to set this pragma probably means that the database is
1099 // beyond recovery.
1100 const char kWritableSchema[] = "PRAGMA writable_schema = ON";
1101 if (!Execute(kWritableSchema))
1102 return false;
1103
1104 bool ret = false;
1105 {
1106 sql::Statement stmt(GetUniqueStatement(pragma_sql));
1107
1108 // The pragma appears to return all results (up to 100 by default)
1109 // as a single string. This doesn't appear to be an API contract,
1110 // it could return separate lines, so loop _and_ split.
1111 while (stmt.Step()) {
1112 std::string result(stmt.ColumnString(0));
1113 base::SplitString(result, '\n', messages);
1114 }
1115 ret = stmt.Succeeded();
1116 }
1117
1118 // Best effort to put things back as they were before.
1119 const char kNoWritableSchema[] = "PRAGMA writable_schema = OFF";
1120 ignore_result(Execute(kNoWritableSchema));
1121
1122 return ret;
1123 }
1124
1125 } // namespace sql
1126