2007-08-21 21:22:08 +02:00
|
|
|
#include "types.h"
|
|
|
|
#include "param.h"
|
|
|
|
#include "mmu.h"
|
|
|
|
#include "proc.h"
|
|
|
|
#include "defs.h"
|
|
|
|
#include "x86.h"
|
|
|
|
#include "elf.h"
|
|
|
|
|
|
|
|
int
|
|
|
|
exec(char *path, char **argv)
|
|
|
|
{
|
2007-08-27 17:17:40 +02:00
|
|
|
char *mem, *s, *last;
|
|
|
|
int i, argc, arglen, len, off;
|
|
|
|
uint sz, sp, argp;
|
2007-08-21 21:22:08 +02:00
|
|
|
struct elfhdr elf;
|
2007-08-27 17:17:40 +02:00
|
|
|
struct inode *ip;
|
2007-08-21 21:22:08 +02:00
|
|
|
struct proghdr ph;
|
|
|
|
|
2007-08-24 22:54:23 +02:00
|
|
|
if((ip = namei(path)) == 0)
|
2007-08-21 21:22:08 +02:00
|
|
|
return -1;
|
2007-08-24 22:54:23 +02:00
|
|
|
ilock(ip);
|
2007-08-21 21:22:08 +02:00
|
|
|
|
2007-08-27 17:17:40 +02:00
|
|
|
// Compute memory size of new process.
|
|
|
|
mem = 0;
|
|
|
|
sz = 0;
|
|
|
|
|
|
|
|
// Program segments.
|
2007-08-21 21:22:08 +02:00
|
|
|
if(readi(ip, (char*)&elf, 0, sizeof(elf)) < sizeof(elf))
|
|
|
|
goto bad;
|
|
|
|
if(elf.magic != ELF_MAGIC)
|
|
|
|
goto bad;
|
2007-08-22 08:01:32 +02:00
|
|
|
for(i=0, off=elf.phoff; i<elf.phnum; i++, off+=sizeof(ph)){
|
|
|
|
if(readi(ip, (char*)&ph, off, sizeof(ph)) != sizeof(ph))
|
2007-08-21 21:22:08 +02:00
|
|
|
goto bad;
|
|
|
|
if(ph.type != ELF_PROG_LOAD)
|
|
|
|
continue;
|
|
|
|
if(ph.memsz < ph.filesz)
|
|
|
|
goto bad;
|
|
|
|
sz += ph.memsz;
|
|
|
|
}
|
2007-08-27 17:17:40 +02:00
|
|
|
|
|
|
|
// Arguments.
|
|
|
|
arglen = 0;
|
|
|
|
for(argc=0; argv[argc]; argc++)
|
2007-08-30 20:19:52 +02:00
|
|
|
arglen += strlen(argv[argc]) + 1;
|
2007-08-27 17:17:40 +02:00
|
|
|
arglen = (arglen+3) & ~3;
|
|
|
|
sz += arglen + 4*(argc+1);
|
|
|
|
|
|
|
|
// Stack.
|
|
|
|
sz += PAGE;
|
|
|
|
|
|
|
|
// Allocate program memory.
|
|
|
|
sz = (sz+PAGE-1) & ~(PAGE-1);
|
2007-08-21 21:22:08 +02:00
|
|
|
mem = kalloc(sz);
|
|
|
|
if(mem == 0)
|
|
|
|
goto bad;
|
|
|
|
memset(mem, 0, sz);
|
|
|
|
|
2007-08-27 17:17:40 +02:00
|
|
|
// Load program into memory.
|
|
|
|
for(i=0, off=elf.phoff; i<elf.phnum; i++, off+=sizeof(ph)){
|
|
|
|
if(readi(ip, (char*)&ph, off, sizeof(ph)) != sizeof(ph))
|
|
|
|
goto bad;
|
|
|
|
if(ph.type != ELF_PROG_LOAD)
|
|
|
|
continue;
|
|
|
|
if(ph.va + ph.memsz > sz)
|
|
|
|
goto bad;
|
|
|
|
if(readi(ip, mem + ph.va, ph.offset, ph.filesz) != ph.filesz)
|
|
|
|
goto bad;
|
|
|
|
memset(mem + ph.va + ph.filesz, 0, ph.memsz - ph.filesz);
|
2007-08-21 21:22:08 +02:00
|
|
|
}
|
2007-08-27 17:17:40 +02:00
|
|
|
iunlockput(ip);
|
|
|
|
|
|
|
|
// Initialize stack.
|
|
|
|
sp = sz;
|
2007-08-28 04:39:40 +02:00
|
|
|
argp = sz - arglen - 4*(argc+1);
|
2007-08-27 17:17:40 +02:00
|
|
|
|
|
|
|
// Copy argv strings and pointers to stack.
|
|
|
|
*(uint*)(mem+argp + 4*argc) = 0; // argv[argc]
|
|
|
|
for(i=argc-1; i>=0; i--){
|
|
|
|
len = strlen(argv[i]) + 1;
|
|
|
|
sp -= len;
|
|
|
|
memmove(mem+sp, argv[i], len);
|
|
|
|
*(uint*)(mem+argp + 4*i) = sp; // argv[i]
|
2007-08-21 21:22:08 +02:00
|
|
|
}
|
|
|
|
|
2007-08-27 17:17:40 +02:00
|
|
|
// Stack frame for main(argc, argv), below arguments.
|
|
|
|
sp = argp;
|
|
|
|
sp -= 4;
|
|
|
|
*(uint*)(mem+sp) = argp;
|
|
|
|
sp -= 4;
|
|
|
|
*(uint*)(mem+sp) = argc;
|
|
|
|
sp -= 4;
|
|
|
|
*(uint*)(mem+sp) = 0xffffffff; // fake return pc
|
|
|
|
|
|
|
|
// Save program name for debugging.
|
2007-08-21 21:22:08 +02:00
|
|
|
for(last=s=path; *s; s++)
|
|
|
|
if(*s == '/')
|
|
|
|
last = s+1;
|
2007-08-22 08:01:32 +02:00
|
|
|
safestrcpy(cp->name, last, sizeof(cp->name));
|
2007-08-21 21:22:08 +02:00
|
|
|
|
2007-08-27 17:17:40 +02:00
|
|
|
// Commit to the new image.
|
2007-08-21 21:22:08 +02:00
|
|
|
kfree(cp->mem, cp->sz);
|
|
|
|
cp->mem = mem;
|
2007-08-27 17:17:40 +02:00
|
|
|
cp->sz = sz;
|
|
|
|
cp->tf->eip = elf.entry; // main
|
2007-08-21 21:22:08 +02:00
|
|
|
cp->tf->esp = sp;
|
2009-05-31 02:28:45 +02:00
|
|
|
usegment();
|
2007-08-21 21:22:08 +02:00
|
|
|
return 0;
|
|
|
|
|
|
|
|
bad:
|
|
|
|
if(mem)
|
|
|
|
kfree(mem, sz);
|
2007-08-24 22:54:23 +02:00
|
|
|
iunlockput(ip);
|
2007-08-21 21:22:08 +02:00
|
|
|
return -1;
|
|
|
|
}
|