Changeset 9f63a83 in mainline for kernel/generic/src

Timestamp:

2007-01-19T12:21:27Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

718d600

Parents:

81cfefa

Message:

Beat the implicit illegal virtual alias created by reusing userspace frames.
In the anonymous and ELF backends, if the architecture has virtually indexed D-cache,
selectively flush cachelines belonging to the frame being freed.
This fixes Ticket #20.

Location:

kernel/generic/src/mm

Files:

• backend_anon.c (modified) (3 diffs)
• backend_elf.c (modified) (3 diffs)

kernel/generic/src/mm/backend_anon.c

@@ -51 +51 @@
 #include <align.h>
 #include <arch.h>
+
+#ifdef CONFIG_VIRT_IDX_DCACHE
+#include <arch/mm/cache.h>
+#endif
 
 static int anon_page_fault(as_area_t *area, uintptr_t addr, pf_access_t access);
@@ -154 +158 @@
  *
  * @param area Ignored.
- * @param page Ignored.
+ * @param page Virtual address of the page corresponding to the frame.
  * @param frame Frame to be released.
  */
@@ -160 +164 @@
 {
         frame_free(frame);
+#ifdef CONFIG_VIRT_IDX_DCACHE
+        dcache_flush_frame(page, frame);
+#endif
 }
 

kernel/generic/src/mm/backend_elf.c

@@ -51 +51 @@
 #include <arch.h>
 
+#ifdef CONFIG_VIRT_IDX_DCACHE
+#include <arch/mm/cache.h>
+#endif
+
 static int elf_page_fault(as_area_t *area, uintptr_t addr, pf_access_t access);
 static void elf_frame_free(as_area_t *area, uintptr_t page, uintptr_t frame);
@@ -220 +224 @@
                          */
                         frame_free(frame);
+#ifdef CONFIG_VIRT_IDX_DCACHE
+                        dcache_flush_frame(page, frame);
+#endif
                 }
         } else {
@@ -228 +235 @@
                  */
                 frame_free(frame); 
+#ifdef CONFIG_VIRT_IDX_DCACHE
+                dcache_flush_frame(page, frame);
+#endif
         }
 }