Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(523)

Unified Diff: components/history/core/browser/history_model_worker.cc

Issue 2757193003: [Sync] Do not deadlock when joining sync thread with a pending HistoryModelWorker task. (Closed)
Patch Set: fix comment Created 3 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: components/history/core/browser/history_model_worker.cc
diff --git a/components/history/core/browser/history_model_worker.cc b/components/history/core/browser/history_model_worker.cc
index 72b843dc9ffc765938f73116d1f5a49c1f27f4cd..3a7dcab88702e8dbdaf5a3ec2eeb046604d32abe 100644
--- a/components/history/core/browser/history_model_worker.cc
+++ b/components/history/core/browser/history_model_worker.cc
@@ -6,7 +6,7 @@
#include <utility>
-#include "base/synchronization/waitable_event.h"
+#include "base/memory/ptr_util.h"
#include "components/history/core/browser/history_db_task.h"
#include "components/history/core/browser/history_service.h"
#include "components/sync/base/scoped_event_signal.h"
@@ -16,12 +16,19 @@ namespace browser_sync {
class WorkerTask : public history::HistoryDBTask {
public:
WorkerTask(const syncer::WorkCallback& work,
+ scoped_refptr<HistoryModelWorker> history_model_worker,
syncer::ScopedEventSignal scoped_event_signal,
syncer::SyncerError* error)
: work_(work),
+ history_model_worker_(std::move(history_model_worker)),
scoped_event_signal_(std::move(scoped_event_signal)),
error_(error) {}
+ ~WorkerTask() override {
+ // The event in |scoped_event_signal_| is signaled at the end of this
+ // scope if this is destroyed before RunOnDBThread runs.
+ }
+
bool RunOnDBThread(history::HistoryBackend* backend,
history::HistoryDatabase* db) override {
// Signal the completion event at the end of this scope.
@@ -38,88 +45,86 @@ class WorkerTask : public history::HistoryDBTask {
void DoneRunOnMainThread() override {}
protected:
- ~WorkerTask() override {
- // The event in |scoped_event_signal_| is signaled at the end of this
- // scope if this is destroyed before RunOnDBThread runs.
- }
-
syncer::WorkCallback work_;
- syncer::ScopedEventSignal scoped_event_signal_;
- syncer::SyncerError* error_;
-};
-class AddDBThreadObserverTask : public history::HistoryDBTask {
- public:
- explicit AddDBThreadObserverTask(base::Closure register_callback)
- : register_callback_(register_callback) {}
-
- bool RunOnDBThread(history::HistoryBackend* backend,
- history::HistoryDatabase* db) override {
- register_callback_.Run();
- return true;
- }
+ // Keep a reference to the HistoryModelWorker that owns the WaitableEvent* in
+ // |scoped_event_signal_| to prevent a use-after-free.
+ const scoped_refptr<HistoryModelWorker> history_model_worker_;
- void DoneRunOnMainThread() override {}
-
- private:
- ~AddDBThreadObserverTask() override {}
-
- base::Closure register_callback_;
+ syncer::ScopedEventSignal scoped_event_signal_;
+ syncer::SyncerError* error_;
};
-namespace {
-
-// Post the work task on |history_service|'s DB thread from the UI
-// thread.
-void PostWorkerTask(
- const base::WeakPtr<history::HistoryService>& history_service,
- const syncer::WorkCallback& work,
- syncer::ScopedEventSignal scoped_event_signal,
- base::CancelableTaskTracker* cancelable_tracker,
- syncer::SyncerError* error) {
- if (history_service.get()) {
- std::unique_ptr<history::HistoryDBTask> task(
- new WorkerTask(work, std::move(scoped_event_signal), error));
- history_service->ScheduleDBTask(std::move(task), cancelable_tracker);
- } else {
- *error = syncer::CANNOT_DO_WORK;
- // The event in |scoped_event_signal| is signaled at the end of this
- // scope.
- }
-}
-
-} // namespace
-
HistoryModelWorker::HistoryModelWorker(
const base::WeakPtr<history::HistoryService>& history_service,
const scoped_refptr<base::SingleThreadTaskRunner>& ui_thread)
- : history_service_(history_service), ui_thread_(ui_thread) {
+ : history_service_(history_service),
+ ui_thread_(ui_thread),
+ work_done_or_abandoned_(base::WaitableEvent::ResetPolicy::MANUAL,
+ base::WaitableEvent::InitialState::NOT_SIGNALED) {
CHECK(history_service.get());
DCHECK(ui_thread_->BelongsToCurrentThread());
+ sequence_checker_.DetachFromSequence();
cancelable_tracker_.reset(new base::CancelableTaskTracker);
}
syncer::SyncerError HistoryModelWorker::DoWorkAndWaitUntilDoneImpl(
const syncer::WorkCallback& work) {
+ DCHECK(sequence_checker_.CalledOnValidSequence());
syncer::SyncerError error = syncer::UNSET;
- // Signaled after the task runs or when it is abandoned.
- base::WaitableEvent work_done_or_abandoned(
- base::WaitableEvent::ResetPolicy::AUTOMATIC,
- base::WaitableEvent::InitialState::NOT_SIGNALED);
-
- if (ui_thread_->PostTask(FROM_HERE,
- base::Bind(&PostWorkerTask, history_service_, work,
- base::Passed(syncer::ScopedEventSignal(
- &work_done_or_abandoned)),
- cancelable_tracker_.get(), &error))) {
- work_done_or_abandoned.Wait();
- } else {
- error = syncer::CANNOT_DO_WORK;
+ {
+ // Make sure that this method does not wait for a UI task after
+ // RequestStop() is called, because the UI thread doesn't run tasks after
+ // RequestStop().
+ //
+ // Checking IsStopped() and resetting |work_done_or_abandoned_| must be done
+ // atomically to prevent this deadlock:
+ // Thread Method Operation
+ // Sync DoWorkAndWaitUntilDoneImpl() Sees that IsStopped() is false.
+ // UI RequestStop() Sets IsStopped() to true.
+ // UI RequestStop() Signals |work_done_or_abandoned_|.
+ // Sync DoWorkAndWaitUntilDoneImpl() Resets |work_done_or_abandoned_|.
+ // Sync DoWorkAndWaitUntilDoneImpl() Waits on |work_done_or_abandoned_|
+ // forever.
+ base::AutoLock auto_lock(lock_);
+ if (IsStopped())
+ return syncer::CANNOT_DO_WORK;
+ work_done_or_abandoned_.Reset();
+ DCHECK(!ui_task_pending_);
+ ui_task_pending_ = true;
+ }
+
+ // Post a task to the UI thread that itself posts |work| to the history DB
+ // thread.
+ if (!ui_thread_->PostTask(
+ FROM_HERE,
+ base::Bind(
+ &HistoryModelWorker::ScheduleHistoryDBTaskFromUIThread, this,
+ base::Passed(base::MakeUnique<WorkerTask>(
+ work, this,
+ syncer::ScopedEventSignal(&work_done_or_abandoned_), &error)),
+ base::Unretained(&error)))) {
+ return syncer::CANNOT_DO_WORK;
}
+
+ work_done_or_abandoned_.Wait();
+
return error;
}
+void HistoryModelWorker::RequestStop() {
+ DCHECK(ui_thread_->BelongsToCurrentThread());
+
+ base::AutoLock auto_lock(lock_);
+ ModelSafeWorker::RequestStop();
+
+ // The UI thread doesn't run tasks after RequestStop(). Therefore, unblock
+ // DoWorkAndWaitUntilDoneImpl() if it is waiting for a UI task.
+ if (ui_task_pending_)
+ work_done_or_abandoned_.Signal();
+}
+
syncer::ModelSafeGroup HistoryModelWorker::GetModelSafeGroup() {
return syncer::GROUP_HISTORY;
}
@@ -138,4 +143,19 @@ HistoryModelWorker::~HistoryModelWorker() {
ui_thread_->DeleteSoon(FROM_HERE, cancelable_tracker_.release());
}
+void HistoryModelWorker::ScheduleHistoryDBTaskFromUIThread(
+ std::unique_ptr<history::HistoryDBTask> worker_task,
+ syncer::SyncerError* error) {
+ if (history_service_) {
+ history_service_->ScheduleDBTask(std::move(worker_task),
+ cancelable_tracker_.get());
+ } else {
+ *error = syncer::CANNOT_DO_WORK;
+ }
+
+ base::AutoLock auto_lock(lock_);
+ DCHECK(ui_task_pending_);
+ ui_task_pending_ = false;
+}
+
} // namespace browser_sync

Powered by Google App Engine
This is Rietveld 408576698