Changeset 2fc3b2d in mainline for kernel/generic/src/mm/backend_user.c

Timestamp:

2018-12-10T11:15:10Z (6 years ago)

Author:

jxsvoboda <5887334+jxsvoboda@…>

Branches:

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

Children:

247fdea

Parents:

de9a18e

git-author:

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

git-committer:

jxsvoboda <5887334+jxsvoboda@…> (2018-12-10 11:15:10)

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.");