Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2017 Intel Corporation |
| 3 | * |
| 4 | * SPDX-License-Identifier: Apache-2.0 |
| 5 | */ |
| 6 | |
| 7 | |
| 8 | #include <kernel.h> |
| 9 | #include <string.h> |
Anas Nashif | 6ecadb0 | 2019-06-26 10:33:45 -0400 | [diff] [blame] | 10 | #include <sys/math_extras.h> |
Anas Nashif | 1859244 | 2019-06-26 10:33:50 -0400 | [diff] [blame] | 11 | #include <sys/rb.h> |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 12 | #include <kernel_structs.h> |
Anas Nashif | ef281c4 | 2019-06-25 12:26:23 -0400 | [diff] [blame] | 13 | #include <sys/sys_io.h> |
Andrew Boie | 5cfa5dc | 2017-08-30 14:17:44 -0700 | [diff] [blame] | 14 | #include <ksched.h> |
Andrew Boie | a23c245 | 2017-09-13 18:04:21 -0700 | [diff] [blame] | 15 | #include <syscall.h> |
Andrew Boie | 7e3d3d7 | 2017-10-10 09:31:32 -0700 | [diff] [blame] | 16 | #include <syscall_handler.h> |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 17 | #include <device.h> |
| 18 | #include <init.h> |
Flavio Ceolin | 8a14817 | 2018-12-16 12:39:44 -0800 | [diff] [blame] | 19 | #include <stdbool.h> |
Andrew Boie | 17ce822 | 2019-02-21 13:44:54 -0800 | [diff] [blame] | 20 | #include <app_memory/app_memdomain.h> |
Anas Nashif | 447311e | 2019-06-26 10:33:44 -0400 | [diff] [blame] | 21 | #include <sys/libc-hooks.h> |
Anas Nashif | 0c9e280 | 2019-06-26 10:33:48 -0400 | [diff] [blame] | 22 | #include <sys/mutex.h> |
Andrew Boie | 800b35f | 2019-11-05 09:27:18 -0800 | [diff] [blame] | 23 | #include <inttypes.h> |
Daniel Leung | 2117a2a | 2021-07-12 13:33:32 -0700 | [diff] [blame] | 24 | #include <linker/linker-defs.h> |
Andrew Boie | 17ce822 | 2019-02-21 13:44:54 -0800 | [diff] [blame] | 25 | |
Andrew Boie | 7707060 | 2019-02-27 20:12:40 -0800 | [diff] [blame] | 26 | #ifdef Z_LIBC_PARTITION_EXISTS |
Andrew Boie | 17ce822 | 2019-02-21 13:44:54 -0800 | [diff] [blame] | 27 | K_APPMEM_PARTITION_DEFINE(z_libc_partition); |
Andrew Boie | 7707060 | 2019-02-27 20:12:40 -0800 | [diff] [blame] | 28 | #endif |
Anas Nashif | 0a0c8c8 | 2018-09-17 06:58:09 -0500 | [diff] [blame] | 29 | |
Andrew Boie | e686aef | 2019-02-27 14:41:45 -0800 | [diff] [blame] | 30 | /* TODO: Find a better place to put this. Since we pull the entire |
Anas Nashif | 6e27d6d | 2019-05-09 08:43:30 -0400 | [diff] [blame] | 31 | * lib..__modules__crypto__mbedtls.a globals into app shared memory |
| 32 | * section, we can't put this in zephyr_init.c of the mbedtls module. |
Andrew Boie | e686aef | 2019-02-27 14:41:45 -0800 | [diff] [blame] | 33 | */ |
| 34 | #ifdef CONFIG_MBEDTLS |
| 35 | K_APPMEM_PARTITION_DEFINE(k_mbedtls_partition); |
| 36 | #endif |
| 37 | |
Anas Nashif | 0a0c8c8 | 2018-09-17 06:58:09 -0500 | [diff] [blame] | 38 | #include <logging/log.h> |
Krzysztof Chruscinski | 3ed8083 | 2020-11-26 19:32:34 +0100 | [diff] [blame] | 39 | LOG_MODULE_DECLARE(os, CONFIG_KERNEL_LOG_LEVEL); |
Anas Nashif | 0a0c8c8 | 2018-09-17 06:58:09 -0500 | [diff] [blame] | 40 | |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 41 | /* The originally synchronization strategy made heavy use of recursive |
| 42 | * irq_locking, which ports poorly to spinlocks which are |
| 43 | * non-recursive. Rather than try to redesign as part of |
| 44 | * spinlockification, this uses multiple locks to preserve the |
| 45 | * original semantics exactly. The locks are named for the data they |
| 46 | * protect where possible, or just for the code that uses them where |
| 47 | * not. |
| 48 | */ |
| 49 | #ifdef CONFIG_DYNAMIC_OBJECTS |
| 50 | static struct k_spinlock lists_lock; /* kobj rbtree/dlist */ |
| 51 | static struct k_spinlock objfree_lock; /* k_object_free */ |
| 52 | #endif |
| 53 | static struct k_spinlock obj_lock; /* kobj struct data */ |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 54 | |
Andrew Boie | 2574219 | 2017-10-16 15:29:30 -0700 | [diff] [blame] | 55 | #define MAX_THREAD_BITS (CONFIG_MAX_THREAD_BYTES * 8) |
| 56 | |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 57 | #ifdef CONFIG_DYNAMIC_OBJECTS |
Kumar Gala | a1b77fd | 2020-05-27 11:26:57 -0500 | [diff] [blame] | 58 | extern uint8_t _thread_idx_map[CONFIG_MAX_THREAD_BYTES]; |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 59 | #endif |
| 60 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 61 | static void clear_perms_cb(struct z_object *ko, void *ctx_ptr); |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 62 | |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 63 | const char *otype_to_str(enum k_objects otype) |
| 64 | { |
Flavio Ceolin | 3259ac0 | 2018-09-11 13:14:21 -0700 | [diff] [blame] | 65 | const char *ret; |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 66 | /* -fdata-sections doesn't work right except in very very recent |
| 67 | * GCC and these literal strings would appear in the binary even if |
| 68 | * otype_to_str was omitted by the linker |
| 69 | */ |
Andrew Boie | cb1dd74 | 2019-10-01 10:28:32 -0700 | [diff] [blame] | 70 | #ifdef CONFIG_LOG |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 71 | switch (otype) { |
Leandro Pereira | 39dc7d0 | 2018-04-05 13:59:33 -0700 | [diff] [blame] | 72 | /* otype-to-str.h is generated automatically during build by |
| 73 | * gen_kobject_list.py |
| 74 | */ |
Andrew Boie | be919d3 | 2020-05-29 17:49:02 -0700 | [diff] [blame] | 75 | case K_OBJ_ANY: |
| 76 | ret = "generic"; |
| 77 | break; |
Leandro Pereira | 39dc7d0 | 2018-04-05 13:59:33 -0700 | [diff] [blame] | 78 | #include <otype-to-str.h> |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 79 | default: |
Flavio Ceolin | 3259ac0 | 2018-09-11 13:14:21 -0700 | [diff] [blame] | 80 | ret = "?"; |
| 81 | break; |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 82 | } |
| 83 | #else |
| 84 | ARG_UNUSED(otype); |
Maksim Masalski | d6c9d40 | 2021-05-24 16:30:32 +0800 | [diff] [blame] | 85 | ret = NULL; |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 86 | #endif |
Flavio Ceolin | 3259ac0 | 2018-09-11 13:14:21 -0700 | [diff] [blame] | 87 | return ret; |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 88 | } |
| 89 | |
Andrew Boie | 47f8fd1 | 2017-10-05 11:11:02 -0700 | [diff] [blame] | 90 | struct perm_ctx { |
| 91 | int parent_id; |
| 92 | int child_id; |
| 93 | struct k_thread *parent; |
| 94 | }; |
| 95 | |
Andrew Boie | 28be793 | 2020-03-11 10:56:19 -0700 | [diff] [blame] | 96 | #ifdef CONFIG_GEN_PRIV_STACKS |
| 97 | /* See write_gperf_table() in scripts/gen_kobject_list.py. The privilege |
| 98 | * mode stacks are allocated as an array. The base of the array is |
| 99 | * aligned to Z_PRIVILEGE_STACK_ALIGN, and all members must be as well. |
| 100 | */ |
Kumar Gala | a1b77fd | 2020-05-27 11:26:57 -0500 | [diff] [blame] | 101 | uint8_t *z_priv_stack_find(k_thread_stack_t *stack) |
Andrew Boie | 28be793 | 2020-03-11 10:56:19 -0700 | [diff] [blame] | 102 | { |
| 103 | struct z_object *obj = z_object_find(stack); |
| 104 | |
| 105 | __ASSERT(obj != NULL, "stack object not found"); |
| 106 | __ASSERT(obj->type == K_OBJ_THREAD_STACK_ELEMENT, |
| 107 | "bad stack object"); |
| 108 | |
| 109 | return obj->data.stack_data->priv; |
| 110 | } |
| 111 | #endif /* CONFIG_GEN_PRIV_STACKS */ |
| 112 | |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 113 | #ifdef CONFIG_DYNAMIC_OBJECTS |
Daniel Leung | fe477ea | 2020-12-15 13:50:48 -0800 | [diff] [blame] | 114 | |
| 115 | /* |
| 116 | * Note that dyn_obj->data is where the kernel object resides |
| 117 | * so it is the one that actually needs to be aligned. |
| 118 | * Due to the need to get the the fields inside struct dyn_obj |
| 119 | * from kernel object pointers (i.e. from data[]), the offset |
| 120 | * from data[] needs to be fixed at build time. Therefore, |
| 121 | * data[] is declared with __aligned(), such that when dyn_obj |
| 122 | * is allocated with alignment, data[] is also aligned. |
| 123 | * Due to this requirement, data[] needs to be aligned with |
| 124 | * the maximum alignment needed for all kernel objects |
| 125 | * (hence the following DYN_OBJ_DATA_ALIGN). |
| 126 | */ |
| 127 | #ifdef ARCH_DYMANIC_OBJ_K_THREAD_ALIGNMENT |
| 128 | #define DYN_OBJ_DATA_ALIGN_K_THREAD (ARCH_DYMANIC_OBJ_K_THREAD_ALIGNMENT) |
| 129 | #else |
| 130 | #define DYN_OBJ_DATA_ALIGN_K_THREAD (sizeof(void *)) |
| 131 | #endif |
| 132 | |
| 133 | #define DYN_OBJ_DATA_ALIGN \ |
| 134 | MAX(DYN_OBJ_DATA_ALIGN_K_THREAD, (sizeof(void *))) |
| 135 | |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 136 | struct dyn_obj { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 137 | struct z_object kobj; |
Daniel Leung | abfe045 | 2021-04-27 11:49:30 -0700 | [diff] [blame] | 138 | sys_dnode_t dobj_list; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 139 | struct rbnode node; /* must be immediately before data member */ |
Daniel Leung | fe477ea | 2020-12-15 13:50:48 -0800 | [diff] [blame] | 140 | |
| 141 | /* The object itself */ |
| 142 | uint8_t data[] __aligned(DYN_OBJ_DATA_ALIGN_K_THREAD); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 143 | }; |
| 144 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 145 | extern struct z_object *z_object_gperf_find(const void *obj); |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 146 | extern void z_object_gperf_wordlist_foreach(_wordlist_cb_func_t func, |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 147 | void *context); |
| 148 | |
Flavio Ceolin | 02ed85b | 2018-09-20 15:43:57 -0700 | [diff] [blame] | 149 | static bool node_lessthan(struct rbnode *a, struct rbnode *b); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 150 | |
Andrew Boie | 97bf001 | 2018-04-24 17:01:37 -0700 | [diff] [blame] | 151 | /* |
| 152 | * Red/black tree of allocated kernel objects, for reasonably fast lookups |
| 153 | * based on object pointer values. |
| 154 | */ |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 155 | static struct rbtree obj_rb_tree = { |
| 156 | .lessthan_fn = node_lessthan |
| 157 | }; |
| 158 | |
Andrew Boie | 97bf001 | 2018-04-24 17:01:37 -0700 | [diff] [blame] | 159 | /* |
| 160 | * Linked list of allocated kernel objects, for iteration over all allocated |
| 161 | * objects (and potentially deleting them during iteration). |
| 162 | */ |
| 163 | static sys_dlist_t obj_list = SYS_DLIST_STATIC_INIT(&obj_list); |
| 164 | |
| 165 | /* |
| 166 | * TODO: Write some hash table code that will replace both obj_rb_tree |
| 167 | * and obj_list. |
| 168 | */ |
| 169 | |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 170 | static size_t obj_size_get(enum k_objects otype) |
| 171 | { |
Flavio Ceolin | 3259ac0 | 2018-09-11 13:14:21 -0700 | [diff] [blame] | 172 | size_t ret; |
| 173 | |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 174 | switch (otype) { |
Andrew Boie | 47fa8eb | 2018-05-16 10:11:17 -0700 | [diff] [blame] | 175 | #include <otype-to-size.h> |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 176 | default: |
Tomasz Bursztyka | e18fcbb | 2020-04-30 20:33:38 +0200 | [diff] [blame] | 177 | ret = sizeof(const struct device); |
Flavio Ceolin | 3259ac0 | 2018-09-11 13:14:21 -0700 | [diff] [blame] | 178 | break; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 179 | } |
Flavio Ceolin | 3259ac0 | 2018-09-11 13:14:21 -0700 | [diff] [blame] | 180 | |
| 181 | return ret; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 182 | } |
| 183 | |
Daniel Leung | fe477ea | 2020-12-15 13:50:48 -0800 | [diff] [blame] | 184 | static size_t obj_align_get(enum k_objects otype) |
| 185 | { |
| 186 | size_t ret; |
| 187 | |
| 188 | switch (otype) { |
| 189 | case K_OBJ_THREAD: |
| 190 | #ifdef ARCH_DYMANIC_OBJ_K_THREAD_ALIGNMENT |
| 191 | ret = ARCH_DYMANIC_OBJ_K_THREAD_ALIGNMENT; |
| 192 | #else |
| 193 | ret = sizeof(void *); |
| 194 | #endif |
| 195 | break; |
| 196 | default: |
| 197 | ret = sizeof(void *); |
| 198 | break; |
| 199 | } |
| 200 | |
| 201 | return ret; |
| 202 | } |
| 203 | |
Flavio Ceolin | 02ed85b | 2018-09-20 15:43:57 -0700 | [diff] [blame] | 204 | static bool node_lessthan(struct rbnode *a, struct rbnode *b) |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 205 | { |
| 206 | return a < b; |
| 207 | } |
| 208 | |
| 209 | static inline struct dyn_obj *node_to_dyn_obj(struct rbnode *node) |
| 210 | { |
| 211 | return CONTAINER_OF(node, struct dyn_obj, node); |
| 212 | } |
| 213 | |
Daniel Leung | fe477ea | 2020-12-15 13:50:48 -0800 | [diff] [blame] | 214 | static inline struct rbnode *dyn_obj_to_node(void *obj) |
| 215 | { |
| 216 | struct dyn_obj *dobj = CONTAINER_OF(obj, struct dyn_obj, data); |
| 217 | |
| 218 | return &dobj->node; |
| 219 | } |
| 220 | |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 221 | static struct dyn_obj *dyn_object_find(void *obj) |
| 222 | { |
| 223 | struct rbnode *node; |
| 224 | struct dyn_obj *ret; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 225 | |
| 226 | /* For any dynamically allocated kernel object, the object |
Naiyuan Tian | bc3fda4 | 2021-08-23 23:32:58 +0800 | [diff] [blame] | 227 | * pointer is just a member of the containing struct dyn_obj, |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 228 | * so just a little arithmetic is necessary to locate the |
| 229 | * corresponding struct rbnode |
| 230 | */ |
Daniel Leung | fe477ea | 2020-12-15 13:50:48 -0800 | [diff] [blame] | 231 | node = dyn_obj_to_node(obj); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 232 | |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 233 | k_spinlock_key_t key = k_spin_lock(&lists_lock); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 234 | if (rb_contains(&obj_rb_tree, node)) { |
| 235 | ret = node_to_dyn_obj(node); |
| 236 | } else { |
| 237 | ret = NULL; |
| 238 | } |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 239 | k_spin_unlock(&lists_lock, key); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 240 | |
| 241 | return ret; |
| 242 | } |
| 243 | |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 244 | /** |
| 245 | * @internal |
| 246 | * |
| 247 | * @brief Allocate a new thread index for a new thread. |
| 248 | * |
| 249 | * This finds an unused thread index that can be assigned to a new |
| 250 | * thread. If too many threads have been allocated, the kernel will |
| 251 | * run out of indexes and this function will fail. |
| 252 | * |
| 253 | * Note that if an unused index is found, that index will be marked as |
| 254 | * used after return of this function. |
| 255 | * |
| 256 | * @param tidx The new thread index if successful |
| 257 | * |
Flavio Ceolin | 8a14817 | 2018-12-16 12:39:44 -0800 | [diff] [blame] | 258 | * @return true if successful, false if failed |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 259 | **/ |
Andrew Boie | 428afe5 | 2019-11-18 10:20:16 -0800 | [diff] [blame] | 260 | static bool thread_idx_alloc(uintptr_t *tidx) |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 261 | { |
| 262 | int i; |
| 263 | int idx; |
| 264 | int base; |
| 265 | |
| 266 | base = 0; |
| 267 | for (i = 0; i < CONFIG_MAX_THREAD_BYTES; i++) { |
| 268 | idx = find_lsb_set(_thread_idx_map[i]); |
| 269 | |
Flavio Ceolin | 76b3518 | 2018-12-16 12:48:29 -0800 | [diff] [blame] | 270 | if (idx != 0) { |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 271 | *tidx = base + (idx - 1); |
| 272 | |
| 273 | sys_bitfield_clear_bit((mem_addr_t)_thread_idx_map, |
| 274 | *tidx); |
| 275 | |
| 276 | /* Clear permission from all objects */ |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 277 | z_object_wordlist_foreach(clear_perms_cb, |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 278 | (void *)*tidx); |
| 279 | |
Flavio Ceolin | 8a14817 | 2018-12-16 12:39:44 -0800 | [diff] [blame] | 280 | return true; |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 281 | } |
| 282 | |
| 283 | base += 8; |
| 284 | } |
| 285 | |
Flavio Ceolin | 8a14817 | 2018-12-16 12:39:44 -0800 | [diff] [blame] | 286 | return false; |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 287 | } |
| 288 | |
| 289 | /** |
| 290 | * @internal |
| 291 | * |
| 292 | * @brief Free a thread index. |
| 293 | * |
| 294 | * This frees a thread index so it can be used by another |
| 295 | * thread. |
| 296 | * |
| 297 | * @param tidx The thread index to be freed |
| 298 | **/ |
Andrew Boie | 428afe5 | 2019-11-18 10:20:16 -0800 | [diff] [blame] | 299 | static void thread_idx_free(uintptr_t tidx) |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 300 | { |
| 301 | /* To prevent leaked permission when index is recycled */ |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 302 | z_object_wordlist_foreach(clear_perms_cb, (void *)tidx); |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 303 | |
| 304 | sys_bitfield_set_bit((mem_addr_t)_thread_idx_map, tidx); |
| 305 | } |
| 306 | |
Daniel Leung | fe477ea | 2020-12-15 13:50:48 -0800 | [diff] [blame] | 307 | struct z_object *z_dynamic_object_aligned_create(size_t align, size_t size) |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 308 | { |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 309 | struct dyn_obj *dyn; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 310 | |
Daniel Leung | fe477ea | 2020-12-15 13:50:48 -0800 | [diff] [blame] | 311 | dyn = z_thread_aligned_alloc(align, sizeof(*dyn) + size); |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 312 | if (dyn == NULL) { |
Andrew Boie | be919d3 | 2020-05-29 17:49:02 -0700 | [diff] [blame] | 313 | LOG_ERR("could not allocate kernel object, out of memory"); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 314 | return NULL; |
| 315 | } |
| 316 | |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 317 | dyn->kobj.name = &dyn->data; |
| 318 | dyn->kobj.type = K_OBJ_ANY; |
| 319 | dyn->kobj.flags = 0; |
| 320 | (void)memset(dyn->kobj.perms, 0, CONFIG_MAX_THREAD_BYTES); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 321 | |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 322 | k_spinlock_key_t key = k_spin_lock(&lists_lock); |
| 323 | |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 324 | rb_insert(&obj_rb_tree, &dyn->node); |
Daniel Leung | abfe045 | 2021-04-27 11:49:30 -0700 | [diff] [blame] | 325 | sys_dlist_append(&obj_list, &dyn->dobj_list); |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 326 | k_spin_unlock(&lists_lock, key); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 327 | |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 328 | return &dyn->kobj; |
Andrew Boie | be919d3 | 2020-05-29 17:49:02 -0700 | [diff] [blame] | 329 | } |
| 330 | |
| 331 | void *z_impl_k_object_alloc(enum k_objects otype) |
| 332 | { |
| 333 | struct z_object *zo; |
Ioannis Glaropoulos | 8ada29e | 2020-06-11 09:53:01 +0200 | [diff] [blame] | 334 | uintptr_t tidx = 0; |
Andrew Boie | be919d3 | 2020-05-29 17:49:02 -0700 | [diff] [blame] | 335 | |
| 336 | if (otype <= K_OBJ_ANY || otype >= K_OBJ_LAST) { |
| 337 | LOG_ERR("bad object type %d requested", otype); |
| 338 | return NULL; |
| 339 | } |
| 340 | |
| 341 | switch (otype) { |
| 342 | case K_OBJ_THREAD: |
| 343 | if (!thread_idx_alloc(&tidx)) { |
| 344 | LOG_ERR("out of free thread indexes"); |
| 345 | return NULL; |
| 346 | } |
| 347 | break; |
| 348 | /* The following are currently not allowed at all */ |
| 349 | case K_OBJ_FUTEX: /* Lives in user memory */ |
| 350 | case K_OBJ_SYS_MUTEX: /* Lives in user memory */ |
| 351 | case K_OBJ_THREAD_STACK_ELEMENT: /* No aligned allocator */ |
| 352 | case K_OBJ_NET_SOCKET: /* Indeterminate size */ |
| 353 | LOG_ERR("forbidden object type '%s' requested", |
| 354 | otype_to_str(otype)); |
| 355 | return NULL; |
| 356 | default: |
| 357 | /* Remainder within bounds are permitted */ |
| 358 | break; |
| 359 | } |
| 360 | |
Daniel Leung | fe477ea | 2020-12-15 13:50:48 -0800 | [diff] [blame] | 361 | zo = z_dynamic_object_aligned_create(obj_align_get(otype), |
| 362 | obj_size_get(otype)); |
Andrew Boie | be919d3 | 2020-05-29 17:49:02 -0700 | [diff] [blame] | 363 | if (zo == NULL) { |
| 364 | return NULL; |
| 365 | } |
| 366 | zo->type = otype; |
| 367 | |
| 368 | if (otype == K_OBJ_THREAD) { |
| 369 | zo->data.thread_id = tidx; |
| 370 | } |
| 371 | |
| 372 | /* The allocating thread implicitly gets permission on kernel objects |
| 373 | * that it allocates |
| 374 | */ |
| 375 | z_thread_perms_set(zo, _current); |
| 376 | |
| 377 | /* Activates reference counting logic for automatic disposal when |
| 378 | * all permissions have been revoked |
| 379 | */ |
| 380 | zo->flags |= K_OBJ_FLAG_ALLOC; |
| 381 | |
| 382 | return zo->name; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 383 | } |
| 384 | |
| 385 | void k_object_free(void *obj) |
| 386 | { |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 387 | struct dyn_obj *dyn; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 388 | |
| 389 | /* This function is intentionally not exposed to user mode. |
| 390 | * There's currently no robust way to track that an object isn't |
| 391 | * being used by some other thread |
| 392 | */ |
| 393 | |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 394 | k_spinlock_key_t key = k_spin_lock(&objfree_lock); |
| 395 | |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 396 | dyn = dyn_object_find(obj); |
| 397 | if (dyn != NULL) { |
| 398 | rb_remove(&obj_rb_tree, &dyn->node); |
Daniel Leung | abfe045 | 2021-04-27 11:49:30 -0700 | [diff] [blame] | 399 | sys_dlist_remove(&dyn->dobj_list); |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 400 | |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 401 | if (dyn->kobj.type == K_OBJ_THREAD) { |
| 402 | thread_idx_free(dyn->kobj.data.thread_id); |
Daniel Leung | e58b654 | 2018-08-08 11:23:16 -0700 | [diff] [blame] | 403 | } |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 404 | } |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 405 | k_spin_unlock(&objfree_lock, key); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 406 | |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 407 | if (dyn != NULL) { |
| 408 | k_free(dyn); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 409 | } |
| 410 | } |
| 411 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 412 | struct z_object *z_object_find(const void *obj) |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 413 | { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 414 | struct z_object *ret; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 415 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 416 | ret = z_object_gperf_find(obj); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 417 | |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 418 | if (ret == NULL) { |
Flavio Ceolin | 22236c9 | 2018-10-05 12:24:09 -0700 | [diff] [blame] | 419 | struct dyn_obj *dynamic_obj; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 420 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 421 | /* The cast to pointer-to-non-const violates MISRA |
| 422 | * 11.8 but is justified since we know dynamic objects |
| 423 | * were not declared with a const qualifier. |
| 424 | */ |
| 425 | dynamic_obj = dyn_object_find((void *)obj); |
Flavio Ceolin | 22236c9 | 2018-10-05 12:24:09 -0700 | [diff] [blame] | 426 | if (dynamic_obj != NULL) { |
| 427 | ret = &dynamic_obj->kobj; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 428 | } |
| 429 | } |
| 430 | |
| 431 | return ret; |
| 432 | } |
| 433 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 434 | void z_object_wordlist_foreach(_wordlist_cb_func_t func, void *context) |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 435 | { |
Andrew Boie | 97bf001 | 2018-04-24 17:01:37 -0700 | [diff] [blame] | 436 | struct dyn_obj *obj, *next; |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 437 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 438 | z_object_gperf_wordlist_foreach(func, context); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 439 | |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 440 | k_spinlock_key_t key = k_spin_lock(&lists_lock); |
| 441 | |
Daniel Leung | abfe045 | 2021-04-27 11:49:30 -0700 | [diff] [blame] | 442 | SYS_DLIST_FOR_EACH_CONTAINER_SAFE(&obj_list, obj, next, dobj_list) { |
Andrew Boie | 97bf001 | 2018-04-24 17:01:37 -0700 | [diff] [blame] | 443 | func(&obj->kobj, context); |
| 444 | } |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 445 | k_spin_unlock(&lists_lock, key); |
Andrew Boie | 31bdfc0 | 2017-11-08 16:38:03 -0800 | [diff] [blame] | 446 | } |
| 447 | #endif /* CONFIG_DYNAMIC_OBJECTS */ |
| 448 | |
Andrew Boie | f2734ab | 2020-03-11 06:37:42 -0700 | [diff] [blame] | 449 | static unsigned int thread_index_get(struct k_thread *thread) |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 450 | { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 451 | struct z_object *ko; |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 452 | |
Anas Nashif | 9e3e7f6 | 2019-12-19 08:19:45 -0500 | [diff] [blame] | 453 | ko = z_object_find(thread); |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 454 | |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 455 | if (ko == NULL) { |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 456 | return -1; |
| 457 | } |
| 458 | |
Andrew Boie | f2734ab | 2020-03-11 06:37:42 -0700 | [diff] [blame] | 459 | return ko->data.thread_id; |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 460 | } |
| 461 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 462 | static void unref_check(struct z_object *ko, uintptr_t index) |
Andrew Boie | 337e743 | 2018-04-13 14:44:00 -0700 | [diff] [blame] | 463 | { |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 464 | k_spinlock_key_t key = k_spin_lock(&obj_lock); |
Andrew Boie | 7ecc359 | 2019-01-31 12:09:06 -0800 | [diff] [blame] | 465 | |
| 466 | sys_bitfield_clear_bit((mem_addr_t)&ko->perms, index); |
| 467 | |
| 468 | #ifdef CONFIG_DYNAMIC_OBJECTS |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 469 | struct dyn_obj *dyn = |
Andrew Boie | 7ecc359 | 2019-01-31 12:09:06 -0800 | [diff] [blame] | 470 | CONTAINER_OF(ko, struct dyn_obj, kobj); |
| 471 | |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 472 | if ((ko->flags & K_OBJ_FLAG_ALLOC) == 0U) { |
Andrew Boie | 7ecc359 | 2019-01-31 12:09:06 -0800 | [diff] [blame] | 473 | goto out; |
| 474 | } |
| 475 | |
Andrew Boie | 337e743 | 2018-04-13 14:44:00 -0700 | [diff] [blame] | 476 | for (int i = 0; i < CONFIG_MAX_THREAD_BYTES; i++) { |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 477 | if (ko->perms[i] != 0U) { |
Andrew Boie | 7ecc359 | 2019-01-31 12:09:06 -0800 | [diff] [blame] | 478 | goto out; |
Andrew Boie | 337e743 | 2018-04-13 14:44:00 -0700 | [diff] [blame] | 479 | } |
| 480 | } |
| 481 | |
| 482 | /* This object has no more references. Some objects may have |
| 483 | * dynamically allocated resources, require cleanup, or need to be |
| 484 | * marked as uninitailized when all references are gone. What |
| 485 | * specifically needs to happen depends on the object type. |
| 486 | */ |
| 487 | switch (ko->type) { |
Andrew Boie | 44fe812 | 2018-04-12 17:38:12 -0700 | [diff] [blame] | 488 | case K_OBJ_PIPE: |
| 489 | k_pipe_cleanup((struct k_pipe *)ko->name); |
| 490 | break; |
Andrew Boie | 0fe789f | 2018-04-12 18:35:56 -0700 | [diff] [blame] | 491 | case K_OBJ_MSGQ: |
| 492 | k_msgq_cleanup((struct k_msgq *)ko->name); |
| 493 | break; |
Andrew Boie | f3bee95 | 2018-05-02 17:44:39 -0700 | [diff] [blame] | 494 | case K_OBJ_STACK: |
| 495 | k_stack_cleanup((struct k_stack *)ko->name); |
| 496 | break; |
Andrew Boie | 337e743 | 2018-04-13 14:44:00 -0700 | [diff] [blame] | 497 | default: |
Flavio Ceolin | 3259ac0 | 2018-09-11 13:14:21 -0700 | [diff] [blame] | 498 | /* Nothing to do */ |
Andrew Boie | 337e743 | 2018-04-13 14:44:00 -0700 | [diff] [blame] | 499 | break; |
| 500 | } |
Andrew Boie | 97bf001 | 2018-04-24 17:01:37 -0700 | [diff] [blame] | 501 | |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 502 | rb_remove(&obj_rb_tree, &dyn->node); |
Daniel Leung | abfe045 | 2021-04-27 11:49:30 -0700 | [diff] [blame] | 503 | sys_dlist_remove(&dyn->dobj_list); |
Spoorthy Priya Yerabolu | 9247e8b | 2020-08-25 03:11:16 -0700 | [diff] [blame] | 504 | k_free(dyn); |
Andrew Boie | 7ecc359 | 2019-01-31 12:09:06 -0800 | [diff] [blame] | 505 | out: |
Andrew Boie | 97bf001 | 2018-04-24 17:01:37 -0700 | [diff] [blame] | 506 | #endif |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 507 | k_spin_unlock(&obj_lock, key); |
Andrew Boie | 337e743 | 2018-04-13 14:44:00 -0700 | [diff] [blame] | 508 | } |
| 509 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 510 | static void wordlist_cb(struct z_object *ko, void *ctx_ptr) |
Andrew Boie | 47f8fd1 | 2017-10-05 11:11:02 -0700 | [diff] [blame] | 511 | { |
| 512 | struct perm_ctx *ctx = (struct perm_ctx *)ctx_ptr; |
| 513 | |
| 514 | if (sys_bitfield_test_bit((mem_addr_t)&ko->perms, ctx->parent_id) && |
| 515 | (struct k_thread *)ko->name != ctx->parent) { |
| 516 | sys_bitfield_set_bit((mem_addr_t)&ko->perms, ctx->child_id); |
| 517 | } |
| 518 | } |
| 519 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 520 | void z_thread_perms_inherit(struct k_thread *parent, struct k_thread *child) |
Andrew Boie | 47f8fd1 | 2017-10-05 11:11:02 -0700 | [diff] [blame] | 521 | { |
| 522 | struct perm_ctx ctx = { |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 523 | thread_index_get(parent), |
| 524 | thread_index_get(child), |
Andrew Boie | 47f8fd1 | 2017-10-05 11:11:02 -0700 | [diff] [blame] | 525 | parent |
| 526 | }; |
| 527 | |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 528 | if ((ctx.parent_id != -1) && (ctx.child_id != -1)) { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 529 | z_object_wordlist_foreach(wordlist_cb, &ctx); |
Andrew Boie | 47f8fd1 | 2017-10-05 11:11:02 -0700 | [diff] [blame] | 530 | } |
| 531 | } |
| 532 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 533 | void z_thread_perms_set(struct z_object *ko, struct k_thread *thread) |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 534 | { |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 535 | int index = thread_index_get(thread); |
| 536 | |
| 537 | if (index != -1) { |
| 538 | sys_bitfield_set_bit((mem_addr_t)&ko->perms, index); |
Andrew Boie | 2acfcd6 | 2017-08-30 14:31:03 -0700 | [diff] [blame] | 539 | } |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 540 | } |
| 541 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 542 | void z_thread_perms_clear(struct z_object *ko, struct k_thread *thread) |
Andrew Boie | a89bf01 | 2017-10-09 14:47:55 -0700 | [diff] [blame] | 543 | { |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 544 | int index = thread_index_get(thread); |
| 545 | |
| 546 | if (index != -1) { |
Andy Ross | 8a3d57b | 2019-02-06 09:10:36 -0800 | [diff] [blame] | 547 | sys_bitfield_clear_bit((mem_addr_t)&ko->perms, index); |
Andrew Boie | 7ecc359 | 2019-01-31 12:09:06 -0800 | [diff] [blame] | 548 | unref_check(ko, index); |
Andrew Boie | a89bf01 | 2017-10-09 14:47:55 -0700 | [diff] [blame] | 549 | } |
| 550 | } |
| 551 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 552 | static void clear_perms_cb(struct z_object *ko, void *ctx_ptr) |
Andrew Boie | 04caa67 | 2017-10-13 13:57:07 -0700 | [diff] [blame] | 553 | { |
Andrew Boie | 428afe5 | 2019-11-18 10:20:16 -0800 | [diff] [blame] | 554 | uintptr_t id = (uintptr_t)ctx_ptr; |
Andrew Boie | 04caa67 | 2017-10-13 13:57:07 -0700 | [diff] [blame] | 555 | |
Andrew Boie | 7ecc359 | 2019-01-31 12:09:06 -0800 | [diff] [blame] | 556 | unref_check(ko, id); |
Andrew Boie | 04caa67 | 2017-10-13 13:57:07 -0700 | [diff] [blame] | 557 | } |
| 558 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 559 | void z_thread_perms_all_clear(struct k_thread *thread) |
Andrew Boie | 04caa67 | 2017-10-13 13:57:07 -0700 | [diff] [blame] | 560 | { |
Andrew Boie | 428afe5 | 2019-11-18 10:20:16 -0800 | [diff] [blame] | 561 | uintptr_t index = thread_index_get(thread); |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 562 | |
Carlo Caione | f161223 | 2020-10-12 12:10:45 +0200 | [diff] [blame] | 563 | if ((int)index != -1) { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 564 | z_object_wordlist_foreach(clear_perms_cb, (void *)index); |
Andrew Boie | 04caa67 | 2017-10-13 13:57:07 -0700 | [diff] [blame] | 565 | } |
| 566 | } |
| 567 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 568 | static int thread_perms_test(struct z_object *ko) |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 569 | { |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 570 | int index; |
| 571 | |
Patrik Flykt | 24d7143 | 2019-03-26 19:57:45 -0600 | [diff] [blame] | 572 | if ((ko->flags & K_OBJ_FLAG_PUBLIC) != 0U) { |
Andrew Boie | 04caa67 | 2017-10-13 13:57:07 -0700 | [diff] [blame] | 573 | return 1; |
| 574 | } |
| 575 | |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 576 | index = thread_index_get(_current); |
| 577 | if (index != -1) { |
| 578 | return sys_bitfield_test_bit((mem_addr_t)&ko->perms, index); |
Andrew Boie | 2acfcd6 | 2017-08-30 14:31:03 -0700 | [diff] [blame] | 579 | } |
| 580 | return 0; |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 581 | } |
| 582 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 583 | static void dump_permission_error(struct z_object *ko) |
Andrew Boie | 7e3d3d7 | 2017-10-10 09:31:32 -0700 | [diff] [blame] | 584 | { |
Andrew Boie | 818a96d | 2017-11-03 09:00:35 -0700 | [diff] [blame] | 585 | int index = thread_index_get(_current); |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 586 | LOG_ERR("thread %p (%d) does not have permission on %s %p", |
| 587 | _current, index, |
| 588 | otype_to_str(ko->type), ko->name); |
| 589 | LOG_HEXDUMP_ERR(ko->perms, sizeof(ko->perms), "permission bitmap"); |
Andrew Boie | 7e3d3d7 | 2017-10-10 09:31:32 -0700 | [diff] [blame] | 590 | } |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 591 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 592 | void z_dump_object_error(int retval, const void *obj, struct z_object *ko, |
Andrew Boie | 7e3d3d7 | 2017-10-10 09:31:32 -0700 | [diff] [blame] | 593 | enum k_objects otype) |
| 594 | { |
| 595 | switch (retval) { |
| 596 | case -EBADF: |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 597 | LOG_ERR("%p is not a valid %s", obj, otype_to_str(otype)); |
Andrew Boie | be919d3 | 2020-05-29 17:49:02 -0700 | [diff] [blame] | 598 | if (ko == NULL) { |
| 599 | LOG_ERR("address is not a known kernel object"); |
| 600 | } else { |
| 601 | LOG_ERR("address is actually a %s", |
| 602 | otype_to_str(ko->type)); |
| 603 | } |
Andrew Boie | 7e3d3d7 | 2017-10-10 09:31:32 -0700 | [diff] [blame] | 604 | break; |
| 605 | case -EPERM: |
| 606 | dump_permission_error(ko); |
| 607 | break; |
| 608 | case -EINVAL: |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 609 | LOG_ERR("%p used before initialization", obj); |
Andrew Boie | 7e3d3d7 | 2017-10-10 09:31:32 -0700 | [diff] [blame] | 610 | break; |
Andrew Boie | a2b40ec | 2017-10-15 14:22:08 -0700 | [diff] [blame] | 611 | case -EADDRINUSE: |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 612 | LOG_ERR("%p %s in use", obj, otype_to_str(otype)); |
Flavio Ceolin | a3cea50 | 2018-09-10 22:54:55 -0700 | [diff] [blame] | 613 | break; |
| 614 | default: |
| 615 | /* Not handled error */ |
| 616 | break; |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 617 | } |
Andrew Boie | 3b5ae80 | 2017-10-04 12:10:32 -0700 | [diff] [blame] | 618 | } |
| 619 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 620 | void z_impl_k_object_access_grant(const void *object, struct k_thread *thread) |
Andrew Boie | 3b5ae80 | 2017-10-04 12:10:32 -0700 | [diff] [blame] | 621 | { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 622 | struct z_object *ko = z_object_find(object); |
Andrew Boie | 3b5ae80 | 2017-10-04 12:10:32 -0700 | [diff] [blame] | 623 | |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 624 | if (ko != NULL) { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 625 | z_thread_perms_set(ko, thread); |
Andrew Boie | 3b5ae80 | 2017-10-04 12:10:32 -0700 | [diff] [blame] | 626 | } |
| 627 | } |
| 628 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 629 | void k_object_access_revoke(const void *object, struct k_thread *thread) |
Andrew Boie | a89bf01 | 2017-10-09 14:47:55 -0700 | [diff] [blame] | 630 | { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 631 | struct z_object *ko = z_object_find(object); |
Andrew Boie | a89bf01 | 2017-10-09 14:47:55 -0700 | [diff] [blame] | 632 | |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 633 | if (ko != NULL) { |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 634 | z_thread_perms_clear(ko, thread); |
Andrew Boie | a89bf01 | 2017-10-09 14:47:55 -0700 | [diff] [blame] | 635 | } |
| 636 | } |
| 637 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 638 | void z_impl_k_object_release(const void *object) |
Andrew Boie | e9cfc54 | 2018-04-13 13:15:28 -0700 | [diff] [blame] | 639 | { |
| 640 | k_object_access_revoke(object, _current); |
| 641 | } |
| 642 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 643 | void k_object_access_all_grant(const void *object) |
Andrew Boie | 3b5ae80 | 2017-10-04 12:10:32 -0700 | [diff] [blame] | 644 | { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 645 | struct z_object *ko = z_object_find(object); |
Andrew Boie | 3b5ae80 | 2017-10-04 12:10:32 -0700 | [diff] [blame] | 646 | |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 647 | if (ko != NULL) { |
Andrew Boie | 04caa67 | 2017-10-13 13:57:07 -0700 | [diff] [blame] | 648 | ko->flags |= K_OBJ_FLAG_PUBLIC; |
Andrew Boie | 3b5ae80 | 2017-10-04 12:10:32 -0700 | [diff] [blame] | 649 | } |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 650 | } |
| 651 | |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 652 | int z_object_validate(struct z_object *ko, enum k_objects otype, |
Andrew Boie | a2b40ec | 2017-10-15 14:22:08 -0700 | [diff] [blame] | 653 | enum _obj_init_check init) |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 654 | { |
Flavio Ceolin | ea716bf | 2018-09-20 16:30:45 -0700 | [diff] [blame] | 655 | if (unlikely((ko == NULL) || |
| 656 | (otype != K_OBJ_ANY && ko->type != otype))) { |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 657 | return -EBADF; |
| 658 | } |
| 659 | |
Andrew Boie | 3a0f684 | 2017-10-09 12:46:25 -0700 | [diff] [blame] | 660 | /* Manipulation of any kernel objects by a user thread requires that |
| 661 | * thread be granted access first, even for uninitialized objects |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 662 | */ |
Flavio Ceolin | 2df02cc | 2019-03-14 14:32:45 -0700 | [diff] [blame] | 663 | if (unlikely(thread_perms_test(ko) == 0)) { |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 664 | return -EPERM; |
| 665 | } |
| 666 | |
Andrew Boie | a2b40ec | 2017-10-15 14:22:08 -0700 | [diff] [blame] | 667 | /* Initialization state checks. _OBJ_INIT_ANY, we don't care */ |
| 668 | if (likely(init == _OBJ_INIT_TRUE)) { |
Naiyuan Tian | bc3fda4 | 2021-08-23 23:32:58 +0800 | [diff] [blame] | 669 | /* Object MUST be initialized */ |
Patrik Flykt | 21358ba | 2019-03-28 14:57:54 -0600 | [diff] [blame] | 670 | if (unlikely((ko->flags & K_OBJ_FLAG_INITIALIZED) == 0U)) { |
Andrew Boie | a2b40ec | 2017-10-15 14:22:08 -0700 | [diff] [blame] | 671 | return -EINVAL; |
| 672 | } |
Maksim Masalski | 929956d | 2021-05-17 16:58:20 +0800 | [diff] [blame] | 673 | } else if (init == _OBJ_INIT_FALSE) { /* _OBJ_INIT_FALSE case */ |
Andrew Boie | a2b40ec | 2017-10-15 14:22:08 -0700 | [diff] [blame] | 674 | /* Object MUST NOT be initialized */ |
Patrik Flykt | 21358ba | 2019-03-28 14:57:54 -0600 | [diff] [blame] | 675 | if (unlikely((ko->flags & K_OBJ_FLAG_INITIALIZED) != 0U)) { |
Andrew Boie | a2b40ec | 2017-10-15 14:22:08 -0700 | [diff] [blame] | 676 | return -EADDRINUSE; |
| 677 | } |
Flavio Ceolin | 3e97acc | 2018-09-25 11:24:28 -0700 | [diff] [blame] | 678 | } else { |
| 679 | /* _OBJ_INIT_ANY */ |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 680 | } |
| 681 | |
| 682 | return 0; |
| 683 | } |
| 684 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 685 | void z_object_init(const void *obj) |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 686 | { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 687 | struct z_object *ko; |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 688 | |
| 689 | /* By the time we get here, if the caller was from userspace, all the |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 690 | * necessary checks have been done in z_object_validate(), which takes |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 691 | * place before the object is initialized. |
| 692 | * |
| 693 | * This function runs after the object has been initialized and |
| 694 | * finalizes it |
| 695 | */ |
| 696 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 697 | ko = z_object_find(obj); |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 698 | if (ko == NULL) { |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 699 | /* Supervisor threads can ignore rules about kernel objects |
| 700 | * and may declare them on stacks, etc. Such objects will never |
| 701 | * be usable from userspace, but we shouldn't explode. |
| 702 | */ |
| 703 | return; |
| 704 | } |
| 705 | |
Andrew Boie | 7e3d3d7 | 2017-10-10 09:31:32 -0700 | [diff] [blame] | 706 | /* Allows non-initialization system calls to be made on this object */ |
Andrew Boie | 945af95 | 2017-08-22 13:15:23 -0700 | [diff] [blame] | 707 | ko->flags |= K_OBJ_FLAG_INITIALIZED; |
| 708 | } |
| 709 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 710 | void z_object_recycle(const void *obj) |
Andrew Boie | 83fda7c | 2018-07-31 14:39:11 -0700 | [diff] [blame] | 711 | { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 712 | struct z_object *ko = z_object_find(obj); |
Andrew Boie | 83fda7c | 2018-07-31 14:39:11 -0700 | [diff] [blame] | 713 | |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 714 | if (ko != NULL) { |
Flavio Ceolin | da49f2e | 2018-09-11 19:09:03 -0700 | [diff] [blame] | 715 | (void)memset(ko->perms, 0, sizeof(ko->perms)); |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 716 | z_thread_perms_set(ko, k_current_get()); |
Andrew Boie | 83fda7c | 2018-07-31 14:39:11 -0700 | [diff] [blame] | 717 | ko->flags |= K_OBJ_FLAG_INITIALIZED; |
| 718 | } |
| 719 | } |
| 720 | |
Peter Bigot | 2fcf762 | 2020-05-14 05:06:08 -0500 | [diff] [blame] | 721 | void z_object_uninit(const void *obj) |
Andrew Boie | 4a9a424 | 2017-10-05 12:21:36 -0700 | [diff] [blame] | 722 | { |
Andrew Boie | 2dc2ecf | 2020-03-11 07:13:07 -0700 | [diff] [blame] | 723 | struct z_object *ko; |
Andrew Boie | 4a9a424 | 2017-10-05 12:21:36 -0700 | [diff] [blame] | 724 | |
Patrik Flykt | 4344e27 | 2019-03-08 14:19:05 -0700 | [diff] [blame] | 725 | /* See comments in z_object_init() */ |
| 726 | ko = z_object_find(obj); |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 727 | if (ko == NULL) { |
Andrew Boie | 4a9a424 | 2017-10-05 12:21:36 -0700 | [diff] [blame] | 728 | return; |
| 729 | } |
| 730 | |
| 731 | ko->flags &= ~K_OBJ_FLAG_INITIALIZED; |
| 732 | } |
| 733 | |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 734 | /* |
| 735 | * Copy to/from helper functions used in syscall handlers |
| 736 | */ |
Andrew Boie | 526807c | 2019-03-28 15:17:31 -0700 | [diff] [blame] | 737 | void *z_user_alloc_from_copy(const void *src, size_t size) |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 738 | { |
| 739 | void *dst = NULL; |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 740 | |
| 741 | /* Does the caller in user mode have access to read this memory? */ |
| 742 | if (Z_SYSCALL_MEMORY_READ(src, size)) { |
| 743 | goto out_err; |
| 744 | } |
| 745 | |
| 746 | dst = z_thread_malloc(size); |
Flavio Ceolin | 4218d5f | 2018-09-17 09:39:51 -0700 | [diff] [blame] | 747 | if (dst == NULL) { |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 748 | LOG_ERR("out of thread resource pool memory (%zu)", size); |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 749 | goto out_err; |
| 750 | } |
| 751 | |
Flavio Ceolin | 6699423 | 2018-08-13 15:17:04 -0700 | [diff] [blame] | 752 | (void)memcpy(dst, src, size); |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 753 | out_err: |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 754 | return dst; |
| 755 | } |
| 756 | |
Andrew Boie | 526807c | 2019-03-28 15:17:31 -0700 | [diff] [blame] | 757 | static int user_copy(void *dst, const void *src, size_t size, bool to_user) |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 758 | { |
| 759 | int ret = EFAULT; |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 760 | |
| 761 | /* Does the caller in user mode have access to this memory? */ |
| 762 | if (to_user ? Z_SYSCALL_MEMORY_WRITE(dst, size) : |
| 763 | Z_SYSCALL_MEMORY_READ(src, size)) { |
| 764 | goto out_err; |
| 765 | } |
| 766 | |
Flavio Ceolin | 6699423 | 2018-08-13 15:17:04 -0700 | [diff] [blame] | 767 | (void)memcpy(dst, src, size); |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 768 | ret = 0; |
| 769 | out_err: |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 770 | return ret; |
| 771 | } |
| 772 | |
Andrew Boie | 526807c | 2019-03-28 15:17:31 -0700 | [diff] [blame] | 773 | int z_user_from_copy(void *dst, const void *src, size_t size) |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 774 | { |
| 775 | return user_copy(dst, src, size, false); |
| 776 | } |
| 777 | |
Andrew Boie | 526807c | 2019-03-28 15:17:31 -0700 | [diff] [blame] | 778 | int z_user_to_copy(void *dst, const void *src, size_t size) |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 779 | { |
| 780 | return user_copy(dst, src, size, true); |
| 781 | } |
| 782 | |
Andrew Boie | 526807c | 2019-03-28 15:17:31 -0700 | [diff] [blame] | 783 | char *z_user_string_alloc_copy(const char *src, size_t maxlen) |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 784 | { |
Jakob Olesen | c8708d9 | 2019-05-07 10:17:35 -0700 | [diff] [blame] | 785 | size_t actual_len; |
Flavio Ceolin | 0866d18 | 2018-08-14 17:57:08 -0700 | [diff] [blame] | 786 | int err; |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 787 | char *ret = NULL; |
| 788 | |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 789 | actual_len = z_user_string_nlen(src, maxlen, &err); |
Flavio Ceolin | 76b3518 | 2018-12-16 12:48:29 -0800 | [diff] [blame] | 790 | if (err != 0) { |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 791 | goto out; |
| 792 | } |
| 793 | if (actual_len == maxlen) { |
| 794 | /* Not NULL terminated */ |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 795 | LOG_ERR("string too long %p (%zu)", src, actual_len); |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 796 | goto out; |
| 797 | } |
Jakob Olesen | c8708d9 | 2019-05-07 10:17:35 -0700 | [diff] [blame] | 798 | if (size_add_overflow(actual_len, 1, &actual_len)) { |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 799 | LOG_ERR("overflow"); |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 800 | goto out; |
| 801 | } |
| 802 | |
| 803 | ret = z_user_alloc_from_copy(src, actual_len); |
Andrew Boie | 09dc929 | 2019-04-12 12:32:34 -0700 | [diff] [blame] | 804 | |
| 805 | /* Someone may have modified the source string during the above |
| 806 | * checks. Ensure what we actually copied is still terminated |
| 807 | * properly. |
| 808 | */ |
| 809 | if (ret != NULL) { |
Anas Nashif | bbbc38b | 2021-03-29 10:03:49 -0400 | [diff] [blame] | 810 | ret[actual_len - 1U] = '\0'; |
Andrew Boie | 09dc929 | 2019-04-12 12:32:34 -0700 | [diff] [blame] | 811 | } |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 812 | out: |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 813 | return ret; |
| 814 | } |
| 815 | |
Andrew Boie | 526807c | 2019-03-28 15:17:31 -0700 | [diff] [blame] | 816 | int z_user_string_copy(char *dst, const char *src, size_t maxlen) |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 817 | { |
Jakob Olesen | c8708d9 | 2019-05-07 10:17:35 -0700 | [diff] [blame] | 818 | size_t actual_len; |
Flavio Ceolin | 0866d18 | 2018-08-14 17:57:08 -0700 | [diff] [blame] | 819 | int ret, err; |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 820 | |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 821 | actual_len = z_user_string_nlen(src, maxlen, &err); |
Flavio Ceolin | 76b3518 | 2018-12-16 12:48:29 -0800 | [diff] [blame] | 822 | if (err != 0) { |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 823 | ret = EFAULT; |
| 824 | goto out; |
| 825 | } |
| 826 | if (actual_len == maxlen) { |
| 827 | /* Not NULL terminated */ |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 828 | LOG_ERR("string too long %p (%zu)", src, actual_len); |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 829 | ret = EINVAL; |
| 830 | goto out; |
| 831 | } |
Jakob Olesen | c8708d9 | 2019-05-07 10:17:35 -0700 | [diff] [blame] | 832 | if (size_add_overflow(actual_len, 1, &actual_len)) { |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 833 | LOG_ERR("overflow"); |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 834 | ret = EINVAL; |
| 835 | goto out; |
| 836 | } |
| 837 | |
| 838 | ret = z_user_from_copy(dst, src, actual_len); |
Andrew Boie | 09dc929 | 2019-04-12 12:32:34 -0700 | [diff] [blame] | 839 | |
| 840 | /* See comment above in z_user_string_alloc_copy() */ |
| 841 | dst[actual_len - 1] = '\0'; |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 842 | out: |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 843 | return ret; |
| 844 | } |
| 845 | |
| 846 | /* |
Andrew Boie | 4ce652e | 2019-02-22 16:08:44 -0800 | [diff] [blame] | 847 | * Application memory region initialization |
| 848 | */ |
| 849 | |
| 850 | extern char __app_shmem_regions_start[]; |
| 851 | extern char __app_shmem_regions_end[]; |
| 852 | |
Tomasz Bursztyka | e18fcbb | 2020-04-30 20:33:38 +0200 | [diff] [blame] | 853 | static int app_shmem_bss_zero(const struct device *unused) |
Andrew Boie | 4ce652e | 2019-02-22 16:08:44 -0800 | [diff] [blame] | 854 | { |
| 855 | struct z_app_region *region, *end; |
| 856 | |
Andrew Boie | fb1c294 | 2020-03-16 11:20:08 -0700 | [diff] [blame] | 857 | ARG_UNUSED(unused); |
| 858 | |
Andrew Boie | 4ce652e | 2019-02-22 16:08:44 -0800 | [diff] [blame] | 859 | end = (struct z_app_region *)&__app_shmem_regions_end; |
| 860 | region = (struct z_app_region *)&__app_shmem_regions_start; |
| 861 | |
| 862 | for ( ; region < end; region++) { |
Daniel Leung | 2117a2a | 2021-07-12 13:33:32 -0700 | [diff] [blame] | 863 | #if defined(CONFIG_DEMAND_PAGING) && !defined(CONFIG_LINKER_GENERIC_SECTIONS_PRESENT_AT_BOOT) |
| 864 | /* When BSS sections are not present at boot, we need to wait for |
| 865 | * paging mechanism to be initialized before we can zero out BSS. |
| 866 | */ |
| 867 | extern bool z_sys_post_kernel; |
| 868 | bool do_clear = z_sys_post_kernel; |
| 869 | |
| 870 | /* During pre-kernel init, z_sys_post_kernel == false, but |
| 871 | * with pinned rodata region, so clear. Otherwise skip. |
| 872 | * In post-kernel init, z_sys_post_kernel == true, |
| 873 | * skip those in pinned rodata region as they have already |
| 874 | * been cleared and possibly already in use. Otherwise clear. |
| 875 | */ |
| 876 | if (((uint8_t *)region->bss_start >= (uint8_t *)_app_smem_pinned_start) && |
| 877 | ((uint8_t *)region->bss_start < (uint8_t *)_app_smem_pinned_end)) { |
| 878 | do_clear = !do_clear; |
| 879 | } |
| 880 | |
| 881 | if (do_clear) |
| 882 | #endif /* CONFIG_DEMAND_PAGING && !CONFIG_LINKER_GENERIC_SECTIONS_PRESENT_AT_BOOT */ |
| 883 | { |
| 884 | (void)memset(region->bss_start, 0, region->bss_size); |
| 885 | } |
Andrew Boie | 4ce652e | 2019-02-22 16:08:44 -0800 | [diff] [blame] | 886 | } |
Andrew Boie | fb1c294 | 2020-03-16 11:20:08 -0700 | [diff] [blame] | 887 | |
| 888 | return 0; |
Andrew Boie | 4ce652e | 2019-02-22 16:08:44 -0800 | [diff] [blame] | 889 | } |
| 890 | |
Andrew Boie | fb1c294 | 2020-03-16 11:20:08 -0700 | [diff] [blame] | 891 | SYS_INIT(app_shmem_bss_zero, PRE_KERNEL_1, CONFIG_KERNEL_INIT_PRIORITY_DEFAULT); |
| 892 | |
Daniel Leung | 2117a2a | 2021-07-12 13:33:32 -0700 | [diff] [blame] | 893 | #if defined(CONFIG_DEMAND_PAGING) && !defined(CONFIG_LINKER_GENERIC_SECTIONS_PRESENT_AT_BOOT) |
| 894 | /* When BSS sections are not present at boot, we need to wait for |
| 895 | * paging mechanism to be initialized before we can zero out BSS. |
| 896 | */ |
| 897 | SYS_INIT(app_shmem_bss_zero, POST_KERNEL, CONFIG_KERNEL_INIT_PRIORITY_DEFAULT); |
| 898 | #endif /* CONFIG_DEMAND_PAGING && !CONFIG_LINKER_GENERIC_SECTIONS_PRESENT_AT_BOOT */ |
| 899 | |
Andrew Boie | 4ce652e | 2019-02-22 16:08:44 -0800 | [diff] [blame] | 900 | /* |
Andrew Boie | c8188f6 | 2018-06-22 14:31:51 -0700 | [diff] [blame] | 901 | * Default handlers if otherwise unimplemented |
| 902 | */ |
| 903 | |
Andrew Boie | 800b35f | 2019-11-05 09:27:18 -0800 | [diff] [blame] | 904 | static uintptr_t handler_bad_syscall(uintptr_t bad_id, uintptr_t arg2, |
| 905 | uintptr_t arg3, uintptr_t arg4, |
| 906 | uintptr_t arg5, uintptr_t arg6, |
| 907 | void *ssf) |
Andrew Boie | f564986 | 2017-09-08 12:10:12 -0700 | [diff] [blame] | 908 | { |
Andrew Boie | 800b35f | 2019-11-05 09:27:18 -0800 | [diff] [blame] | 909 | LOG_ERR("Bad system call id %" PRIuPTR " invoked", bad_id); |
Andrew Boie | 64c8189 | 2020-05-28 16:24:09 -0700 | [diff] [blame] | 910 | arch_syscall_oops(ssf); |
Andrew Boie | 777336e | 2019-06-24 09:35:55 -0700 | [diff] [blame] | 911 | CODE_UNREACHABLE; /* LCOV_EXCL_LINE */ |
Andrew Boie | f564986 | 2017-09-08 12:10:12 -0700 | [diff] [blame] | 912 | } |
| 913 | |
Andrew Boie | 800b35f | 2019-11-05 09:27:18 -0800 | [diff] [blame] | 914 | static uintptr_t handler_no_syscall(uintptr_t arg1, uintptr_t arg2, |
| 915 | uintptr_t arg3, uintptr_t arg4, |
| 916 | uintptr_t arg5, uintptr_t arg6, void *ssf) |
Andrew Boie | fa94ee7 | 2017-09-28 16:54:35 -0700 | [diff] [blame] | 917 | { |
Andrew Boie | 99b3f86 | 2019-09-30 14:25:23 -0700 | [diff] [blame] | 918 | LOG_ERR("Unimplemented system call"); |
Andrew Boie | 64c8189 | 2020-05-28 16:24:09 -0700 | [diff] [blame] | 919 | arch_syscall_oops(ssf); |
Andrew Boie | 777336e | 2019-06-24 09:35:55 -0700 | [diff] [blame] | 920 | CODE_UNREACHABLE; /* LCOV_EXCL_LINE */ |
Andrew Boie | fa94ee7 | 2017-09-28 16:54:35 -0700 | [diff] [blame] | 921 | } |
Andrew Boie | fc273c0 | 2017-09-23 12:51:23 -0700 | [diff] [blame] | 922 | |
Andrew Boie | fa94ee7 | 2017-09-28 16:54:35 -0700 | [diff] [blame] | 923 | #include <syscall_dispatch.c> |