sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-03-04 03:23:16 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Reimplemented space handling by introducing an address_space structure.

Browse Source 
- Fixed potential concurrency bugs due to preemption being enabled.
- Introduced a new address space structure to better account for
  address spaces and page tables.
- Currently executes fine up to forking. Will investigate.
This commit is contained in:
Bahadir Balban
2009-05-08 23:35:19 +03:00
parent 2df8875a88
commit 7415546410
12 changed files with 403 additions and 81 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
include/l4/generic/space.h
View File

@@ -21,15 +21,27 @@
#if defined (__KERNEL__)
#include <l4/lib/list.h>
#include <l4/lib/mutex.h>
#include INC_SUBARCH(mm.h)
/* A simple page table with a reference count */
struct address_space {
l4id_t spid;
struct list_head list;
struct mutex lock;
pgd_table_t *pgd;
int ktcb_refs;
};
struct address_space *address_space_create(struct address_space *orig);
void address_space_delete(struct address_space *space);
void address_space_attach(struct ktcb *tcb, struct address_space *space);
struct address_space *address_space_find(l4id_t spid);
void address_space_add(struct address_space *space);
void address_space_remove(struct address_space *space);
void address_space_reference_lock();
void address_space_reference_unlock();
void init_address_space_list(void);
int check_access(unsigned long vaddr, unsigned long size, unsigned int flags);
#endif