michaelh/zephyr
1
0
Fork 0
Code Releases Activity

userspace: introduce default memory domain

Browse source 
We make a policy change here: all threads are members of a
memory domain, never NULL. We introduce a default memory domain
for threads that haven't been assigned to or inherited another one.

Primary motivation for this change is better MMU support, as
one common configuration will be to maintain page tables at
the memory domain level.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2020-08-25 14:42:33 -07:00 • committed by Anas Nashif
commit 9bfc8d82d0
4 changed files with 31 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

29
kernel/mem_domain.c
View file

@ -11,6 +11,7 @@
#include <sys/__assert.h>
#include <stdbool.h>
#include <spinlock.h>
#include <sys/libc-hooks.h>
#define LOG_LEVEL CONFIG_KERNEL_LOG_LEVEL
#include <logging/log.h>
@ -19,6 +20,8 @@ LOG_MODULE_DECLARE(os);
static struct k_spinlock lock;
static uint8_t max_partitions;
struct k_mem_domain k_mem_domain_default;
#if __ASSERT_ON
static bool check_add_partition(struct k_mem_domain *domain,
struct k_mem_partition *part)
@ -225,12 +228,12 @@ void k_mem_domain_add_thread(struct k_mem_domain *domain, k_tid_t thread)
__ASSERT_NO_MSG(domain != NULL);
__ASSERT_NO_MSG(thread != NULL);
__ASSERT(thread->mem_domain_info.mem_domain == NULL,
"thread %p belongs to a different memory domain %p",
thread, thread->mem_domain_info.mem_domain);
key = k_spin_lock(&lock);
if (thread->mem_domain_info.mem_domain != NULL) {
sys_dlist_remove(&thread->mem_domain_info.mem_domain_q_node);
arch_mem_domain_thread_remove(thread);
}
sys_dlist_append(&domain->mem_domain_q,
&thread->mem_domain_info.mem_domain_q_node);
thread->mem_domain_info.mem_domain = domain;
@ -242,18 +245,7 @@ void k_mem_domain_add_thread(struct k_mem_domain *domain, k_tid_t thread)
void k_mem_domain_remove_thread(k_tid_t thread)
{
k_spinlock_key_t key;
__ASSERT_NO_MSG(thread != NULL);
__ASSERT(thread->mem_domain_info.mem_domain != NULL,
"thread does not belong to a memory domain");
key = k_spin_lock(&lock);
arch_mem_domain_thread_remove(thread);
sys_dlist_remove(&thread->mem_domain_info.mem_domain_q_node);
thread->mem_domain_info.mem_domain = NULL;
k_spin_unlock(&lock, key);
k_mem_domain_add_thread(&k_mem_domain_default, thread);
}
static int init_mem_domain_module(struct device *arg)
@ -268,6 +260,11 @@ static int init_mem_domain_module(struct device *arg)
*/
__ASSERT(max_partitions <= CONFIG_MAX_DOMAIN_PARTITIONS, "");
k_mem_domain_init(&k_mem_domain_default, 0, NULL);
#ifdef Z_LIBC_PARTITION_EXISTS
k_mem_domain_add_partition(&k_mem_domain_default, &z_libc_partition);
#endif /* Z_LIBC_PARTITION_EXISTS */
return 0;
}