minios: make stack size configurable

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>

diff --git a/arch/ia64/sched.c b/arch/ia64/sched.c
index 64052b6fc5f00658381f006370f99695bd3ba185..bf1095686a35d4d7653a0c1e3a56c84c49fe67df 100644 (file)
--- a/arch/ia64/sched.c
+++ b/arch/ia64/sched.c
@@ -40,11 +40,11 @@ arch_create_thread(char *name, void (*function)(void *), void *data)
        struct thread* _thread;
 
        _thread = (struct thread*)_xmalloc(sizeof(struct thread), 16);
-       /* Allocate 2 pages for stack, stack will be 2pages aligned */
-       _thread->stack = (char *)alloc_pages(1);
+       /* Allocate pages for stack, stack will be aligned */
+       _thread->stack = (char *)alloc_pages(STACK_SIZE_PAGE_ORDER);
        _thread->name = name;
        memset((void*)&(_thread->regs), 0, sizeof(_thread->regs));
-       _thread->regs.sp = ((uint64_t)_thread->stack) + 2 * PAGE_SIZE - 16;
+       _thread->regs.sp = ((uint64_t)_thread->stack) + STACK_SIZE - 16;
        _thread->regs.bsp = ((uint64_t)_thread->stack) + 0x10;
        _thread->regs.rp = FDESC_FUNC(thread_starter);
        _thread->regs.pfs = 0x82;

diff --git a/arch/x86/sched.c b/arch/x86/sched.c
index 204980a564e30ae7ac603f548b4626a155b7b70f..9b98b93a554fbeebaa79419d1f926ef56afd7315 100644 (file)
--- a/arch/x86/sched.c
+++ b/arch/x86/sched.c
@@ -57,7 +57,7 @@
 
 void dump_stack(struct thread *thread)
 {
-    unsigned long *bottom = (unsigned long *)(thread->stack + 2*4*1024); 
+    unsigned long *bottom = (unsigned long *)(thread->stack + STACK_SIZE); 
     unsigned long *pointer = (unsigned long *)thread->sp;
     int count;
     if(thread == current)
@@ -98,13 +98,13 @@ struct thread* arch_create_thread(char *name, void (*function)(void *),
     struct thread *thread;
     
     thread = xmalloc(struct thread);
-    /* Allocate 2 pages for stack, stack will be 2pages aligned */
-    thread->stack = (char *)alloc_pages(1);
+    /* We can't use lazy allocation here since the trap handler runs on the stack */
+    thread->stack = (char *)alloc_pages(STACK_SIZE_PAGE_ORDER);
     thread->name = name;
     printk("Thread \"%s\": pointer: 0x%lx, stack: 0x%lx\n", name, thread, 
             thread->stack);
     
-    thread->sp = (unsigned long)thread->stack + 4096 * 2;
+    thread->sp = (unsigned long)thread->stack + STACK_SIZE;
     /* Save pointer to the thread on the stack, used by current macro */
     *((unsigned long *)thread->stack) = (unsigned long)thread;
     

diff --git a/arch/x86/setup.c b/arch/x86/setup.c
index 8106941140c7807dca75df367c5745379bb6ed04..066c87f5b7028b7db20eb3188831582ec3b5a38b 100644 (file)
--- a/arch/x86/setup.c
+++ b/arch/x86/setup.c
@@ -45,7 +45,7 @@ union start_info_union start_info_union;
  * Just allocate the kernel stack here. SS:ESP is set up to point here
  * in head.S.
  */
-char stack[2*8192];
+char stack[2*STACK_SIZE];
 
 extern char shared_info[PAGE_SIZE];
 
@@ -102,7 +102,7 @@ arch_init(start_info_t *si)
 void
 arch_print_info(void)
 {
-       printk("  stack:      %p-%p\n", stack, stack + 2*8192);
+       printk("  stack:      %p-%p\n", stack, stack + sizeof(stack));
 }
 
 

diff --git a/arch/x86/x86_32.S b/arch/x86/x86_32.S
index 09ffeda9bab25c721491639275744e1304a2f4c4..4b9a337c08f166f3d5d9b07d838ac3829a888d21 100644 (file)
--- a/arch/x86/x86_32.S
+++ b/arch/x86/x86_32.S
@@ -1,4 +1,5 @@
 #include <os.h>
+#include <arch_mm.h>
 #include <xen/arch-x86_32.h>
 
 .section __xen_guest
@@ -21,12 +22,12 @@
 _start:
         cld
         lss stack_start,%esp
-        andl $(~(8192-1)), %esp
+        andl $(~(STACK_SIZE-1)), %esp
         push %esi 
         call start_kernel
 
 stack_start:
-       .long stack+(2*8192), __KERNEL_SS
+       .long stack+(2*STACK_SIZE), __KERNEL_SS
 
         /* Unpleasant -- the PTE that maps this page is actually overwritten */
         /* to map the real shared-info page! :-)                             */

diff --git a/arch/x86/x86_64.S b/arch/x86/x86_64.S
index 815dca36adde105e687a1da08d100bf273fcebdb..fae2ae4cf53557a81cac4ffb25d3f7c73dd2549f 100644 (file)
--- a/arch/x86/x86_64.S
+++ b/arch/x86/x86_64.S
@@ -1,4 +1,5 @@
 #include <os.h>
+#include <arch_mm.h>
 #include <xen/features.h>
 
 .section __xen_guest
@@ -18,12 +19,12 @@
 _start:
         cld
         movq stack_start(%rip),%rsp
-        andq $(~(8192-1)), %rsp
+        andq $(~(STACK_SIZE-1)), %rsp
         movq %rsi,%rdi
         call start_kernel
 
 stack_start:
-        .quad stack+(2*8192)
+        .quad stack+(2*STACK_SIZE)
 
         /* Unpleasant -- the PTE that maps this page is actually overwritten */
         /* to map the real shared-info page! :-)                             */

diff --git a/include/ia64/arch_mm.h b/include/ia64/arch_mm.h
index f5785116dd1986d54e72bdd16630a09b22d5e953..9c18e003781bf74381afee8084a9dd8e773fd762 100644 (file)
--- a/include/ia64/arch_mm.h
+++ b/include/ia64/arch_mm.h
@@ -33,4 +33,7 @@
 
 #define virt_to_mfn(x) virt_to_pfn(x)
 
+#define STACK_SIZE_PAGE_ORDER   1
+#define STACK_SIZE              (PAGE_SIZE * (1 << STACK_SIZE_PAGE_ORDER))
+
 #endif /* __ARCH_MM_H__ */

diff --git a/include/x86/arch_mm.h b/include/x86/arch_mm.h
index 795ef070a77fc967687642aee7876a22b42187f1..ddf132f1be7649df2ed10dca6246d6e41e50e200 100644 (file)
--- a/include/x86/arch_mm.h
+++ b/include/x86/arch_mm.h
@@ -25,6 +25,8 @@
 #ifndef _ARCH_MM_H_
 #define _ARCH_MM_H_
 
+#ifndef __ASSEMBLY__
+#include <xen/xen.h>
 #if defined(__i386__)
 #include <xen/arch-x86_32.h>
 #elif defined(__x86_64__)
@@ -32,6 +34,7 @@
 #else
 #error "Unsupported architecture"
 #endif
+#endif
 
 #define L1_FRAME                1
 #define L2_FRAME                2
@@ -53,7 +56,9 @@
 
 #define NOT_L1_FRAMES           1
 #define PRIpte "08lx"
+#ifndef __ASSEMBLY__
 typedef unsigned long pgentry_t;
+#endif
 
 #else /* defined(CONFIG_X86_PAE) */
 
@@ -76,7 +81,9 @@ typedef unsigned long pgentry_t;
  */
 #define NOT_L1_FRAMES           3
 #define PRIpte "016llx"
+#ifndef __ASSEMBLY__
 typedef uint64_t pgentry_t;
+#endif
 
 #endif /* !defined(CONFIG_X86_PAE) */
 
@@ -102,7 +109,9 @@ typedef uint64_t pgentry_t;
 
 #define NOT_L1_FRAMES           3
 #define PRIpte "016lx"
+#ifndef __ASSEMBLY__
 typedef unsigned long pgentry_t;
+#endif
 
 #endif
 
@@ -146,11 +155,15 @@ typedef unsigned long pgentry_t;
 #define L4_PROT (_PAGE_PRESENT|_PAGE_RW|_PAGE_ACCESSED|_PAGE_DIRTY|_PAGE_USER)
 #endif /* __i386__ || __x86_64__ */
 
+#ifdef __ASSEMBLY__
+#define PAGE_SIZE       (1 << L1_PAGETABLE_SHIFT)
+#else
 #ifndef CONFIG_X86_PAE
 #define PAGE_SIZE       (1UL << L1_PAGETABLE_SHIFT)
 #else
 #define PAGE_SIZE       (1ULL << L1_PAGETABLE_SHIFT)
 #endif
+#endif
 #define PAGE_SHIFT      L1_PAGETABLE_SHIFT
 #define PAGE_MASK       (~(PAGE_SIZE-1))
 
@@ -162,6 +175,10 @@ typedef unsigned long pgentry_t;
 /* to align the pointer to the (next) page boundary */
 #define PAGE_ALIGN(addr)        (((addr)+PAGE_SIZE-1)&PAGE_MASK)
 
+#define STACK_SIZE_PAGE_ORDER  1
+#define STACK_SIZE             (PAGE_SIZE * (1 << STACK_SIZE_PAGE_ORDER))
+
+#ifndef __ASSEMBLY__
 /* Definitions for machine and pseudophysical addresses. */
 #ifdef CONFIG_X86_PAE
 typedef unsigned long long paddr_t;
@@ -188,6 +205,7 @@ static __inline__ paddr_t machine_to_phys(maddr_t machine)
        phys = (phys << PAGE_SHIFT) | (machine & ~PAGE_MASK);
        return phys;
 }
+#endif
 
 #define VIRT_START                 ((unsigned long)&_text)
 

diff --git a/include/x86/arch_sched.h b/include/x86/arch_sched.h
index 35a4344efdf54cb2e6ededc078b08bb8a389cc87..b2b2556ffb9b605a26df563afb49e7ecf7c71c29 100644 (file)
--- a/include/x86/arch_sched.h
+++ b/include/x86/arch_sched.h
@@ -2,6 +2,7 @@
 #ifndef __ARCH_SCHED_H__
 #define __ARCH_SCHED_H__
 
+#include <arch_mm.h>
 
 static inline struct thread* get_current(void)
 {
@@ -11,7 +12,7 @@ static inline struct thread* get_current(void)
 #else
     register unsigned long sp asm("rsp");
 #endif 
-    current = (void *)(sp & ~8191UL);
+    current = (void *)(sp & ~(STACK_SIZE-1));
     return *current;
 }
 

diff --git a/sched.c b/sched.c
index 0b613e64d4bc1e6abf0b239b4348d10dae96346f..f5f47783c7448881935f26dd672ff0f58752795f 100644 (file)
--- a/sched.c
+++ b/sched.c
@@ -139,7 +139,7 @@ void schedule(void)
         if(thread != prev)
         {
             list_del(&thread->thread_list);
-            free_pages(thread->stack, 1);
+            free_pages(thread->stack, STACK_SIZE_PAGE_ORDER);
             xfree(thread);
         }
     }