l4/pkg/moe/server/src/dataspace_noncont.h

   1 /*
   2  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
   3  *               Alexander Warg <warg@os.inf.tu-dresden.de>
   4  *     economic rights: Technische Universität Dresden (Germany)
   5  *
   6  * This file is part of TUD:OS and distributed under the terms of the
   7  * GNU General Public License 2.
   8  * Please see the COPYING-GPL-2 file for details.
   9  */
  10 #pragma once
  11
  12 #include "dataspace.h"
  13
  14 namespace Moe {
  15
  16 class Dataspace_noncont : public Dataspace
  17 {
  18 public:
  19   enum
  20   {
  21     Page_addr_mask = ~((1UL << 12)-1),
  22     Page_cow = 0x04UL,
  23   };
  24
  25   class Page
  26   {
  27   private:
  28     unsigned long p;
  29
  30   public:
  31     Page() throw() : p(0) {}
  32     void *operator * () const throw() { return (void*)(p & Page_addr_mask); }
  33     bool valid() const throw() { return p & Page_addr_mask;}
  34     unsigned long flags() const throw() { return p & ~Page_addr_mask; }
  35
  36     void set(void *addr, unsigned long flags) throw()
  37     { p = ((unsigned long)addr & Page_addr_mask) | (flags & ~Page_addr_mask); }
  38
  39     void flags(unsigned long add, unsigned long del = 0) throw()
  40     {
  41       p = (p & Page_addr_mask & ~(del & ~Page_addr_mask))
  42         | ((unsigned long)add & ~Page_addr_mask);
  43     }
  44
  45     void addr(void *a) throw()
  46     { p = (p & ~Page_addr_mask) | ((unsigned long)a & Page_addr_mask); }
  47   };
  48
  49   bool is_static() const throw() { return false; }
  50
  51   Dataspace_noncont(unsigned long size, unsigned long flags = Writable) throw()
  52   : Dataspace(size, flags | Cow_enabled), pages(0)
  53   {}
  54
  55   virtual ~Dataspace_noncont() {}
  56
  57   Address address(l4_addr_t offset,
  58                   Ds_rw rw = Writable, l4_addr_t hot_spot = 0,
  59                   l4_addr_t min = 0, l4_addr_t max = ~0) const;
  60   void unmap(bool ro = false) const throw();
  61
  62   unsigned long page_shift() const throw() { return L4_LOG2_PAGESIZE; }
  63
  64   int pre_allocate(l4_addr_t offset, l4_size_t size, unsigned rights);
  65
  66   void *operator new (size_t size, Quota *q);
  67   void operator delete (void *m) throw();
  68
  69   virtual Page &page(unsigned long offs) const throw() = 0;
  70   virtual Page &alloc_page(unsigned long offs) const = 0;
  71
  72   unsigned long num_pages() const throw()
  73   { return (size()+page_size()-1) / page_size(); }
  74
  75 #if 0
  76 private:
  77   unsigned idx_of(unsigned long offset) const { return offset >> 12; }
  78
  79   void *page(unsigned idx) const
  80   { return (void*)(pages[idx] & Page_addr_mask); }
  81   unsigned flags(unsigned idx) const { return pages[idx] & ~Page_addr_mask; }
  82   void page(unsigned idx, void *page, unsigned flags = 0) const
  83   {
  84     pages[idx] = (unsigned long)page & Page_addr_mask | flags
  85       & ~Page_addr_mask;
  86   }
  87 #endif
  88
  89   void free_page(Page &p) const throw();
  90   void unmap_page(Page const &p, bool ro = false) const throw();
  91
  92 public:
  93   long clear(unsigned long offs, unsigned long size) const throw();
  94
  95   static Dataspace_noncont *create(Quota *q, unsigned long size,
  96       unsigned long flags = Writable);
  97
  98 protected:
  99   unsigned long *pages;
 100
 101 };
 102 };