blob: 6b5bdf4805a5687227367fac24a42e9ceed96042 [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
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200105 private:
106 ThreadManager();
107 ~ThreadManager();
108
109#if defined(WEBRTC_POSIX)
110 pthread_key_t key_;
111#endif
112
113#if defined(WEBRTC_WIN)
Tommi51492422017-12-04 15:18:23 +0100114 const DWORD key_;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200115#endif
116
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200117 RTC_DISALLOW_COPY_AND_ASSIGN(ThreadManager);
118};
119
120struct _SendMessage {
121 _SendMessage() {}
Yves Gerey665174f2018-06-19 15:03:05 +0200122 Thread* thread;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200123 Message msg;
Yves Gerey665174f2018-06-19 15:03:05 +0200124 bool* ready;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200125};
126
127class Runnable {
128 public:
129 virtual ~Runnable() {}
130 virtual void Run(Thread* thread) = 0;
131
132 protected:
133 Runnable() {}
134
135 private:
136 RTC_DISALLOW_COPY_AND_ASSIGN(Runnable);
137};
138
139// WARNING! SUBCLASSES MUST CALL Stop() IN THEIR DESTRUCTORS! See ~Thread().
140
danilchap3c6abd22017-09-06 05:46:29 -0700141class RTC_LOCKABLE Thread : public MessageQueue {
tommia8a35152017-07-13 05:47:25 -0700142 public:
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200143 explicit Thread(SocketServer* ss);
144 explicit Thread(std::unique_ptr<SocketServer> ss);
Taylor Brandstetter08672602018-03-02 15:20:33 -0800145 // Constructors meant for subclasses; they should call DoInit themselves and
146 // pass false for |do_init|, so that DoInit is called only on the fully
147 // instantiated class, which avoids a vptr data race.
148 Thread(SocketServer* ss, bool do_init);
149 Thread(std::unique_ptr<SocketServer> ss, bool do_init);
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200150
151 // NOTE: ALL SUBCLASSES OF Thread MUST CALL Stop() IN THEIR DESTRUCTORS (or
152 // guarantee Stop() is explicitly called before the subclass is destroyed).
153 // This is required to avoid a data race between the destructor modifying the
154 // vtable, and the Thread::PreRun calling the virtual method Run().
155 ~Thread() override;
156
157 static std::unique_ptr<Thread> CreateWithSocketServer();
158 static std::unique_ptr<Thread> Create();
159 static Thread* Current();
160
161 // Used to catch performance regressions. Use this to disallow blocking calls
162 // (Invoke) for a given scope. If a synchronous call is made while this is in
163 // effect, an assert will be triggered.
164 // Note that this is a single threaded class.
165 class ScopedDisallowBlockingCalls {
166 public:
167 ScopedDisallowBlockingCalls();
Sebastian Jansson9debe5a2019-03-22 15:42:38 +0100168 ScopedDisallowBlockingCalls(const ScopedDisallowBlockingCalls&) = delete;
169 ScopedDisallowBlockingCalls& operator=(const ScopedDisallowBlockingCalls&) =
170 delete;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200171 ~ScopedDisallowBlockingCalls();
Yves Gerey665174f2018-06-19 15:03:05 +0200172
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200173 private:
174 Thread* const thread_;
175 const bool previous_state_;
176 };
177
178 bool IsCurrent() const;
179
180 // Sleeps the calling thread for the specified number of milliseconds, during
181 // which time no processing is performed. Returns false if sleeping was
182 // interrupted by a signal (POSIX only).
183 static bool SleepMs(int millis);
184
185 // Sets the thread's name, for debugging. Must be called before Start().
186 // If |obj| is non-null, its value is appended to |name|.
187 const std::string& name() const { return name_; }
188 bool SetName(const std::string& name, const void* obj);
189
190 // Starts the execution of the thread.
191 bool Start(Runnable* runnable = nullptr);
192
193 // Tells the thread to stop and waits until it is joined.
194 // Never call Stop on the current thread. Instead use the inherited Quit
195 // function which will exit the base MessageQueue without terminating the
196 // underlying OS thread.
197 virtual void Stop();
198
199 // By default, Thread::Run() calls ProcessMessages(kForever). To do other
200 // work, override Run(). To receive and dispatch messages, call
201 // ProcessMessages occasionally.
202 virtual void Run();
203
204 virtual void Send(const Location& posted_from,
205 MessageHandler* phandler,
206 uint32_t id = 0,
207 MessageData* pdata = nullptr);
208
209 // Convenience method to invoke a functor on another thread. Caller must
210 // provide the |ReturnT| template argument, which cannot (easily) be deduced.
211 // Uses Send() internally, which blocks the current thread until execution
212 // is complete.
213 // Ex: bool result = thread.Invoke<bool>(RTC_FROM_HERE,
214 // &MyFunctionReturningBool);
215 // NOTE: This function can only be called when synchronous calls are allowed.
216 // See ScopedDisallowBlockingCalls for details.
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100217 // NOTE: Blocking invokes are DISCOURAGED, consider if what you're doing can
218 // be achieved with PostTask() and callbacks instead.
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200219 template <class ReturnT, class FunctorT>
Karl Wibergd6b48192017-10-16 23:01:06 +0200220 ReturnT Invoke(const Location& posted_from, FunctorT&& functor) {
221 FunctorMessageHandler<ReturnT, FunctorT> handler(
222 std::forward<FunctorT>(functor));
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200223 InvokeInternal(posted_from, &handler);
224 return handler.MoveResult();
225 }
226
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100227 // Posts a task to invoke the functor on |this| thread asynchronously, i.e.
228 // without blocking the thread that invoked PostTask(). Ownership of |functor|
Niels Möllerf13a0962019-05-17 10:15:06 +0200229 // is passed and (usually, see below) destroyed on |this| thread after it is
230 // invoked.
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100231 // Requirements of FunctorT:
232 // - FunctorT is movable.
233 // - FunctorT implements "T operator()()" or "T operator()() const" for some T
234 // (if T is not void, the return value is discarded on |this| thread).
235 // - FunctorT has a public destructor that can be invoked from |this| thread
236 // after operation() has been invoked.
237 // - The functor must not cause the thread to quit before PostTask() is done.
238 //
Niels Möllerf13a0962019-05-17 10:15:06 +0200239 // Destruction of the functor/task mimics what TaskQueue::PostTask does: If
240 // the task is run, it will be destroyed on |this| thread. However, if there
241 // are pending tasks by the time the Thread is destroyed, or a task is posted
242 // to a thread that is quitting, the task is destroyed immediately, on the
243 // calling thread. Destroying the Thread only blocks for any currently running
244 // task to complete. Note that TQ abstraction is even vaguer on how
245 // destruction happens in these cases, allowing destruction to happen
246 // asynchronously at a later time and on some arbitrary thread. So to ease
247 // migration, don't depend on Thread::PostTask destroying un-run tasks
248 // immediately.
249 //
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100250 // Example - Calling a class method:
251 // class Foo {
252 // public:
253 // void DoTheThing();
254 // };
255 // Foo foo;
256 // thread->PostTask(RTC_FROM_HERE, Bind(&Foo::DoTheThing, &foo));
257 //
258 // Example - Calling a lambda function:
259 // thread->PostTask(RTC_FROM_HERE,
260 // [&x, &y] { x.TrackComputations(y.Compute()); });
261 template <class FunctorT>
262 void PostTask(const Location& posted_from, FunctorT&& functor) {
Niels Möllerf13a0962019-05-17 10:15:06 +0200263 // Allocate at first call, never deallocate.
264 static auto* const handler =
265 new rtc_thread_internal::MessageHandlerWithTask;
266 Post(posted_from, handler, 0,
267 new rtc_thread_internal::MessageWithFunctor<FunctorT>(
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100268 std::forward<FunctorT>(functor)));
Henrik Boströmba4dcc32019-02-28 09:34:06 +0100269 }
270
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200271 // From MessageQueue
Niels Möller8909a632018-09-06 08:42:44 +0200272 bool IsProcessingMessagesForTesting() override;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200273 void Clear(MessageHandler* phandler,
274 uint32_t id = MQID_ANY,
275 MessageList* removed = nullptr) override;
276 void ReceiveSends() override;
277
278 // ProcessMessages will process I/O and dispatch messages until:
279 // 1) cms milliseconds have elapsed (returns true)
280 // 2) Stop() is called (returns false)
281 bool ProcessMessages(int cms);
282
283 // Returns true if this is a thread that we created using the standard
284 // constructor, false if it was created by a call to
285 // ThreadManager::WrapCurrentThread(). The main thread of an application
286 // is generally not owned, since the OS representation of the thread
287 // obviously exists before we can get to it.
288 // You cannot call Start on non-owned threads.
289 bool IsOwned();
290
Tommi51492422017-12-04 15:18:23 +0100291 // Expose private method IsRunning() for tests.
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200292 //
293 // DANGER: this is a terrible public API. Most callers that might want to
294 // call this likely do not have enough control/knowledge of the Thread in
295 // question to guarantee that the returned value remains true for the duration
296 // of whatever code is conditionally executing because of the return value!
Tommi51492422017-12-04 15:18:23 +0100297 bool RunningForTest() { return IsRunning(); }
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200298
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200299 // These functions are public to avoid injecting test hooks. Don't call them
300 // outside of tests.
301 // This method should be called when thread is created using non standard
302 // method, like derived implementation of rtc::Thread and it can not be
303 // started by calling Start(). This will set started flag to true and
304 // owned to false. This must be called from the current thread.
305 bool WrapCurrent();
306 void UnwrapCurrent();
307
Karl Wiberg32562252019-02-21 13:38:30 +0100308 // Sets the per-thread allow-blocking-calls flag to false; this is
309 // irrevocable. Must be called on this thread.
310 void DisallowBlockingCalls() { SetAllowBlockingCalls(false); }
311
312#ifdef WEBRTC_ANDROID
313 // Sets the per-thread allow-blocking-calls flag to true, sidestepping the
314 // invariants upheld by DisallowBlockingCalls() and
315 // ScopedDisallowBlockingCalls. Must be called on this thread.
316 void DEPRECATED_AllowBlockingCalls() { SetAllowBlockingCalls(true); }
317#endif
318
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200319 protected:
320 // Same as WrapCurrent except that it never fails as it does not try to
321 // acquire the synchronization access of the thread. The caller should never
322 // call Stop() or Join() on this thread.
323 void SafeWrapCurrent();
324
325 // Blocks the calling thread until this thread has terminated.
326 void Join();
327
328 static void AssertBlockingIsAllowedOnCurrentThread();
329
330 friend class ScopedDisallowBlockingCalls;
331
332 private:
333 struct ThreadInit {
334 Thread* thread;
335 Runnable* runnable;
336 };
337
Karl Wiberg32562252019-02-21 13:38:30 +0100338 // Sets the per-thread allow-blocking-calls flag and returns the previous
339 // value. Must be called on this thread.
340 bool SetAllowBlockingCalls(bool allow);
341
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200342#if defined(WEBRTC_WIN)
343 static DWORD WINAPI PreRun(LPVOID context);
344#else
Yves Gerey665174f2018-06-19 15:03:05 +0200345 static void* PreRun(void* pv);
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200346#endif
347
348 // ThreadManager calls this instead WrapCurrent() because
349 // ThreadManager::Instance() cannot be used while ThreadManager is
350 // being created.
351 // The method tries to get synchronization rights of the thread on Windows if
352 // |need_synchronize_access| is true.
353 bool WrapCurrentWithThreadManager(ThreadManager* thread_manager,
354 bool need_synchronize_access);
355
Tommi51492422017-12-04 15:18:23 +0100356 // Return true if the thread is currently running.
357 bool IsRunning();
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200358
359 // Processes received "Send" requests. If |source| is not null, only requests
360 // from |source| are processed, otherwise, all requests are processed.
361 void ReceiveSendsFromThread(const Thread* source);
362
363 // If |source| is not null, pops the first "Send" message from |source| in
364 // |sendlist_|, otherwise, pops the first "Send" message of |sendlist_|.
365 // The caller must lock |crit_| before calling.
366 // Returns true if there is such a message.
367 bool PopSendMessageFromThread(const Thread* source, _SendMessage* msg);
368
369 void InvokeInternal(const Location& posted_from, MessageHandler* handler);
370
371 std::list<_SendMessage> sendlist_;
372 std::string name_;
Tommi51492422017-12-04 15:18:23 +0100373
Yves Gerey665174f2018-06-19 15:03:05 +0200374// TODO(tommi): Add thread checks for proper use of control methods.
375// Ideally we should be able to just use PlatformThread.
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200376
377#if defined(WEBRTC_POSIX)
Tommi6cea2b02017-12-04 18:51:16 +0100378 pthread_t thread_ = 0;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200379#endif
380
381#if defined(WEBRTC_WIN)
Tommi6cea2b02017-12-04 18:51:16 +0100382 HANDLE thread_ = nullptr;
383 DWORD thread_id_ = 0;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200384#endif
385
Tommi51492422017-12-04 15:18:23 +0100386 // Indicates whether or not ownership of the worker thread lies with
387 // this instance or not. (i.e. owned_ == !wrapped).
388 // Must only be modified when the worker thread is not running.
389 bool owned_ = true;
390
391 // Only touched from the worker thread itself.
392 bool blocking_calls_allowed_ = true;
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +0200393
394 friend class ThreadManager;
395
396 RTC_DISALLOW_COPY_AND_ASSIGN(Thread);
397};
398
399// AutoThread automatically installs itself at construction
400// uninstalls at destruction, if a Thread object is
401// _not already_ associated with the current OS thread.
402
403class AutoThread : public Thread {
404 public:
405 AutoThread();
406 ~AutoThread() override;
407
408 private:
409 RTC_DISALLOW_COPY_AND_ASSIGN(AutoThread);
410};
411
412// AutoSocketServerThread automatically installs itself at
413// construction and uninstalls at destruction. If a Thread object is
414// already associated with the current OS thread, it is temporarily
415// disassociated and restored by the destructor.
416
417class AutoSocketServerThread : public Thread {
418 public:
419 explicit AutoSocketServerThread(SocketServer* ss);
420 ~AutoSocketServerThread() override;
421
422 private:
423 rtc::Thread* old_thread_;
424
425 RTC_DISALLOW_COPY_AND_ASSIGN(AutoSocketServerThread);
426};
427
428} // namespace rtc
henrike@webrtc.orgf0488722014-05-13 18:00:26 +0000429
Mirko Bonadei92ea95e2017-09-15 06:47:31 +0200430#endif // RTC_BASE_THREAD_H_