// Copyright 2013 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include "base/sequence_checker.h"
#include <stddef.h>
#include <memory>
#include <utility>
#include "base/bind.h"
#include "base/bind_helpers.h"
#include "base/location.h"
#include "base/logging.h"
#include "base/macros.h"
#include "base/memory/ref_counted.h"
#include "base/single_thread_task_runner.h"
#include "base/test/sequenced_worker_pool_owner.h"
#include "base/threading/thread.h"
#include "testing/gtest/include/gtest/gtest.h"
// Duplicated from base/sequence_checker.h so that we can be good citizens
// there and undef the macro.
#if (!defined(NDEBUG) || defined(DCHECK_ALWAYS_ON))
#define ENABLE_SEQUENCE_CHECKER 1
#else
#define ENABLE_SEQUENCE_CHECKER 0
#endif
namespace base {
namespace {
const size_t kNumWorkerThreads = 3;
// Simple class to exercise the basics of SequenceChecker.
// DoStuff should verify that it's called on a valid sequenced thread.
// SequenceCheckedObject can be destroyed on any thread (like WeakPtr).
class SequenceCheckedObject {
public:
SequenceCheckedObject() {}
~SequenceCheckedObject() {}
// Verifies that it was called on the same thread as the constructor.
void DoStuff() {
DCHECK(sequence_checker_.CalledOnValidSequencedThread());
}
void DetachFromSequence() {
sequence_checker_.DetachFromSequence();
}
private:
SequenceChecker sequence_checker_;
DISALLOW_COPY_AND_ASSIGN(SequenceCheckedObject);
};
class SequenceCheckerTest : public testing::Test {
public:
SequenceCheckerTest() : other_thread_("sequence_checker_test_other_thread") {}
void SetUp() override {
other_thread_.Start();
ResetPool();
}
void TearDown() override {
other_thread_.Stop();
}
protected:
base::Thread* other_thread() { return &other_thread_; }
const scoped_refptr<SequencedWorkerPool>& pool() {
return pool_owner_->pool();
}
void PostDoStuffToWorkerPool(SequenceCheckedObject* sequence_checked_object,
const std::string& token_name) {
pool()->PostNamedSequencedWorkerTask(
token_name,
FROM_HERE,
base::Bind(&SequenceCheckedObject::DoStuff,
base::Unretained(sequence_checked_object)));
}
void PostDoStuffToOtherThread(
SequenceCheckedObject* sequence_checked_object) {
other_thread()->task_runner()->PostTask(
FROM_HERE, base::Bind(&SequenceCheckedObject::DoStuff,
base::Unretained(sequence_checked_object)));
}
void PostDeleteToOtherThread(
std::unique_ptr<SequenceCheckedObject> sequence_checked_object) {
other_thread()->message_loop()->task_runner()->DeleteSoon(
FROM_HERE, sequence_checked_object.release());
}
// Destroys the SequencedWorkerPool instance, blocking until it is fully shut
// down, and creates a new instance.
void ResetPool() {
pool_owner_.reset(new SequencedWorkerPoolOwner(kNumWorkerThreads, "test"));
}
void MethodOnDifferentThreadDeathTest();
void DetachThenCallFromDifferentThreadDeathTest();
void DifferentSequenceTokensDeathTest();
void WorkerPoolAndSimpleThreadDeathTest();
void TwoDifferentWorkerPoolsDeathTest();
private:
MessageLoop message_loop_; // Needed by SequencedWorkerPool to function.
base::Thread other_thread_;
std::unique_ptr<SequencedWorkerPoolOwner> pool_owner_;
};
TEST_F(SequenceCheckerTest, CallsAllowedOnSameThread) {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
// Verify that DoStuff doesn't assert.
sequence_checked_object->DoStuff();
// Verify that the destructor doesn't assert.
sequence_checked_object.reset();
}
TEST_F(SequenceCheckerTest, DestructorAllowedOnDifferentThread) {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
// Verify the destructor doesn't assert when called on a different thread.
PostDeleteToOtherThread(std::move(sequence_checked_object));
other_thread()->Stop();
}
TEST_F(SequenceCheckerTest, DetachFromSequence) {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
// Verify that DoStuff doesn't assert when called on a different thread after
// a call to DetachFromSequence.
sequence_checked_object->DetachFromSequence();
PostDoStuffToOtherThread(sequence_checked_object.get());
other_thread()->Stop();
}
TEST_F(SequenceCheckerTest, SameSequenceTokenValid) {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
sequence_checked_object->DetachFromSequence();
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
pool()->FlushForTesting();
PostDeleteToOtherThread(std::move(sequence_checked_object));
other_thread()->Stop();
}
TEST_F(SequenceCheckerTest, DetachSequenceTokenValid) {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
sequence_checked_object->DetachFromSequence();
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
pool()->FlushForTesting();
sequence_checked_object->DetachFromSequence();
PostDoStuffToWorkerPool(sequence_checked_object.get(), "B");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "B");
pool()->FlushForTesting();
PostDeleteToOtherThread(std::move(sequence_checked_object));
other_thread()->Stop();
}
#if GTEST_HAS_DEATH_TEST || !ENABLE_SEQUENCE_CHECKER
void SequenceCheckerTest::MethodOnDifferentThreadDeathTest() {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
// DoStuff should assert in debug builds only when called on a
// different thread.
PostDoStuffToOtherThread(sequence_checked_object.get());
other_thread()->Stop();
}
#if ENABLE_SEQUENCE_CHECKER
TEST_F(SequenceCheckerTest, MethodNotAllowedOnDifferentThreadDeathTestInDebug) {
// The default style "fast" does not support multi-threaded tests.
::testing::FLAGS_gtest_death_test_style = "threadsafe";
ASSERT_DEATH({
MethodOnDifferentThreadDeathTest();
}, "");
}
#else
TEST_F(SequenceCheckerTest, MethodAllowedOnDifferentThreadDeathTestInRelease) {
MethodOnDifferentThreadDeathTest();
}
#endif // ENABLE_SEQUENCE_CHECKER
void SequenceCheckerTest::DetachThenCallFromDifferentThreadDeathTest() {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
// DoStuff doesn't assert when called on a different thread
// after a call to DetachFromSequence.
sequence_checked_object->DetachFromSequence();
PostDoStuffToOtherThread(sequence_checked_object.get());
other_thread()->Stop();
// DoStuff should assert in debug builds only after moving to
// another thread.
sequence_checked_object->DoStuff();
}
#if ENABLE_SEQUENCE_CHECKER
TEST_F(SequenceCheckerTest, DetachFromSequenceDeathTestInDebug) {
// The default style "fast" does not support multi-threaded tests.
::testing::FLAGS_gtest_death_test_style = "threadsafe";
ASSERT_DEATH({
DetachThenCallFromDifferentThreadDeathTest();
}, "");
}
#else
TEST_F(SequenceCheckerTest, DetachFromThreadDeathTestInRelease) {
DetachThenCallFromDifferentThreadDeathTest();
}
#endif // ENABLE_SEQUENCE_CHECKER
void SequenceCheckerTest::DifferentSequenceTokensDeathTest() {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
sequence_checked_object->DetachFromSequence();
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "B");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "B");
pool()->FlushForTesting();
PostDeleteToOtherThread(std::move(sequence_checked_object));
other_thread()->Stop();
}
#if ENABLE_SEQUENCE_CHECKER
TEST_F(SequenceCheckerTest, DifferentSequenceTokensDeathTestInDebug) {
// The default style "fast" does not support multi-threaded tests.
::testing::FLAGS_gtest_death_test_style = "threadsafe";
ASSERT_DEATH({
DifferentSequenceTokensDeathTest();
}, "");
}
#else
TEST_F(SequenceCheckerTest, DifferentSequenceTokensDeathTestInRelease) {
DifferentSequenceTokensDeathTest();
}
#endif // ENABLE_SEQUENCE_CHECKER
void SequenceCheckerTest::WorkerPoolAndSimpleThreadDeathTest() {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
sequence_checked_object->DetachFromSequence();
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
pool()->FlushForTesting();
PostDoStuffToOtherThread(sequence_checked_object.get());
other_thread()->Stop();
}
#if ENABLE_SEQUENCE_CHECKER
TEST_F(SequenceCheckerTest, WorkerPoolAndSimpleThreadDeathTestInDebug) {
// The default style "fast" does not support multi-threaded tests.
::testing::FLAGS_gtest_death_test_style = "threadsafe";
ASSERT_DEATH({
WorkerPoolAndSimpleThreadDeathTest();
}, "");
}
#else
TEST_F(SequenceCheckerTest, WorkerPoolAndSimpleThreadDeathTestInRelease) {
WorkerPoolAndSimpleThreadDeathTest();
}
#endif // ENABLE_SEQUENCE_CHECKER
void SequenceCheckerTest::TwoDifferentWorkerPoolsDeathTest() {
std::unique_ptr<SequenceCheckedObject> sequence_checked_object(
new SequenceCheckedObject);
sequence_checked_object->DetachFromSequence();
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
PostDoStuffToWorkerPool(sequence_checked_object.get(), "A");
pool()->FlushForTesting();
SequencedWorkerPoolOwner second_pool_owner(kNumWorkerThreads, "test2");
second_pool_owner.pool()->PostNamedSequencedWorkerTask(
"A",
FROM_HERE,
base::Bind(&SequenceCheckedObject::DoStuff,
base::Unretained(sequence_checked_object.get())));
second_pool_owner.pool()->FlushForTesting();
}
#if ENABLE_SEQUENCE_CHECKER
TEST_F(SequenceCheckerTest, TwoDifferentWorkerPoolsDeathTestInDebug) {
// The default style "fast" does not support multi-threaded tests.
::testing::FLAGS_gtest_death_test_style = "threadsafe";
ASSERT_DEATH({
TwoDifferentWorkerPoolsDeathTest();
}, "");
}
#else
TEST_F(SequenceCheckerTest, TwoDifferentWorkerPoolsDeathTestInRelease) {
TwoDifferentWorkerPoolsDeathTest();
}
#endif // ENABLE_SEQUENCE_CHECKER
#endif // GTEST_HAS_DEATH_TEST || !ENABLE_SEQUENCE_CHECKER
} // namespace
} // namespace base
// Just in case we ever get lumped together with other compilation units.
#undef ENABLE_SEQUENCE_CHECKER