Changeset 7be8d4d in mainline for kernel/generic/src/mm/backend_user.c

Timestamp:

2018-12-08T23:32:55Z (5 years ago)

Author:

Jiri Svoboda <jiri@…>

Children:

dd74b5b

Parents:

de0af3a

git-author:

Jiri Svoboda <jiri@…> (2018-12-05 18:39:06)

git-committer:

Jiri Svoboda <jiri@…> (2018-12-08 23:32:55)

Message:

Replace B+tree with ordered dict. for used space

Replace the use of B+tree with ordered dictionary for used space,
adding a little bit more abstraction around used space tracking.
This allows performing TLB shootdown while shrinking an area
in a single sequence. A generic used_space_remove() is no longer
needed.

File:

• kernel/generic/src/mm/backend_user.c (modified) (1 diff)

kernel/generic/src/mm/backend_user.c

@@ -147 +147 @@
         uintptr_t frame = IPC_GET_ARG1(data);
         page_mapping_insert(AS, upage, frame, as_area_get_flags(area));
-        if (!used_space_insert(area, upage, 1))
+        if (!used_space_insert(&area->used_space, upage, 1))
                 panic("Cannot insert used space.");