mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
128 lines
2.7 KiB
C++
128 lines
2.7 KiB
C++
// Copyright 2016 The Fuchsia 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 "flutter/fml/synchronization/thread_annotations.h"
|
|
|
|
#include <mutex>
|
|
|
|
#include "flutter/fml/macros.h"
|
|
#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 fml {
|
|
namespace {
|
|
|
|
// Test FML_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:
|
|
std::mutex mu_;
|
|
int x_ FML_GUARDED_BY(mu_);
|
|
|
|
FML_DISALLOW_COPY_AND_ASSIGN(GuardedByClass);
|
|
};
|
|
|
|
TEST(ThreadAnnotationsTest, GuardedBy) {
|
|
GuardedByClass c;
|
|
c.GoodSet(123);
|
|
}
|
|
|
|
// Test FML_ACQUIRED_BEFORE ----------------------------------------------------
|
|
|
|
class AcquiredBeforeClass2;
|
|
|
|
class AcquiredBeforeClass1 {
|
|
public:
|
|
AcquiredBeforeClass1() {}
|
|
~AcquiredBeforeClass1() {}
|
|
|
|
void NoOp() {
|
|
mu_.lock();
|
|
mu_.unlock();
|
|
}
|
|
|
|
#ifdef NC_ACQUIRED_BEFORE
|
|
void BadMethod(AcquiredBeforeClass2* c2);
|
|
#endif
|
|
|
|
private:
|
|
friend class AcquiredBeforeClass2;
|
|
|
|
std::mutex mu_;
|
|
|
|
FML_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:
|
|
std::mutex mu_ FML_ACQUIRED_BEFORE(AcquiredBeforeClass1::mu_);
|
|
|
|
FML_DISALLOW_COPY_AND_ASSIGN(AcquiredBeforeClass2);
|
|
};
|
|
|
|
#ifdef NC_ACQUIRED_BEFORE
|
|
void AcquiredBeforeClass1::BadMethod(AcquiredBeforeClass2* c2) {
|
|
mu_.lock();
|
|
c2->NoOp();
|
|
mu_.unlock();
|
|
}
|
|
#endif
|
|
|
|
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 fml
|