Changeset 346b12a2 in mainline for kernel/genarch/src/mm/page_ht.c

Timestamp:

2016-08-31T17:51:04Z (9 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

fb63c06

Parents:

38dc82d

Message:

Add page_mapping_update()

page_mapping_update() can be used to safely update the accessed and dirty
bits of a PTE in the actual page tables.

File:

• kernel/genarch/src/mm/page_ht.c (modified) (4 diffs)

kernel/genarch/src/mm/page_ht.c

@@ -60 +60 @@
 static void ht_mapping_remove(as_t *, uintptr_t);
 static bool ht_mapping_find(as_t *, uintptr_t, bool, pte_t *);
+static void ht_mapping_update(as_t *, uintptr_t, bool, pte_t *);
 static void ht_mapping_make_global(uintptr_t, size_t);
 
@@ -91 +92 @@
         .mapping_remove = ht_mapping_remove,
         .mapping_find = ht_mapping_find,
+        .mapping_update = ht_mapping_update,
         .mapping_make_global = ht_mapping_make_global
 };
@@ -245 +247 @@
 }
 
+static pte_t *ht_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
+{
+        sysarg_t key[2] = {
+                (uintptr_t) as,
+                page = ALIGN_DOWN(page, PAGE_SIZE)
+        };
+
+        ASSERT(nolock || page_table_locked(as));
+        
+        link_t *cur = hash_table_find(&page_ht, key);
+        if (cur)
+                return hash_table_get_instance(cur, pte_t, link);
+        
+        return NULL;
+}
 
 /** Find mapping for virtual page in page hash table.
@@ -257 +274 @@
 bool ht_mapping_find(as_t *as, uintptr_t page, bool nolock, pte_t *pte)
 {
-        sysarg_t key[2] = {
-                (uintptr_t) as,
-                page = ALIGN_DOWN(page, PAGE_SIZE)
-        };
-
-        ASSERT(nolock || page_table_locked(as));
-        
-        link_t *cur = hash_table_find(&page_ht, key);
-        if (cur)
-                *pte = *hash_table_get_instance(cur, pte_t, link);
-        
-        return cur != NULL;
+        pte_t *t = ht_mapping_find_internal(as, page, nolock);
+        if (t)
+                *pte = *t;
+        
+        return t != NULL;
+}
+
+/** Update mapping for virtual page in page hash table.
+ *
+ * @param as       Address space to which page belongs.
+ * @param page     Virtual page.
+ * @param nolock   True if the page tables need not be locked.
+ * @param pte      New PTE.
+ */
+void ht_mapping_update(as_t *as, uintptr_t page, bool nolock, pte_t *pte)
+{
+        pte_t *t = ht_mapping_find_internal(as, page, nolock);
+        if (!t)
+                panic("Updating non-existent PTE");
+        
+        ASSERT(pte->as == t->as);
+        ASSERT(pte->page == t->page);
+        ASSERT(pte->frame == t->frame);
+        ASSERT(pte->g == t->g);
+        ASSERT(pte->x == t->x);
+        ASSERT(pte->w == t->w);
+        ASSERT(pte->k == t->k);
+        ASSERT(pte->c == t->c);
+        ASSERT(pte->p == t->p);
+
+        t->a = pte->a;
+        t->d = pte->d;
 }