Charles Davis | 54c9eb6 | 2010-11-29 19:44:50 +0000 | [diff] [blame] | 1 | //===- llvm/Support/Unix/Program.cpp -----------------------------*- C++ -*-===// |
Mikhail Glushenkov | 28309ac | 2009-07-17 20:38:17 +0000 | [diff] [blame] | 2 | // |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Mikhail Glushenkov | 28309ac | 2009-07-17 20:38:17 +0000 | [diff] [blame] | 7 | // |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements the Unix specific portion of the Program class. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | //=== WARNING: Implementation here must contain only generic UNIX code that |
| 16 | //=== is guaranteed to work on *all* UNIX variants. |
| 17 | //===----------------------------------------------------------------------===// |
| 18 | |
| 19 | #include "Unix.h" |
Evgeniy Stepanov | 1f5a714 | 2013-02-04 07:03:24 +0000 | [diff] [blame] | 20 | #include "llvm/Support/Compiler.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 21 | #include "llvm/Support/FileSystem.h" |
| 22 | #include <llvm/Config/config.h> |
Reid Spencer | d554bbc | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 23 | #if HAVE_SYS_STAT_H |
| 24 | #include <sys/stat.h> |
| 25 | #endif |
Anton Korobeynikov | d01defe | 2007-02-16 19:11:07 +0000 | [diff] [blame] | 26 | #if HAVE_SYS_RESOURCE_H |
| 27 | #include <sys/resource.h> |
| 28 | #endif |
Reid Spencer | d554bbc | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 29 | #if HAVE_SIGNAL_H |
| 30 | #include <signal.h> |
| 31 | #endif |
| 32 | #if HAVE_FCNTL_H |
| 33 | #include <fcntl.h> |
| 34 | #endif |
Rafael Espindola | cd848c0 | 2013-04-11 14:06:34 +0000 | [diff] [blame] | 35 | #if HAVE_UNISTD_H |
| 36 | #include <unistd.h> |
| 37 | #endif |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 38 | #ifdef HAVE_POSIX_SPAWN |
| 39 | #include <spawn.h> |
Nick Lewycky | 554a398 | 2010-04-18 07:07:48 +0000 | [diff] [blame] | 40 | #if !defined(__APPLE__) |
| 41 | extern char **environ; |
Benjamin Kramer | 1360e9e | 2010-04-18 09:16:04 +0000 | [diff] [blame] | 42 | #else |
| 43 | #include <crt_externs.h> // _NSGetEnviron |
Nick Lewycky | 554a398 | 2010-04-18 07:07:48 +0000 | [diff] [blame] | 44 | #endif |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 45 | #endif |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 46 | |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 47 | namespace llvm { |
| 48 | using namespace sys; |
| 49 | |
| 50 | // This function just uses the PATH environment variable to find the program. |
Rafael Espindola | 4c7ad8f | 2013-06-13 19:25:37 +0000 | [diff] [blame^] | 51 | std::string |
Rafael Espindola | cb2eca0 | 2013-06-12 20:58:35 +0000 | [diff] [blame] | 52 | sys::FindProgramByName(const std::string& progName) { |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 53 | |
| 54 | // Check some degenerate cases |
| 55 | if (progName.length() == 0) // no program |
Rafael Espindola | 4c7ad8f | 2013-06-13 19:25:37 +0000 | [diff] [blame^] | 56 | return ""; |
Reid Spencer | 0736943 | 2004-09-13 21:48:44 +0000 | [diff] [blame] | 57 | Path temp; |
Reid Spencer | c9c0473 | 2005-07-07 23:21:43 +0000 | [diff] [blame] | 58 | if (!temp.set(progName)) // invalid name |
Rafael Espindola | 4c7ad8f | 2013-06-13 19:25:37 +0000 | [diff] [blame^] | 59 | return ""; |
Benjamin Kramer | 6adb6e0 | 2009-07-28 22:08:15 +0000 | [diff] [blame] | 60 | // Use the given path verbatim if it contains any slashes; this matches |
| 61 | // the behavior of sh(1) and friends. |
Dan Gohman | 47215f4 | 2010-10-28 20:34:33 +0000 | [diff] [blame] | 62 | if (progName.find('/') != std::string::npos) |
Rafael Espindola | 4c7ad8f | 2013-06-13 19:25:37 +0000 | [diff] [blame^] | 63 | return temp.str(); |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 64 | |
Mikhail Glushenkov | a581d8a | 2010-11-02 20:32:39 +0000 | [diff] [blame] | 65 | // At this point, the file name is valid and does not contain slashes. Search |
| 66 | // for it through the directories specified in the PATH environment variable. |
Mikhail Glushenkov | 28309ac | 2009-07-17 20:38:17 +0000 | [diff] [blame] | 67 | |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 68 | // Get the path. If its empty, we can't do anything to find it. |
| 69 | const char *PathStr = getenv("PATH"); |
Mikhail Glushenkov | 28309ac | 2009-07-17 20:38:17 +0000 | [diff] [blame] | 70 | if (PathStr == 0) |
Rafael Espindola | 4c7ad8f | 2013-06-13 19:25:37 +0000 | [diff] [blame^] | 71 | return ""; |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 72 | |
| 73 | // Now we have a colon separated list of directories to search; try them. |
Evan Cheng | 86cb318 | 2008-05-05 18:30:58 +0000 | [diff] [blame] | 74 | size_t PathLen = strlen(PathStr); |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 75 | while (PathLen) { |
| 76 | // Find the first colon... |
| 77 | const char *Colon = std::find(PathStr, PathStr+PathLen, ':'); |
| 78 | |
| 79 | // Check to see if this first directory contains the executable... |
Reid Spencer | 0736943 | 2004-09-13 21:48:44 +0000 | [diff] [blame] | 80 | Path FilePath; |
Reid Spencer | c9c0473 | 2005-07-07 23:21:43 +0000 | [diff] [blame] | 81 | if (FilePath.set(std::string(PathStr,Colon))) { |
| 82 | FilePath.appendComponent(progName); |
Reid Spencer | 5b891e9 | 2005-07-07 18:21:42 +0000 | [diff] [blame] | 83 | if (FilePath.canExecute()) |
Rafael Espindola | 4c7ad8f | 2013-06-13 19:25:37 +0000 | [diff] [blame^] | 84 | return FilePath.str(); // Found the executable! |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | // Nope it wasn't in this directory, check the next path in the list! |
| 88 | PathLen -= Colon-PathStr; |
| 89 | PathStr = Colon; |
| 90 | |
| 91 | // Advance past duplicate colons |
| 92 | while (*PathStr == ':') { |
| 93 | PathStr++; |
| 94 | PathLen--; |
| 95 | } |
| 96 | } |
Rafael Espindola | 4c7ad8f | 2013-06-13 19:25:37 +0000 | [diff] [blame^] | 97 | return ""; |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 98 | } |
| 99 | |
Matthijs Kooijman | 616e484 | 2008-06-12 10:47:18 +0000 | [diff] [blame] | 100 | static bool RedirectIO(const Path *Path, int FD, std::string* ErrMsg) { |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 101 | if (Path == 0) // Noop |
Matthijs Kooijman | 616e484 | 2008-06-12 10:47:18 +0000 | [diff] [blame] | 102 | return false; |
Chris Lattner | d3db453 | 2010-04-18 17:34:10 +0000 | [diff] [blame] | 103 | const char *File; |
Matthijs Kooijman | 616e484 | 2008-06-12 10:47:18 +0000 | [diff] [blame] | 104 | if (Path->isEmpty()) |
| 105 | // Redirect empty paths to /dev/null |
| 106 | File = "/dev/null"; |
| 107 | else |
Chris Lattner | d3db453 | 2010-04-18 17:34:10 +0000 | [diff] [blame] | 108 | File = Path->c_str(); |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 109 | |
| 110 | // Open the file |
Chris Lattner | d3db453 | 2010-04-18 17:34:10 +0000 | [diff] [blame] | 111 | int InFD = open(File, FD == 0 ? O_RDONLY : O_WRONLY|O_CREAT, 0666); |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 112 | if (InFD == -1) { |
Chris Lattner | d3db453 | 2010-04-18 17:34:10 +0000 | [diff] [blame] | 113 | MakeErrMsg(ErrMsg, "Cannot open file '" + std::string(File) + "' for " |
Daniel Dunbar | 3222b9b | 2009-04-20 20:50:13 +0000 | [diff] [blame] | 114 | + (FD == 0 ? "input" : "output")); |
Reid Spencer | 42bcf6e | 2006-08-21 06:02:44 +0000 | [diff] [blame] | 115 | return true; |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 116 | } |
| 117 | |
Reid Spencer | 42bcf6e | 2006-08-21 06:02:44 +0000 | [diff] [blame] | 118 | // Install it as the requested FD |
Chris Lattner | 65a437f | 2010-03-14 23:16:45 +0000 | [diff] [blame] | 119 | if (dup2(InFD, FD) == -1) { |
Reid Spencer | 42bcf6e | 2006-08-21 06:02:44 +0000 | [diff] [blame] | 120 | MakeErrMsg(ErrMsg, "Cannot dup2"); |
Chris Lattner | 65a437f | 2010-03-14 23:16:45 +0000 | [diff] [blame] | 121 | close(InFD); |
Reid Spencer | 42bcf6e | 2006-08-21 06:02:44 +0000 | [diff] [blame] | 122 | return true; |
| 123 | } |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 124 | close(InFD); // Close the original FD |
Reid Spencer | 42bcf6e | 2006-08-21 06:02:44 +0000 | [diff] [blame] | 125 | return false; |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 126 | } |
| 127 | |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 128 | #ifdef HAVE_POSIX_SPAWN |
| 129 | static bool RedirectIO_PS(const Path *Path, int FD, std::string *ErrMsg, |
Benjamin Kramer | dce83c5 | 2011-03-20 15:52:24 +0000 | [diff] [blame] | 130 | posix_spawn_file_actions_t *FileActions) { |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 131 | if (Path == 0) // Noop |
| 132 | return false; |
Benjamin Kramer | 5b4be74 | 2010-04-18 09:19:41 +0000 | [diff] [blame] | 133 | const char *File; |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 134 | if (Path->isEmpty()) |
| 135 | // Redirect empty paths to /dev/null |
| 136 | File = "/dev/null"; |
| 137 | else |
Benjamin Kramer | 5b4be74 | 2010-04-18 09:19:41 +0000 | [diff] [blame] | 138 | File = Path->c_str(); |
| 139 | |
Benjamin Kramer | dce83c5 | 2011-03-20 15:52:24 +0000 | [diff] [blame] | 140 | if (int Err = posix_spawn_file_actions_addopen(FileActions, FD, |
Benjamin Kramer | 5b4be74 | 2010-04-18 09:19:41 +0000 | [diff] [blame] | 141 | File, FD == 0 ? O_RDONLY : O_WRONLY|O_CREAT, 0666)) |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 142 | return MakeErrMsg(ErrMsg, "Cannot dup2", Err); |
| 143 | return false; |
| 144 | } |
| 145 | #endif |
| 146 | |
Duncan Sands | fec62f0 | 2009-11-08 20:55:48 +0000 | [diff] [blame] | 147 | static void TimeOutHandler(int Sig) { |
| 148 | } |
| 149 | |
Anton Korobeynikov | d01defe | 2007-02-16 19:11:07 +0000 | [diff] [blame] | 150 | static void SetMemoryLimits (unsigned size) |
| 151 | { |
Chris Lattner | 62f50da | 2010-02-12 00:37:46 +0000 | [diff] [blame] | 152 | #if HAVE_SYS_RESOURCE_H && HAVE_GETRLIMIT && HAVE_SETRLIMIT |
Anton Korobeynikov | d01defe | 2007-02-16 19:11:07 +0000 | [diff] [blame] | 153 | struct rlimit r; |
| 154 | __typeof__ (r.rlim_cur) limit = (__typeof__ (r.rlim_cur)) (size) * 1048576; |
| 155 | |
| 156 | // Heap size |
| 157 | getrlimit (RLIMIT_DATA, &r); |
| 158 | r.rlim_cur = limit; |
| 159 | setrlimit (RLIMIT_DATA, &r); |
Gabor Greif | 0e21980 | 2007-07-06 10:31:27 +0000 | [diff] [blame] | 160 | #ifdef RLIMIT_RSS |
Anton Korobeynikov | d01defe | 2007-02-16 19:11:07 +0000 | [diff] [blame] | 161 | // Resident set size. |
| 162 | getrlimit (RLIMIT_RSS, &r); |
| 163 | r.rlim_cur = limit; |
| 164 | setrlimit (RLIMIT_RSS, &r); |
Reid Spencer | e2e9b37 | 2007-04-23 07:22:51 +0000 | [diff] [blame] | 165 | #endif |
Devang Patel | d609374a | 2007-06-04 15:28:57 +0000 | [diff] [blame] | 166 | #ifdef RLIMIT_AS // e.g. NetBSD doesn't have it. |
Evgeniy Stepanov | 1f5a714 | 2013-02-04 07:03:24 +0000 | [diff] [blame] | 167 | // Don't set virtual memory limit if built with any Sanitizer. They need 80Tb |
| 168 | // of virtual memory for shadow memory mapping. |
| 169 | #if !LLVM_MEMORY_SANITIZER_BUILD && !LLVM_ADDRESS_SANITIZER_BUILD |
Anton Korobeynikov | d01defe | 2007-02-16 19:11:07 +0000 | [diff] [blame] | 170 | // Virtual memory. |
| 171 | getrlimit (RLIMIT_AS, &r); |
| 172 | r.rlim_cur = limit; |
| 173 | setrlimit (RLIMIT_AS, &r); |
| 174 | #endif |
Devang Patel | d609374a | 2007-06-04 15:28:57 +0000 | [diff] [blame] | 175 | #endif |
Evgeniy Stepanov | 1f5a714 | 2013-02-04 07:03:24 +0000 | [diff] [blame] | 176 | #endif |
Anton Korobeynikov | d01defe | 2007-02-16 19:11:07 +0000 | [diff] [blame] | 177 | } |
| 178 | |
Rafael Espindola | cb2eca0 | 2013-06-12 20:58:35 +0000 | [diff] [blame] | 179 | } |
| 180 | |
Reid Kleckner | 6e6a0f5 | 2013-06-13 15:27:17 +0000 | [diff] [blame] | 181 | static bool Execute(void **Data, const Path &path, const char **args, |
Rafael Espindola | cb2eca0 | 2013-06-12 20:58:35 +0000 | [diff] [blame] | 182 | const char **envp, const Path **redirects, |
| 183 | unsigned memoryLimit, std::string *ErrMsg) { |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 184 | // If this OS has posix_spawn and there is no memory limit being implied, use |
| 185 | // posix_spawn. It is more efficient than fork/exec. |
| 186 | #ifdef HAVE_POSIX_SPAWN |
| 187 | if (memoryLimit == 0) { |
Benjamin Kramer | dce83c5 | 2011-03-20 15:52:24 +0000 | [diff] [blame] | 188 | posix_spawn_file_actions_t FileActionsStore; |
| 189 | posix_spawn_file_actions_t *FileActions = 0; |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 190 | |
| 191 | if (redirects) { |
Benjamin Kramer | dce83c5 | 2011-03-20 15:52:24 +0000 | [diff] [blame] | 192 | FileActions = &FileActionsStore; |
| 193 | posix_spawn_file_actions_init(FileActions); |
| 194 | |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 195 | // Redirect stdin/stdout. |
| 196 | if (RedirectIO_PS(redirects[0], 0, ErrMsg, FileActions) || |
| 197 | RedirectIO_PS(redirects[1], 1, ErrMsg, FileActions)) |
| 198 | return false; |
| 199 | if (redirects[1] == 0 || redirects[2] == 0 || |
| 200 | *redirects[1] != *redirects[2]) { |
| 201 | // Just redirect stderr |
| 202 | if (RedirectIO_PS(redirects[2], 2, ErrMsg, FileActions)) return false; |
Mikhail Glushenkov | 0e9d9b5 | 2010-10-28 19:32:53 +0000 | [diff] [blame] | 203 | } else { |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 204 | // If stdout and stderr should go to the same place, redirect stderr |
| 205 | // to the FD already open for stdout. |
Benjamin Kramer | dce83c5 | 2011-03-20 15:52:24 +0000 | [diff] [blame] | 206 | if (int Err = posix_spawn_file_actions_adddup2(FileActions, 1, 2)) |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 207 | return !MakeErrMsg(ErrMsg, "Can't redirect stderr to stdout", Err); |
| 208 | } |
| 209 | } |
| 210 | |
Benjamin Kramer | 1360e9e | 2010-04-18 09:16:04 +0000 | [diff] [blame] | 211 | if (!envp) |
Nick Lewycky | 554a398 | 2010-04-18 07:07:48 +0000 | [diff] [blame] | 212 | #if !defined(__APPLE__) |
Dan Gohman | f656397 | 2010-04-19 15:55:10 +0000 | [diff] [blame] | 213 | envp = const_cast<const char **>(environ); |
Benjamin Kramer | 1360e9e | 2010-04-18 09:16:04 +0000 | [diff] [blame] | 214 | #else |
Dan Gohman | f656397 | 2010-04-19 15:55:10 +0000 | [diff] [blame] | 215 | // environ is missing in dylibs. |
| 216 | envp = const_cast<const char **>(*_NSGetEnviron()); |
Nick Lewycky | 554a398 | 2010-04-18 07:07:48 +0000 | [diff] [blame] | 217 | #endif |
| 218 | |
Daniel Dunbar | 31158b5 | 2010-09-30 23:56:49 +0000 | [diff] [blame] | 219 | // Explicitly initialized to prevent what appears to be a valgrind false |
| 220 | // positive. |
| 221 | pid_t PID = 0; |
Benjamin Kramer | dce83c5 | 2011-03-20 15:52:24 +0000 | [diff] [blame] | 222 | int Err = posix_spawn(&PID, path.c_str(), FileActions, /*attrp*/0, |
Dan Gohman | f656397 | 2010-04-19 15:55:10 +0000 | [diff] [blame] | 223 | const_cast<char **>(args), const_cast<char **>(envp)); |
Mikhail Glushenkov | 0e9d9b5 | 2010-10-28 19:32:53 +0000 | [diff] [blame] | 224 | |
Benjamin Kramer | dce83c5 | 2011-03-20 15:52:24 +0000 | [diff] [blame] | 225 | if (FileActions) |
| 226 | posix_spawn_file_actions_destroy(FileActions); |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 227 | |
| 228 | if (Err) |
| 229 | return !MakeErrMsg(ErrMsg, "posix_spawn failed", Err); |
Mikhail Glushenkov | 0e9d9b5 | 2010-10-28 19:32:53 +0000 | [diff] [blame] | 230 | |
Reid Kleckner | 6e6a0f5 | 2013-06-13 15:27:17 +0000 | [diff] [blame] | 231 | if (Data) |
| 232 | *Data = reinterpret_cast<void*>(PID); |
Chris Lattner | a50738a | 2010-04-18 04:14:37 +0000 | [diff] [blame] | 233 | return true; |
| 234 | } |
| 235 | #endif |
Mikhail Glushenkov | 0e9d9b5 | 2010-10-28 19:32:53 +0000 | [diff] [blame] | 236 | |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 237 | // Create a child process. |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 238 | int child = fork(); |
| 239 | switch (child) { |
Chris Lattner | 0ab5e2c | 2011-04-15 05:18:47 +0000 | [diff] [blame] | 240 | // An error occurred: Return to the caller. |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 241 | case -1: |
Reid Spencer | 42bcf6e | 2006-08-21 06:02:44 +0000 | [diff] [blame] | 242 | MakeErrMsg(ErrMsg, "Couldn't fork"); |
Mikhail Glushenkov | 36cb832 | 2009-07-18 21:43:12 +0000 | [diff] [blame] | 243 | return false; |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 244 | |
| 245 | // Child process: Execute the program. |
Reid Spencer | cdefe0a | 2004-12-14 04:18:51 +0000 | [diff] [blame] | 246 | case 0: { |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 247 | // Redirect file descriptors... |
| 248 | if (redirects) { |
Matthijs Kooijman | 1cc695e | 2008-06-12 12:53:35 +0000 | [diff] [blame] | 249 | // Redirect stdin |
Mikhail Glushenkov | 36cb832 | 2009-07-18 21:43:12 +0000 | [diff] [blame] | 250 | if (RedirectIO(redirects[0], 0, ErrMsg)) { return false; } |
Matthijs Kooijman | 1cc695e | 2008-06-12 12:53:35 +0000 | [diff] [blame] | 251 | // Redirect stdout |
Mikhail Glushenkov | 36cb832 | 2009-07-18 21:43:12 +0000 | [diff] [blame] | 252 | if (RedirectIO(redirects[1], 1, ErrMsg)) { return false; } |
Mikhail Glushenkov | 28309ac | 2009-07-17 20:38:17 +0000 | [diff] [blame] | 253 | if (redirects[1] && redirects[2] && |
Matthijs Kooijman | 1cc695e | 2008-06-12 12:53:35 +0000 | [diff] [blame] | 254 | *(redirects[1]) == *(redirects[2])) { |
| 255 | // If stdout and stderr should go to the same place, redirect stderr |
| 256 | // to the FD already open for stdout. |
| 257 | if (-1 == dup2(1,2)) { |
| 258 | MakeErrMsg(ErrMsg, "Can't redirect stderr to stdout"); |
Mikhail Glushenkov | 36cb832 | 2009-07-18 21:43:12 +0000 | [diff] [blame] | 259 | return false; |
Matthijs Kooijman | 1cc695e | 2008-06-12 12:53:35 +0000 | [diff] [blame] | 260 | } |
| 261 | } else { |
| 262 | // Just redirect stderr |
Mikhail Glushenkov | 36cb832 | 2009-07-18 21:43:12 +0000 | [diff] [blame] | 263 | if (RedirectIO(redirects[2], 2, ErrMsg)) { return false; } |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 264 | } |
| 265 | } |
| 266 | |
Anton Korobeynikov | d01defe | 2007-02-16 19:11:07 +0000 | [diff] [blame] | 267 | // Set memory limits |
| 268 | if (memoryLimit!=0) { |
| 269 | SetMemoryLimits(memoryLimit); |
| 270 | } |
Mikhail Glushenkov | 28309ac | 2009-07-17 20:38:17 +0000 | [diff] [blame] | 271 | |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 272 | // Execute! |
Evan Cheng | 09cf829 | 2006-06-09 20:43:11 +0000 | [diff] [blame] | 273 | if (envp != 0) |
Dan Gohman | f656397 | 2010-04-19 15:55:10 +0000 | [diff] [blame] | 274 | execve(path.c_str(), |
| 275 | const_cast<char **>(args), |
| 276 | const_cast<char **>(envp)); |
Evan Cheng | 09cf829 | 2006-06-09 20:43:11 +0000 | [diff] [blame] | 277 | else |
Dan Gohman | f656397 | 2010-04-19 15:55:10 +0000 | [diff] [blame] | 278 | execv(path.c_str(), |
| 279 | const_cast<char **>(args)); |
Dan Gohman | 23a419f | 2009-08-05 00:09:12 +0000 | [diff] [blame] | 280 | // If the execve() failed, we should exit. Follow Unix protocol and |
| 281 | // return 127 if the executable was not found, and 126 otherwise. |
| 282 | // Use _exit rather than exit so that atexit functions and static |
| 283 | // object destructors cloned from the parent process aren't |
| 284 | // redundantly run, and so that any data buffered in stdio buffers |
| 285 | // cloned from the parent aren't redundantly written out. |
| 286 | _exit(errno == ENOENT ? 127 : 126); |
Reid Spencer | cdefe0a | 2004-12-14 04:18:51 +0000 | [diff] [blame] | 287 | } |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 288 | |
| 289 | // Parent process: Break out of the switch to do our processing. |
| 290 | default: |
| 291 | break; |
| 292 | } |
| 293 | |
Reid Kleckner | 6e6a0f5 | 2013-06-13 15:27:17 +0000 | [diff] [blame] | 294 | if (Data) |
| 295 | *Data = reinterpret_cast<void*>(child); |
Mikhail Glushenkov | 36cb832 | 2009-07-18 21:43:12 +0000 | [diff] [blame] | 296 | |
| 297 | return true; |
| 298 | } |
| 299 | |
Rafael Espindola | cb2eca0 | 2013-06-12 20:58:35 +0000 | [diff] [blame] | 300 | static int Wait(void *&Data, const sys::Path &path, unsigned secondsToWait, |
| 301 | std::string *ErrMsg) { |
Mikhail Glushenkov | 36cb832 | 2009-07-18 21:43:12 +0000 | [diff] [blame] | 302 | #ifdef HAVE_SYS_WAIT_H |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 303 | struct sigaction Act, Old; |
Reid Kleckner | 6e6a0f5 | 2013-06-13 15:27:17 +0000 | [diff] [blame] | 304 | assert(Data && "invalid pid to wait on, process not started?"); |
Mikhail Glushenkov | 36cb832 | 2009-07-18 21:43:12 +0000 | [diff] [blame] | 305 | |
Duncan Sands | fec62f0 | 2009-11-08 20:55:48 +0000 | [diff] [blame] | 306 | // Install a timeout handler. The handler itself does nothing, but the simple |
| 307 | // fact of having a handler at all causes the wait below to return with EINTR, |
| 308 | // unlike if we used SIG_IGN. |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 309 | if (secondsToWait) { |
Duncan Sands | 7a68cd0 | 2010-07-14 14:32:33 +0000 | [diff] [blame] | 310 | memset(&Act, 0, sizeof(Act)); |
Duncan Sands | fec62f0 | 2009-11-08 20:55:48 +0000 | [diff] [blame] | 311 | Act.sa_handler = TimeOutHandler; |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 312 | sigemptyset(&Act.sa_mask); |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 313 | sigaction(SIGALRM, &Act, &Old); |
| 314 | alarm(secondsToWait); |
| 315 | } |
| 316 | |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 317 | // Parent process: Wait for the child process to terminate. |
| 318 | int status; |
Rafael Espindola | cb2eca0 | 2013-06-12 20:58:35 +0000 | [diff] [blame] | 319 | uint64_t pid = reinterpret_cast<uint64_t>(Data); |
Daniel Dunbar | 7b446a0 | 2009-09-22 04:44:56 +0000 | [diff] [blame] | 320 | pid_t child = static_cast<pid_t>(pid); |
Ted Kremenek | b5cd623 | 2009-10-22 22:16:17 +0000 | [diff] [blame] | 321 | while (waitpid(pid, &status, 0) != child) |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 322 | if (secondsToWait && errno == EINTR) { |
| 323 | // Kill the child. |
| 324 | kill(child, SIGKILL); |
Mikhail Glushenkov | 28309ac | 2009-07-17 20:38:17 +0000 | [diff] [blame] | 325 | |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 326 | // Turn off the alarm and restore the signal handler |
| 327 | alarm(0); |
| 328 | sigaction(SIGALRM, &Old, 0); |
| 329 | |
| 330 | // Wait for child to die |
| 331 | if (wait(&status) != child) |
Reid Spencer | 42bcf6e | 2006-08-21 06:02:44 +0000 | [diff] [blame] | 332 | MakeErrMsg(ErrMsg, "Child timed out but wouldn't die"); |
Devang Patel | 3d4f1b3 | 2008-02-04 20:57:54 +0000 | [diff] [blame] | 333 | else |
| 334 | MakeErrMsg(ErrMsg, "Child timed out", 0); |
| 335 | |
Andrew Trick | d5d0764 | 2011-05-21 00:56:46 +0000 | [diff] [blame] | 336 | return -2; // Timeout detected |
Devang Patel | 3d4f1b3 | 2008-02-04 20:57:54 +0000 | [diff] [blame] | 337 | } else if (errno != EINTR) { |
Reid Spencer | 42bcf6e | 2006-08-21 06:02:44 +0000 | [diff] [blame] | 338 | MakeErrMsg(ErrMsg, "Error waiting for child process"); |
| 339 | return -1; |
Reid Spencer | 6cb551b | 2004-12-19 18:00:44 +0000 | [diff] [blame] | 340 | } |
| 341 | |
| 342 | // We exited normally without timeout, so turn off the timer. |
| 343 | if (secondsToWait) { |
| 344 | alarm(0); |
| 345 | sigaction(SIGALRM, &Old, 0); |
| 346 | } |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 347 | |
Dan Gohman | cae3c53 | 2010-10-29 16:39:01 +0000 | [diff] [blame] | 348 | // Return the proper exit status. Detect error conditions |
| 349 | // so we can return -1 for them and set ErrMsg informatively. |
Reid Spencer | ccd5b90 | 2005-12-22 20:00:16 +0000 | [diff] [blame] | 350 | int result = 0; |
Dan Gohman | cae3c53 | 2010-10-29 16:39:01 +0000 | [diff] [blame] | 351 | if (WIFEXITED(status)) { |
Reid Spencer | ccd5b90 | 2005-12-22 20:00:16 +0000 | [diff] [blame] | 352 | result = WEXITSTATUS(status); |
Dan Gohman | fc81579 | 2010-10-29 16:54:25 +0000 | [diff] [blame] | 353 | #ifdef HAVE_POSIX_SPAWN |
| 354 | // The posix_spawn child process returns 127 on any kind of error. |
| 355 | // Following the POSIX convention for command-line tools (which posix_spawn |
| 356 | // itself apparently does not), check to see if the failure was due to some |
| 357 | // reason other than the file not existing, and return 126 in this case. |
Michael J. Spencer | 58df2e0 | 2011-01-10 02:34:23 +0000 | [diff] [blame] | 358 | bool Exists; |
| 359 | if (result == 127 && !llvm::sys::fs::exists(path.str(), Exists) && Exists) |
Dan Gohman | fc81579 | 2010-10-29 16:54:25 +0000 | [diff] [blame] | 360 | result = 126; |
| 361 | #endif |
Dan Gohman | cae3c53 | 2010-10-29 16:39:01 +0000 | [diff] [blame] | 362 | if (result == 127) { |
Dan Gohman | 5bc07d2 | 2010-10-29 17:20:42 +0000 | [diff] [blame] | 363 | if (ErrMsg) |
| 364 | *ErrMsg = llvm::sys::StrError(ENOENT); |
Dan Gohman | cae3c53 | 2010-10-29 16:39:01 +0000 | [diff] [blame] | 365 | return -1; |
| 366 | } |
| 367 | if (result == 126) { |
Dan Gohman | 5bc07d2 | 2010-10-29 17:20:42 +0000 | [diff] [blame] | 368 | if (ErrMsg) |
| 369 | *ErrMsg = "Program could not be executed"; |
Dan Gohman | cae3c53 | 2010-10-29 16:39:01 +0000 | [diff] [blame] | 370 | return -1; |
| 371 | } |
| 372 | } else if (WIFSIGNALED(status)) { |
Dan Gohman | 5bc07d2 | 2010-10-29 17:20:42 +0000 | [diff] [blame] | 373 | if (ErrMsg) { |
Andrew Trick | d5d0764 | 2011-05-21 00:56:46 +0000 | [diff] [blame] | 374 | *ErrMsg = strsignal(WTERMSIG(status)); |
Reid Spencer | ccd5b90 | 2005-12-22 20:00:16 +0000 | [diff] [blame] | 375 | #ifdef WCOREDUMP |
Dan Gohman | 5bc07d2 | 2010-10-29 17:20:42 +0000 | [diff] [blame] | 376 | if (WCOREDUMP(status)) |
| 377 | *ErrMsg += " (core dumped)"; |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 378 | #endif |
Dan Gohman | 5bc07d2 | 2010-10-29 17:20:42 +0000 | [diff] [blame] | 379 | } |
Andrew Trick | d5d0764 | 2011-05-21 00:56:46 +0000 | [diff] [blame] | 380 | // Return a special value to indicate that the process received an unhandled |
| 381 | // signal during execution as opposed to failing to execute. |
| 382 | return -2; |
Dan Gohman | cae3c53 | 2010-10-29 16:39:01 +0000 | [diff] [blame] | 383 | } |
Reid Spencer | ccd5b90 | 2005-12-22 20:00:16 +0000 | [diff] [blame] | 384 | return result; |
| 385 | #else |
Dan Gohman | 5bc07d2 | 2010-10-29 17:20:42 +0000 | [diff] [blame] | 386 | if (ErrMsg) |
| 387 | *ErrMsg = "Program::Wait is not implemented on this platform yet!"; |
Dan Gohman | cae3c53 | 2010-10-29 16:39:01 +0000 | [diff] [blame] | 388 | return -1; |
Reid Spencer | ccd5b90 | 2005-12-22 20:00:16 +0000 | [diff] [blame] | 389 | #endif |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 390 | } |
| 391 | |
Rafael Espindola | cb2eca0 | 2013-06-12 20:58:35 +0000 | [diff] [blame] | 392 | namespace llvm { |
| 393 | |
| 394 | error_code sys::ChangeStdinToBinary(){ |
Reid Spencer | ab97f22 | 2006-06-07 23:18:34 +0000 | [diff] [blame] | 395 | // Do nothing, as Unix doesn't differentiate between text and binary. |
Michael J. Spencer | a2755f8 | 2011-12-13 23:16:49 +0000 | [diff] [blame] | 396 | return make_error_code(errc::success); |
Reid Spencer | ab97f22 | 2006-06-07 23:18:34 +0000 | [diff] [blame] | 397 | } |
| 398 | |
Rafael Espindola | cb2eca0 | 2013-06-12 20:58:35 +0000 | [diff] [blame] | 399 | error_code sys::ChangeStdoutToBinary(){ |
Reid Spencer | ab97f22 | 2006-06-07 23:18:34 +0000 | [diff] [blame] | 400 | // Do nothing, as Unix doesn't differentiate between text and binary. |
Michael J. Spencer | a2755f8 | 2011-12-13 23:16:49 +0000 | [diff] [blame] | 401 | return make_error_code(errc::success); |
Reid Spencer | ab97f22 | 2006-06-07 23:18:34 +0000 | [diff] [blame] | 402 | } |
| 403 | |
Rafael Espindola | cb2eca0 | 2013-06-12 20:58:35 +0000 | [diff] [blame] | 404 | error_code sys::ChangeStderrToBinary(){ |
Douglas Gregor | 1051937 | 2010-01-28 06:42:08 +0000 | [diff] [blame] | 405 | // Do nothing, as Unix doesn't differentiate between text and binary. |
Michael J. Spencer | a2755f8 | 2011-12-13 23:16:49 +0000 | [diff] [blame] | 406 | return make_error_code(errc::success); |
Douglas Gregor | 1051937 | 2010-01-28 06:42:08 +0000 | [diff] [blame] | 407 | } |
| 408 | |
Rafael Espindola | cd848c0 | 2013-04-11 14:06:34 +0000 | [diff] [blame] | 409 | bool llvm::sys::argumentsFitWithinSystemLimits(ArrayRef<const char*> Args) { |
| 410 | static long ArgMax = sysconf(_SC_ARG_MAX); |
| 411 | |
| 412 | // System says no practical limit. |
| 413 | if (ArgMax == -1) |
| 414 | return true; |
| 415 | |
| 416 | // Conservatively account for space required by environment variables. |
| 417 | ArgMax /= 2; |
| 418 | |
| 419 | size_t ArgLength = 0; |
| 420 | for (ArrayRef<const char*>::iterator I = Args.begin(), E = Args.end(); |
| 421 | I != E; ++I) { |
| 422 | ArgLength += strlen(*I) + 1; |
| 423 | if (ArgLength > size_t(ArgMax)) { |
| 424 | return false; |
| 425 | } |
| 426 | } |
| 427 | return true; |
| 428 | } |
| 429 | |
Reid Spencer | 76b83a1 | 2004-08-29 19:20:41 +0000 | [diff] [blame] | 430 | } |