tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

condition_variable.h (5827B)


      1 // Copyright 2011 The Chromium Authors
      2 // Use of this source code is governed by a BSD-style license that can be
      3 // found in the LICENSE file.
      4 
      5 // ConditionVariable wraps pthreads condition variable synchronization or, on
      6 // Windows, simulates it.  This functionality is very helpful for having
      7 // several threads wait for an event, as is common with a thread pool managed
      8 // by a master.  The meaning of such an event in the (worker) thread pool
      9 // scenario is that additional tasks are now available for processing.  It is
     10 // used in Chrome in the DNS prefetching system to notify worker threads that
     11 // a queue now has items (tasks) which need to be tended to.  A related use
     12 // would have a pool manager waiting on a ConditionVariable, waiting for a
     13 // thread in the pool to announce (signal) that there is now more room in a
     14 // (bounded size) communications queue for the manager to deposit tasks, or,
     15 // as a second example, that the queue of tasks is completely empty and all
     16 // workers are waiting.
     17 //
     18 // USAGE NOTE 1: spurious signal events are possible with this and
     19 // most implementations of condition variables.  As a result, be
     20 // *sure* to retest your condition before proceeding.  The following
     21 // is a good example of doing this correctly:
     22 //
     23 // while (!work_to_be_done()) Wait(...);
     24 //
     25 // In contrast do NOT do the following:
     26 //
     27 // if (!work_to_be_done()) Wait(...);  // Don't do this.
     28 //
     29 // Especially avoid the above if you are relying on some other thread only
     30 // issuing a signal up *if* there is work-to-do.  There can/will
     31 // be spurious signals.  Recheck state on waiting thread before
     32 // assuming the signal was intentional. Caveat caller ;-).
     33 //
     34 // USAGE NOTE 2: Broadcast() frees up all waiting threads at once,
     35 // which leads to contention for the locks they all held when they
     36 // called Wait().  This results in POOR performance.  A much better
     37 // approach to getting a lot of threads out of Wait() is to have each
     38 // thread (upon exiting Wait()) call Signal() to free up another
     39 // Wait'ing thread.  Look at condition_variable_unittest.cc for
     40 // both examples.
     41 //
     42 // Broadcast() can be used nicely during teardown, as it gets the job
     43 // done, and leaves no sleeping threads... and performance is less
     44 // critical at that point.
     45 //
     46 // The semantics of Broadcast() are carefully crafted so that *all*
     47 // threads that were waiting when the request was made will indeed
     48 // get signaled.  Some implementations mess up, and don't signal them
     49 // all, while others allow the wait to be effectively turned off (for
     50 // a while while waiting threads come around).  This implementation
     51 // appears correct, as it will not "lose" any signals, and will guarantee
     52 // that all threads get signaled by Broadcast().
     53 //
     54 // This implementation offers support for "performance" in its selection of
     55 // which thread to revive.  Performance, in direct contrast with "fairness,"
     56 // assures that the thread that most recently began to Wait() is selected by
     57 // Signal to revive.  Fairness would (if publicly supported) assure that the
     58 // thread that has Wait()ed the longest is selected. The default policy
     59 // may improve performance, as the selected thread may have a greater chance of
     60 // having some of its stack data in various CPU caches.
     61 
     62 #ifndef BASE_SYNCHRONIZATION_CONDITION_VARIABLE_H_
     63 #define BASE_SYNCHRONIZATION_CONDITION_VARIABLE_H_
     64 
     65 #include "base/dcheck_is_on.h"
     66 #include "base/memory/raw_ptr.h"
     67 #include "build/build_config.h"
     68 
     69 #if BUILDFLAG(IS_POSIX) || BUILDFLAG(IS_FUCHSIA)
     70 #include <pthread.h>
     71 #endif
     72 
     73 #include "base/base_export.h"
     74 #include "base/synchronization/lock.h"
     75 
     76 #if BUILDFLAG(IS_WIN)
     77 #include "base/win/windows_types.h"
     78 #endif
     79 
     80 namespace base {
     81 
     82 class TimeDelta;
     83 
     84 class BASE_EXPORT ConditionVariable {
     85 public:
     86  // Construct a cv for use with ONLY one user lock.
     87  explicit ConditionVariable(Lock* user_lock);
     88 
     89  ConditionVariable(const ConditionVariable&) = delete;
     90  ConditionVariable& operator=(const ConditionVariable&) = delete;
     91 
     92  ~ConditionVariable();
     93 
     94 #if BUILDFLAG(IS_APPLE)
     95  // Must be called early in process startup, but after FeatureList
     96  // initialization.
     97  static void InitializeFeatures();
     98 #endif
     99 
    100  // Wait() releases the caller's critical section atomically as it starts to
    101  // sleep, and the reacquires it when it is signaled. The wait functions are
    102  // susceptible to spurious wakeups. (See usage note 1 for more details.)
    103  NOT_TAIL_CALLED void Wait();
    104  NOT_TAIL_CALLED void TimedWait(const TimeDelta& max_time);
    105 
    106  // Broadcast() revives all waiting threads. (See usage note 2 for more
    107  // details.)
    108  void Broadcast();
    109  // Signal() revives one waiting thread.
    110  void Signal();
    111 
    112  // Declares that this ConditionVariable will only ever be used by a thread
    113  // that is idle at the bottom of its stack and waiting for work (in
    114  // particular, it is not synchronously waiting on this ConditionVariable
    115  // before resuming ongoing work). This is useful to avoid telling
    116  // base-internals that this thread is "blocked" when it's merely idle and
    117  // ready to do work. As such, this is only expected to be used by thread and
    118  // thread pool impls.
    119  void declare_only_used_while_idle() { waiting_is_blocking_ = false; }
    120 
    121 private:
    122 #if BUILDFLAG(IS_WIN)
    123  CHROME_CONDITION_VARIABLE cv_;
    124  const raw_ptr<CHROME_SRWLOCK> srwlock_;
    125 #elif BUILDFLAG(IS_POSIX) || BUILDFLAG(IS_FUCHSIA)
    126  pthread_cond_t condition_;
    127  raw_ptr<pthread_mutex_t> user_mutex_;
    128 #endif
    129 
    130 #if DCHECK_IS_ON()
    131  const raw_ptr<base::Lock>
    132      user_lock_;  // Needed to adjust shadow lock state on wait.
    133 #endif
    134 
    135  // Whether a thread invoking Wait() on this ConditionalVariable should be
    136  // considered blocked as opposed to idle (and potentially replaced if part of
    137  // a pool).
    138  bool waiting_is_blocking_ = true;
    139 };
    140 
    141 }  // namespace base
    142 
    143 #endif  // BASE_SYNCHRONIZATION_CONDITION_VARIABLE_H_