blob: 8a19939876e1f85700fed812632c19aa69e93fa9 [file] [log] [blame]
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -08001/*
2 * Copyright (C) 2008 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Mark Salyzyn62767fe2016-10-27 07:45:34 -070017#include <ctype.h>
18#include <errno.h>
19#include <fcntl.h>
20#include <ftw.h>
21#include <pwd.h>
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080022#include <stdarg.h>
23#include <stdlib.h>
24#include <stdio.h>
25#include <string.h>
Colin Cross504bc512010-04-13 19:35:09 -070026#include <time.h>
Mark Salyzyn62767fe2016-10-27 07:45:34 -070027#include <unistd.h>
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080028
Stephen Smalleydbd37f22014-01-28 10:34:09 -050029#include <selinux/android.h>
Mark Salyzyn62767fe2016-10-27 07:45:34 -070030#include <selinux/label.h>
Stephen Smalleye46f9d52012-01-13 08:48:47 -050031
Mark Salyzyn62767fe2016-10-27 07:45:34 -070032#include <sys/socket.h>
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080033#include <sys/stat.h>
34#include <sys/types.h>
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080035#include <sys/un.h>
36
Elliott Hughes290a2282016-11-14 17:08:47 -080037#include <thread>
38
Elliott Hughes4f713192015-12-04 22:00:26 -080039#include <android-base/file.h>
Elliott Hughesf86b5a62016-06-24 15:12:21 -070040#include <android-base/logging.h>
Tom Cherryccf23532017-03-28 16:40:41 -070041#include <android-base/properties.h>
Mark Salyzyn62767fe2016-10-27 07:45:34 -070042#include <android-base/stringprintf.h>
Elliott Hughes4f713192015-12-04 22:00:26 -080043#include <android-base/strings.h>
Mark Salyzyndb691072016-11-07 10:16:53 -080044#include <android-base/unique_fd.h>
Elliott Hughes331cf2f2016-11-29 19:20:58 +000045
46#include <cutils/android_reboot.h>
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080047/* for ANDROID_SOCKET_* */
48#include <cutils/sockets.h>
49
Stephen Smalleye46f9d52012-01-13 08:48:47 -050050#include "init.h"
Colin Crossed8a7d82010-04-19 17:05:34 -070051#include "log.h"
Keun-young Park8d01f632017-03-13 11:54:47 -070052#include "reboot.h"
Colin Crossf83d0b92010-04-21 12:04:20 -070053#include "util.h"
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080054
Nick Kralevichd2104df2015-06-18 17:46:54 -070055static unsigned int do_decode_uid(const char *s)
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080056{
57 unsigned int v;
58
59 if (!s || *s == '\0')
Nick Kralevichd2104df2015-06-18 17:46:54 -070060 return UINT_MAX;
William Roberts3792e6c2016-04-06 19:18:50 -070061
62 if (isalpha(s[0])) {
63 struct passwd* pwd = getpwnam(s);
64 if (!pwd)
65 return UINT_MAX;
66 return pwd->pw_uid;
67 }
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080068
69 errno = 0;
70 v = (unsigned int) strtoul(s, 0, 0);
71 if (errno)
Nick Kralevichd2104df2015-06-18 17:46:54 -070072 return UINT_MAX;
73 return v;
74}
75
76/*
77 * decode_uid - decodes and returns the given string, which can be either the
78 * numeric or name representation, into the integer uid or gid. Returns
79 * UINT_MAX on error.
80 */
81unsigned int decode_uid(const char *s) {
82 unsigned int v = do_decode_uid(s);
83 if (v == UINT_MAX) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -070084 LOG(ERROR) << "decode_uid: Unable to find UID for '" << s << "'; returning UINT_MAX";
Nick Kralevichd2104df2015-06-18 17:46:54 -070085 }
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080086 return v;
87}
88
89/*
90 * create_socket - creates a Unix domain socket in ANDROID_SOCKET_DIR
91 * ("/dev/socket") as dictated in init.rc. This socket is inherited by the
92 * daemon. We communicate the file descriptor's value via the environment
93 * variable ANDROID_SOCKET_ENV_PREFIX<name> ("ANDROID_SOCKET_foo").
94 */
Stephen Smalley8348d272013-05-13 12:37:04 -040095int create_socket(const char *name, int type, mode_t perm, uid_t uid,
96 gid_t gid, const char *socketcon)
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080097{
Nick Kralevich83ccb1c2015-11-23 16:26:42 -080098 if (socketcon) {
99 if (setsockcreatecon(socketcon) == -1) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700100 PLOG(ERROR) << "setsockcreatecon(\"" << socketcon << "\") failed";
Nick Kralevich83ccb1c2015-11-23 16:26:42 -0800101 return -1;
102 }
103 }
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800104
Mark Salyzyndb691072016-11-07 10:16:53 -0800105 android::base::unique_fd fd(socket(PF_UNIX, type, 0));
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800106 if (fd < 0) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700107 PLOG(ERROR) << "Failed to open socket '" << name << "'";
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800108 return -1;
109 }
110
Mark Salyzyndb691072016-11-07 10:16:53 -0800111 if (socketcon) setsockcreatecon(NULL);
Stephen Smalley8348d272013-05-13 12:37:04 -0400112
Mark Salyzyndb691072016-11-07 10:16:53 -0800113 struct sockaddr_un addr;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800114 memset(&addr, 0 , sizeof(addr));
115 addr.sun_family = AF_UNIX;
116 snprintf(addr.sun_path, sizeof(addr.sun_path), ANDROID_SOCKET_DIR"/%s",
117 name);
118
Mark Salyzyndb691072016-11-07 10:16:53 -0800119 if ((unlink(addr.sun_path) != 0) && (errno != ENOENT)) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700120 PLOG(ERROR) << "Failed to unlink old socket '" << name << "'";
Mark Salyzyndb691072016-11-07 10:16:53 -0800121 return -1;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800122 }
123
Mark Salyzyndb691072016-11-07 10:16:53 -0800124 char *filecon = NULL;
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500125 if (sehandle) {
Mark Salyzyndb691072016-11-07 10:16:53 -0800126 if (selabel_lookup(sehandle, &filecon, addr.sun_path, S_IFSOCK) == 0) {
Stephen Smalley8348d272013-05-13 12:37:04 -0400127 setfscreatecon(filecon);
Mark Salyzyndb691072016-11-07 10:16:53 -0800128 }
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500129 }
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500130
Mark Salyzyndb691072016-11-07 10:16:53 -0800131 int ret = bind(fd, (struct sockaddr *) &addr, sizeof (addr));
132 int savederrno = errno;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800133
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500134 setfscreatecon(NULL);
Stephen Smalley8348d272013-05-13 12:37:04 -0400135 freecon(filecon);
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500136
Nick Kralevich9bcfd642016-02-24 15:50:52 -0800137 if (ret) {
Mark Salyzyndb691072016-11-07 10:16:53 -0800138 errno = savederrno;
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700139 PLOG(ERROR) << "Failed to bind socket '" << name << "'";
Nick Kralevich9bcfd642016-02-24 15:50:52 -0800140 goto out_unlink;
141 }
142
Mark Salyzyndb691072016-11-07 10:16:53 -0800143 if (lchown(addr.sun_path, uid, gid)) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700144 PLOG(ERROR) << "Failed to lchown socket '" << addr.sun_path << "'";
Nick Kralevich9bcfd642016-02-24 15:50:52 -0800145 goto out_unlink;
146 }
Mark Salyzyndb691072016-11-07 10:16:53 -0800147 if (fchmodat(AT_FDCWD, addr.sun_path, perm, AT_SYMLINK_NOFOLLOW)) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700148 PLOG(ERROR) << "Failed to fchmodat socket '" << addr.sun_path << "'";
Nick Kralevich9bcfd642016-02-24 15:50:52 -0800149 goto out_unlink;
150 }
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800151
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700152 LOG(INFO) << "Created socket '" << addr.sun_path << "'"
153 << ", mode " << std::oct << perm << std::dec
154 << ", user " << uid
155 << ", group " << gid;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800156
Mark Salyzyndb691072016-11-07 10:16:53 -0800157 return fd.release();
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800158
159out_unlink:
160 unlink(addr.sun_path);
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800161 return -1;
162}
163
Elliott Hughesf682b472015-02-06 12:19:48 -0800164bool read_file(const char* path, std::string* content) {
165 content->clear();
166
Tom Cherry40578ab2017-03-20 14:24:25 -0700167 android::base::unique_fd fd(TEMP_FAILURE_RETRY(open(path, O_RDONLY | O_NOFOLLOW | O_CLOEXEC)));
Elliott Hughesf682b472015-02-06 12:19:48 -0800168 if (fd == -1) {
169 return false;
170 }
171
172 // For security reasons, disallow world-writable
173 // or group-writable files.
Nick Kralevich38f368c2012-01-18 10:39:01 -0800174 struct stat sb;
Elliott Hughesf682b472015-02-06 12:19:48 -0800175 if (fstat(fd, &sb) == -1) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700176 PLOG(ERROR) << "fstat failed for '" << path << "'";
Elliott Hughesf682b472015-02-06 12:19:48 -0800177 return false;
Nick Kralevich38f368c2012-01-18 10:39:01 -0800178 }
179 if ((sb.st_mode & (S_IWGRP | S_IWOTH)) != 0) {
Tom Cherry40578ab2017-03-20 14:24:25 -0700180 LOG(ERROR) << "skipping insecure file '" << path << "'";
Elliott Hughesf682b472015-02-06 12:19:48 -0800181 return false;
Nick Kralevich38f368c2012-01-18 10:39:01 -0800182 }
183
Tom Cherry40578ab2017-03-20 14:24:25 -0700184 return android::base::ReadFdToString(fd, content);
Elliott Hughesf682b472015-02-06 12:19:48 -0800185}
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800186
Jorge Lucangeli Obes77f0e9f2016-12-28 14:07:02 -0500187bool write_file(const char* path, const char* content) {
Yongqin Liu82bac0d2016-12-28 16:06:19 +0800188 android::base::unique_fd fd(TEMP_FAILURE_RETRY(
189 open(path, O_WRONLY | O_CREAT | O_NOFOLLOW | O_TRUNC | O_CLOEXEC, 0600)));
Elliott Hughesf682b472015-02-06 12:19:48 -0800190 if (fd == -1) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700191 PLOG(ERROR) << "write_file: Unable to open '" << path << "'";
Jorge Lucangeli Obes77f0e9f2016-12-28 14:07:02 -0500192 return false;
Elliott Hughesf682b472015-02-06 12:19:48 -0800193 }
Jorge Lucangeli Obes77f0e9f2016-12-28 14:07:02 -0500194 bool success = android::base::WriteStringToFd(content, fd);
195 if (!success) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700196 PLOG(ERROR) << "write_file: Unable to write to '" << path << "'";
Nick Kralevicheedbe812015-04-25 14:10:03 -0700197 }
Jorge Lucangeli Obes77f0e9f2016-12-28 14:07:02 -0500198 return success;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800199}
200
James Hawkinsc8ac0672017-02-14 19:20:20 +0000201boot_clock::time_point boot_clock::now() {
202 timespec ts;
203 clock_gettime(CLOCK_BOOTTIME, &ts);
204 return boot_clock::time_point(std::chrono::seconds(ts.tv_sec) +
205 std::chrono::nanoseconds(ts.tv_nsec));
Colin Cross504bc512010-04-13 19:35:09 -0700206}
Colin Crossb0ab94b2010-04-08 16:16:20 -0700207
208int mkdir_recursive(const char *pathname, mode_t mode)
209{
210 char buf[128];
211 const char *slash;
212 const char *p = pathname;
213 int width;
214 int ret;
215 struct stat info;
216
217 while ((slash = strchr(p, '/')) != NULL) {
218 width = slash - pathname;
219 p = slash + 1;
220 if (width < 0)
221 break;
222 if (width == 0)
223 continue;
224 if ((unsigned int)width > sizeof(buf) - 1) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700225 LOG(ERROR) << "path too long for mkdir_recursive";
Colin Crossb0ab94b2010-04-08 16:16:20 -0700226 return -1;
227 }
228 memcpy(buf, pathname, width);
229 buf[width] = 0;
230 if (stat(buf, &info) != 0) {
Stephen Smalleye096e362012-06-11 13:37:39 -0400231 ret = make_dir(buf, mode);
Colin Crossb0ab94b2010-04-08 16:16:20 -0700232 if (ret && errno != EEXIST)
233 return ret;
234 }
235 }
Stephen Smalleye096e362012-06-11 13:37:39 -0400236 ret = make_dir(pathname, mode);
Colin Crossb0ab94b2010-04-08 16:16:20 -0700237 if (ret && errno != EEXIST)
238 return ret;
239 return 0;
240}
241
Johan Redestig93ca79b2012-04-18 16:41:19 +0200242/*
243 * replaces any unacceptable characters with '_', the
244 * length of the resulting string is equal to the input string
245 */
Colin Crossb0ab94b2010-04-08 16:16:20 -0700246void sanitize(char *s)
247{
Johan Redestig93ca79b2012-04-18 16:41:19 +0200248 const char* accept =
249 "abcdefghijklmnopqrstuvwxyz"
250 "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
251 "0123456789"
252 "_-.";
253
Colin Crossb0ab94b2010-04-08 16:16:20 -0700254 if (!s)
255 return;
Johan Redestig93ca79b2012-04-18 16:41:19 +0200256
Christopher R. Palmer07f3fee2014-09-22 14:35:54 -0400257 while (*s) {
Johan Redestig93ca79b2012-04-18 16:41:19 +0200258 s += strspn(s, accept);
Christopher R. Palmer07f3fee2014-09-22 14:35:54 -0400259 if (*s) *s++ = '_';
Johan Redestig93ca79b2012-04-18 16:41:19 +0200260 }
Colin Crossb0ab94b2010-04-08 16:16:20 -0700261}
Johan Redestig93ca79b2012-04-18 16:41:19 +0200262
Elliott Hughes9605a942016-11-10 17:43:47 -0800263int wait_for_file(const char* filename, std::chrono::nanoseconds timeout) {
264 boot_clock::time_point timeout_time = boot_clock::now() + timeout;
265 while (boot_clock::now() < timeout_time) {
266 struct stat sb;
267 if (stat(filename, &sb) != -1) return 0;
Colin Crosscd0f1732010-04-19 17:10:24 -0700268
Elliott Hughes290a2282016-11-14 17:08:47 -0800269 std::this_thread::sleep_for(10ms);
Elliott Hughes9605a942016-11-10 17:43:47 -0800270 }
271 return -1;
Colin Crosscd0f1732010-04-19 17:10:24 -0700272}
Colin Crossf83d0b92010-04-21 12:04:20 -0700273
Elliott Hughese5ce30f2015-05-06 19:19:24 -0700274void import_kernel_cmdline(bool in_qemu,
Chih-Hung Hsieh8f7b9e32016-07-27 16:25:51 -0700275 const std::function<void(const std::string&, const std::string&, bool)>& fn) {
Elliott Hughese5ce30f2015-05-06 19:19:24 -0700276 std::string cmdline;
277 android::base::ReadFileToString("/proc/cmdline", &cmdline);
Vladimir Chtchetkine2b995432011-09-28 09:55:31 -0700278
Elliott Hughese5ce30f2015-05-06 19:19:24 -0700279 for (const auto& entry : android::base::Split(android::base::Trim(cmdline), " ")) {
280 std::vector<std::string> pieces = android::base::Split(entry, "=");
281 if (pieces.size() == 2) {
282 fn(pieces[0], pieces[1], in_qemu);
283 }
Vladimir Chtchetkine2b995432011-09-28 09:55:31 -0700284 }
285}
Stephen Smalleye096e362012-06-11 13:37:39 -0400286
287int make_dir(const char *path, mode_t mode)
288{
289 int rc;
290
Stephen Smalleye096e362012-06-11 13:37:39 -0400291 char *secontext = NULL;
292
293 if (sehandle) {
294 selabel_lookup(sehandle, &secontext, path, mode);
295 setfscreatecon(secontext);
296 }
Stephen Smalleye096e362012-06-11 13:37:39 -0400297
298 rc = mkdir(path, mode);
299
Stephen Smalleye096e362012-06-11 13:37:39 -0400300 if (secontext) {
301 int save_errno = errno;
302 freecon(secontext);
303 setfscreatecon(NULL);
304 errno = save_errno;
305 }
Kenny Rootb5982bf2012-10-16 23:07:05 -0700306
Stephen Smalleye096e362012-06-11 13:37:39 -0400307 return rc;
308}
309
Paul Lawrencea8d84342016-11-14 15:40:18 -0800310int restorecon(const char* pathname, int flags)
Stephen Smalleye096e362012-06-11 13:37:39 -0400311{
Paul Lawrencea8d84342016-11-14 15:40:18 -0800312 return selinux_android_restorecon(pathname, flags);
Jeff Sharkeyd1d3bdd2016-07-15 16:21:34 -0600313}
314
Andres Moralesdb5f5d42015-05-08 08:30:33 -0700315/*
316 * Writes hex_len hex characters (1/2 byte) to hex from bytes.
317 */
318std::string bytes_to_hex(const uint8_t* bytes, size_t bytes_len) {
319 std::string hex("0x");
320 for (size_t i = 0; i < bytes_len; i++)
321 android::base::StringAppendF(&hex, "%02x", bytes[i]);
322 return hex;
323}
Lee Campbellf13b1b32015-07-24 16:57:14 -0700324
325/*
326 * Returns true is pathname is a directory
327 */
328bool is_dir(const char* pathname) {
329 struct stat info;
330 if (stat(pathname, &info) == -1) {
331 return false;
332 }
333 return S_ISDIR(info.st_mode);
334}
Tom Cherryb7349902015-08-26 11:43:36 -0700335
336bool expand_props(const std::string& src, std::string* dst) {
337 const char* src_ptr = src.c_str();
338
339 if (!dst) {
340 return false;
341 }
342
343 /* - variables can either be $x.y or ${x.y}, in case they are only part
344 * of the string.
345 * - will accept $$ as a literal $.
346 * - no nested property expansion, i.e. ${foo.${bar}} is not supported,
347 * bad things will happen
Mark Salyzyn4b561622016-06-07 08:49:01 -0700348 * - ${x.y:-default} will return default value if property empty.
Tom Cherryb7349902015-08-26 11:43:36 -0700349 */
350 while (*src_ptr) {
351 const char* c;
352
353 c = strchr(src_ptr, '$');
354 if (!c) {
355 dst->append(src_ptr);
356 return true;
357 }
358
359 dst->append(src_ptr, c);
360 c++;
361
362 if (*c == '$') {
363 dst->push_back(*(c++));
364 src_ptr = c;
365 continue;
366 } else if (*c == '\0') {
367 return true;
368 }
369
370 std::string prop_name;
Mark Salyzyn4b561622016-06-07 08:49:01 -0700371 std::string def_val;
Tom Cherryb7349902015-08-26 11:43:36 -0700372 if (*c == '{') {
373 c++;
374 const char* end = strchr(c, '}');
375 if (!end) {
376 // failed to find closing brace, abort.
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700377 LOG(ERROR) << "unexpected end of string in '" << src << "', looking for }";
Tom Cherryb7349902015-08-26 11:43:36 -0700378 return false;
379 }
380 prop_name = std::string(c, end);
381 c = end + 1;
Mark Salyzyn4b561622016-06-07 08:49:01 -0700382 size_t def = prop_name.find(":-");
383 if (def < prop_name.size()) {
384 def_val = prop_name.substr(def + 2);
385 prop_name = prop_name.substr(0, def);
386 }
Tom Cherryb7349902015-08-26 11:43:36 -0700387 } else {
388 prop_name = c;
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700389 LOG(ERROR) << "using deprecated syntax for specifying property '" << c << "', use ${name} instead";
Tom Cherryb7349902015-08-26 11:43:36 -0700390 c += prop_name.size();
391 }
392
393 if (prop_name.empty()) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700394 LOG(ERROR) << "invalid zero-length property name in '" << src << "'";
Tom Cherryb7349902015-08-26 11:43:36 -0700395 return false;
396 }
397
Tom Cherryccf23532017-03-28 16:40:41 -0700398 std::string prop_val = android::base::GetProperty(prop_name, "");
Tom Cherryb7349902015-08-26 11:43:36 -0700399 if (prop_val.empty()) {
Mark Salyzyn4b561622016-06-07 08:49:01 -0700400 if (def_val.empty()) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700401 LOG(ERROR) << "property '" << prop_name << "' doesn't exist while expanding '" << src << "'";
Mark Salyzyn4b561622016-06-07 08:49:01 -0700402 return false;
403 }
404 prop_val = def_val;
Tom Cherryb7349902015-08-26 11:43:36 -0700405 }
406
407 dst->append(prop_val);
408 src_ptr = c;
409 }
410
411 return true;
412}
Elliott Hughes331cf2f2016-11-29 19:20:58 +0000413
Elliott Hughes331cf2f2016-11-29 19:20:58 +0000414void panic() {
415 LOG(ERROR) << "panic: rebooting to bootloader";
Keun-young Park8d01f632017-03-13 11:54:47 -0700416 DoReboot(ANDROID_RB_RESTART2, "reboot", "bootloader", false);
Elliott Hughes331cf2f2016-11-29 19:20:58 +0000417}
418
419std::ostream& operator<<(std::ostream& os, const Timer& t) {
420 os << t.duration_s() << " seconds";
421 return os;
422}