Adding SharC annotations. Type checker off
[akaros.git] / kern / src / kmalloc.c
index acd811b..556d33f 100644 (file)
@@ -5,16 +5,24 @@
  * Kevin Klues <klueska@cs.berkeley.edu>    
  */
 
-#include <arch/types.h>
+#ifdef __SHARC__
+#pragma nosharc
+#define SINIT(x) x
+#endif
+
+#include <ros/common.h>
 #include <ros/error.h>
 #include <pmap.h>
 #include <kmalloc.h>
 #include <stdio.h>
 
-#define kmallocdebug(args...)  printk(args)
+#define kmallocdebug(args...)  //printk(args)
+
+char *RO BND(end, maxaddrpa_ptr + IVY_KERNBASE) boot_freemem;
 
-physaddr_t boot_freemem;           // Pointer to next byte of free physical mem
-static page_list_t pages_list; //List of physical pages used by kmalloc
+//List of physical pages used by kmalloc
+static spinlock_t pages_list_lock = 0;
+static page_list_t LCKD(&pages_list_lock)pages_list;
 
 /*
  * Allocate n bytes of physical memory aligned on an 
@@ -25,9 +33,9 @@ static page_list_t pages_list;        //List of physical pages used by kmalloc
  * This function may ONLY be used during initialization,
  * before the page_free_list has been set up.
  */
-void* boot_alloc(uint32_t size, uint32_t align)
+void* boot_alloc(uint32_t n, uint32_t align)
 {
-       extern char (COUNT(1) end)[]; //Read in from the linker script
+       extern char (SNT RO end)[];
        void *v;
 
        // Initialize boot_freemem if this is the first time.
@@ -35,23 +43,56 @@ void* boot_alloc(uint32_t size, uint32_t align)
        // which points to the end of the kernel's bss segment -
        // i.e., the first virtual address that the linker
        // did _not_ assign to any kernel code or global variables.
-       if (boot_freemem == 0)
-               boot_freemem = (physaddr_t) end;
+       if (boot_freemem == 0) {
+               boot_freemem = SINIT(TC(end));
+       }
 
        //      Step 1: round boot_freemem up to be aligned properly
-       boot_freemem = ROUNDUP(boot_freemem, align);
+       char RO*tmp = PTRROUNDUP(boot_freemem, align);
+       boot_freemem = SINIT(tmp);
 
        //      Step 2: save current value of boot_freemem as allocated chunk
-       v = (void *COUNT(size)) TC(boot_freemem);
+       v = boot_freemem;
        //  Step 2.5: check if we can alloc
-       if (PADDR(boot_freemem + size) > maxaddrpa)
+       if (PADDR(boot_freemem + n) > maxaddrpa)
                panic("Out of memory in boot alloc, you fool!\n");
        //      Step 3: increase boot_freemem to record allocation
-       boot_freemem += size;   
+       boot_freemem = SINIT(boot_freemem + n);
        //      Step 4: return allocated chunk
        return v;
 }
 
+void* boot_calloc(uint32_t _n, size_t sz, uint32_t align)
+{
+       extern char (SNT RO end)[];
+       uint32_t n = _n *sz;
+       void *v;
+
+       // Initialize boot_freemem if this is the first time.
+       // 'end' is a magic symbol automatically generated by the linker,
+       // which points to the end of the kernel's bss segment -
+       // i.e., the first virtual address that the linker
+       // did _not_ assign to any kernel code or global variables.
+       if (boot_freemem == 0)
+               boot_freemem = SINIT(TC(end));
+
+       //      Step 1: round boot_freemem up to be aligned properly
+       char RO*tmp = PTRROUNDUP(boot_freemem, align);
+       boot_freemem = SINIT(tmp);
+
+       //      Step 2: save current value of boot_freemem as allocated chunk
+       v = boot_freemem;
+       //  Step 2.5: check if we can alloc
+       if (PADDR(boot_freemem + n) > maxaddrpa)
+               panic("Out of memory in boot alloc, you fool!\n");
+       //      Step 3: increase boot_freemem to record allocation
+       boot_freemem = SINIT(boot_freemem + n);
+       //  Step 4: zero allocated chunk
+       memset(v,0,n);
+       //      Step 5: return allocated chunk
+       return v;
+}
+
 void kmalloc_init() 
 {
        LIST_INIT(&pages_list);
@@ -59,6 +100,9 @@ void kmalloc_init()
 
 void* kmalloc(size_t size, int flags) 
 {
+       if (size == 0)
+               return NULL;
+
        int npages = ROUNDUP(size, PGSIZE) / PGSIZE;
        
        // Find 'npages' free consecutive pages
@@ -83,9 +127,15 @@ void* kmalloc(size_t size, int flags)
        //Otherwise go ahead and allocate them to ourselves now
        for(int i=0; i<npages; i++) {
                page_t* page;
+
                page_alloc_specific(&page, first+i);
+               page_incref(page);
                page->num_cons_links = npages-i;
-               LIST_INSERT_HEAD(&pages_list, page, global_link);
+
+               spin_lock_irqsave(&pages_list_lock);
+               LIST_INSERT_HEAD(&pages_list, page, page_link);
+               spin_unlock_irqsave(&pages_list_lock);
+
                kmallocdebug("mallocing page: %u\n", first+i);
                kmallocdebug("at addr: %p\n", ppn2kva(first+i));
        }
@@ -101,8 +151,9 @@ void kfree(void *addr)
        kmallocdebug("getting page: %u\n", page2ppn(page));
        for(int i=0; i<num_links; i++) {
                page_t* p = ppn2page((page2ppn(page) + i));
-               LIST_REMOVE(p, global_link);
+               LIST_REMOVE(p, page_link);
                page_free(p);
                kmallocdebug("freeing page: %d\n", page2ppn(p));
        }
-}
\ No newline at end of file
+}
+