From: Keir Fraser Date: Wed, 16 Apr 2008 09:05:57 +0000 (+0100) Subject: stubdom: sparse application's BSS by linking it separately first, put X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=cda7f660a085ae169f27ac61cf45911f095bd3b9;p=people%2Fliuw%2Flibxenctrl-split%2Fmini-os.git stubdom: sparse application's BSS by linking it separately first, put markers at its beginning and end, and then link with mini-os. That permits to stick a bit more to upstream qemu. Signed-off-by: Samuel Thibault --- diff --git a/Makefile b/Makefile index 7cc4d02..4bb78a6 100644 --- a/Makefile +++ b/Makefile @@ -19,6 +19,7 @@ include minios.mk # Define some default flags for linking. LDLIBS := +APP_LDLIBS := LDARCHLIB := -L$(TARGET_ARCH_DIR) -l$(ARCH_LIB_NAME) LDFLAGS_FINAL := -T $(TARGET_ARCH_DIR)/minios-$(XEN_TARGET_ARCH).lds @@ -33,6 +34,7 @@ TARGET := mini-os SUBDIRS := lib xenbus console # The common mini-os objects to build. +APP_OBJS := OBJS := $(patsubst %.c,%.o,$(wildcard *.c)) OBJS += $(patsubst %.c,%.o,$(wildcard lib/*.c)) OBJS += $(patsubst %.c,%.o,$(wildcard xenbus/*.c)) @@ -75,28 +77,28 @@ OBJS := $(filter-out lwip%.o $(LWO), $(OBJS)) ifeq ($(caml),y) CAMLLIB = $(shell ocamlc -where) -OBJS += $(CAMLDIR)/caml.o -OBJS += $(CAMLLIB)/libasmrun.a +APP_OBJS += main-caml.o +APP_OBJS += $(CAMLDIR)/caml.o +APP_OBJS += $(CAMLLIB)/libasmrun.a CFLAGS += -I$(CAMLLIB) -LDLIBS += -lm -else -OBJS := $(filter-out main-caml.o, $(OBJS)) +APP_LDLIBS += -lm endif +OBJS := $(filter-out main-caml.o, $(OBJS)) ifeq ($(qemu),y) -OBJS += $(QEMUDIR)/i386-dm-stubdom/qemu.a $(QEMUDIR)/i386-dm-stubdom/libqemu.a +APP_OBJS += $(QEMUDIR)/i386-dm-stubdom/qemu.a $(QEMUDIR)/i386-dm-stubdom/libqemu.a CFLAGS += -DCONFIG_QEMU endif ifneq ($(CDIR),) -OBJS += $(CDIR)/main.a -LDLIBS += +APP_OBJS += $(CDIR)/main.a +APP_LDLIBS += endif ifeq ($(libc),y) LDLIBS += -L$(XEN_ROOT)/stubdom/libxc -lxenctrl -lxenguest -LDLIBS += -lpci -LDLIBS += -lz +APP_LDLIBS += -lpci +APP_LDLIBS += -lz LDLIBS += -lc endif @@ -104,8 +106,11 @@ ifneq ($(caml)-$(qemu)-$(CDIR)-$(lwip),---y) OBJS := $(filter-out daytime.o, $(OBJS)) endif -$(TARGET): links $(OBJS) arch_lib - $(LD) -r $(LDFLAGS) $(HEAD_OBJ) $(OBJS) $(LDARCHLIB) $(LDLIBS) -o $@.o +app.o: $(APP_OBJS) app.lds + $(LD) -r -d $(LDFLAGS) $^ $(APP_LDLIBS) --undefined main -o $@ + +$(TARGET): links $(OBJS) app.o arch_lib + $(LD) -r $(LDFLAGS) $(HEAD_OBJ) app.o $(OBJS) $(LDARCHLIB) $(LDLIBS) -o $@.o $(OBJCOPY) -w -G $(GLOBAL_PREFIX)* -G _start $@.o $@.o $(LD) $(LDFLAGS) $(LDFLAGS_FINAL) $@.o $(EXTRA_OBJS) -o $@ gzip -f -9 -c $@ >$@.gz diff --git a/app.lds b/app.lds new file mode 100644 index 0000000..4a48cc8 --- /dev/null +++ b/app.lds @@ -0,0 +1,11 @@ +SECTIONS +{ + .app.bss : { + __app_bss_start = . ; + *(.bss .bss.*) + *(COMMON) + *(.lbss .lbss.*) + *(LARGE_COMMON) + __app_bss_end = . ; + } +} diff --git a/arch/ia64/minios-ia64.lds b/arch/ia64/minios-ia64.lds index 96911aa..0b38a34 100644 --- a/arch/ia64/minios-ia64.lds +++ b/arch/ia64/minios-ia64.lds @@ -59,7 +59,10 @@ SECTIONS { *(.IA_64.unwind) } .bss : AT(ADDR(.bss) - (((5<<(61))+0x100000000) - (1 << 20))) - { *(.bss) } + { + *(.bss) + *(.app.bss) + } _end = .; diff --git a/arch/x86/minios-x86_32.lds b/arch/x86/minios-x86_32.lds index df53019..9bd0b77 100644 --- a/arch/x86/minios-x86_32.lds +++ b/arch/x86/minios-x86_32.lds @@ -38,6 +38,7 @@ SECTIONS __bss_start = .; /* BSS */ .bss : { *(.bss) + *(.app.bss) } _end = . ; diff --git a/arch/x86/minios-x86_64.lds b/arch/x86/minios-x86_64.lds index f938002..361b264 100644 --- a/arch/x86/minios-x86_64.lds +++ b/arch/x86/minios-x86_64.lds @@ -38,6 +38,7 @@ SECTIONS __bss_start = .; /* BSS */ .bss : { *(.bss) + *(.app.bss) } _end = . ; diff --git a/arch/x86/mm.c b/arch/x86/mm.c index dd556e4..8bc90ed 100644 --- a/arch/x86/mm.c +++ b/arch/x86/mm.c @@ -556,7 +556,6 @@ void *map_frames_ex(unsigned long *f, unsigned long n, unsigned long stride, static void clear_bootstrap(void) { - struct xen_memory_reservation reservation; xen_pfn_t mfns[] = { virt_to_mfn(&shared_info) }; int n = sizeof(mfns)/sizeof(*mfns); pte_t nullpte = { }; @@ -567,11 +566,7 @@ static void clear_bootstrap(void) if (HYPERVISOR_update_va_mapping((unsigned long) &_text, nullpte, UVMF_INVLPG)) printk("Unable to unmap first page\n"); - set_xen_guest_handle(reservation.extent_start, mfns); - reservation.nr_extents = n; - reservation.extent_order = 0; - reservation.domid = DOMID_SELF; - if (HYPERVISOR_memory_op(XENMEM_decrease_reservation, &reservation) != n) + if (free_physical_pages(mfns, n) != n) printk("Unable to free bootstrap pages\n"); } diff --git a/include/ia64/arch_mm.h b/include/ia64/arch_mm.h index adc1da6..5a1a1a9 100644 --- a/include/ia64/arch_mm.h +++ b/include/ia64/arch_mm.h @@ -38,6 +38,6 @@ #define map_frames(f, n) map_frames_ex(f, n, 1, 0, 1, DOMID_SELF, 0, 0) /* TODO */ #define map_zero(n, a) map_frames_ex(NULL, n, 0, 0, a, DOMID_SELF, 0, 0) -#define do_map_zero(start, n) ((void)0) +#define do_map_zero(start, n) ASSERT(n == 0) #endif /* __ARCH_MM_H__ */ diff --git a/include/lib.h b/include/lib.h index 016af66..e5997d4 100644 --- a/include/lib.h +++ b/include/lib.h @@ -187,6 +187,7 @@ extern struct file { int alloc_fd(enum fd_type type); void close_all_files(void); extern struct thread *main_thread; +void sparse(unsigned long data, size_t size); #endif #endif /* _LIB_H_ */ diff --git a/include/mm.h b/include/mm.h index 8396ec6..b76a50f 100644 --- a/include/mm.h +++ b/include/mm.h @@ -70,4 +70,6 @@ void *map_frames_ex(unsigned long *f, unsigned long n, unsigned long stride, extern unsigned long heap, brk, heap_mapped, heap_end; #endif +int free_physical_pages(xen_pfn_t *mfns, int n); + #endif /* _MM_H_ */ diff --git a/lib/sys.c b/lib/sys.c index f97991b..efa02e5 100644 --- a/lib/sys.c +++ b/lib/sys.c @@ -1108,6 +1108,41 @@ int munmap(void *start, size_t length) return 0; } +void sparse(unsigned long data, size_t size) +{ + unsigned long newdata; + xen_pfn_t *mfns; + int i, n; + + newdata = (data + PAGE_SIZE - 1) & PAGE_MASK; + if (newdata - data > size) + return; + size -= newdata - data; + data = newdata; + n = size / PAGE_SIZE; + size = n * PAGE_SIZE; + + mfns = malloc(n * sizeof(*mfns)); + for (i = 0; i < n; i++) { +#ifdef LIBC_DEBUG + int j; + for (j=0; j> 20, data); + + munmap((void *) data, size); + free_physical_pages(mfns, n); + do_map_zero(data, n); +} + + /* Not supported by FS yet. */ unsupported_function_crash(link); unsupported_function(int, readlink, -1); diff --git a/main.c b/main.c index a8b68ac..6e67b01 100644 --- a/main.c +++ b/main.c @@ -39,6 +39,7 @@ void _fini(void) { } +extern char __app_bss_start, __app_bss_end; static void call_main(void *p) { char *args, /**path,*/ *msg, *c; @@ -56,6 +57,7 @@ static void call_main(void *p) * crashing. */ //sleep(1); + sparse((unsigned long) &__app_bss_start, &__app_bss_end - &__app_bss_start); start_networking(); init_fs_frontend(); diff --git a/mm.c b/mm.c index f204fa6..2cc9e9d 100644 --- a/mm.c +++ b/mm.c @@ -36,6 +36,7 @@ #include #include +#include #include #include #include @@ -360,6 +361,17 @@ void free_pages(void *pointer, int order) } +int free_physical_pages(xen_pfn_t *mfns, int n) +{ + struct xen_memory_reservation reservation; + + set_xen_guest_handle(reservation.extent_start, mfns); + reservation.nr_extents = n; + reservation.extent_order = 0; + reservation.domid = DOMID_SELF; + return HYPERVISOR_memory_op(XENMEM_decrease_reservation, &reservation); +} + #ifdef HAVE_LIBC void *sbrk(ptrdiff_t increment) {