blob: b234c0bb03fab0881ea80bbfbcead8a9a5d1a1ac [file] [log] [blame]
henrike@webrtc.orgf0488722014-05-13 18:00:26 +00001/*
2 * Copyright 2004 The WebRTC Project Authors. All rights reserved.
3 *
4 * Use of this source code is governed by a BSD-style license
5 * that can be found in the LICENSE file in the root of the source
6 * tree. An additional intellectual property rights grant can be found
7 * in the file PATENTS. All contributing project authors may
8 * be found in the AUTHORS file in the root of the source tree.
9 */
10
Mirko Bonadei92ea95e2017-09-15 06:47:31 +020011#ifndef RTC_BASE_THREAD_H_
12#define RTC_BASE_THREAD_H_
henrike@webrtc.orgf0488722014-05-13 18:00:26 +000013
Yves Gerey988cc082018-10-23 12:03:01 +020014#include <stdint.h>
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +020015#include <list>
16#include <memory>
17#include <string>
Yves Gerey988cc082018-10-23 12:03:01 +020018#include <type_traits>
henrike@webrtc.orgf0488722014-05-13 18:00:26 +000019
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +020020#if defined(WEBRTC_POSIX)
21#include <pthread.h>
22#endif
Steve Anton10542f22019-01-11 09:11:00 -080023#include "rtc_base/constructor_magic.h"
Yves Gerey988cc082018-10-23 12:03:01 +020024#include "rtc_base/location.h"
Steve Anton10542f22019-01-11 09:11:00 -080025#include "rtc_base/message_handler.h"
26#include "rtc_base/message_queue.h"
Mirko Bonadei92ea95e2017-09-15 06:47:31 +020027#include "rtc_base/platform_thread_types.h"
Steve Anton10542f22019-01-11 09:11:00 -080028#include "rtc_base/socket_server.h"
Yves Gerey988cc082018-10-23 12:03:01 +020029#include "rtc_base/thread_annotations.h"
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +020030
31#if defined(WEBRTC_WIN)
Mirko Bonadei92ea95e2017-09-15 06:47:31 +020032#include "rtc_base/win32.h"
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +020033#endif
34
35namespace rtc {
36
37class Thread;
38
Henrik Boströmba4dcc32019-02-28 09:34:06 +010039namespace rtc_thread_internal {
40
Niels Möllerf13a0962019-05-17 10:15:06 +020041class MessageLikeTask : public MessageData {
Henrik Boströmba4dcc32019-02-28 09:34:06 +010042 public:
Niels Möllerf13a0962019-05-17 10:15:06 +020043 virtual void Run() = 0;
44};
45
46template <class FunctorT>
47class MessageWithFunctor final : public MessageLikeTask {
48 public:
49 explicit MessageWithFunctor(FunctorT&& functor)
Henrik Boströmba4dcc32019-02-28 09:34:06 +010050 : functor_(std::forward<FunctorT>(functor)) {}
51
Niels Möllerf13a0962019-05-17 10:15:06 +020052 void Run() override { functor_(); }
Henrik Boströmba4dcc32019-02-28 09:34:06 +010053
54 private:
Niels Möllerf13a0962019-05-17 10:15:06 +020055 ~MessageWithFunctor() override {}
Henrik Boströmba4dcc32019-02-28 09:34:06 +010056
57 typename std::remove_reference<FunctorT>::type functor_;
58
Niels Möllerf13a0962019-05-17 10:15:06 +020059 RTC_DISALLOW_COPY_AND_ASSIGN(MessageWithFunctor);
60};
61
62class MessageHandlerWithTask final : public MessageHandler {
63 public:
64 MessageHandlerWithTask() = default;
65
66 void OnMessage(Message* msg) override {
67 static_cast<MessageLikeTask*>(msg->pdata)->Run();
68 delete msg->pdata;
69 }
70
71 private:
72 ~MessageHandlerWithTask() override {}
73
74 RTC_DISALLOW_COPY_AND_ASSIGN(MessageHandlerWithTask);
Henrik Boströmba4dcc32019-02-28 09:34:06 +010075};
76
77} // namespace rtc_thread_internal
78
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +020079class ThreadManager {
80 public:
81 static const int kForever = -1;
82
83 // Singleton, constructor and destructor are private.
84 static ThreadManager* Instance();
85
86 Thread* CurrentThread();
87 void SetCurrentThread(Thread* thread);
88
89 // Returns a thread object with its thread_ ivar set
90 // to whatever the OS uses to represent the thread.
91 // If there already *is* a Thread object corresponding to this thread,
92 // this method will return that. Otherwise it creates a new Thread
93 // object whose wrapped() method will return true, and whose
94 // handle will, on Win32, be opened with only synchronization privileges -
95 // if you need more privilegs, rather than changing this method, please
96 // write additional code to adjust the privileges, or call a different
97 // factory method of your own devising, because this one gets used in
98 // unexpected contexts (like inside browser plugins) and it would be a
99 // shame to break it. It is also conceivable on Win32 that we won't even
100 // be able to get synchronization privileges, in which case the result
101 // will have a null handle.
Yves Gerey665174f2018-06-19 15:03:05 +0200102 Thread* WrapCurrentThread();
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200103 void UnwrapCurrentThread();
104
105 bool IsMainThread();
106
107 private:
108 ThreadManager();
109 ~ThreadManager();
110
111#if defined(WEBRTC_POSIX)
112 pthread_key_t key_;
113#endif
114
115#if defined(WEBRTC_WIN)
Tommi51492422017-12-04 15:18:23 +0100116 const DWORD key_;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200117#endif
118
119 // The thread to potentially autowrap.
Tommi51492422017-12-04 15:18:23 +0100120 const PlatformThreadRef main_thread_ref_;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200121
122 RTC_DISALLOW_COPY_AND_ASSIGN(ThreadManager);
123};
124
125struct _SendMessage {
126 _SendMessage() {}
Yves Gerey665174f2018-06-19 15:03:05 +0200127 Thread* thread;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200128 Message msg;
Yves Gerey665174f2018-06-19 15:03:05 +0200129 bool* ready;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200130};
131
132class Runnable {
133 public:
134 virtual ~Runnable() {}
135 virtual void Run(Thread* thread) = 0;
136
137 protected:
138 Runnable() {}
139
140 private:
141 RTC_DISALLOW_COPY_AND_ASSIGN(Runnable);
142};
143
144// WARNING! SUBCLASSES MUST CALL Stop() IN THEIR DESTRUCTORS! See ~Thread().
145
danilchap3c6abd22017-09-06 05:46:29 -0700146class RTC_LOCKABLE Thread : public MessageQueue {
tommia8a35152017-07-13 05:47:25 -0700147 public:
Erik Språng6e70f182019-05-16 10:27:17 +0000148 // DEPRECATED.
149 // The default constructor should not be used because it hides whether or
150 // not a socket server will be associated with the thread. Most instances
151 // of Thread do actually not need one, so please use either of the Create*
152 // methods to construct an instance of Thread.
153 Thread();
154
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200155 explicit Thread(SocketServer* ss);
156 explicit Thread(std::unique_ptr<SocketServer> ss);
Taylor Brandstetter08672602018-03-02 15:20:33 -0800157 // Constructors meant for subclasses; they should call DoInit themselves and
158 // pass false for |do_init|, so that DoInit is called only on the fully
159 // instantiated class, which avoids a vptr data race.
160 Thread(SocketServer* ss, bool do_init);
161 Thread(std::unique_ptr<SocketServer> ss, bool do_init);
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200162
163 // NOTE: ALL SUBCLASSES OF Thread MUST CALL Stop() IN THEIR DESTRUCTORS (or
164 // guarantee Stop() is explicitly called before the subclass is destroyed).
165 // This is required to avoid a data race between the destructor modifying the
166 // vtable, and the Thread::PreRun calling the virtual method Run().
167 ~Thread() override;
168
169 static std::unique_ptr<Thread> CreateWithSocketServer();
170 static std::unique_ptr<Thread> Create();
171 static Thread* Current();
172
173 // Used to catch performance regressions. Use this to disallow blocking calls
174 // (Invoke) for a given scope. If a synchronous call is made while this is in
175 // effect, an assert will be triggered.
176 // Note that this is a single threaded class.
177 class ScopedDisallowBlockingCalls {
178 public:
179 ScopedDisallowBlockingCalls();
Sebastian Jansson9debe5a2019-03-22 15:42:38 +0100180 ScopedDisallowBlockingCalls(const ScopedDisallowBlockingCalls&) = delete;
181 ScopedDisallowBlockingCalls& operator=(const ScopedDisallowBlockingCalls&) =
182 delete;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200183 ~ScopedDisallowBlockingCalls();
Yves Gerey665174f2018-06-19 15:03:05 +0200184
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200185 private:
186 Thread* const thread_;
187 const bool previous_state_;
188 };
189
190 bool IsCurrent() const;
191
192 // Sleeps the calling thread for the specified number of milliseconds, during
193 // which time no processing is performed. Returns false if sleeping was
194 // interrupted by a signal (POSIX only).
195 static bool SleepMs(int millis);
196
197 // Sets the thread's name, for debugging. Must be called before Start().
198 // If |obj| is non-null, its value is appended to |name|.
199 const std::string& name() const { return name_; }
200 bool SetName(const std::string& name, const void* obj);
201
202 // Starts the execution of the thread.
203 bool Start(Runnable* runnable = nullptr);
204
205 // Tells the thread to stop and waits until it is joined.
206 // Never call Stop on the current thread. Instead use the inherited Quit
207 // function which will exit the base MessageQueue without terminating the
208 // underlying OS thread.
209 virtual void Stop();
210
211 // By default, Thread::Run() calls ProcessMessages(kForever). To do other
212 // work, override Run(). To receive and dispatch messages, call
213 // ProcessMessages occasionally.
214 virtual void Run();
215
216 virtual void Send(const Location& posted_from,
217 MessageHandler* phandler,
218 uint32_t id = 0,
219 MessageData* pdata = nullptr);
220
221 // Convenience method to invoke a functor on another thread. Caller must
222 // provide the |ReturnT| template argument, which cannot (easily) be deduced.
223 // Uses Send() internally, which blocks the current thread until execution
224 // is complete.
225 // Ex: bool result = thread.Invoke<bool>(RTC_FROM_HERE,
226 // &MyFunctionReturningBool);
227 // NOTE: This function can only be called when synchronous calls are allowed.
228 // See ScopedDisallowBlockingCalls for details.
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100229 // NOTE: Blocking invokes are DISCOURAGED, consider if what you're doing can
230 // be achieved with PostTask() and callbacks instead.
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200231 template <class ReturnT, class FunctorT>
Karl Wibergd6b48192017-10-16 23:01:06 +0200232 ReturnT Invoke(const Location& posted_from, FunctorT&& functor) {
233 FunctorMessageHandler<ReturnT, FunctorT> handler(
234 std::forward<FunctorT>(functor));
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200235 InvokeInternal(posted_from, &handler);
236 return handler.MoveResult();
237 }
238
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100239 // Posts a task to invoke the functor on |this| thread asynchronously, i.e.
240 // without blocking the thread that invoked PostTask(). Ownership of |functor|
Niels Möllerf13a0962019-05-17 10:15:06 +0200241 // is passed and (usually, see below) destroyed on |this| thread after it is
242 // invoked.
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100243 // Requirements of FunctorT:
244 // - FunctorT is movable.
245 // - FunctorT implements "T operator()()" or "T operator()() const" for some T
246 // (if T is not void, the return value is discarded on |this| thread).
247 // - FunctorT has a public destructor that can be invoked from |this| thread
248 // after operation() has been invoked.
249 // - The functor must not cause the thread to quit before PostTask() is done.
250 //
Niels Möllerf13a0962019-05-17 10:15:06 +0200251 // Destruction of the functor/task mimics what TaskQueue::PostTask does: If
252 // the task is run, it will be destroyed on |this| thread. However, if there
253 // are pending tasks by the time the Thread is destroyed, or a task is posted
254 // to a thread that is quitting, the task is destroyed immediately, on the
255 // calling thread. Destroying the Thread only blocks for any currently running
256 // task to complete. Note that TQ abstraction is even vaguer on how
257 // destruction happens in these cases, allowing destruction to happen
258 // asynchronously at a later time and on some arbitrary thread. So to ease
259 // migration, don't depend on Thread::PostTask destroying un-run tasks
260 // immediately.
261 //
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100262 // Example - Calling a class method:
263 // class Foo {
264 // public:
265 // void DoTheThing();
266 // };
267 // Foo foo;
268 // thread->PostTask(RTC_FROM_HERE, Bind(&Foo::DoTheThing, &foo));
269 //
270 // Example - Calling a lambda function:
271 // thread->PostTask(RTC_FROM_HERE,
272 // [&x, &y] { x.TrackComputations(y.Compute()); });
273 template <class FunctorT>
274 void PostTask(const Location& posted_from, FunctorT&& functor) {
Niels Möllerf13a0962019-05-17 10:15:06 +0200275 // Allocate at first call, never deallocate.
276 static auto* const handler =
277 new rtc_thread_internal::MessageHandlerWithTask;
278 Post(posted_from, handler, 0,
279 new rtc_thread_internal::MessageWithFunctor<FunctorT>(
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100280 std::forward<FunctorT>(functor)));
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100281 }
282
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200283 // From MessageQueue
Niels Möller8909a632018-09-06 08:42:44 +0200284 bool IsProcessingMessagesForTesting() override;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200285 void Clear(MessageHandler* phandler,
286 uint32_t id = MQID_ANY,
287 MessageList* removed = nullptr) override;
288 void ReceiveSends() override;
289
290 // ProcessMessages will process I/O and dispatch messages until:
291 // 1) cms milliseconds have elapsed (returns true)
292 // 2) Stop() is called (returns false)
293 bool ProcessMessages(int cms);
294
295 // Returns true if this is a thread that we created using the standard
296 // constructor, false if it was created by a call to
297 // ThreadManager::WrapCurrentThread(). The main thread of an application
298 // is generally not owned, since the OS representation of the thread
299 // obviously exists before we can get to it.
300 // You cannot call Start on non-owned threads.
301 bool IsOwned();
302
Tommi51492422017-12-04 15:18:23 +0100303 // Expose private method IsRunning() for tests.
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200304 //
305 // DANGER: this is a terrible public API. Most callers that might want to
306 // call this likely do not have enough control/knowledge of the Thread in
307 // question to guarantee that the returned value remains true for the duration
308 // of whatever code is conditionally executing because of the return value!
Tommi51492422017-12-04 15:18:23 +0100309 bool RunningForTest() { return IsRunning(); }
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200310
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200311 // These functions are public to avoid injecting test hooks. Don't call them
312 // outside of tests.
313 // This method should be called when thread is created using non standard
314 // method, like derived implementation of rtc::Thread and it can not be
315 // started by calling Start(). This will set started flag to true and
316 // owned to false. This must be called from the current thread.
317 bool WrapCurrent();
318 void UnwrapCurrent();
319
Karl Wiberg32562252019-02-21 13:38:30 +0100320 // Sets the per-thread allow-blocking-calls flag to false; this is
321 // irrevocable. Must be called on this thread.
322 void DisallowBlockingCalls() { SetAllowBlockingCalls(false); }
323
324#ifdef WEBRTC_ANDROID
325 // Sets the per-thread allow-blocking-calls flag to true, sidestepping the
326 // invariants upheld by DisallowBlockingCalls() and
327 // ScopedDisallowBlockingCalls. Must be called on this thread.
328 void DEPRECATED_AllowBlockingCalls() { SetAllowBlockingCalls(true); }
329#endif
330
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200331 protected:
332 // Same as WrapCurrent except that it never fails as it does not try to
333 // acquire the synchronization access of the thread. The caller should never
334 // call Stop() or Join() on this thread.
335 void SafeWrapCurrent();
336
337 // Blocks the calling thread until this thread has terminated.
338 void Join();
339
340 static void AssertBlockingIsAllowedOnCurrentThread();
341
342 friend class ScopedDisallowBlockingCalls;
343
344 private:
345 struct ThreadInit {
346 Thread* thread;
347 Runnable* runnable;
348 };
349
Karl Wiberg32562252019-02-21 13:38:30 +0100350 // Sets the per-thread allow-blocking-calls flag and returns the previous
351 // value. Must be called on this thread.
352 bool SetAllowBlockingCalls(bool allow);
353
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200354#if defined(WEBRTC_WIN)
355 static DWORD WINAPI PreRun(LPVOID context);
356#else
Yves Gerey665174f2018-06-19 15:03:05 +0200357 static void* PreRun(void* pv);
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200358#endif
359
360 // ThreadManager calls this instead WrapCurrent() because
361 // ThreadManager::Instance() cannot be used while ThreadManager is
362 // being created.
363 // The method tries to get synchronization rights of the thread on Windows if
364 // |need_synchronize_access| is true.
365 bool WrapCurrentWithThreadManager(ThreadManager* thread_manager,
366 bool need_synchronize_access);
367
Tommi51492422017-12-04 15:18:23 +0100368 // Return true if the thread is currently running.
369 bool IsRunning();
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200370
371 // Processes received "Send" requests. If |source| is not null, only requests
372 // from |source| are processed, otherwise, all requests are processed.
373 void ReceiveSendsFromThread(const Thread* source);
374
375 // If |source| is not null, pops the first "Send" message from |source| in
376 // |sendlist_|, otherwise, pops the first "Send" message of |sendlist_|.
377 // The caller must lock |crit_| before calling.
378 // Returns true if there is such a message.
379 bool PopSendMessageFromThread(const Thread* source, _SendMessage* msg);
380
381 void InvokeInternal(const Location& posted_from, MessageHandler* handler);
382
383 std::list<_SendMessage> sendlist_;
384 std::string name_;
Tommi51492422017-12-04 15:18:23 +0100385
Yves Gerey665174f2018-06-19 15:03:05 +0200386// TODO(tommi): Add thread checks for proper use of control methods.
387// Ideally we should be able to just use PlatformThread.
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200388
389#if defined(WEBRTC_POSIX)
Tommi6cea2b02017-12-04 18:51:16 +0100390 pthread_t thread_ = 0;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200391#endif
392
393#if defined(WEBRTC_WIN)
Tommi6cea2b02017-12-04 18:51:16 +0100394 HANDLE thread_ = nullptr;
395 DWORD thread_id_ = 0;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200396#endif
397
Tommi51492422017-12-04 15:18:23 +0100398 // Indicates whether or not ownership of the worker thread lies with
399 // this instance or not. (i.e. owned_ == !wrapped).
400 // Must only be modified when the worker thread is not running.
401 bool owned_ = true;
402
403 // Only touched from the worker thread itself.
404 bool blocking_calls_allowed_ = true;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200405
406 friend class ThreadManager;
407
408 RTC_DISALLOW_COPY_AND_ASSIGN(Thread);
409};
410
411// AutoThread automatically installs itself at construction
412// uninstalls at destruction, if a Thread object is
413// _not already_ associated with the current OS thread.
414
415class AutoThread : public Thread {
416 public:
417 AutoThread();
418 ~AutoThread() override;
419
420 private:
421 RTC_DISALLOW_COPY_AND_ASSIGN(AutoThread);
422};
423
424// AutoSocketServerThread automatically installs itself at
425// construction and uninstalls at destruction. If a Thread object is
426// already associated with the current OS thread, it is temporarily
427// disassociated and restored by the destructor.
428
429class AutoSocketServerThread : public Thread {
430 public:
431 explicit AutoSocketServerThread(SocketServer* ss);
432 ~AutoSocketServerThread() override;
433
434 private:
435 rtc::Thread* old_thread_;
436
437 RTC_DISALLOW_COPY_AND_ASSIGN(AutoSocketServerThread);
438};
439
440} // namespace rtc
henrike@webrtc.orgf0488722014-05-13 18:00:26 +0000441
Mirko Bonadei92ea95e2017-09-15 06:47:31 +0200442#endif // RTC_BASE_THREAD_H_