| Index: third_party/mojo/src/mojo/edk/system/thread_annotations_unittest.cc
|
| diff --git a/third_party/mojo/src/mojo/edk/system/thread_annotations_unittest.cc b/third_party/mojo/src/mojo/edk/system/thread_annotations_unittest.cc
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..d56814fa6ba97ed5a2993045ce0e36ccacc32bbb
|
| --- /dev/null
|
| +++ b/third_party/mojo/src/mojo/edk/system/thread_annotations_unittest.cc
|
| @@ -0,0 +1,124 @@
|
| +// Copyright 2015 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.
|
| +
|
| +// Tests of the static thread annotation macros. These fall into two categories,
|
| +// positive tests (testing that correct code compiles and works) and negative
|
| +// tests (testing that incorrect code does not compile).
|
| +//
|
| +// Unfortunately, we don't have systematic/automated negative compilation tests.
|
| +// So instead we have some cheesy macros that you can define to enable
|
| +// individual compilation failures.
|
| +
|
| +#include "mojo/edk/system/thread_annotations.h"
|
| +
|
| +#include "mojo/edk/system/mutex.h"
|
| +#include "mojo/public/cpp/system/macros.h"
|
| +#include "testing/gtest/include/gtest/gtest.h"
|
| +
|
| +// Uncomment these to enable particular compilation failure tests.
|
| +// #define NC_GUARDED_BY
|
| +// TODO(vtl): |ACQUIRED_{BEFORE,AFTER}()| are currently unimplemented in clang
|
| +// as of 2015-07-06 ("To be fixed in a future update."). So this actually
|
| +// compiles!
|
| +// #define NC_ACQUIRED_BEFORE
|
| +
|
| +namespace mojo {
|
| +namespace system {
|
| +namespace {
|
| +
|
| +// Test MOJO_GUARDED_BY --------------------------------------------------------
|
| +
|
| +class GuardedByClass {
|
| + public:
|
| + GuardedByClass() : x_() {}
|
| + ~GuardedByClass() {}
|
| +
|
| + void GoodSet(int x) {
|
| + mu_.Lock();
|
| + x_ = x;
|
| + mu_.Unlock();
|
| + }
|
| +
|
| +#ifdef NC_GUARDED_BY
|
| + void BadSet(int x) { x_ = x; }
|
| +#endif
|
| +
|
| + private:
|
| + Mutex mu_;
|
| + int x_ MOJO_GUARDED_BY(mu_);
|
| +
|
| + MOJO_DISALLOW_COPY_AND_ASSIGN(GuardedByClass);
|
| +};
|
| +
|
| +TEST(ThreadAnnotationsTest, GuardedBy) {
|
| + GuardedByClass c;
|
| + c.GoodSet(123);
|
| +}
|
| +
|
| +// Test MOJO_ACQUIRED_BEFORE ---------------------------------------------------
|
| +
|
| +class AcquiredBeforeClass2;
|
| +
|
| +class AcquiredBeforeClass1 {
|
| + public:
|
| + AcquiredBeforeClass1() {}
|
| + ~AcquiredBeforeClass1() {}
|
| +
|
| + void NoOp() {
|
| + mu_.Lock();
|
| + mu_.Unlock();
|
| + }
|
| +
|
| +#ifdef NC_ACQUIRED_BEFORE
|
| + void BadMethod(AcquiredBeforeClass2* c2) {
|
| + mu_.Lock();
|
| + c2->NoOp();
|
| + mu_.Unlock();
|
| + }
|
| +#endif
|
| +
|
| + private:
|
| + friend class AcquiredBeforeClass2;
|
| +
|
| + Mutex mu_;
|
| +
|
| + MOJO_DISALLOW_COPY_AND_ASSIGN(AcquiredBeforeClass1);
|
| +};
|
| +
|
| +class AcquiredBeforeClass2 {
|
| + public:
|
| + AcquiredBeforeClass2() {}
|
| + ~AcquiredBeforeClass2() {}
|
| +
|
| + void NoOp() {
|
| + mu_.Lock();
|
| + mu_.Unlock();
|
| + }
|
| +
|
| + void GoodMethod(AcquiredBeforeClass1* c1) {
|
| + mu_.Lock();
|
| + c1->NoOp();
|
| + mu_.Unlock();
|
| + }
|
| +
|
| + private:
|
| + Mutex mu_ MOJO_ACQUIRED_BEFORE(AcquiredBeforeClass1::mu_);
|
| +
|
| + MOJO_DISALLOW_COPY_AND_ASSIGN(AcquiredBeforeClass2);
|
| +};
|
| +
|
| +TEST(ThreadAnnotationsTest, AcquiredBefore) {
|
| + AcquiredBeforeClass1 c1;
|
| + AcquiredBeforeClass2 c2;
|
| + c2.GoodMethod(&c1);
|
| +#ifdef NC_ACQUIRED_BEFORE
|
| + c1.BadMethod(&c2);
|
| +#endif
|
| +}
|
| +
|
| +// TODO(vtl): Test more things.
|
| +
|
| +} // namespace
|
| +} // namespace system
|
| +} // namespace mojo
|
|
|