Rev 3386 | Rev 4263 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3386 | Rev 4153 | ||
|---|---|---|---|
| Line 25... | Line 25... | ||
| 25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
| 26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 27 | */ |
27 | */ |
| 28 | 28 | ||
| 29 | /** @addtogroup loader |
29 | /** @addtogroup loader |
| 30 | * @brief Loads and runs programs from VFS. |
30 | * @brief Loads and runs programs from VFS. |
| 31 | * @{ |
31 | * @{ |
| 32 | */ |
32 | */ |
| 33 | /** |
33 | /** |
| 34 | * @file |
34 | * @file |
| 35 | * @brief Loads and runs programs from VFS. |
35 | * @brief Loads and runs programs from VFS. |
| 36 | * |
36 | * |
| 37 | * The program loader is a special init binary. Its image is used |
37 | * The program loader is a special init binary. Its image is used |
| 38 | * to create a new task upon a @c task_spawn syscall. The syscall |
38 | * to create a new task upon a @c task_spawn syscall. The syscall |
| 39 | * returns the id of a phone connected to the newly created task. |
39 | * returns the id of a phone connected to the newly created task. |
| 40 | * |
40 | * |
| Line 44... | Line 44... | ||
| 44 | */ |
44 | */ |
| 45 | 45 | ||
| 46 | #include <stdio.h> |
46 | #include <stdio.h> |
| 47 | #include <stdlib.h> |
47 | #include <stdlib.h> |
| 48 | #include <unistd.h> |
48 | #include <unistd.h> |
| - | 49 | #include <bool.h> |
|
| 49 | #include <fcntl.h> |
50 | #include <fcntl.h> |
| 50 | #include <sys/types.h> |
51 | #include <sys/types.h> |
| 51 | #include <ipc/ipc.h> |
52 | #include <ipc/ipc.h> |
| - | 53 | #include <ipc/services.h> |
|
| 52 | #include <ipc/loader.h> |
54 | #include <ipc/loader.h> |
| 53 | #include <loader/pcb.h> |
55 | #include <loader/pcb.h> |
| 54 | #include <errno.h> |
56 | #include <errno.h> |
| 55 | #include <async.h> |
57 | #include <async.h> |
| 56 | #include <as.h> |
58 | #include <as.h> |
| 57 | 59 | ||
| 58 | #include <elf.h> |
60 | #include <elf.h> |
| 59 | #include <elf_load.h> |
61 | #include <elf_load.h> |
| 60 | 62 | ||
| 61 | /** |
- | |
| 62 | * Bias used for loading the dynamic linker. This will be soon replaced |
- | |
| 63 | * by automatic placement. |
- | |
| 64 | */ |
- | |
| 65 | #define RTLD_BIAS 0x80000 |
63 | #define DPRINTF(...) |
| 66 | 64 | ||
| 67 | /** Pathname of the file that will be loaded */ |
65 | /** Pathname of the file that will be loaded */ |
| 68 | static char *pathname = NULL; |
66 | static char *pathname = NULL; |
| 69 | 67 | ||
| 70 | /** The Program control block */ |
68 | /** The Program control block */ |
| Line 75... | Line 73... | ||
| 75 | /** Argument vector */ |
73 | /** Argument vector */ |
| 76 | static char **argv = NULL; |
74 | static char **argv = NULL; |
| 77 | /** Buffer holding all arguments */ |
75 | /** Buffer holding all arguments */ |
| 78 | static char *arg_buf = NULL; |
76 | static char *arg_buf = NULL; |
| 79 | 77 | ||
| - | 78 | static elf_info_t prog_info; |
|
| - | 79 | static elf_info_t interp_info; |
|
| - | 80 | ||
| - | 81 | static bool is_dyn_linked; |
|
| - | 82 | ||
| - | 83 | /** Used to limit number of connections to one. */ |
|
| - | 84 | static bool connected; |
|
| - | 85 | ||
| - | 86 | static void loader_get_taskid(ipc_callid_t rid, ipc_call_t *request) |
|
| - | 87 | { |
|
| - | 88 | ipc_callid_t callid; |
|
| - | 89 | task_id_t task_id; |
|
| - | 90 | size_t len; |
|
| - | 91 | ||
| - | 92 | task_id = task_get_id(); |
|
| - | 93 | ||
| - | 94 | if (!ipc_data_read_receive(&callid, &len)) { |
|
| - | 95 | ipc_answer_0(callid, EINVAL); |
|
| - | 96 | ipc_answer_0(rid, EINVAL); |
|
| - | 97 | return; |
|
| - | 98 | } |
|
| - | 99 | ||
| - | 100 | if (len > sizeof(task_id)) |
|
| - | 101 | len = sizeof(task_id); |
|
| - | 102 | ||
| - | 103 | ipc_data_read_finalize(callid, &task_id, len); |
|
| - | 104 | ipc_answer_0(rid, EOK); |
|
| - | 105 | } |
|
| - | 106 | ||
| - | 107 | ||
| 80 | /** Receive a call setting pathname of the program to execute. |
108 | /** Receive a call setting pathname of the program to execute. |
| 81 | * |
109 | * |
| 82 | * @param rid |
110 | * @param rid |
| 83 | * @param request |
111 | * @param request |
| 84 | */ |
112 | */ |
| 85 | static void loader_set_pathname(ipc_callid_t rid, ipc_call_t *request) |
113 | static void loader_set_pathname(ipc_callid_t rid, ipc_call_t *request) |
| 86 | { |
114 | { |
| 87 | ipc_callid_t callid; |
115 | ipc_callid_t callid; |
| 88 | size_t len; |
116 | size_t len; |
| 89 | char *name_buf; |
117 | char *name_buf; |
| 90 | 118 | ||
| 91 | if (!ipc_data_write_receive(&callid, &len)) { |
119 | if (!ipc_data_write_receive(&callid, &len)) { |
| 92 | ipc_answer_0(callid, EINVAL); |
120 | ipc_answer_0(callid, EINVAL); |
| 93 | ipc_answer_0(rid, EINVAL); |
121 | ipc_answer_0(rid, EINVAL); |
| 94 | return; |
122 | return; |
| 95 | } |
123 | } |
| 96 | 124 | ||
| 97 | name_buf = malloc(len + 1); |
125 | name_buf = malloc(len + 1); |
| 98 | if (!name_buf) { |
126 | if (!name_buf) { |
| 99 | ipc_answer_0(callid, ENOMEM); |
127 | ipc_answer_0(callid, ENOMEM); |
| 100 | ipc_answer_0(rid, ENOMEM); |
128 | ipc_answer_0(rid, ENOMEM); |
| 101 | return; |
129 | return; |
| 102 | } |
130 | } |
| 103 | 131 | ||
| 104 | ipc_data_write_finalize(callid, name_buf, len); |
132 | ipc_data_write_finalize(callid, name_buf, len); |
| 105 | ipc_answer_0(rid, EOK); |
133 | ipc_answer_0(rid, EOK); |
| 106 | 134 | ||
| 107 | if (pathname != NULL) { |
135 | if (pathname != NULL) { |
| 108 | free(pathname); |
136 | free(pathname); |
| 109 | pathname = NULL; |
137 | pathname = NULL; |
| 110 | } |
138 | } |
| 111 | 139 | ||
| 112 | name_buf[len] = '\0'; |
140 | name_buf[len] = '\0'; |
| 113 | pathname = name_buf; |
141 | pathname = name_buf; |
| 114 | } |
142 | } |
| 115 | 143 | ||
| 116 | /** Receive a call setting arguments of the program to execute. |
144 | /** Receive a call setting arguments of the program to execute. |
| Line 122... | Line 150... | ||
| 122 | { |
150 | { |
| 123 | ipc_callid_t callid; |
151 | ipc_callid_t callid; |
| 124 | size_t buf_len, arg_len; |
152 | size_t buf_len, arg_len; |
| 125 | char *p; |
153 | char *p; |
| 126 | int n; |
154 | int n; |
| 127 | 155 | ||
| 128 | if (!ipc_data_write_receive(&callid, &buf_len)) { |
156 | if (!ipc_data_write_receive(&callid, &buf_len)) { |
| 129 | ipc_answer_0(callid, EINVAL); |
157 | ipc_answer_0(callid, EINVAL); |
| 130 | ipc_answer_0(rid, EINVAL); |
158 | ipc_answer_0(rid, EINVAL); |
| 131 | return; |
159 | return; |
| 132 | } |
160 | } |
| 133 | 161 | ||
| 134 | if (arg_buf != NULL) { |
162 | if (arg_buf != NULL) { |
| 135 | free(arg_buf); |
163 | free(arg_buf); |
| 136 | arg_buf = NULL; |
164 | arg_buf = NULL; |
| 137 | } |
165 | } |
| 138 | 166 | ||
| 139 | if (argv != NULL) { |
167 | if (argv != NULL) { |
| 140 | free(argv); |
168 | free(argv); |
| 141 | argv = NULL; |
169 | argv = NULL; |
| 142 | } |
170 | } |
| 143 | 171 | ||
| 144 | arg_buf = malloc(buf_len + 1); |
172 | arg_buf = malloc(buf_len + 1); |
| 145 | if (!arg_buf) { |
173 | if (!arg_buf) { |
| 146 | ipc_answer_0(callid, ENOMEM); |
174 | ipc_answer_0(callid, ENOMEM); |
| 147 | ipc_answer_0(rid, ENOMEM); |
175 | ipc_answer_0(rid, ENOMEM); |
| 148 | return; |
176 | return; |
| 149 | } |
177 | } |
| 150 | 178 | ||
| 151 | ipc_data_write_finalize(callid, arg_buf, buf_len); |
179 | ipc_data_write_finalize(callid, arg_buf, buf_len); |
| 152 | ipc_answer_0(rid, EOK); |
180 | ipc_answer_0(rid, EOK); |
| 153 | 181 | ||
| 154 | arg_buf[buf_len] = '\0'; |
182 | arg_buf[buf_len] = '\0'; |
| 155 | 183 | ||
| 156 | /* |
184 | /* |
| 157 | * Count number of arguments |
185 | * Count number of arguments |
| 158 | */ |
186 | */ |
| 159 | p = arg_buf; |
187 | p = arg_buf; |
| 160 | n = 0; |
188 | n = 0; |
| 161 | while (p < arg_buf + buf_len) { |
189 | while (p < arg_buf + buf_len) { |
| 162 | arg_len = strlen(p); |
190 | arg_len = strlen(p); |
| 163 | p = p + arg_len + 1; |
191 | p = p + arg_len + 1; |
| 164 | ++n; |
192 | ++n; |
| 165 | } |
193 | } |
| 166 | 194 | ||
| 167 | /* Allocate argv */ |
195 | /* Allocate argv */ |
| 168 | argv = malloc((n + 1) * sizeof(char *)); |
196 | argv = malloc((n + 1) * sizeof(char *)); |
| 169 | 197 | ||
| 170 | if (argv == NULL) { |
198 | if (argv == NULL) { |
| 171 | free(arg_buf); |
199 | free(arg_buf); |
| 172 | ipc_answer_0(callid, ENOMEM); |
200 | ipc_answer_0(callid, ENOMEM); |
| 173 | ipc_answer_0(rid, ENOMEM); |
201 | ipc_answer_0(rid, ENOMEM); |
| 174 | return; |
202 | return; |
| 175 | } |
203 | } |
| 176 | 204 | ||
| 177 | /* |
205 | /* |
| 178 | * Fill argv with argument pointers |
206 | * Fill argv with argument pointers |
| 179 | */ |
207 | */ |
| 180 | p = arg_buf; |
208 | p = arg_buf; |
| 181 | n = 0; |
209 | n = 0; |
| 182 | while (p < arg_buf + buf_len) { |
210 | while (p < arg_buf + buf_len) { |
| 183 | argv[n] = p; |
211 | argv[n] = p; |
| 184 | 212 | ||
| 185 | arg_len = strlen(p); |
213 | arg_len = strlen(p); |
| 186 | p = p + arg_len + 1; |
214 | p = p + arg_len + 1; |
| 187 | ++n; |
215 | ++n; |
| 188 | } |
216 | } |
| 189 | 217 | ||
| 190 | argc = n; |
218 | argc = n; |
| 191 | argv[n] = NULL; |
219 | argv[n] = NULL; |
| 192 | } |
220 | } |
| 193 | 221 | ||
| 194 | - | ||
| 195 | /** Load and run the previously selected program. |
222 | /** Load the previously selected program. |
| 196 | * |
223 | * |
| 197 | * @param rid |
224 | * @param rid |
| 198 | * @param request |
225 | * @param request |
| 199 | * @return 0 on success, !0 on error. |
226 | * @return 0 on success, !0 on error. |
| 200 | */ |
227 | */ |
| 201 | static int loader_run(ipc_callid_t rid, ipc_call_t *request) |
228 | static int loader_load(ipc_callid_t rid, ipc_call_t *request) |
| 202 | { |
229 | { |
| 203 | int rc; |
230 | int rc; |
| 204 | - | ||
| 205 | elf_info_t prog_info; |
- | |
| 206 | elf_info_t interp_info; |
- | |
| 207 | 231 | ||
| 208 | // printf("Load program '%s'\n", pathname); |
- | |
| 209 | - | ||
| 210 | rc = elf_load_file(pathname, 0, &prog_info); |
232 | rc = elf_load_file(pathname, 0, &prog_info); |
| 211 | if (rc < 0) { |
233 | if (rc < 0) { |
| 212 | printf("failed to load program\n"); |
234 | DPRINTF("Failed to load executable '%s'.\n", pathname); |
| 213 | ipc_answer_0(rid, EINVAL); |
235 | ipc_answer_0(rid, EINVAL); |
| 214 | return 1; |
236 | return 1; |
| 215 | } |
237 | } |
| 216 | 238 | ||
| 217 | // printf("Create PCB\n"); |
- | |
| 218 | elf_create_pcb(&prog_info, &pcb); |
239 | elf_create_pcb(&prog_info, &pcb); |
| 219 | 240 | ||
| 220 | pcb.argc = argc; |
241 | pcb.argc = argc; |
| 221 | pcb.argv = argv; |
242 | pcb.argv = argv; |
| 222 | 243 | ||
| 223 | if (prog_info.interp == NULL) { |
244 | if (prog_info.interp == NULL) { |
| 224 | /* Statically linked program */ |
245 | /* Statically linked program */ |
| 225 | // printf("Run statically linked program\n"); |
246 | is_dyn_linked = false; |
| 226 | // printf("entry point: 0x%llx\n", prog_info.entry); |
- | |
| 227 | ipc_answer_0(rid, EOK); |
247 | ipc_answer_0(rid, EOK); |
| 228 | close_console(); |
- | |
| 229 | elf_run(&prog_info, &pcb); |
- | |
| 230 | return 0; |
248 | return 0; |
| 231 | } |
249 | } |
| 232 | 250 | ||
| 233 | printf("Load dynamic linker '%s'\n", prog_info.interp); |
- | |
| 234 | rc = elf_load_file("/rtld.so", RTLD_BIAS, &interp_info); |
251 | rc = elf_load_file(prog_info.interp, 0, &interp_info); |
| 235 | if (rc < 0) { |
252 | if (rc < 0) { |
| 236 | printf("failed to load dynamic linker\n"); |
253 | DPRINTF("Failed to load interpreter '%s.'\n", |
| - | 254 | prog_info.interp); |
|
| 237 | ipc_answer_0(rid, EINVAL); |
255 | ipc_answer_0(rid, EINVAL); |
| 238 | return 1; |
256 | return 1; |
| 239 | } |
257 | } |
| - | 258 | ||
| - | 259 | is_dyn_linked = true; |
|
| - | 260 | ipc_answer_0(rid, EOK); |
|
| - | 261 | ||
| - | 262 | return 0; |
|
| - | 263 | } |
|
| 240 | 264 | ||
| 241 | /* |
- | |
| 242 | * Provide dynamic linker with some useful data |
- | |
| 243 | */ |
- | |
| 244 | pcb.rtld_dynamic = interp_info.dynamic; |
- | |
| 245 | pcb.rtld_bias = RTLD_BIAS; |
- | |
| 246 | - | ||
| 247 | printf("run dynamic linker\n"); |
- | |
| 248 | printf("entry point: 0x%llx\n", interp_info.entry); |
- | |
| 249 | close_console(); |
- | |
| 250 | 265 | ||
| - | 266 | /** Run the previously loaded program. |
|
| - | 267 | * |
|
| - | 268 | * @param rid |
|
| - | 269 | * @param request |
|
| - | 270 | * @return 0 on success, !0 on error. |
|
| - | 271 | */ |
|
| - | 272 | static void loader_run(ipc_callid_t rid, ipc_call_t *request) |
|
| - | 273 | { |
|
| - | 274 | const char *cp; |
|
| - | 275 | ||
| - | 276 | /* Set the task name. */ |
|
| - | 277 | cp = strrchr(pathname, '/'); |
|
| - | 278 | cp = (cp == NULL) ? pathname : (cp + 1); |
|
| - | 279 | task_set_name(cp); |
|
| - | 280 | ||
| - | 281 | if (is_dyn_linked == true) { |
|
| - | 282 | /* Dynamically linked program */ |
|
| - | 283 | DPRINTF("Run ELF interpreter.\n"); |
|
| - | 284 | DPRINTF("Entry point: 0x%lx\n", interp_info.entry); |
|
| - | 285 | close_console(); |
|
| - | 286 | ||
| 251 | ipc_answer_0(rid, EOK); |
287 | ipc_answer_0(rid, EOK); |
| 252 | elf_run(&interp_info, &pcb); |
288 | elf_run(&interp_info, &pcb); |
| - | 289 | } else { |
|
| - | 290 | /* Statically linked program */ |
|
| - | 291 | close_console(); |
|
| - | 292 | ipc_answer_0(rid, EOK); |
|
| - | 293 | elf_run(&prog_info, &pcb); |
|
| - | 294 | } |
|
| 253 | 295 | ||
| 254 | /* Not reached */ |
296 | /* Not reached */ |
| 255 | return 0; |
- | |
| 256 | } |
297 | } |
| 257 | 298 | ||
| 258 | /** Handle loader connection. |
299 | /** Handle loader connection. |
| 259 | * |
300 | * |
| 260 | * Receive and carry out commands (of which the last one should be |
301 | * Receive and carry out commands (of which the last one should be |
| Line 263... | Line 304... | ||
| 263 | static void loader_connection(ipc_callid_t iid, ipc_call_t *icall) |
304 | static void loader_connection(ipc_callid_t iid, ipc_call_t *icall) |
| 264 | { |
305 | { |
| 265 | ipc_callid_t callid; |
306 | ipc_callid_t callid; |
| 266 | ipc_call_t call; |
307 | ipc_call_t call; |
| 267 | int retval; |
308 | int retval; |
| 268 | 309 | ||
| - | 310 | /* Already have a connection? */ |
|
| - | 311 | if (connected) { |
|
| - | 312 | ipc_answer_0(iid, ELIMIT); |
|
| - | 313 | return; |
|
| - | 314 | } |
|
| - | 315 | ||
| - | 316 | connected = true; |
|
| - | 317 | ||
| - | 318 | /* Accept the connection */ |
|
| - | 319 | ipc_answer_0(iid, EOK); |
|
| - | 320 | ||
| 269 | /* Ignore parameters, the connection is already open */ |
321 | /* Ignore parameters, the connection is already open */ |
| - | 322 | (void) iid; |
|
| 270 | (void)iid; (void)icall; |
323 | (void) icall; |
| 271 | 324 | ||
| 272 | while (1) { |
325 | while (1) { |
| 273 | callid = async_get_call(&call); |
326 | callid = async_get_call(&call); |
| 274 | // printf("received call from phone %d, method=%d\n", |
- | |
| 275 | // call.in_phone_hash, IPC_GET_METHOD(call)); |
- | |
| - | 327 | ||
| 276 | switch (IPC_GET_METHOD(call)) { |
328 | switch (IPC_GET_METHOD(call)) { |
| - | 329 | case IPC_M_PHONE_HUNGUP: |
|
| - | 330 | exit(0); |
|
| - | 331 | case LOADER_GET_TASKID: |
|
| - | 332 | loader_get_taskid(callid, &call); |
|
| - | 333 | continue; |
|
| 277 | case LOADER_SET_PATHNAME: |
334 | case LOADER_SET_PATHNAME: |
| 278 | loader_set_pathname(callid, &call); |
335 | loader_set_pathname(callid, &call); |
| 279 | continue; |
336 | continue; |
| 280 | case LOADER_SET_ARGS: |
337 | case LOADER_SET_ARGS: |
| 281 | loader_set_args(callid, &call); |
338 | loader_set_args(callid, &call); |
| - | 339 | continue; |
|
| - | 340 | case LOADER_LOAD: |
|
| - | 341 | loader_load(callid, &call); |
|
| - | 342 | continue; |
|
| 282 | case LOADER_RUN: |
343 | case LOADER_RUN: |
| 283 | loader_run(callid, &call); |
344 | loader_run(callid, &call); |
| 284 | exit(0); |
- | |
| 285 | continue; |
345 | /* Not reached */ |
| 286 | default: |
346 | default: |
| 287 | retval = ENOENT; |
347 | retval = ENOENT; |
| 288 | break; |
348 | break; |
| 289 | } |
349 | } |
| 290 | if ((callid & IPC_CALLID_NOTIFICATION) == 0 && |
350 | if ((callid & IPC_CALLID_NOTIFICATION) == 0 && |
| 291 | IPC_GET_METHOD(call) != IPC_M_PHONE_HUNGUP) { |
351 | IPC_GET_METHOD(call) != IPC_M_PHONE_HUNGUP) { |
| 292 | printf("responding EINVAL to method %d\n", |
352 | DPRINTF("Responding EINVAL to method %d.\n", |
| 293 | IPC_GET_METHOD(call)); |
353 | IPC_GET_METHOD(call)); |
| 294 | ipc_answer_0(callid, EINVAL); |
354 | ipc_answer_0(callid, EINVAL); |
| 295 | } |
355 | } |
| 296 | } |
356 | } |
| 297 | } |
357 | } |
| 298 | 358 | ||
| 299 | /** Program loader main function. |
359 | /** Program loader main function. |
| 300 | */ |
360 | */ |
| 301 | int main(int argc, char *argv[]) |
361 | int main(int argc, char *argv[]) |
| 302 | { |
362 | { |
| 303 | ipc_callid_t callid; |
- | |
| 304 | ipc_call_t call; |
- | |
| 305 | ipcarg_t phone_hash; |
363 | ipcarg_t phonead; |
| 306 | - | ||
| 307 | /* The first call only communicates the incoming phone hash */ |
- | |
| 308 | callid = ipc_wait_for_call(&call); |
- | |
| 309 | 364 | ||
| 310 | if (IPC_GET_METHOD(call) != LOADER_HELLO) { |
- | |
| 311 | if (IPC_GET_METHOD(call) != IPC_M_PHONE_HUNGUP) |
- | |
| 312 | ipc_answer_0(callid, EINVAL); |
- | |
| 313 | return 1; |
365 | connected = false; |
| 314 | } |
366 | |
| 315 | - | ||
| 316 | ipc_answer_0(callid, EOK); |
367 | /* Set a handler of incomming connections. */ |
| 317 | phone_hash = call.in_phone_hash; |
368 | async_set_client_connection(loader_connection); |
| 318 | 369 | ||
| 319 | /* |
- | |
| 320 | * Up until now async must not be used as it couldn't |
370 | /* Register at naming service. */ |
| 321 | * handle incoming requests. (Which means e.g. printf() |
371 | if (ipc_connect_to_me(PHONE_NS, SERVICE_LOAD, 0, 0, &phonead) != 0) |
| 322 | * cannot be used) |
372 | return -1; |
| 323 | */ |
373 | |
| 324 | async_new_connection(phone_hash, 0, NULL, loader_connection); |
- | |
| 325 | async_manager(); |
374 | async_manager(); |
| 326 | 375 | ||
| 327 | /* not reached */ |
376 | /* Never reached */ |
| 328 | return 0; |
377 | return 0; |
| 329 | } |
378 | } |
| 330 | 379 | ||
| 331 | /** @} |
380 | /** @} |
| 332 | */ |
381 | */ |