dasharo/zephyr
0
0
Fork 0
mirror of https://github.com/Dasharo/zephyr.git synced 2026-03-06 14:57:20 -08:00
Code Issues Packages Projects Releases Wiki Activity

tests: dynamic_thread: cover thread_idx_free()

Browse Source 
Address a coverage gap in kernel/userspace.
Unfortunately, in the process of fixing this, a bug was
discovered, see #17023.

This test is user mode specific, filter the testcase
on whether userspace is available instead of ifdefing
the code.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie
2019-06-24 14:26:31 -07:00
committed by Andrew Boie
parent 777336ef38
commit d053ba59ac
3 changed files with 49 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/kernel/threads/dynamic_thread/prj.conf
View File

@@ -1,3 +1,3 @@
CONFIG_ZTEST=y
CONFIG_TEST_USERSPACE=y
CONFIG_HEAP_MEM_POOL_SIZE=2048
CONFIG_HEAP_MEM_POOL_SIZE=4096

64
tests/kernel/threads/dynamic_thread/src/main.c
View File

@@ -10,8 +10,6 @@
#define STACKSIZE (256 + CONFIG_TEST_EXTRA_STACKSIZE)
#if defined(CONFIG_USERSPACE) && defined(CONFIG_DYNAMIC_OBJECTS)
static K_THREAD_STACK_DEFINE(dyn_thread_stack, STACKSIZE);
static K_SEM_DEFINE(start_sem, 0, 1);
static K_SEM_DEFINE(end_sem, 0, 1);
@@ -106,25 +104,56 @@ static void test_dyn_thread_perms(void)
TC_PRINT("===== must have access denied on k_sem %p\n", &end_sem);
}
#else /* (CONFIG_USERSPACE && CONFIG_DYNAMIC_OBJECTS) */
static struct k_thread *dynamic_threads[CONFIG_MAX_THREAD_BYTES * 8];
static void prep(void)
static void test_thread_index_management(void)
{
}
int i, ctr = 0;
static void create_dynamic_thread(void)
{
TC_PRINT("Test skipped. Userspace and dynamic objects required.\n");
ztest_test_skip();
}
/* Create thread objects until we run out of ids */
while (true) {
struct k_thread *t = k_object_alloc(K_OBJ_THREAD);
static void test_dyn_thread_perms(void)
{
TC_PRINT("Test skipped. Userspace and dynamic objects required.\n");
ztest_test_skip();
}
if (t == NULL) {
break;
}
#endif /* !(CONFIG_USERSPACE && CONFIG_DYNAMIC_OBJECTS) */
dynamic_threads[ctr] = t;
ctr++;
}
zassert_true(ctr != 0, "unable to create any thread objects");
TC_PRINT("created %d thread objects\n", ctr);
/* Show that the above NULL return value wasn't because we ran out of
* heap space/
*/
void *blob = k_malloc(256);
zassert_true(blob != NULL, "out of heap memory");
/* Free one of the threads... */
k_object_free(dynamic_threads[0]);
/* And show that we can now create another one, the freed thread's
* index should have been garbage collected.
*/
dynamic_threads[0] = k_object_alloc(K_OBJ_THREAD);
zassert_true(dynamic_threads[0] != NULL,
"couldn't create thread object\n");
/* TODO: Implement a test that shows that thread IDs are properly
* recycled when a thread object is garbage collected due to references
* dropping to zero. For example, we ought to be able to exit here
* without calling k_object_free() on any of the threads we created
* here; their references would drop to zero and they would be
* automatically freed. However, it is known that the thread IDs are
* not properly recycled when this happens, see #17023.
*/
for (i = 0; i < ctr; i++) {
k_object_free(dynamic_threads[i]);
}
}
/**
* @ingroup kernel_thread_tests
@@ -160,7 +189,8 @@ void test_main(void)
ztest_test_suite(thread_dynamic,
ztest_unit_test(test_kernel_create_dyn_user_thread),
ztest_user_unit_test(test_user_create_dyn_user_thread),
ztest_unit_test(test_dyn_thread_perms)
ztest_unit_test(test_dyn_thread_perms),
ztest_unit_test(test_thread_index_management)
);
ztest_run_test_suite(thread_dynamic);
}

1
tests/kernel/threads/dynamic_thread/testcase.yaml
View File

@@ -1,3 +1,4 @@
tests:
kernel.threads.dynamic:
tags: kernel threads userspace ignore_faults
filter: CONFIG_ARCH_HAS_USERSPACE