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
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
|
// Copyright (C) 2015-2023 Internet Systems Consortium, Inc. ("ISC")
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.
#include <config.h>
#include <asiolink/io_service_signal.h>
#include <asiolink/process_spawn.h>
#include <exceptions/exceptions.h>
#include <functional>
#include <map>
#include <mutex>
#include <cstring>
#include <signal.h>
#include <stdlib.h>
#include <errno.h>
#include <unistd.h>
#include <sys/stat.h>
#include <sys/wait.h>
#include <boost/make_shared.hpp>
using namespace std;
namespace ph = std::placeholders;
extern char **environ;
namespace isc {
namespace asiolink {
/// @brief Type for process state
struct ProcessState {
/// @brief Constructor
ProcessState() : running_(true), status_(0) {
}
/// @brief true until the exit status is collected
bool running_;
/// @brief 0 or the exit status
int status_;
};
/// @brief Defines a pointer to a ProcessState.
typedef boost::shared_ptr<ProcessState> ProcessStatePtr;
/// @brief ProcessStates container which stores a ProcessState for each process
/// identified by PID.
typedef std::map<pid_t, ProcessStatePtr> ProcessStates;
class processSpawnImpl;
/// @brief ProcessCollection container which stores all ProcessStates for each
/// instance of @ref ProcessSpawnImpl.
typedef std::map<const ProcessSpawnImpl*, ProcessStates> ProcessCollection;
/// @brief Implementation of the @c ProcessSpawn class.
///
/// This pimpl idiom is used by the @c ProcessSpawn in this case to
/// avoid exposing the internals of the implementation, such as
/// custom handling of a SIGCHLD signal, and the conversion of the
/// arguments of the executable from the STL container to the array.
///
/// This class is made noncopyable so that we don't have attempts
/// to make multiple copies of an object. This avoid problems
/// with multiple copies of objects for a single global resource
/// such as the SIGCHLD signal handler. In addition making it
/// noncopyable keeps the static check code from flagging the
/// lack of a copy constructor as an issue.
class ProcessSpawnImpl : boost::noncopyable {
public:
/// @brief Constructor.
///
/// @param io_service The IOService which handles signal handlers.
/// @param executable A full path to the program to be executed.
/// @param args Arguments for the program to be executed.
/// @param vars Environment variables for the program to be executed.
/// @param inherit_env whether the spawned process will inherit the
/// environment before adding 'vars' on top.
ProcessSpawnImpl(IOServicePtr io_service,
const std::string& executable,
const ProcessArgs& args,
const ProcessEnvVars& vars,
const bool inherit_env,
const bool sync);
/// @brief Destructor.
~ProcessSpawnImpl();
/// @brief Returns full command line, including arguments, for the process.
std::string getCommandLine() const;
/// @brief Spawn the new process.
///
/// This method forks the current process and executes the specified
/// binary with arguments within the child process.
///
/// The child process will return EXIT_FAILURE if the method was unable
/// to start the executable, e.g. as a result of insufficient permissions
/// or when the executable does not exist. If the process ends successfully
/// the EXIT_SUCCESS is returned.
///
/// @param dismiss The flag which indicated if the process status can be
/// disregarded.
/// @return PID of the spawned process.
/// @throw ProcessSpawnError if forking a current process failed.
pid_t spawn(bool dismiss);
/// @brief Checks if the process is still running.
///
/// @param pid ID of the child processes for which state should be checked.
/// @return true if the child process is running, false otherwise.
bool isRunning(const pid_t pid) const;
/// @brief Checks if any of the spawned processes is still running.
///
/// @return true if at least one child process is still running.
bool isAnyRunning() const;
/// @brief Returns exit status of the process.
///
/// If the process is still running, the previous status is returned
/// or 0, if the process is being ran for the first time.
///
/// @param pid ID of the child process for which exit status should be
/// returned.
/// @return Exit code of the process.
int getExitStatus(const pid_t pid) const;
/// @brief Removes the status of the process with a specified PID.
///
/// This method removes the status of the process with a specified PID.
/// If the process is still running, the status is not removed and the
/// exception is thrown.
///
/// @param pid A process pid.
void clearState(const pid_t pid);
private:
/// @brief Initializer class for the SIGCHLD signal handler.
///
/// This is a singleton class used to initialize the SIGCHLD signal handler
/// only on the first call of @ref initIOSignalSet which happens on each
/// call of @ref ProcessSpawn::spawn.
class IOSignalSetInitializer {
private:
/// @brief Constructor
///
/// @param io_service The IOService which handles signal handlers.
IOSignalSetInitializer(IOServicePtr io_service) {
if (!io_service) {
isc_throw(ProcessSpawnError, "NULL IOService instance");
}
io_signal_set_ =
boost::make_shared<IOSignalSet>(io_service,
std::bind(&ProcessSpawnImpl::waitForProcess, ph::_1,
/* pid = */ -1, /* sync = */ false));
io_signal_set_->add(SIGCHLD);
}
/// @brief Destructor
~IOSignalSetInitializer() {
io_signal_set_->remove(SIGCHLD);
}
public:
/// @brief Initialize the SIGCHLD signal handler.
///
/// It creates the single instance of @ref IOSignalSetInitializer.
///
/// @param io_service The IOService which handles signal handlers.
static void initIOSignalSet(IOServicePtr io_service);
private:
/// @brief ASIO signal set.
IOSignalSetPtr io_signal_set_;
};
/// @brief Copies the argument specified as a C++ string to the new
/// C string.
///
/// This method is used to convert arguments specified as an STL container
/// holding @c std::string objects to an array of C strings, used by the
/// @c execve function in the @c ProcessSpawnImpl::spawn. It allocates a
/// new C string and copies the contents of the @c src to it.
/// The data is stored in an internal container so that the caller of the
/// function can be exception safe.
///
/// @param src A source string.
///
/// @return Allocated C string holding the data from @c src.
char* allocateInternal(const std::string& src);
/// @brief Signal handler for SIGCHLD.
///
/// @param signum the signal number received,
/// populated by the signal set in async mode
/// @param pid the pid to wait for, -1 by default meaning wait
/// for any child process
/// @param sync whether this function is called immediately after spawning
/// (synchronous) or not (asynchronous, default).:w
static void waitForProcess(int signum, pid_t const pid = -1, bool const sync = false);
/// @brief A map holding the status codes of executed processes.
static ProcessCollection process_collection_;
/// @brief Path to an executable.
std::string executable_;
/// @brief An array holding arguments for the executable.
boost::shared_ptr<char*[]> args_;
/// @brief An array holding environment variables for the executable.
boost::shared_ptr<char*[]> vars_;
/// @brief Typedef for CString pointer.
typedef boost::shared_ptr<char[]> CStringPtr;
/// @brief An storage container for all allocated C strings.
std::vector<CStringPtr> storage_;
/// @brief Flag to indicate if process status must be stored.
bool store_;
/// @brief Mutex to protect internal state.
static std::mutex mutex_;
/// @brief The IOService which handles IO operations.
IOServicePtr io_service_;
/// @brief Whether the process is waited immediately after spawning
/// (synchronous) or not (asynchronous, default).
bool sync_;
};
ProcessCollection ProcessSpawnImpl::process_collection_;
std::mutex ProcessSpawnImpl::mutex_;
void ProcessSpawnImpl::IOSignalSetInitializer::initIOSignalSet(IOServicePtr io_service) {
static IOSignalSetInitializer init(io_service);
}
ProcessSpawnImpl::ProcessSpawnImpl(IOServicePtr io_service,
const std::string& executable,
const ProcessArgs& args,
const ProcessEnvVars& vars,
const bool inherit_env,
const bool sync)
: executable_(executable), args_(new char*[args.size() + 2]),
store_(false), io_service_(io_service), sync_(sync) {
// Size of vars except the trailing null
size_t vars_size;
if (inherit_env) {
size_t i(0);
while (environ[i]) {
++i;
}
vars_size = i + vars.size();
} else {
vars_size = vars.size();
}
vars_ = boost::shared_ptr<char*[]>(new char*[vars_size + 1]);
struct stat st;
if (stat(executable_.c_str(), &st)) {
isc_throw(ProcessSpawnError, "File not found: " << executable_);
}
if (!(st.st_mode & S_IEXEC)) {
isc_throw(ProcessSpawnError, "File not executable: " << executable_);
}
// Conversion of the arguments to the C-style array we start by setting
// all pointers within an array to NULL to indicate that they haven't
// been allocated yet.
memset(args_.get(), 0, (args.size() + 2) * sizeof(char*));
memset(vars_.get(), 0, (vars_size + 1) * sizeof(char*));
// By convention, the first argument points to an executable name.
args_[0] = allocateInternal(executable_);
// Copy arguments to the array.
for (size_t i = 1; i <= args.size(); ++i) {
args_[i] = allocateInternal(args[i - 1]);
}
// Copy environment variables to the array.
size_t i(0);
if (inherit_env) {
while (environ[i]) {
vars_[i] = allocateInternal(environ[i]);
++i;
}
}
for (size_t j = 0; j < vars.size(); ++j) {
vars_[i + j] = allocateInternal(vars[j]);
}
}
ProcessSpawnImpl::~ProcessSpawnImpl() {
if (store_) {
lock_guard<std::mutex> lk(mutex_);
process_collection_.erase(this);
}
}
std::string
ProcessSpawnImpl::getCommandLine() const {
std::ostringstream s;
s << executable_;
// Start with index 1, because the first argument duplicates the
// path to the executable. Note, that even if there are no parameters
// the minimum size of the table is 2.
int i = 1;
while (args_[i] != NULL) {
s << " " << args_[i];
++i;
}
return (s.str());
}
pid_t
ProcessSpawnImpl::spawn(bool dismiss) {
lock_guard<std::mutex> lk(mutex_);
ProcessSpawnImpl::IOSignalSetInitializer::initIOSignalSet(io_service_);
// Create the child
pid_t pid = fork();
if (pid < 0) {
isc_throw(ProcessSpawnError, "unable to fork current process");
} else if (pid == 0) {
// Reset masked signals for the child process.
sigset_t sset;
sigemptyset(&sset);
pthread_sigmask(SIG_SETMASK, &sset, 0);
// Run the executable.
execve(executable_.c_str(), args_.get(), vars_.get());
// We may end up here if the execve failed, e.g. as a result
// of issue with permissions or invalid executable name.
_exit(EXIT_FAILURE);
}
// We're in the parent process.
if (!dismiss) {
store_ = true;
process_collection_[this].insert(std::pair<pid_t, ProcessStatePtr>(pid, ProcessStatePtr(new ProcessState())));
}
if (sync_) {
waitForProcess(SIGCHLD, pid, /* sync = */ true);
}
return (pid);
}
bool
ProcessSpawnImpl::isRunning(const pid_t pid) const {
lock_guard<std::mutex> lk(mutex_);
ProcessStates::const_iterator proc;
if (process_collection_.find(this) == process_collection_.end() ||
(proc = process_collection_[this].find(pid)) == process_collection_[this].end()) {
isc_throw(InvalidOperation, "the status of process with pid '" << pid << "' cannot be returned");
}
return (proc->second->running_);
}
bool
ProcessSpawnImpl::isAnyRunning() const {
lock_guard<std::mutex> lk(mutex_);
if (process_collection_.find(this) != process_collection_.end()) {
for (auto const& proc : process_collection_[this]) {
if (proc.second->running_) {
return (true);
}
}
}
return (false);
}
int
ProcessSpawnImpl::getExitStatus(const pid_t pid) const {
lock_guard<std::mutex> lk(mutex_);
ProcessStates::const_iterator proc;
if (process_collection_.find(this) == process_collection_.end() ||
(proc = process_collection_[this].find(pid)) == process_collection_[this].end()) {
isc_throw(InvalidOperation, "the status of process with pid '" << pid << "' cannot be returned");
}
return (WEXITSTATUS(proc->second->status_));
}
char*
ProcessSpawnImpl::allocateInternal(const std::string& src) {
const size_t src_len = src.length();
storage_.push_back(CStringPtr(new char[src_len + 1]));
// Allocate the C-string with one byte more for the null termination.
char* dest = storage_[storage_.size() - 1].get();
// copy doesn't append the null at the end.
src.copy(dest, src_len);
// Append null on our own.
dest[src_len] = '\0';
return (dest);
}
void
ProcessSpawnImpl::waitForProcess(int /* signum */,
pid_t const pid /* = -1 */,
bool sync /* = false */) {
unique_lock<std::mutex> lk{mutex_, std::defer_lock};
if (!sync) {
lk.lock();
}
for (;;) {
int status = 0;
// When called synchronously, this function needs to be blocking.
// When called asynchronously, the first IO context event is for
// receiving the SIGCHLD signal which itself is blocking,
// hence no need to block here too.
pid_t wpid = waitpid(pid, &status, sync ? 0 : WNOHANG);
if (wpid <= 0) {
break;
}
for (auto const& instance : process_collection_) {
auto const& proc = instance.second.find(wpid);
/// Check that the terminating process was started
/// by our instance of ProcessSpawn
if (proc != instance.second.end()) {
// In this order please
proc->second->status_ = status;
proc->second->running_ = false;
}
}
}
}
void
ProcessSpawnImpl::clearState(const pid_t pid) {
if (isRunning(pid)) {
isc_throw(InvalidOperation, "unable to remove the status for the "
"process (pid: " << pid << ") which is still running");
}
lock_guard<std::mutex> lk(mutex_);
if (process_collection_.find(this) != process_collection_.end()) {
process_collection_[this].erase(pid);
}
}
ProcessSpawn::ProcessSpawn(IOServicePtr io_service,
const std::string& executable,
const ProcessArgs& args,
const ProcessEnvVars& vars,
const bool inherit_env /* = false */)
: impl_(new ProcessSpawnImpl(
io_service, executable, args, vars, inherit_env, /* sync = */ false)) {
}
ProcessSpawn::ProcessSpawn(const std::string& executable,
const ProcessArgs& args,
const ProcessEnvVars& vars,
const bool inherit_env /* = false */)
: impl_(new ProcessSpawnImpl(IOServicePtr(new IOService()),
executable,
args,
vars,
inherit_env,
/* sync = */ true)) {
}
std::string
ProcessSpawn::getCommandLine() const {
return (impl_->getCommandLine());
}
pid_t
ProcessSpawn::spawn(bool dismiss) {
return (impl_->spawn(dismiss));
}
bool
ProcessSpawn::isRunning(const pid_t pid) const {
return (impl_->isRunning(pid));
}
bool
ProcessSpawn::isAnyRunning() const {
return (impl_->isAnyRunning());
}
int
ProcessSpawn::getExitStatus(const pid_t pid) const {
return (impl_->getExitStatus(pid));
}
void
ProcessSpawn::clearState(const pid_t pid) {
return (impl_->clearState(pid));
}
} // namespace asiolink
} // namespace isc
|