1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
/* vim: set ts=8 sts=2 et sw=2 tw=80: */
// Copyright (c) 2008 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include "base/process_util.h"
#include <string>
#include <sys/wait.h>
#include <unistd.h>
#if defined(MOZ_CODE_COVERAGE)
# include "nsString.h"
#endif
#include "mozilla/ipc/LaunchError.h"
#if defined(XP_LINUX) && defined(MOZ_SANDBOX)
# include "mozilla/SandboxLaunch.h"
#endif
#if defined(MOZ_ENABLE_FORKSERVER)
# include <stdlib.h>
# include <fcntl.h>
# if defined(DEBUG)
# include "base/message_loop.h"
# endif
# include "mozilla/ipc/ForkServiceChild.h"
# include "mozilla/Unused.h"
# include "mozilla/ScopeExit.h"
# include "mozilla/ipc/ProcessUtils.h"
# include "mozilla/ipc/SetProcessTitle.h"
using namespace mozilla::ipc;
#endif
#if defined(MOZ_CODE_COVERAGE)
# include "prenv.h"
# include "mozilla/ipc/EnvironmentMap.h"
#endif
#include "base/command_line.h"
#include "base/eintr_wrapper.h"
#include "base/logging.h"
#include "mozilla/ipc/FileDescriptor.h"
#include "mozilla/ipc/FileDescriptorShuffle.h"
#include "mozilla/UniquePtr.h"
#include "mozilla/StaticPtr.h"
#include "mozilla/Result.h"
// WARNING: despite the name, this file is also used on the BSDs and
// Solaris (basically, Unixes that aren't Mac OS), not just Linux.
namespace {
static mozilla::EnvironmentLog gProcessLog("MOZ_PROCESS_LOG");
} // namespace
namespace base {
#if defined(MOZ_ENABLE_FORKSERVER)
static mozilla::StaticAutoPtr<std::vector<int> > sNoCloseFDs;
void RegisterForkServerNoCloseFD(int fd) {
if (!sNoCloseFDs) {
sNoCloseFDs = new std::vector<int>();
}
sNoCloseFDs->push_back(fd);
}
static bool IsNoCloseFd(int fd) {
if (!sNoCloseFDs) {
return false;
}
return std::any_of(sNoCloseFDs->begin(), sNoCloseFDs->end(),
[fd](int regfd) -> bool { return regfd == fd; });
}
AppProcessBuilder::AppProcessBuilder() {}
static void ReplaceEnviroment(const LaunchOptions& options) {
for (auto& elt : options.env_map) {
setenv(elt.first.c_str(), elt.second.c_str(), 1);
}
}
bool AppProcessBuilder::ForkProcess(const std::vector<std::string>& argv,
LaunchOptions&& options,
ProcessHandle* process_handle) {
auto cleanFDs = mozilla::MakeScopeExit([&] {
for (auto& elt : options.fds_to_remap) {
auto fd = std::get<0>(elt);
close(fd);
}
});
# if defined(XP_LINUX) && defined(MOZ_SANDBOX)
mozilla::SandboxLaunch launcher;
if (!launcher.Prepare(&options)) {
return false;
}
# else
struct {
pid_t Fork() { return fork(); }
} launcher;
# endif
argv_ = argv;
if (!shuffle_.Init(options.fds_to_remap)) {
return false;
}
// Avoid the content of the buffer being sent out by child processes
// repeatly.
fflush(stdout);
fflush(stderr);
pid_t pid = launcher.Fork();
// WARNING: if pid == 0, only async signal safe operations are permitted from
// here until exec or _exit.
//
// Specifically, heap allocation is not safe: the sandbox's fork substitute
// won't run the pthread_atfork handlers that fix up the malloc locks.
if (pid < 0) {
return false;
}
if (pid == 0) {
cleanFDs.release();
ReplaceEnviroment(options);
} else {
gProcessLog.print("==> process %d launched child process %d\n",
GetCurrentProcId(), pid);
if (options.wait) HANDLE_EINTR(waitpid(pid, 0, 0));
}
if (process_handle) *process_handle = pid;
return true;
}
void AppProcessBuilder::ReplaceArguments(int* argcp, char*** argvp) {
// Change argc & argv of main() with the arguments passing
// through IPC.
char** argv = new char*[argv_.size() + 1];
char** p = argv;
for (auto& elt : argv_) {
*p++ = strdup(elt.c_str());
}
*p = nullptr;
*argvp = argv;
*argcp = argv_.size();
mozilla::SetProcessTitle(argv_);
}
void AppProcessBuilder::InitAppProcess(int* argcp, char*** argvp) {
MOZ_ASSERT(MessageLoop::current() == nullptr,
"The message loop of the main thread should have been destroyed");
// The fork server handle SIGCHLD to read status of content
// processes to handle Zombies. But, it is not necessary for
// content processes.
signal(SIGCHLD, SIG_DFL);
for (const auto& fds : shuffle_.Dup2Sequence()) {
int fd = HANDLE_EINTR(dup2(fds.first, fds.second));
MOZ_RELEASE_ASSERT(fd == fds.second, "dup2 failed");
}
CloseSuperfluousFds(&shuffle_, [](void* ctx, int fd) {
return static_cast<decltype(&shuffle_)>(ctx)->MapsTo(fd) || IsNoCloseFd(fd);
});
// Without this, the destructor of |shuffle_| would try to close FDs
// created by it, but they have been closed by
// |CloseSuperfluousFds()|.
shuffle_.Forget();
ReplaceArguments(argcp, argvp);
}
static void InstallChildSignalHandler() {
// Eventually (bug 1752638) we'll want a real SIGCHLD handler, but
// for now, cause child processes to be automatically collected.
signal(SIGCHLD, SIG_IGN);
}
static void ReserveFileDescriptors() {
// Reserve the lower positions of the file descriptors to make sure
// debug files and other files don't take these positions. So we
// can keep their file descriptors during CloseSuperfluousFds() with
// out any confliction with mapping passing from the parent process.
int fd = open("/dev/null", O_RDONLY);
for (int i = 1; i < 10; i++) {
mozilla::Unused << dup(fd);
}
}
void InitForkServerProcess() {
InstallChildSignalHandler();
ReserveFileDescriptors();
SetThisProcessName("forkserver");
}
static Result<Ok, LaunchError> LaunchAppWithForkServer(
const std::vector<std::string>& argv, const LaunchOptions& options,
ProcessHandle* process_handle) {
MOZ_ASSERT(ForkServiceChild::Get());
// Check for unsupported options
MOZ_ASSERT(options.workdir.empty());
MOZ_ASSERT(!options.full_env);
MOZ_ASSERT(!options.wait);
ForkServiceChild::Args forkArgs;
# if defined(XP_LINUX) && defined(MOZ_SANDBOX)
forkArgs.mForkFlags = options.fork_flags;
forkArgs.mChroot = options.sandbox_chroot;
# endif
for (auto& arg : argv) {
forkArgs.mArgv.AppendElement(arg.c_str());
}
for (auto& vv : options.env_map) {
forkArgs.mEnv.AppendElement(mozilla::EnvVar(nsCString(vv.first.c_str()),
nsCString(vv.second.c_str())));
}
for (auto& fdmapping : options.fds_to_remap) {
forkArgs.mFdsRemap.AppendElement(mozilla::FdMapping(
mozilla::ipc::FileDescriptor(fdmapping.first), fdmapping.second));
}
return ForkServiceChild::Get()->SendForkNewSubprocess(forkArgs,
process_handle);
}
#endif // MOZ_ENABLE_FORKSERVER
Result<Ok, LaunchError> LaunchApp(const std::vector<std::string>& argv,
LaunchOptions&& options,
ProcessHandle* process_handle) {
#if defined(MOZ_ENABLE_FORKSERVER)
if (options.use_forkserver && ForkServiceChild::Get()) {
return LaunchAppWithForkServer(argv, options, process_handle);
}
#endif
mozilla::UniquePtr<char*[]> argv_cstr(new char*[argv.size() + 1]);
#if defined(XP_LINUX) && defined(MOZ_SANDBOX)
mozilla::SandboxLaunch launcher;
if (!launcher.Prepare(&options)) {
return Err(LaunchError("SL::Prepare", errno));
}
#else
struct {
pid_t Fork() { return fork(); }
} launcher;
#endif
EnvironmentArray env_storage;
const EnvironmentArray& envp =
options.full_env ? options.full_env
: (env_storage = BuildEnvironmentArray(options.env_map));
// Init() there will call fcntl(F_DUPFD/F_DUPFD_CLOEXEC) under the hood in
// https://searchfox.org/mozilla-central/rev/55d5c4b9dffe5e59eb6b019c1a930ec9ada47e10/ipc/glue/FileDescriptorShuffle.cpp#72
// so it will set errno.
mozilla::ipc::FileDescriptorShuffle shuffle;
if (!shuffle.Init(options.fds_to_remap)) {
CHROMIUM_LOG(WARNING) << "FileDescriptorShuffle::Init failed";
return Err(LaunchError("FileDescriptorShuffle", errno));
}
#ifdef MOZ_CODE_COVERAGE
// Before gcc/clang 10 there is a gcda dump before the fork.
// This dump mustn't be interrupted by a SIGUSR1 else we may
// have a dead lock (see bug 1637377).
// So we just remove the handler and restore it after the fork
// It's up the child process to set it up.
// Once we switch to gcc/clang 10, we could just remove it in the child
// process
void (*ccovSigHandler)(int) = signal(SIGUSR1, SIG_IGN);
const char* gcov_child_prefix = PR_GetEnv("GCOV_CHILD_PREFIX");
#endif
pid_t pid = launcher.Fork();
// WARNING: if pid == 0, only async signal safe operations are permitted from
// here until exec or _exit.
//
// Specifically, heap allocation is not safe: the sandbox's fork substitute
// won't run the pthread_atfork handlers that fix up the malloc locks.
if (pid < 0) {
CHROMIUM_LOG(WARNING) << "fork() failed: " << strerror(errno);
return Err(LaunchError("fork", errno));
}
if (pid == 0) {
// In the child:
if (!options.workdir.empty()) {
if (chdir(options.workdir.c_str()) != 0) {
// See under execve about logging unsafety.
DLOG(ERROR) << "chdir failed " << options.workdir;
_exit(127);
}
}
for (const auto& fds : shuffle.Dup2Sequence()) {
if (HANDLE_EINTR(dup2(fds.first, fds.second)) != fds.second) {
// This shouldn't happen, but check for it. And see below
// about logging being unsafe here, so this is debug only.
DLOG(ERROR) << "dup2 failed";
_exit(127);
}
}
CloseSuperfluousFds(&shuffle, [](void* aCtx, int aFd) {
return static_cast<decltype(&shuffle)>(aCtx)->MapsTo(aFd);
});
for (size_t i = 0; i < argv.size(); i++)
argv_cstr[i] = const_cast<char*>(argv[i].c_str());
argv_cstr[argv.size()] = NULL;
#ifdef MOZ_CODE_COVERAGE
if (gcov_child_prefix && !options.full_env) {
const pid_t child_pid = getpid();
nsAutoCString new_gcov_prefix(gcov_child_prefix);
new_gcov_prefix.Append(std::to_string((size_t)child_pid));
EnvironmentMap new_map = options.env_map;
new_map[ENVIRONMENT_LITERAL("GCOV_PREFIX")] =
ENVIRONMENT_STRING(new_gcov_prefix.get());
// FIXME(bug 1783305): this won't work if full_env is set, and
// in general this block of code is doing things it shouldn't
// be (async signal unsafety).
env_storage = BuildEnvironmentArray(new_map);
}
#endif
execve(argv_cstr[0], argv_cstr.get(), envp.get());
// if we get here, we're in serious trouble and should complain loudly
// NOTE: This is async signal unsafe; it could deadlock instead. (But
// only on debug builds; otherwise it's a signal-safe no-op.)
DLOG(ERROR) << "FAILED TO exec() CHILD PROCESS, path: " << argv_cstr[0];
_exit(127);
}
// In the parent:
#ifdef MOZ_CODE_COVERAGE
// Restore the handler for SIGUSR1
signal(SIGUSR1, ccovSigHandler);
#endif
gProcessLog.print("==> process %d launched child process %d\n",
GetCurrentProcId(), pid);
if (options.wait) HANDLE_EINTR(waitpid(pid, 0, 0));
if (process_handle) *process_handle = pid;
return Ok();
}
} // namespace base
|