• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2014 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 #include "sandbox/linux/services/thread_helpers.h"
6 
7 #include <errno.h>
8 #include <fcntl.h>
9 #include <signal.h>
10 #include <sys/types.h>
11 #include <sys/stat.h>
12 #include <unistd.h>
13 
14 #include <string>
15 
16 #include "base/bind.h"
17 #include "base/callback.h"
18 #include "base/files/scoped_file.h"
19 #include "base/logging.h"
20 #include "base/posix/eintr_wrapper.h"
21 #include "base/strings/string_number_conversions.h"
22 #include "base/threading/platform_thread.h"
23 #include "base/threading/thread.h"
24 #include "sandbox/linux/services/proc_util.h"
25 
26 namespace sandbox {
27 
28 namespace {
29 
30 const char kAssertSingleThreadedError[] =
31     "Current process is not mono-threaded!";
32 const char kAssertThreadDoesNotAppearInProcFS[] =
33     "Started thread does not appear in /proc";
34 const char kAssertThreadDoesNotDisappearInProcFS[] =
35     "Stopped thread does not disappear in /proc";
36 
IsSingleThreadedImpl(int proc_fd)37 bool IsSingleThreadedImpl(int proc_fd) {
38   CHECK_LE(0, proc_fd);
39   struct stat task_stat;
40   int fstat_ret = fstatat(proc_fd, "self/task/", &task_stat, 0);
41   PCHECK(0 == fstat_ret);
42 
43   // At least "..", "." and the current thread should be present.
44   CHECK_LE(3UL, task_stat.st_nlink);
45   // Counting threads via /proc/self/task could be racy. For the purpose of
46   // determining if the current proces is monothreaded it works: if at any
47   // time it becomes monothreaded, it'll stay so.
48   return task_stat.st_nlink == 3;
49 }
50 
IsThreadPresentInProcFS(int proc_fd,const std::string & thread_id_dir_str)51 bool IsThreadPresentInProcFS(int proc_fd,
52                              const std::string& thread_id_dir_str) {
53   struct stat task_stat;
54   const int fstat_ret =
55       fstatat(proc_fd, thread_id_dir_str.c_str(), &task_stat, 0);
56   if (fstat_ret < 0) {
57     PCHECK(ENOENT == errno);
58     return false;
59   }
60   return true;
61 }
62 
IsNotThreadPresentInProcFS(int proc_fd,const std::string & thread_id_dir_str)63 bool IsNotThreadPresentInProcFS(int proc_fd,
64                                 const std::string& thread_id_dir_str) {
65   return !IsThreadPresentInProcFS(proc_fd, thread_id_dir_str);
66 }
67 
68 // Run |cb| in a loop until it returns false. Every time |cb| runs, sleep
69 // for an exponentially increasing amount of time. |cb| is expected to return
70 // false very quickly and this will crash if it doesn't happen within ~64ms on
71 // Debug builds (2s on Release builds).
72 // This is guaranteed to not sleep more than twice as much as the bare minimum
73 // amount of time.
RunWhileTrue(const base::Callback<bool (void)> & cb,const char * message)74 void RunWhileTrue(const base::Callback<bool(void)>& cb, const char* message) {
75 #if defined(NDEBUG)
76   // In Release mode, crash after 30 iterations, which means having spent
77   // roughly 2s in
78   // nanosleep(2) cumulatively.
79   const unsigned int kMaxIterations = 30U;
80 #else
81   // In practice, this never goes through more than a couple iterations. In
82   // debug mode, crash after 64ms (+ eventually 25 times the granularity of
83   // the clock) in nanosleep(2). This ensures that this is not becoming too
84   // slow.
85   const unsigned int kMaxIterations = 25U;
86 #endif
87 
88   // Run |cb| with an exponential back-off, sleeping 2^iterations nanoseconds
89   // in nanosleep(2).
90   // Note: the clock may not allow for nanosecond granularity, in this case the
91   // first iterations would sleep a tiny bit more instead, which would not
92   // change the calculations significantly.
93   for (unsigned int i = 0; i < kMaxIterations; ++i) {
94     if (!cb.Run()) {
95       return;
96     }
97 
98     // Increase the waiting time exponentially.
99     struct timespec ts = {0, 1L << i /* nanoseconds */};
100     PCHECK(0 == HANDLE_EINTR(nanosleep(&ts, &ts)));
101   }
102 
103   LOG(FATAL) << message << " (iterations: " << kMaxIterations << ")";
104 
105   NOTREACHED();
106 }
107 
IsMultiThreaded(int proc_fd)108 bool IsMultiThreaded(int proc_fd) {
109   return !ThreadHelpers::IsSingleThreaded(proc_fd);
110 }
111 
112 enum class ThreadAction { Start, Stop };
113 
ChangeThreadStateAndWatchProcFS(int proc_fd,base::Thread * thread,ThreadAction action)114 bool ChangeThreadStateAndWatchProcFS(
115     int proc_fd, base::Thread* thread, ThreadAction action) {
116   DCHECK_LE(0, proc_fd);
117   DCHECK(thread);
118   DCHECK(action == ThreadAction::Start || action == ThreadAction::Stop);
119 
120   base::Callback<bool(void)> cb;
121   const char* message;
122 
123   if (action == ThreadAction::Start) {
124     // Should start the thread before calling thread_id().
125     if (!thread->Start())
126       return false;
127   }
128 
129   const base::PlatformThreadId thread_id = thread->GetThreadId();
130   const std::string thread_id_dir_str =
131       "self/task/" + base::IntToString(thread_id) + "/";
132 
133   if (action == ThreadAction::Stop) {
134     // The target thread should exist in /proc.
135     DCHECK(IsThreadPresentInProcFS(proc_fd, thread_id_dir_str));
136     thread->Stop();
137   }
138 
139   // The kernel is at liberty to wake the thread id futex before updating
140   // /proc. Start() above or following Stop(), the thread is started or joined,
141   // but entries in /proc may not have been updated.
142   if (action == ThreadAction::Start) {
143     cb = base::Bind(&IsNotThreadPresentInProcFS, proc_fd, thread_id_dir_str);
144     message = kAssertThreadDoesNotAppearInProcFS;
145   } else {
146     cb = base::Bind(&IsThreadPresentInProcFS, proc_fd, thread_id_dir_str);
147     message = kAssertThreadDoesNotDisappearInProcFS;
148   }
149   RunWhileTrue(cb, message);
150 
151   DCHECK_EQ(action == ThreadAction::Start,
152             IsThreadPresentInProcFS(proc_fd, thread_id_dir_str));
153 
154   return true;
155 }
156 
157 }  // namespace
158 
159 // static
IsSingleThreaded(int proc_fd)160 bool ThreadHelpers::IsSingleThreaded(int proc_fd) {
161   DCHECK_LE(0, proc_fd);
162   return IsSingleThreadedImpl(proc_fd);
163 }
164 
165 // static
IsSingleThreaded()166 bool ThreadHelpers::IsSingleThreaded() {
167   base::ScopedFD task_fd(ProcUtil::OpenProc());
168   return IsSingleThreaded(task_fd.get());
169 }
170 
171 // static
AssertSingleThreaded(int proc_fd)172 void ThreadHelpers::AssertSingleThreaded(int proc_fd) {
173   DCHECK_LE(0, proc_fd);
174   const base::Callback<bool(void)> cb = base::Bind(&IsMultiThreaded, proc_fd);
175   RunWhileTrue(cb, kAssertSingleThreadedError);
176 }
177 
AssertSingleThreaded()178 void ThreadHelpers::AssertSingleThreaded() {
179   base::ScopedFD task_fd(ProcUtil::OpenProc());
180   AssertSingleThreaded(task_fd.get());
181 }
182 
183 // static
StartThreadAndWatchProcFS(int proc_fd,base::Thread * thread)184 bool ThreadHelpers::StartThreadAndWatchProcFS(int proc_fd,
185                                               base::Thread* thread) {
186   return ChangeThreadStateAndWatchProcFS(proc_fd, thread, ThreadAction::Start);
187 }
188 
189 // static
StopThreadAndWatchProcFS(int proc_fd,base::Thread * thread)190 bool ThreadHelpers::StopThreadAndWatchProcFS(int proc_fd,
191                                              base::Thread* thread) {
192   return ChangeThreadStateAndWatchProcFS(proc_fd, thread, ThreadAction::Stop);
193 }
194 
195 // static
GetAssertSingleThreadedErrorMessageForTests()196 const char* ThreadHelpers::GetAssertSingleThreadedErrorMessageForTests() {
197   return kAssertSingleThreadedError;
198 }
199 
200 }  // namespace sandbox
201