blob: f59ba82e1d600ee20efd4e32bb02e24b2a92c0e1 [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>
Mark Salyzyn62767fe2016-10-27 07:45:34 -070041#include <android-base/stringprintf.h>
Elliott Hughes4f713192015-12-04 22:00:26 -080042#include <android-base/strings.h>
Mark Salyzyndb691072016-11-07 10:16:53 -080043#include <android-base/unique_fd.h>
Elliott Hughes331cf2f2016-11-29 19:20:58 +000044
45#include <cutils/android_reboot.h>
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080046/* for ANDROID_SOCKET_* */
47#include <cutils/sockets.h>
48
Stephen Smalleye46f9d52012-01-13 08:48:47 -050049#include "init.h"
Colin Crossed8a7d82010-04-19 17:05:34 -070050#include "log.h"
Tom Cherryb7349902015-08-26 11:43:36 -070051#include "property_service.h"
Colin Crossf83d0b92010-04-21 12:04:20 -070052#include "util.h"
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080053
James Hawkins7c92e482017-02-13 15:47:21 -080054using android::base::boot_clock;
55
Nick Kralevichd2104df2015-06-18 17:46:54 -070056static unsigned int do_decode_uid(const char *s)
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080057{
58 unsigned int v;
59
60 if (!s || *s == '\0')
Nick Kralevichd2104df2015-06-18 17:46:54 -070061 return UINT_MAX;
William Roberts3792e6c2016-04-06 19:18:50 -070062
63 if (isalpha(s[0])) {
64 struct passwd* pwd = getpwnam(s);
65 if (!pwd)
66 return UINT_MAX;
67 return pwd->pw_uid;
68 }
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080069
70 errno = 0;
71 v = (unsigned int) strtoul(s, 0, 0);
72 if (errno)
Nick Kralevichd2104df2015-06-18 17:46:54 -070073 return UINT_MAX;
74 return v;
75}
76
77/*
78 * decode_uid - decodes and returns the given string, which can be either the
79 * numeric or name representation, into the integer uid or gid. Returns
80 * UINT_MAX on error.
81 */
82unsigned int decode_uid(const char *s) {
83 unsigned int v = do_decode_uid(s);
84 if (v == UINT_MAX) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -070085 LOG(ERROR) << "decode_uid: Unable to find UID for '" << s << "'; returning UINT_MAX";
Nick Kralevichd2104df2015-06-18 17:46:54 -070086 }
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080087 return v;
88}
89
90/*
91 * create_socket - creates a Unix domain socket in ANDROID_SOCKET_DIR
92 * ("/dev/socket") as dictated in init.rc. This socket is inherited by the
93 * daemon. We communicate the file descriptor's value via the environment
94 * variable ANDROID_SOCKET_ENV_PREFIX<name> ("ANDROID_SOCKET_foo").
95 */
Stephen Smalley8348d272013-05-13 12:37:04 -040096int create_socket(const char *name, int type, mode_t perm, uid_t uid,
97 gid_t gid, const char *socketcon)
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -080098{
Nick Kralevich83ccb1c2015-11-23 16:26:42 -080099 if (socketcon) {
100 if (setsockcreatecon(socketcon) == -1) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700101 PLOG(ERROR) << "setsockcreatecon(\"" << socketcon << "\") failed";
Nick Kralevich83ccb1c2015-11-23 16:26:42 -0800102 return -1;
103 }
104 }
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800105
Mark Salyzyndb691072016-11-07 10:16:53 -0800106 android::base::unique_fd fd(socket(PF_UNIX, type, 0));
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800107 if (fd < 0) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700108 PLOG(ERROR) << "Failed to open socket '" << name << "'";
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800109 return -1;
110 }
111
Mark Salyzyndb691072016-11-07 10:16:53 -0800112 if (socketcon) setsockcreatecon(NULL);
Stephen Smalley8348d272013-05-13 12:37:04 -0400113
Mark Salyzyndb691072016-11-07 10:16:53 -0800114 struct sockaddr_un addr;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800115 memset(&addr, 0 , sizeof(addr));
116 addr.sun_family = AF_UNIX;
117 snprintf(addr.sun_path, sizeof(addr.sun_path), ANDROID_SOCKET_DIR"/%s",
118 name);
119
Mark Salyzyndb691072016-11-07 10:16:53 -0800120 if ((unlink(addr.sun_path) != 0) && (errno != ENOENT)) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700121 PLOG(ERROR) << "Failed to unlink old socket '" << name << "'";
Mark Salyzyndb691072016-11-07 10:16:53 -0800122 return -1;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800123 }
124
Mark Salyzyndb691072016-11-07 10:16:53 -0800125 char *filecon = NULL;
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500126 if (sehandle) {
Mark Salyzyndb691072016-11-07 10:16:53 -0800127 if (selabel_lookup(sehandle, &filecon, addr.sun_path, S_IFSOCK) == 0) {
Stephen Smalley8348d272013-05-13 12:37:04 -0400128 setfscreatecon(filecon);
Mark Salyzyndb691072016-11-07 10:16:53 -0800129 }
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500130 }
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500131
Mark Salyzyndb691072016-11-07 10:16:53 -0800132 int ret = bind(fd, (struct sockaddr *) &addr, sizeof (addr));
133 int savederrno = errno;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800134
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500135 setfscreatecon(NULL);
Stephen Smalley8348d272013-05-13 12:37:04 -0400136 freecon(filecon);
Stephen Smalleye46f9d52012-01-13 08:48:47 -0500137
Nick Kralevich9bcfd642016-02-24 15:50:52 -0800138 if (ret) {
Mark Salyzyndb691072016-11-07 10:16:53 -0800139 errno = savederrno;
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700140 PLOG(ERROR) << "Failed to bind socket '" << name << "'";
Nick Kralevich9bcfd642016-02-24 15:50:52 -0800141 goto out_unlink;
142 }
143
Mark Salyzyndb691072016-11-07 10:16:53 -0800144 if (lchown(addr.sun_path, uid, gid)) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700145 PLOG(ERROR) << "Failed to lchown socket '" << addr.sun_path << "'";
Nick Kralevich9bcfd642016-02-24 15:50:52 -0800146 goto out_unlink;
147 }
Mark Salyzyndb691072016-11-07 10:16:53 -0800148 if (fchmodat(AT_FDCWD, addr.sun_path, perm, AT_SYMLINK_NOFOLLOW)) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700149 PLOG(ERROR) << "Failed to fchmodat socket '" << addr.sun_path << "'";
Nick Kralevich9bcfd642016-02-24 15:50:52 -0800150 goto out_unlink;
151 }
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800152
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700153 LOG(INFO) << "Created socket '" << addr.sun_path << "'"
154 << ", mode " << std::oct << perm << std::dec
155 << ", user " << uid
156 << ", group " << gid;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800157
Mark Salyzyndb691072016-11-07 10:16:53 -0800158 return fd.release();
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800159
160out_unlink:
161 unlink(addr.sun_path);
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800162 return -1;
163}
164
Elliott Hughesf682b472015-02-06 12:19:48 -0800165bool read_file(const char* path, std::string* content) {
166 content->clear();
167
168 int fd = TEMP_FAILURE_RETRY(open(path, O_RDONLY|O_NOFOLLOW|O_CLOEXEC));
169 if (fd == -1) {
170 return false;
171 }
172
173 // For security reasons, disallow world-writable
174 // or group-writable files.
Nick Kralevich38f368c2012-01-18 10:39:01 -0800175 struct stat sb;
Elliott Hughesf682b472015-02-06 12:19:48 -0800176 if (fstat(fd, &sb) == -1) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700177 PLOG(ERROR) << "fstat failed for '" << path << "'";
Elliott Hughesf682b472015-02-06 12:19:48 -0800178 return false;
Nick Kralevich38f368c2012-01-18 10:39:01 -0800179 }
180 if ((sb.st_mode & (S_IWGRP | S_IWOTH)) != 0) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700181 PLOG(ERROR) << "skipping insecure file '" << path << "'";
Elliott Hughesf682b472015-02-06 12:19:48 -0800182 return false;
Nick Kralevich38f368c2012-01-18 10:39:01 -0800183 }
184
Dan Albertc007bc32015-03-16 10:08:46 -0700185 bool okay = android::base::ReadFdToString(fd, content);
Elliott Hughes9fc83432015-05-15 19:16:40 -0700186 close(fd);
Elliott Hughesf682b472015-02-06 12:19:48 -0800187 return okay;
188}
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800189
Jorge Lucangeli Obes77f0e9f2016-12-28 14:07:02 -0500190bool write_file(const char* path, const char* content) {
Elliott Hughesf682b472015-02-06 12:19:48 -0800191 int fd = TEMP_FAILURE_RETRY(open(path, O_WRONLY|O_CREAT|O_NOFOLLOW|O_CLOEXEC, 0600));
192 if (fd == -1) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700193 PLOG(ERROR) << "write_file: Unable to open '" << path << "'";
Jorge Lucangeli Obes77f0e9f2016-12-28 14:07:02 -0500194 return false;
Elliott Hughesf682b472015-02-06 12:19:48 -0800195 }
Jorge Lucangeli Obes77f0e9f2016-12-28 14:07:02 -0500196 bool success = android::base::WriteStringToFd(content, fd);
197 if (!success) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700198 PLOG(ERROR) << "write_file: Unable to write to '" << path << "'";
Nick Kralevicheedbe812015-04-25 14:10:03 -0700199 }
Elliott Hughes9fc83432015-05-15 19:16:40 -0700200 close(fd);
Jorge Lucangeli Obes77f0e9f2016-12-28 14:07:02 -0500201 return success;
The Android Open Source Projectdd7bc332009-03-03 19:32:55 -0800202}
203
James Hawkins7c92e482017-02-13 15:47:21 -0800204Timer::Timer() : start_(boot_clock::now()) {
205}
206
207double Timer::duration_s() const {
208 typedef std::chrono::duration<double> double_duration;
209 return std::chrono::duration_cast<double_duration>(boot_clock::now() - start_).count();
210}
211
212int64_t Timer::duration_ms() const {
213 return std::chrono::duration_cast<std::chrono::milliseconds>(boot_clock::now() - start_).count();
Colin Cross504bc512010-04-13 19:35:09 -0700214}
Colin Crossb0ab94b2010-04-08 16:16:20 -0700215
216int mkdir_recursive(const char *pathname, mode_t mode)
217{
218 char buf[128];
219 const char *slash;
220 const char *p = pathname;
221 int width;
222 int ret;
223 struct stat info;
224
225 while ((slash = strchr(p, '/')) != NULL) {
226 width = slash - pathname;
227 p = slash + 1;
228 if (width < 0)
229 break;
230 if (width == 0)
231 continue;
232 if ((unsigned int)width > sizeof(buf) - 1) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700233 LOG(ERROR) << "path too long for mkdir_recursive";
Colin Crossb0ab94b2010-04-08 16:16:20 -0700234 return -1;
235 }
236 memcpy(buf, pathname, width);
237 buf[width] = 0;
238 if (stat(buf, &info) != 0) {
Stephen Smalleye096e362012-06-11 13:37:39 -0400239 ret = make_dir(buf, mode);
Colin Crossb0ab94b2010-04-08 16:16:20 -0700240 if (ret && errno != EEXIST)
241 return ret;
242 }
243 }
Stephen Smalleye096e362012-06-11 13:37:39 -0400244 ret = make_dir(pathname, mode);
Colin Crossb0ab94b2010-04-08 16:16:20 -0700245 if (ret && errno != EEXIST)
246 return ret;
247 return 0;
248}
249
Johan Redestig93ca79b2012-04-18 16:41:19 +0200250/*
251 * replaces any unacceptable characters with '_', the
252 * length of the resulting string is equal to the input string
253 */
Colin Crossb0ab94b2010-04-08 16:16:20 -0700254void sanitize(char *s)
255{
Johan Redestig93ca79b2012-04-18 16:41:19 +0200256 const char* accept =
257 "abcdefghijklmnopqrstuvwxyz"
258 "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
259 "0123456789"
260 "_-.";
261
Colin Crossb0ab94b2010-04-08 16:16:20 -0700262 if (!s)
263 return;
Johan Redestig93ca79b2012-04-18 16:41:19 +0200264
Christopher R. Palmer07f3fee2014-09-22 14:35:54 -0400265 while (*s) {
Johan Redestig93ca79b2012-04-18 16:41:19 +0200266 s += strspn(s, accept);
Christopher R. Palmer07f3fee2014-09-22 14:35:54 -0400267 if (*s) *s++ = '_';
Johan Redestig93ca79b2012-04-18 16:41:19 +0200268 }
Colin Crossb0ab94b2010-04-08 16:16:20 -0700269}
Johan Redestig93ca79b2012-04-18 16:41:19 +0200270
Elliott Hughes9605a942016-11-10 17:43:47 -0800271int wait_for_file(const char* filename, std::chrono::nanoseconds timeout) {
272 boot_clock::time_point timeout_time = boot_clock::now() + timeout;
273 while (boot_clock::now() < timeout_time) {
274 struct stat sb;
275 if (stat(filename, &sb) != -1) return 0;
Colin Crosscd0f1732010-04-19 17:10:24 -0700276
Elliott Hughes290a2282016-11-14 17:08:47 -0800277 std::this_thread::sleep_for(10ms);
Elliott Hughes9605a942016-11-10 17:43:47 -0800278 }
279 return -1;
Colin Crosscd0f1732010-04-19 17:10:24 -0700280}
Colin Crossf83d0b92010-04-21 12:04:20 -0700281
Elliott Hughese5ce30f2015-05-06 19:19:24 -0700282void import_kernel_cmdline(bool in_qemu,
Chih-Hung Hsieh8f7b9e32016-07-27 16:25:51 -0700283 const std::function<void(const std::string&, const std::string&, bool)>& fn) {
Elliott Hughese5ce30f2015-05-06 19:19:24 -0700284 std::string cmdline;
285 android::base::ReadFileToString("/proc/cmdline", &cmdline);
Vladimir Chtchetkine2b995432011-09-28 09:55:31 -0700286
Elliott Hughese5ce30f2015-05-06 19:19:24 -0700287 for (const auto& entry : android::base::Split(android::base::Trim(cmdline), " ")) {
288 std::vector<std::string> pieces = android::base::Split(entry, "=");
289 if (pieces.size() == 2) {
290 fn(pieces[0], pieces[1], in_qemu);
291 }
Vladimir Chtchetkine2b995432011-09-28 09:55:31 -0700292 }
293}
Stephen Smalleye096e362012-06-11 13:37:39 -0400294
295int make_dir(const char *path, mode_t mode)
296{
297 int rc;
298
Stephen Smalleye096e362012-06-11 13:37:39 -0400299 char *secontext = NULL;
300
301 if (sehandle) {
302 selabel_lookup(sehandle, &secontext, path, mode);
303 setfscreatecon(secontext);
304 }
Stephen Smalleye096e362012-06-11 13:37:39 -0400305
306 rc = mkdir(path, mode);
307
Stephen Smalleye096e362012-06-11 13:37:39 -0400308 if (secontext) {
309 int save_errno = errno;
310 freecon(secontext);
311 setfscreatecon(NULL);
312 errno = save_errno;
313 }
Kenny Rootb5982bf2012-10-16 23:07:05 -0700314
Stephen Smalleye096e362012-06-11 13:37:39 -0400315 return rc;
316}
317
Paul Lawrencea8d84342016-11-14 15:40:18 -0800318int restorecon(const char* pathname, int flags)
Stephen Smalleye096e362012-06-11 13:37:39 -0400319{
Paul Lawrencea8d84342016-11-14 15:40:18 -0800320 return selinux_android_restorecon(pathname, flags);
Jeff Sharkeyd1d3bdd2016-07-15 16:21:34 -0600321}
322
Andres Moralesdb5f5d42015-05-08 08:30:33 -0700323/*
324 * Writes hex_len hex characters (1/2 byte) to hex from bytes.
325 */
326std::string bytes_to_hex(const uint8_t* bytes, size_t bytes_len) {
327 std::string hex("0x");
328 for (size_t i = 0; i < bytes_len; i++)
329 android::base::StringAppendF(&hex, "%02x", bytes[i]);
330 return hex;
331}
Lee Campbellf13b1b32015-07-24 16:57:14 -0700332
333/*
334 * Returns true is pathname is a directory
335 */
336bool is_dir(const char* pathname) {
337 struct stat info;
338 if (stat(pathname, &info) == -1) {
339 return false;
340 }
341 return S_ISDIR(info.st_mode);
342}
Tom Cherryb7349902015-08-26 11:43:36 -0700343
344bool expand_props(const std::string& src, std::string* dst) {
345 const char* src_ptr = src.c_str();
346
347 if (!dst) {
348 return false;
349 }
350
351 /* - variables can either be $x.y or ${x.y}, in case they are only part
352 * of the string.
353 * - will accept $$ as a literal $.
354 * - no nested property expansion, i.e. ${foo.${bar}} is not supported,
355 * bad things will happen
Mark Salyzyn4b561622016-06-07 08:49:01 -0700356 * - ${x.y:-default} will return default value if property empty.
Tom Cherryb7349902015-08-26 11:43:36 -0700357 */
358 while (*src_ptr) {
359 const char* c;
360
361 c = strchr(src_ptr, '$');
362 if (!c) {
363 dst->append(src_ptr);
364 return true;
365 }
366
367 dst->append(src_ptr, c);
368 c++;
369
370 if (*c == '$') {
371 dst->push_back(*(c++));
372 src_ptr = c;
373 continue;
374 } else if (*c == '\0') {
375 return true;
376 }
377
378 std::string prop_name;
Mark Salyzyn4b561622016-06-07 08:49:01 -0700379 std::string def_val;
Tom Cherryb7349902015-08-26 11:43:36 -0700380 if (*c == '{') {
381 c++;
382 const char* end = strchr(c, '}');
383 if (!end) {
384 // failed to find closing brace, abort.
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700385 LOG(ERROR) << "unexpected end of string in '" << src << "', looking for }";
Tom Cherryb7349902015-08-26 11:43:36 -0700386 return false;
387 }
388 prop_name = std::string(c, end);
389 c = end + 1;
Mark Salyzyn4b561622016-06-07 08:49:01 -0700390 size_t def = prop_name.find(":-");
391 if (def < prop_name.size()) {
392 def_val = prop_name.substr(def + 2);
393 prop_name = prop_name.substr(0, def);
394 }
Tom Cherryb7349902015-08-26 11:43:36 -0700395 } else {
396 prop_name = c;
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700397 LOG(ERROR) << "using deprecated syntax for specifying property '" << c << "', use ${name} instead";
Tom Cherryb7349902015-08-26 11:43:36 -0700398 c += prop_name.size();
399 }
400
401 if (prop_name.empty()) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700402 LOG(ERROR) << "invalid zero-length property name in '" << src << "'";
Tom Cherryb7349902015-08-26 11:43:36 -0700403 return false;
404 }
405
406 std::string prop_val = property_get(prop_name.c_str());
407 if (prop_val.empty()) {
Mark Salyzyn4b561622016-06-07 08:49:01 -0700408 if (def_val.empty()) {
Elliott Hughesf86b5a62016-06-24 15:12:21 -0700409 LOG(ERROR) << "property '" << prop_name << "' doesn't exist while expanding '" << src << "'";
Mark Salyzyn4b561622016-06-07 08:49:01 -0700410 return false;
411 }
412 prop_val = def_val;
Tom Cherryb7349902015-08-26 11:43:36 -0700413 }
414
415 dst->append(prop_val);
416 src_ptr = c;
417 }
418
419 return true;
420}
Elliott Hughes331cf2f2016-11-29 19:20:58 +0000421
422void reboot(const char* destination) {
423 android_reboot(ANDROID_RB_RESTART2, 0, destination);
424 // We're init, so android_reboot will actually have been a syscall so there's nothing
425 // to wait for. If android_reboot returns, just abort so that the kernel will reboot
426 // itself when init dies.
427 PLOG(FATAL) << "reboot failed";
428 abort();
429}
430
431void panic() {
432 LOG(ERROR) << "panic: rebooting to bootloader";
433 reboot("bootloader");
434}
435
436std::ostream& operator<<(std::ostream& os, const Timer& t) {
437 os << t.duration_s() << " seconds";
438 return os;
439}