blob: db0de45c18ef99cd145257423a0c411f3828bea3 [file] [log] [blame]
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +09001// 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#ifndef BASE_SEQUENCE_CHECKER_H_
6#define BASE_SEQUENCE_CHECKER_H_
7
gabd59fc3e2017-05-27 02:20:58 +09008#include "base/compiler_specific.h"
gabbe9beea2017-05-11 13:15:59 +09009#include "base/logging.h"
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090010#include "base/sequence_checker_impl.h"
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090011
gabbe9beea2017-05-11 13:15:59 +090012// SequenceChecker is a helper class used to help verify that some methods of a
13// class are called sequentially (for thread-safety).
14//
15// Use the macros below instead of the SequenceChecker directly so that the
16// unused member doesn't result in an extra byte (four when padded) per
17// instance in production.
18//
19// This class is much prefered to ThreadChecker for thread-safety checks.
20// ThreadChecker should only be used for classes that are truly thread-affine
21// (use thread-local-storage or a third-party API that does).
22//
23// Usage:
24// class MyClass {
25// public:
26// MyClass() {
27// // It's sometimes useful to detach on construction for objects that are
28// // constructed in one place and forever after used from another
29// // sequence.
30// DETACH_FROM_SEQUENCE(my_sequence_checker_);
31// }
32//
33// ~MyClass() {
34// // SequenceChecker doesn't automatically check it's destroyed on origin
35// // sequence for the same reason it's sometimes detached in the
36// // constructor. It's okay to destroy off sequence if the owner
37// // otherwise knows usage on the associated sequence is done. If you're
38// // not detaching in the constructor, you probably want to explicitly
39// // check in the destructor.
40// DCHECK_CALLED_ON_VALID_THREAD(my_thread_checker_);
41// }
42// void MyMethod() {
43// DCHECK_CALLED_ON_VALID_SEQUENCE(my_sequence_checker_);
44// ... (do stuff) ...
45// }
46//
47// private:
48// SEQUENCE_CHECKER(my_sequence_checker_);
49// }
50
51#if DCHECK_IS_ON()
52#define SEQUENCE_CHECKER(name) base::SequenceChecker name
53#define DCHECK_CALLED_ON_VALID_SEQUENCE(name) \
54 DCHECK((name).CalledOnValidSequence())
55#define DETACH_FROM_SEQUENCE(name) (name).DetachFromSequence()
56#else // DCHECK_IS_ON()
57#define SEQUENCE_CHECKER(name)
Kevin Marshalldb7d1232017-05-31 10:02:04 +090058#define DCHECK_CALLED_ON_VALID_SEQUENCE(name) EAT_STREAM_PARAMETERS
gabbe9beea2017-05-11 13:15:59 +090059#define DETACH_FROM_SEQUENCE(name)
60#endif // DCHECK_IS_ON()
61
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090062namespace base {
63
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090064// Do nothing implementation, for use in release mode.
65//
gabbe9beea2017-05-11 13:15:59 +090066// Note: You should almost always use the SequenceChecker class (through the
67// above macros) to get the right version for your build configuration.
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090068class SequenceCheckerDoNothing {
69 public:
gabd59fc3e2017-05-27 02:20:58 +090070 bool CalledOnValidSequence() const WARN_UNUSED_RESULT { return true; }
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090071
tommycli@chromium.org623e16c2013-07-31 04:26:40 +090072 void DetachFromSequence() {}
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090073};
74
gabfb83c5a2016-08-02 05:03:41 +090075#if DCHECK_IS_ON()
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090076class SequenceChecker : public SequenceCheckerImpl {
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090077};
78#else
79class SequenceChecker : public SequenceCheckerDoNothing {
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090080};
gabfb83c5a2016-08-02 05:03:41 +090081#endif // DCHECK_IS_ON()
akalin@chromium.org4fb2deb2012-12-28 04:58:00 +090082
83} // namespace base
84
85#endif // BASE_SEQUENCE_CHECKER_H_