]> Zhao Yanbai Git Server - minix.git/commitdiff
VM and kernel support for ELF
authorArun Thomas <arun@minix3.org>
Sat, 26 Feb 2011 23:00:55 +0000 (23:00 +0000)
committerArun Thomas <arun@minix3.org>
Sat, 26 Feb 2011 23:00:55 +0000 (23:00 +0000)
16 files changed:
common/include/arch/i386/archtypes.h
common/include/minix/com.h
common/include/minix/syslib.h
kernel/arch/i386/arch_system.c
kernel/arch/i386/protect.c
kernel/proc.h
kernel/proto.h
kernel/system/do_getinfo.c
lib/libsys/sys_newmap.c
servers/pm/main.c
servers/rs/main.c
servers/vm/arch/i386/vm.c
servers/vm/exec.c
servers/vm/fork.c
servers/vm/main.c
servers/vm/proto.h

index 48626018ca9f31130d84c1fe63d9e01581ce8932..04a9bec34a37b853e66f4036182e42fe7f4c5776 100644 (file)
@@ -5,6 +5,7 @@
 #include <minix/sys_config.h>
 #include <machine/stackframe.h>
 #include <machine/fpu.h>
+#include <sys/cdefs.h>
 
 struct segdesc_s {             /* segment descriptor for protected mode */
   u16_t limit_low;
index ffe9bdaeb2b5bc553d5cf66cfdb0f08b8083a3bd..961d3c0ad227759e9bbce9502c86dbb889745747 100644 (file)
 #   define GET_WHOAMI    19    /* get own name, endpoint, and privileges */
 #   define GET_RANDOMNESS_BIN 20 /* get one randomness bin */
 #   define GET_IDLETSC   21    /* get cumulative idle time stamp counter */
+#if !defined(__ELF__)
 #   define GET_AOUTHEADER 22    /* get a.out headers from the boot image */
+#endif
 #   define GET_CPUINFO    23    /* get information about cpus */
 #define I_ENDPT        m7_i4   /* calling process (may only be SELF) */
 #define I_VAL_PTR      m7_p1   /* virtual address at caller */ 
index a25352b028c68d21c65ba83d4c5fb62b13e8d07a..606a42e09f53a5ac2260d4b51ddb79a2724ef916 100644 (file)
@@ -196,7 +196,9 @@ _PROTOTYPE(int sys_segctl, (int *index, u16_t *seg, vir_bytes *off,
 #define sys_getschedinfo(v1,v2)        sys_getinfo(GET_SCHEDINFO, v1,0, v2,0)
 #define sys_getpriv(dst, nr)   sys_getinfo(GET_PRIV, dst, 0,0, nr)
 #define sys_getidletsc(dst)    sys_getinfo(GET_IDLETSC, dst, 0,0,0)
+#if !defined(__ELF__)
 #define sys_getaoutheader(dst,nr) sys_getinfo(GET_AOUTHEADER, dst, 0,0,nr)
+#endif
 _PROTOTYPE(int sys_getinfo, (int request, void *val_ptr, int val_len,
                                 void *val_ptr2, int val_len2)          );
 _PROTOTYPE(int sys_whoami, (endpoint_t *ep, char *name, int namelen,
index 3200f5d1d4de4cede270a42278bef4fb8f97a2a6..9cd9a62660d2b10ad4a9f6fb9b2c797033dac503 100644 (file)
@@ -9,7 +9,9 @@
 #include <machine/bios.h>
 #include <minix/portio.h>
 #include <minix/cpufeature.h>
+#if !defined(__ELF__)
 #include <a.out.h>
+#endif
 #include <assert.h>
 #include <signal.h>
 #include <machine/vm.h>
@@ -194,6 +196,7 @@ PUBLIC __dead void arch_shutdown(int how)
        NOT_REACHABLE;
 }
 
+#if !defined(__ELF__)
 /* address of a.out headers, set in mpx386.s */
 phys_bytes aout;
 
@@ -204,6 +207,7 @@ PUBLIC void arch_get_aout_headers(const int i, struct exec *h)
         */
        phys_copy(aout + i * A_MINHDR, vir2phys(h), (phys_bytes) A_MINHDR);
 }
+#endif
 
 PUBLIC void fpu_init(void)
 {
index 1dd4018b51e19c3e25d8694ca063cd64947eec10..d7c4abbdc8d4727fd201abfadbae9a88bb496766 100644 (file)
@@ -29,11 +29,11 @@ PUBLIC struct segdesc_s gdt[GDT_SIZE]=              /* used in klib.s and mpx.s */
 {      {0},
        {0,0,0,0},                              /* GDT descriptor */
        {0,0,0,0},                              /* IDT descriptor */
-       {0xffff,0,0,0x92,0x4f,0},       /* kernel DS */
-       {0xffff,0,0,0x92,0xcf,0},       /* kernel ES (386: flag 4 Gb at startup) */
-       {0xffff,0,0,0x92,0x4f,0},       /* kernel SS (386: monitor SS at startup) */
-       {0xffff,0,0,0x9a,0x4f,0},       /* kernel CS */
-       {0xffff,0,0,0x9a,0x0f,0},       /* temp for BIOS (386: monitor CS at startup) */
+       {0xffff,0,0,0x93,0xcf,0},       /* kernel DS */
+       {0xffff,0,0,0x93,0xcf,0},       /* kernel ES (386: flag 4 Gb at startup) */
+       {0xffff,0,0,0x93,0xcf,0},       /* kernel SS (386: monitor SS at startup) */
+       {0xffff,0,0,0x9b,0xcf,0},       /* kernel CS */
+       {0xffff,0,0,0x9b,0xcf,0},       /* temp for BIOS (386: monitor CS at startup) */
 };
 PRIVATE struct gatedesc_s idt[IDT_SIZE];       /* zero-init so none present */
 PUBLIC struct tss_s tss[CONFIG_MAX_CPUS];                      /* zero init */
@@ -297,6 +297,8 @@ PUBLIC void alloc_segments(register struct proc *rp)
  */
   phys_bytes code_bytes;
   phys_bytes data_bytes;
+  phys_bytes text_vaddr, data_vaddr;
+  phys_bytes text_segbase, data_segbase;
   int privilege;
 
       data_bytes = (phys_bytes) (rp->p_memmap[S].mem_vir + 
@@ -306,12 +308,20 @@ PUBLIC void alloc_segments(register struct proc *rp)
       else
           code_bytes = (phys_bytes) rp->p_memmap[T].mem_len << CLICK_SHIFT;
       privilege = USER_PRIVILEGE;
+
+      text_vaddr = rp->p_memmap[T].mem_vir << CLICK_SHIFT;
+      data_vaddr = rp->p_memmap[D].mem_vir << CLICK_SHIFT;
+      text_segbase = (rp->p_memmap[T].mem_phys -
+                     rp->p_memmap[T].mem_vir) << CLICK_SHIFT;
+      data_segbase = (rp->p_memmap[D].mem_phys -
+                     rp->p_memmap[D].mem_vir) << CLICK_SHIFT;
+
       init_codeseg(&rp->p_seg.p_ldt[CS_LDT_INDEX],
-          (phys_bytes) rp->p_memmap[T].mem_phys << CLICK_SHIFT,
-          code_bytes, privilege);
+                  text_segbase,
+                  text_vaddr + code_bytes, privilege);
       init_dataseg(&rp->p_seg.p_ldt[DS_LDT_INDEX],
-          (phys_bytes) rp->p_memmap[D].mem_phys << CLICK_SHIFT,
-          data_bytes, privilege);
+                  data_segbase,
+                  data_vaddr + data_bytes, privilege);
       rp->p_reg.cs = (CS_LDT_INDEX * DESC_SIZE) | TI | privilege;
       rp->p_reg.gs =
       rp->p_reg.fs =
index d8f50d08872d7cfa0089232ed997dd3b8aa431a3..c92d99a48fd2e4c4c127fe212917796a5cad726b 100644 (file)
@@ -2,6 +2,7 @@
 #define PROC_H
 
 #include <minix/const.h>
+#include <sys/cdefs.h>
 
 #ifndef __ASSEMBLY__
 
index 7a0fae38d64171080f226abb792ac96f02ad8ea3..b26d7d4564fab06dff3677dac96bec25e295e880 100644 (file)
@@ -194,7 +194,9 @@ _PROTOTYPE( int is_fpu, (void)                                              );
 _PROTOTYPE( void ser_putc, (char)                                              );
 _PROTOTYPE( __dead void arch_shutdown, (int)                           );
 _PROTOTYPE( __dead void arch_monitor, (void)                           );
+#if !defined(__ELF__)
 _PROTOTYPE( void arch_get_aout_headers, (int i, struct exec *h)                );
+#endif
 _PROTOTYPE( void restore_user_context, (struct proc * p)                );
 _PROTOTYPE( void read_tsc, (unsigned long *high, unsigned long *low)    );
 _PROTOTYPE( int arch_init_profile_clock, (u32_t freq)                  );
index 0e8a0c37bb3cef390f471c2aae7362660ea165ab..057448ab042e853156edfa9c1018940b25027d25 100644 (file)
@@ -174,6 +174,7 @@ PUBLIC int do_getinfo(struct proc * caller, message * m_ptr)
         src_vir = (vir_bytes) &idl->p_cycles;
         break;
     }
+#if !defined(__ELF__)
     case GET_AOUTHEADER: {
         int hdrindex, index = m_ptr->I_VAL_LEN2_E;
         if(index < 0 || index >= NR_BOOT_PROCS) {
@@ -189,7 +190,7 @@ PUBLIC int do_getinfo(struct proc * caller, message * m_ptr)
         src_vir = (vir_bytes) &e_hdr;
         break;
     }
-
+#endif
     default:
        printf("do_getinfo: invalid request %d\n", m_ptr->I_REQUEST);
         return(EINVAL);
index af1416b72c6ffeccf71c38c6f91576957da939b2..f4b4f884d8fe85ce99d4153be47adcab34d758f0 100644 (file)
@@ -1,8 +1,9 @@
 #include "syslib.h"
 
-PUBLIC int sys_newmap(proc_ep, ptr)
-endpoint_t proc_ep;            /* process whose map is to be changed */
-struct mem_map *ptr;           /* pointer to new map */
+PUBLIC int sys_newmap(
+endpoint_t proc_ep,            /* process whose map is to be changed */
+struct mem_map *ptr            /* pointer to new map */
+)
 {
 /* A process has been assigned a new memory map.  Tell the kernel. */
 
index 09dbda2e3d4e035ce4ecbf016dc127f711ca93e2..a41e8a5a08de1d0fe23095317386948e73da9bb1 100644 (file)
@@ -308,7 +308,9 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
   * what the ranges are of the filler data.
   */
   unmap_ok = 1;
+#if !defined(__ELF__)
   _minix_unmapzero();
+#endif
 
   /* Initialize user-space scheduling. */
   sched_init();
index 6070630766f7d845b748d9ba8ae0123e7470ec9f..de156169969ebd11e94bd38c91c62b9d861f10c5 100644 (file)
@@ -463,7 +463,9 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
 
       /* Map out our own text and data. */
       unmap_ok = 1;
+#if !defined(__ELF__)
       _minix_unmapzero();
+#endif
 
       /* Ask VM to pin memory for the new RS instance. */
       if((s = vm_memctl(RS_PROC_NR, VM_RS_MEM_PIN)) != OK) {
index 16079e6dad0625c05237e9c5eb4295ccb87e9490..86742d519b5dae1a38db9ad7ca0c0fd8dbea471d 100644 (file)
@@ -34,11 +34,13 @@ PUBLIC vir_bytes arch_map2vir(struct vmproc *vmp, vir_bytes addr)
 {
        vir_bytes textstart = CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_phys);
        vir_bytes datastart = CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys);
+       vir_bytes datasegbase = CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys -
+                                         vmp->vm_arch.vm_seg[D].mem_vir);
 
        /* Could be a text address. */
        assert(datastart <= addr || textstart <= addr);
 
-       return addr - datastart;
+       return addr - datasegbase;
 }
 
 /*===========================================================================*
@@ -50,13 +52,17 @@ PUBLIC char *arch_map2str(struct vmproc *vmp, vir_bytes addr)
        vir_bytes textstart = CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_phys);
        vir_bytes textend = textstart + CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_len);
        vir_bytes datastart = CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys);
+       vir_bytes textsegbase = CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_phys -
+                                         vmp->vm_arch.vm_seg[T].mem_vir);
+       vir_bytes datasegbase = CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys -
+                                         vmp->vm_arch.vm_seg[D].mem_vir);
 
        if(addr < textstart) {
                sprintf(bufstr, "<lin:0x%lx>", addr);
        } else if(addr < datastart) {
-               sprintf(bufstr, "0x%lx (codeseg)", addr - textstart);
+               sprintf(bufstr, "0x%lx (codeseg)", addr - textsegbase);
        } else {
-               sprintf(bufstr, "0x%lx (dataseg)", addr - datastart);
+               sprintf(bufstr, "0x%lx (dataseg)", addr - datasegbase);
        }
 
        return bufstr;
@@ -72,6 +78,10 @@ PUBLIC vir_bytes arch_map2info(struct vmproc *vmp, vir_bytes addr, int *seg,
        vir_bytes textend = textstart +
                CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_len);
        vir_bytes datastart = CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys);
+       vir_bytes textsegbase = CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_phys -
+                                         vmp->vm_arch.vm_seg[T].mem_vir);
+       vir_bytes datasegbase = CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys -
+                                         vmp->vm_arch.vm_seg[D].mem_vir);
 
        /* The protection to be returned here is that of the segment. */
        if(addr < textstart) {
@@ -81,14 +91,14 @@ PUBLIC vir_bytes arch_map2info(struct vmproc *vmp, vir_bytes addr, int *seg,
        } else if(addr < datastart) {
                *seg = T;
                *prot = PROT_READ | PROT_EXEC;
-               return addr - textstart;
+               return addr - textsegbase;
        } else {
                *seg = D;
                if (textstart == textend)       /* common I&D? */
                        *prot = PROT_READ | PROT_WRITE | PROT_EXEC;
                else
                        *prot = PROT_READ | PROT_WRITE;
-               return addr - datastart;
+               return addr - datasegbase;
        }
 }
 
@@ -116,9 +126,10 @@ PUBLIC vir_bytes arch_addrok(struct vmproc *vmp, vir_bytes addr)
  *===========================================================================*/
 PUBLIC vir_bytes arch_vir2map(struct vmproc *vmp, vir_bytes addr)
 {
-       vir_bytes bottom = CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys);
+       vir_bytes datasegbase = CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys -
+                                         vmp->vm_arch.vm_seg[D].mem_vir);
 
-       return addr + bottom;
+       return addr + datasegbase;
 }
 
 /*===========================================================================*
@@ -126,7 +137,8 @@ PUBLIC vir_bytes arch_vir2map(struct vmproc *vmp, vir_bytes addr)
  *===========================================================================*/
 PUBLIC vir_bytes arch_vir2map_text(struct vmproc *vmp, vir_bytes addr)
 {
-       vir_bytes bottom = CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_phys);
+       vir_bytes textsegbase = CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_phys -
+                                         vmp->vm_arch.vm_seg[T].mem_vir);
 
-       return addr + bottom;
+       return addr + textsegbase;
 }
index d0ee227fb3071f3b18604d862b6a2106253d0511..38f3d39d020d8672a0a66048dee467ba9d607ca2 100644 (file)
 #include "memory.h"
 
 FORWARD _PROTOTYPE( int new_mem, (struct vmproc *vmp,
-       vir_bytes text_bytes, vir_bytes data_bytes,
-       vir_bytes stk_bytes, phys_bytes tot_bytes, vir_bytes *stack_top));
+       vir_bytes text_addr, vir_bytes text_bytes,
+       vir_bytes data_addr, vir_bytes data_bytes,
+       vir_bytes stk_bytes, phys_bytes tot_bytes, vir_bytes *stack_top,
+       int is_elf));
 
 static int failcount;
 
@@ -101,8 +103,10 @@ SANITYCHECK(SCL_DETAIL);
        /* Allocate new memory and release old memory.  Fix map and tell
         * kernel.
         */
-       r = new_mem(vmp, args.text_bytes, args.data_bytes,
-               args.args_bytes, args.tot_bytes, &stack_top);
+       r = new_mem(vmp, args.text_addr, args.text_bytes,
+               args.data_addr, args.data_bytes,
+               args.args_bytes, args.tot_bytes, &stack_top,
+               args.is_elf);
        if (r != OK) {
                printf("VM: newmem: new_mem failed\n");
                return(r);
@@ -129,14 +133,17 @@ SANITYCHECK(SCL_DETAIL);
 /*===========================================================================*
  *                             new_mem                                      *
  *===========================================================================*/
-PRIVATE int new_mem(rmp, text_bytes, data_bytes,
-       stk_bytes,tot_bytes,stack_top)
-struct vmproc *rmp;            /* process to get a new memory map */
-vir_bytes text_bytes;          /* text segment size in bytes */
-vir_bytes data_bytes;          /* size of data (incl bss) in bytes */
-vir_bytes stk_bytes;           /* size of initial stack segment in bytes */
-phys_bytes tot_bytes;          /* total memory to allocate, including gap */
-vir_bytes *stack_top;          /* top of process stack */
+PRIVATE int new_mem(
+  struct vmproc *rmp,           /* process to get a new memory map */
+  vir_bytes text_addr,          /* text segement load address */
+  vir_bytes text_bytes,         /* text segment size in bytes */
+  vir_bytes data_addr,          /* data segment load address */
+  vir_bytes data_bytes,         /* size of data (incl bss) in bytes */
+  vir_bytes stk_bytes,          /* size of initial stack segment in bytes */
+  phys_bytes tot_bytes,         /* total memory to allocate, including gap */
+  vir_bytes *stack_top,         /* top of process stack */
+  int is_elf
+)
 {
 /* Allocate new memory and release the old memory.  Change the map and report
  * the new map to the kernel.  Zero the new core image's bss, gap and stack.
@@ -201,13 +208,15 @@ SANITYCHECK(SCL_DETAIL);
   SANITYCHECK(SCL_DETAIL);
   if(r != OK || (r=proc_new(rmp,
         VM_PROCSTART,  /* where to start the process in the page table */
+        text_addr, /* text load address */
         CLICK2ABS(text_clicks),/* how big is the text in bytes, page-aligned */
+        data_addr, /* data load address */
         CLICK2ABS(data_clicks),/* how big is data+bss, page-aligned */
         CLICK2ABS(stack_clicks),/* how big is stack, page-aligned */
         CLICK2ABS(gap_clicks), /* how big is gap, page-aligned */
         0,0,                   /* not preallocated */
         VM_STACKTOP,           /* regular stack top */
-        0)) != OK) {
+        0, is_elf)) != OK) {
     SANITYCHECK(SCL_DETAIL);
     printf("VM: new_mem: failed\n");
     if(ptok) {
@@ -274,23 +283,29 @@ PUBLIC phys_bytes find_kernel_top(void)
  *===========================================================================*/
 PUBLIC int proc_new(struct vmproc *vmp,
   phys_bytes vstart,     /* where to start the process in page table */
+  phys_bytes text_addr,   /* address at which to load code */
   phys_bytes text_bytes,  /* how much code, in bytes but page aligned */
+  phys_bytes data_addr,   /* address at which to load data */
   phys_bytes data_bytes,  /* how much data + bss, in bytes but page aligned */
   phys_bytes stack_bytes, /* stack space to reserve, in bytes, page aligned */
   phys_bytes gap_bytes,   /* gap bytes, page aligned */
   phys_bytes text_start,  /* text starts here, if preallocated, otherwise 0 */
   phys_bytes data_start,  /* data starts here, if preallocated, otherwise 0 */
   phys_bytes stacktop,
-  int prealloc_stack
+  int prealloc_stack,
+  int is_elf
 )
 {
        int s;
        vir_bytes hole_bytes;
        int prealloc;
        struct vir_region *reg;
+       phys_bytes map_text_addr, map_data_addr, map_stack_addr;
 
        assert(!(vstart % VM_PAGE_SIZE));
+       assert(!(text_addr % VM_PAGE_SIZE));
        assert(!(text_bytes % VM_PAGE_SIZE));
+       assert(!(data_addr % VM_PAGE_SIZE));
        assert(!(data_bytes % VM_PAGE_SIZE));
        assert(!(stack_bytes % VM_PAGE_SIZE));
        assert(!(gap_bytes % VM_PAGE_SIZE));
@@ -299,8 +314,9 @@ PUBLIC int proc_new(struct vmproc *vmp,
        assert((!text_start && !data_start) || (text_start && data_start));
 
        /* Place text at start of process. */
-       vmp->vm_arch.vm_seg[T].mem_phys = ABS2CLICK(vstart);
-       vmp->vm_arch.vm_seg[T].mem_vir = 0;
+       map_text_addr = vstart + text_addr;
+       vmp->vm_arch.vm_seg[T].mem_phys = ABS2CLICK(map_text_addr);
+       vmp->vm_arch.vm_seg[T].mem_vir = ABS2CLICK(text_addr);
        vmp->vm_arch.vm_seg[T].mem_len = ABS2CLICK(text_bytes);
 
        vmp->vm_offset = vstart;
@@ -309,7 +325,7 @@ PUBLIC int proc_new(struct vmproc *vmp,
 #define TEXTFLAGS (PTF_PRESENT | PTF_USER)
        SANITYCHECK(SCL_DETAIL);
        if(text_bytes > 0) {
-               if(!(reg=map_page_region(vmp, vstart, 0, text_bytes,
+               if(!(reg=map_page_region(vmp, map_text_addr, 0, text_bytes,
                  text_start ? text_start : MAP_NONE,
                  VR_ANON | VR_WRITABLE, text_start ? 0 : MF_PREALLOC))) {
                        SANITYCHECK(SCL_DETAIL);
@@ -318,6 +334,7 @@ PUBLIC int proc_new(struct vmproc *vmp,
                        SANITYCHECK(SCL_DETAIL);
                        return(ENOMEM);
                }
+
                map_region_set_tag(reg, VRT_TEXT);
                SANITYCHECK(SCL_DETAIL);
        }
@@ -327,7 +344,13 @@ PUBLIC int proc_new(struct vmproc *vmp,
         * or stack), make sure it's cleared, and map it in after text
         * (if any).
         */
-       if(!(vmp->vm_heap = map_page_region(vmp, vstart + text_bytes, 0,
+       if (is_elf) {
+           map_data_addr = vstart + data_addr;
+       } else {
+           map_data_addr = vstart + text_bytes;
+       }
+
+       if(!(vmp->vm_heap = map_page_region(vmp, map_data_addr, 0,
          data_bytes, data_start ? data_start : MAP_NONE, VR_ANON | VR_WRITABLE,
                data_start ? 0 : MF_PREALLOC))) {
                printf("VM: exec: map_page_region for data failed\n");
@@ -344,10 +367,13 @@ PUBLIC int proc_new(struct vmproc *vmp,
         * stacktop is the first address after the stack, as addressed
         * from within the user process.
         */
-       hole_bytes = stacktop - data_bytes - stack_bytes - gap_bytes;
+       hole_bytes = stacktop - data_bytes - stack_bytes
+           - gap_bytes - data_addr;
+
+       map_stack_addr = map_data_addr + data_bytes + hole_bytes;
 
        if(!(reg=map_page_region(vmp,
-               vstart + text_bytes + data_bytes + hole_bytes,
+               map_stack_addr,
          0, stack_bytes + gap_bytes, MAP_NONE,
          VR_ANON | VR_WRITABLE, prealloc_stack ? MF_PREALLOC : 0)) != OK) {
                panic("map_page_region failed for stack");
@@ -355,13 +381,14 @@ PUBLIC int proc_new(struct vmproc *vmp,
 
        map_region_set_tag(reg, VRT_STACK);
 
-       vmp->vm_arch.vm_seg[D].mem_phys = ABS2CLICK(vstart + text_bytes);
-       vmp->vm_arch.vm_seg[D].mem_vir = 0;
+       vmp->vm_arch.vm_seg[D].mem_phys = ABS2CLICK(map_data_addr);
+       vmp->vm_arch.vm_seg[D].mem_vir = ABS2CLICK(data_addr);
        vmp->vm_arch.vm_seg[D].mem_len = ABS2CLICK(data_bytes);
 
-       vmp->vm_arch.vm_seg[S].mem_phys = ABS2CLICK(vstart +
-               text_bytes + data_bytes + gap_bytes + hole_bytes);
-       vmp->vm_arch.vm_seg[S].mem_vir = ABS2CLICK(data_bytes + gap_bytes + hole_bytes);
+       vmp->vm_arch.vm_seg[S].mem_phys = ABS2CLICK(map_data_addr +
+               data_bytes + gap_bytes + hole_bytes);
+       vmp->vm_arch.vm_seg[S].mem_vir = ABS2CLICK(data_addr +
+               data_bytes + gap_bytes + hole_bytes);
 
        /* Where are we allowed to start using the rest of the virtual
         * address space?
@@ -372,18 +399,18 @@ PUBLIC int proc_new(struct vmproc *vmp,
 
        if(vmp->vm_endpoint != NONE) {
 
-       /* Pretend the stack is the full size of the data segment, so 
-        * we get a full-sized data segment, up to VM_DATATOP.
-        * After sys_newmap(), change the stack to what we know the
-        * stack to be (up to stacktop).
-        */
-       vmp->vm_arch.vm_seg[S].mem_len = (VM_DATATOP >> CLICK_SHIFT) -
-               vmp->vm_arch.vm_seg[S].mem_vir - ABS2CLICK(vstart) - ABS2CLICK(text_bytes);
-
-       /* What is the final size of the data segment in bytes? */
-       vmp->vm_arch.vm_data_top = 
-               (vmp->vm_arch.vm_seg[S].mem_vir + 
-               vmp->vm_arch.vm_seg[S].mem_len) << CLICK_SHIFT;
+               /* Pretend the stack is the full size of the data segment, so
+                * we get a full-sized data segment, up to VM_DATATOP.
+                * After sys_newmap(), change the stack to what we know the
+                * stack to be (up to stacktop).
+                */
+               vmp->vm_arch.vm_seg[S].mem_len = (VM_DATATOP >> CLICK_SHIFT) -
+                   vmp->vm_arch.vm_seg[S].mem_vir - ABS2CLICK(map_data_addr);
+
+               /* What is the final size of the data segment in bytes? */
+               vmp->vm_arch.vm_data_top =
+                   (vmp->vm_arch.vm_seg[S].mem_vir +
+                    vmp->vm_arch.vm_seg[S].mem_len) << CLICK_SHIFT;
 
                if((s=sys_newmap(vmp->vm_endpoint, vmp->vm_arch.vm_seg)) != OK)
                        panic("sys_newmap (vm) failed: %d", s);
index e2b690f6f2886524e2a16b06850a6367118cbbc1..d984a6cf2c8a8a8132fae9f4a2ee414a3a1a6b34 100644 (file)
@@ -105,6 +105,8 @@ PUBLIC int do_fork(message *msg)
        struct vir_region *heap, *stack;
        vir_bytes text_bytes, data_bytes, stack_bytes, parent_gap_bytes,
                child_gap_bytes;
+       vir_bytes text_addr, data_addr;
+       int is_elf = 0;
 
        /* Get SP of new process (using parent). */
        if(get_stack_ptr(vmp->vm_endpoint, &sp) != OK) {
@@ -123,7 +125,9 @@ PUBLIC int do_fork(message *msg)
        /* Copy newly adjust()ed stack segment size to child. */
        vmc->vm_arch.vm_seg[S] = vmp->vm_arch.vm_seg[S];
 
+       text_addr = CLICK2ABS(vmc->vm_arch.vm_seg[T].mem_vir);
         text_bytes = CLICK2ABS(vmc->vm_arch.vm_seg[T].mem_len);
+       data_addr = CLICK2ABS(vmc->vm_arch.vm_seg[D].mem_vir);
         data_bytes = CLICK2ABS(vmc->vm_arch.vm_seg[D].mem_len);
        stack_bytes = CLICK2ABS(vmc->vm_arch.vm_seg[S].mem_len);
 
@@ -131,7 +135,8 @@ PUBLIC int do_fork(message *msg)
         * logical top) of stack for the parent
         */
        parent_gap_bytes = CLICK2ABS(vmc->vm_arch.vm_seg[S].mem_vir -
-               vmc->vm_arch.vm_seg[D].mem_len);
+               vmc->vm_arch.vm_seg[D].mem_len -
+               vmc->vm_arch.vm_seg[D].mem_vir);
 
        /* how much space can the child stack grow downwards, below
         * the current SP? The rest of the gap is available for the
@@ -139,10 +144,17 @@ PUBLIC int do_fork(message *msg)
         */
        child_gap_bytes = VM_PAGE_SIZE;
 
+#if defined(__ELF__)
+       is_elf = 1;
+#endif
+
         if((r=proc_new(vmc, VM_PROCSTART,
-               text_bytes, data_bytes, stack_bytes, child_gap_bytes, 0, 0,
+               text_addr, text_bytes,
+               data_addr, data_bytes,
+               stack_bytes, child_gap_bytes, 0, 0,
                CLICK2ABS(vmc->vm_arch.vm_seg[S].mem_vir +
-                        vmc->vm_arch.vm_seg[S].mem_len), 1)) != OK) {
+                         vmc->vm_arch.vm_seg[S].mem_len),
+               1, is_elf)) != OK) {
                        printf("VM: fork: proc_new failed\n");
                        return r;
        }
@@ -198,9 +210,11 @@ PUBLIC int do_fork(message *msg)
         * and its return value needn't be checked.
         */
        vir = arch_vir2map(vmc, msgaddr);
-       handle_memory(vmc, vir, sizeof(message), 1);
+       if (handle_memory(vmc, vir, sizeof(message), 1) != OK)
+           panic("do_fork: handle_memory for child failed\n");
        vir = arch_vir2map(vmp, msgaddr);
-       handle_memory(vmp, vir, sizeof(message), 1);
+       if (handle_memory(vmp, vir, sizeof(message), 1) != OK)
+           panic("do_fork: handle_memory for parent failed\n");
   }
 
   /* Inform caller of new child endpoint. */
index c17cde965d65c3d9c15da4e6334b32a30712700d..d01b2076d499ec9b41587d8e7dadb28d64d8cc13 100644 (file)
@@ -178,6 +178,7 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
        struct boot_image *ip;
        struct rprocpub rprocpub[NR_BOOT_PROCS];
        phys_bytes limit = 0;
+       int is_elf = 0;
 
 #if SANITYCHECKS
        incheck = nocheck = 0;
@@ -272,7 +273,7 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
        for (ip = &image[0]; ip < &image[NR_BOOT_PROCS]; ip++) {
                int s;
                struct vmproc *vmp;
-               vir_bytes old_stacktop, old_stack;
+               vir_bytes old_stacktop, old_stacklen;
 
                if(ip->proc_nr < 0) continue;
 
@@ -281,11 +282,6 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
                if(!(ip->flags & PROC_FULLVM))
                        continue;
 
-               old_stack = 
-                       vmp->vm_arch.vm_seg[S].mem_vir +
-                       vmp->vm_arch.vm_seg[S].mem_len - 
-                       vmp->vm_arch.vm_seg[D].mem_len;
-
                if(pt_new(&vmp->vm_pt) != OK)
                        panic("VM: no new pagetable");
 #define BASICSTACK VM_PAGE_SIZE
@@ -296,21 +292,34 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
                        panic("VM: vmctl for new stack failed");
                }
 
+               old_stacklen =
+                       vmp->vm_arch.vm_seg[S].mem_vir +
+                       vmp->vm_arch.vm_seg[S].mem_len -
+                       vmp->vm_arch.vm_seg[D].mem_len -
+                       vmp->vm_arch.vm_seg[D].mem_vir;
+
                free_mem(vmp->vm_arch.vm_seg[D].mem_phys +
                        vmp->vm_arch.vm_seg[D].mem_len,
-                       old_stack);
+                       old_stacklen);
+
+#if defined(__ELF__)
+               is_elf = 1;
+#endif
 
                if(proc_new(vmp,
                        VM_PROCSTART,
+                       CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_vir),
                        CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_len),
+                       CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_vir),
                        CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_len),
                        BASICSTACK,
                        CLICK2ABS(vmp->vm_arch.vm_seg[S].mem_vir +
                                vmp->vm_arch.vm_seg[S].mem_len -
-                               vmp->vm_arch.vm_seg[D].mem_len) - BASICSTACK,
+                               vmp->vm_arch.vm_seg[D].mem_len -
+                               vmp->vm_arch.vm_seg[D].mem_vir) - BASICSTACK,
                        CLICK2ABS(vmp->vm_arch.vm_seg[T].mem_phys),
                        CLICK2ABS(vmp->vm_arch.vm_seg[D].mem_phys),
-                               VM_STACKTOP, 0) != OK) {
+                           VM_STACKTOP, 0, is_elf) != OK) {
                        panic("failed proc_new for boot process");
                }
        }
@@ -372,7 +381,9 @@ PRIVATE int sef_cb_init_fresh(int type, sef_init_info_t *info)
 
        /* Unmap our own low pages. */
        unmap_ok = 1;
+#if !defined(__ELF__)
        _minix_unmapzero();
+#endif
 
        /* Map all the services in the boot image. */
        if((s = sys_safecopyfrom(RS_PROC_NR, info->rproctab_gid, 0,
index 4651afd80660358c3b3f5747a83e204650ef50f7..813906ec0e560e3bcf7fb9ff276cdfe63448e0e6 100644 (file)
@@ -60,9 +60,11 @@ _PROTOTYPE( int do_fork, (message *msg)                                      );
 /* exec.c */
 _PROTOTYPE( int do_exec_newmem, (message *msg)                         );
 _PROTOTYPE( int proc_new, (struct vmproc *vmp, phys_bytes start,
-       phys_bytes text, phys_bytes data, phys_bytes stack, phys_bytes gap,
+       phys_bytes text_addr, phys_bytes text_bytes,
+       phys_bytes data_addr, phys_bytes data_bytes,
+       phys_bytes stack, phys_bytes gap,
        phys_bytes text_here, phys_bytes data_here, vir_bytes stacktop,
-       int prealloc_stack));
+       int prealloc_stack, int is_elf));
 _PROTOTYPE( phys_bytes find_kernel_top, (void)                         );
 
 /* break.c */