One step closer to argv/envp/auxv on the stack
[akaros.git] / kern / src / elf.c
index d8fc0df..35ce191 100644 (file)
@@ -7,6 +7,7 @@
 #include <pmap.h>
 #include <smp.h>
 #include <arch/arch.h>
+#include <umem.h>
 
 #ifdef CONFIG_64BIT
 # define elf_field(obj, field) (elf64 ? (obj##64)->field : (obj##32)->field)
 # define elf_field(obj, field) ((obj##32)->field)
 #endif
 
+/* Check if the file is valid elf file (i.e. by checking for ELF_MAGIC in the
+ * header) */
+bool is_valid_elf(struct file *f)
+{
+       elf64_t h;
+       off64_t o = 0;
+       struct proc *c = switch_to(0);
+
+       if (f->f_op->read(f, (char*)&h, sizeof(elf64_t), &o) != sizeof(elf64_t)) {
+               goto fail;
+       }
+       if (h.e_magic != ELF_MAGIC) {
+               goto fail;
+       }
+success:
+       switch_back(0, c);
+       return TRUE;
+fail:
+       switch_back(0, c);
+       return FALSE;
+}
+
+static uintptr_t populate_stack(struct proc *p, int argc, char *argv[],
+                                                int envc, char *envp[],
+                                                int auxc, elf_aux_t auxv[])
+{
+       /* Map in pages for p's stack. */
+       int flags = MAP_FIXED | MAP_ANONYMOUS;
+       uintptr_t stacksz = USTACK_NUM_PAGES*PGSIZE;
+       if (do_mmap(p, USTACKTOP-stacksz, stacksz, PROT_READ | PROT_WRITE,
+                   flags, NULL, 0) == MAP_FAILED)
+               return 0;
+
+       /* Function to get the lengths of the argument and environment strings. */
+       int get_lens(int argc, char *argv[], int arg_lens[])
+       {
+               int total = 0;
+               for (int i = 0; i < argc; i++) {
+                       arg_lens[i] = strlen(argv[i]) + 1;
+                       total += arg_lens[i];
+               }
+               return total;
+       }
+
+       /* Function to help map the argument and environment strings, to their
+        * final location. */
+       int remap(int argc, char *argv[], char *new_argv[],
+              char new_argbuf[], int arg_lens[])
+       {
+               int offset = 0;
+               char *temp_argv[argc + 1];
+               for(int i = 0; i < argc; i++) {
+                       if (memcpy_to_user(p, new_argbuf + offset, argv[i], arg_lens[i]))
+                               return -1;
+                       temp_argv[i] = new_argbuf + offset;
+                       offset += arg_lens[i];
+               }
+               temp_argv[argc] = NULL;
+               if (memcpy_to_user(p, new_argv, temp_argv, sizeof(temp_argv)))
+                       return -1;
+               return offset;
+       }
+
+       /* Get the size of the env and arg strings. */ 
+       int bufsize = 0;
+       int arg_lens[argc];
+       int env_lens[envc];
+       bufsize += get_lens(argc, argv, arg_lens);
+       bufsize += get_lens(envc, envp, env_lens);
+
+       /* Set up pointers to all of the appropriate data regions we map to. */
+       char **new_argv = (char**)(((procinfo_t*)UINFO)->argp);
+       char **new_envp = new_argv + argc + 1;
+       elf_aux_t *new_auxv = (elf_aux_t*)(new_envp + envc + 1);
+       char *new_argbuf = ((procinfo_t*)UINFO)->argbuf;
+
+       /* Verify that all data associated with our argv, envp, and auxv arrays
+        * (and any corresponding strings they point to) will fit in the space
+        * alloted. */
+       int psize = argc+1 + envc+1 + sizeof(elf_aux_t)/sizeof(char**)*(auxc+1);
+       if (psize > PROCINFO_MAX_ARGP)
+               return 0;
+       if (bufsize > PROCINFO_ARGBUF_SIZE)
+               return 0;
+
+       /* Map all data for argv and envp into its final location. */
+       int offset = 0;
+       offset = remap(argc, argv, new_argv, new_argbuf, arg_lens);
+       if (offset == -1)
+               return 0;
+       offset = remap(envc, envp, new_envp, new_argbuf + offset, env_lens);
+       if (offset == -1)
+               return 0;
+
+       /* Map auxv into its final location. */
+       elf_aux_t null_aux = {0, 0};
+       if (memcpy_to_user(p, new_auxv, auxv, auxc * sizeof(elf_aux_t)))
+               return 0;
+       if (memcpy_to_user(p, new_auxv + auxc, &null_aux, sizeof(elf_aux_t)))
+               return 0;
+
+       return USTACKTOP;
+}
+
 /* We need the writable flag for ld.  Even though the elf header says it wants
  * RX (and not W) for its main program header, it will page fault (eip 56f0,
  * 46f0 after being relocated to 0x1000, va 0x20f4). */
@@ -30,8 +135,7 @@ static int load_one_elf(struct proc *p, struct file *f, uintptr_t pgoffset,
        
        /* When reading on behalf of the kernel, we need to make sure no proc is
         * "current".  This is a bit ghetto (TODO: KFOP) */
-       struct proc *cur_proc = current;
-       current = 0;
+       struct proc *old_proc = switch_to(0);
 
        /* Read in ELF header. */
        elf64_t elfhdr_storage;
@@ -59,7 +163,9 @@ static int load_one_elf(struct proc *p, struct file *f, uintptr_t pgoffset,
                goto fail;
        }
        #endif
-       #ifdef CONFIG_X86_64
+       /* Not sure what RISCV's 64 bit kernel can do here, so this check is x86
+        * only */
+       #ifdef CONFIG_X86
        if (elf32) {
                printk("[kernel] load_one_elf: 32 bit elf on 64 bit kernel\n");
                goto fail;
@@ -179,11 +285,23 @@ static int load_one_elf(struct proc *p, struct file *f, uintptr_t pgoffset,
                                                goto fail;
                                        }
 
-                                       /* Zero the end of it. */
-                                       pte_t *pte = pgdir_walk(p->env_pgdir, (void*)last_page, 0);
-                                       assert(pte);
-                                       void* last_page_kva = ppn2kva(PTE2PPN(*pte));
-                                       memset(last_page_kva + partial, 0, PGSIZE - partial);
+                                       /* Zero the end of it.  This is a huge pain in the ass.  The
+                                        * filesystems should zero out the last bits of a page if
+                                        * the file doesn't fill the last page.  But we're dealing
+                                        * with windows into otherwise complete files. */
+                                       pte_t pte = pgdir_walk(p->env_pgdir, (void*)last_page, 0);
+                                       /* if we were able to get a PTE, then there is a real page
+                                        * backing the VMR, and we need to zero the excess.  if
+                                        * there isn't, then the page fault code should handle it.
+                                        * since we set populate above, we should have a PTE, except
+                                        * in cases where the offset + len window exceeded the file
+                                        * size.  in this case, we let them mmap it, but didn't
+                                        * populate it.  there will be a PF right away if someone
+                                        * tries to use this.  check out do_mmap for more info. */
+                                       if (pte_walk_okay(pte)) {
+                                               void* last_page_kva = KADDR(pte_get_paddr(pte));
+                                               memset(last_page_kva + partial, 0, PGSIZE - partial);
+                                       }
 
                                        filesz = ROUNDUP(filesz, PGSIZE);
                                }
@@ -219,11 +337,12 @@ static int load_one_elf(struct proc *p, struct file *f, uintptr_t pgoffset,
 fail:
        if (phdrs)
                kfree(phdrs);
-       current = cur_proc;
+       switch_back(0, old_proc);
        return ret;
 }
 
-int load_elf(struct proc* p, struct file* f)
+int load_elf(struct proc* p, struct file* f,
+             int argc, char *argv[], int envc, char *envp[])
 {
        elf_info_t ei, interp_ei;
        if (load_one_elf(p, f, 0, &ei, FALSE))
@@ -233,43 +352,37 @@ int load_elf(struct proc* p, struct file* f)
                struct file *interp = do_file_open(ei.interp, 0, 0);
                if (!interp)
                        return -1;
-               /* Load dynamic linker one page into the address space */
-               int error = load_one_elf(p, interp, 1, &interp_ei, TRUE);
+               /* Load dynamic linker at 1M. Obvious MIB joke avoided.
+                * It used to be loaded at page 1, but the existence of valid addresses
+                * that low masked bad derefs through NULL pointer structs. This in turn
+                * helped us waste a full day debugging a bug in the Go runtime. True!
+                * Note that MMAP_LOWEST_VA also has this value but we want to make this
+                * explicit. */
+               int error = load_one_elf(p, interp, MiB>>12, &interp_ei, TRUE);
                kref_put(&interp->f_kref);
                if (error)
                        return -1;
        }
 
-       // fill in auxiliary info for dynamic linker/runtime
-       elf_aux_t auxp[] = {{ELF_AUX_PHDR, ei.phdr},
+       /* Set up the auxiliary info for dynamic linker/runtime */
+       elf_aux_t auxv[] = {{ELF_AUX_PHDR, ei.phdr},
                            {ELF_AUX_PHENT, sizeof(proghdr32_t)},
                            {ELF_AUX_PHNUM, ei.phnum},
-                           {ELF_AUX_ENTRY, ei.entry},
-                           {0, 0}};
-
-       // put auxp after argv, envp in procinfo
-       int auxp_pos = -1;
-       for (int i = 0, zeros = 0; i < PROCINFO_MAX_ARGP; i++)
-               if (p->procinfo->argp[i] == NULL)
-                       if (++zeros == 2)
-                               auxp_pos = i + 1;
-       if (auxp_pos == -1 ||
-           auxp_pos + sizeof(auxp) / sizeof(char*) >= PROCINFO_MAX_ARGP)
+                           {ELF_AUX_ENTRY, ei.entry}};
+       int auxc = sizeof(auxv)/sizeof(auxv[0]);
+
+       /* Populate the stack with the required info. */
+       uintptr_t stack_top = populate_stack(p, argc, argv, envc, envp, auxc, auxv);
+       if (!stack_top)
                return -1;
-       memcpy(p->procinfo->argp+auxp_pos,auxp,sizeof(auxp));
 
+       /* Initialize the process as an SCP. */
        uintptr_t core0_entry = ei.dynamic ? interp_ei.entry : ei.entry;
-       proc_init_ctx(&p->scp_ctx, 0, core0_entry, USTACKTOP, 0);
+       proc_init_ctx(&p->scp_ctx, 0, core0_entry, stack_top, 0);
        p->env_entry = ei.entry;
 
-       int flags = MAP_FIXED | MAP_ANONYMOUS;
-       uintptr_t stacksz = USTACK_NUM_PAGES*PGSIZE;
-       if (do_mmap(p, USTACKTOP-stacksz, stacksz, PROT_READ | PROT_WRITE,
-                   flags, NULL, 0) == MAP_FAILED)
-               return -1;
-
-       // Set the heap bottom and top to just past where the text 
-       // region has been loaded
+       /* Set the heap bottom and top to just past where the text region has been
+        * loaded. */
        p->heap_top = (void*)ei.highest_addr;
        p->procinfo->heap_bottom = p->heap_top;