ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-22 03:55:26 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base: test for races in thread-context allocation

Browse Source 
Related to #1024.
This commit is contained in:
Christian Helmuth 2014-01-10 17:32:20 +01:00
parent 40aa553fa9
commit f91b1b6258
1 changed files with 62 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

72
base/src/test/thread/main.cc
View File

@ -1,6 +1,7 @@
/*
* \brief Testing thread environment of a main thread
* \brief Testing thread library
* \author Alexander Boettcher
* \author Christian Helmuth
* \date 2013-12-13
*/
@ -15,13 +16,54 @@
#include <base/printf.h>
#include <base/thread.h>
using namespace Genode;
int main(int argc, char **argv)
template <int CHILDREN>
struct Helper : Thread<0x2000>
{
void *child[CHILDREN];
Helper() : Thread<0x2000>("helper") { }
void *context() const { return _context; }
void entry()
{
Helper helper[CHILDREN];
for (unsigned i = 0; i < CHILDREN; ++i)
child[i] = helper[i].context();
}
};
static void test_context_alloc()
{
/*
* Create HELPER threads, which concurrently create CHILDREN threads each.
* This most likely triggers any race in the thread-context allocation.
*/
enum { HELPER = 10, CHILDREN = 10 };
Helper<CHILDREN> helper[HELPER];
for (unsigned i = 0; i < HELPER; ++i) helper[i].start();
for (unsigned i = 0; i < HELPER; ++i) helper[i].join();
if (0)
for (unsigned i = 0; i < HELPER; ++i)
for (unsigned j = 0; j < CHILDREN; ++j)
printf("%p [%d.%d]\n", helper[i].child[j], i, j);
}
static void test_main_thread()
{
/* check wether my thread object exists */
Thread_base * myself = Genode::Thread_base::myself();
if (!myself) { return -1; }
if (!myself) { throw -1; }
printf("thread base %p\n", myself);
/* check wether my stack is inside the first context region */
@ -30,18 +72,28 @@ int main(int argc, char **argv)
addr_t const context_top = context_base + context_size;
addr_t const stack_top = (addr_t)myself->stack_top();
addr_t const stack_base = (addr_t)myself->stack_base();
if (stack_top <= context_base) { return -2; }
if (stack_top > context_top) { return -3; }
if (stack_base >= context_top) { return -4; }
if (stack_base < context_base) { return -5; }
if (stack_top <= context_base) { throw -2; }
if (stack_top > context_top) { throw -3; }
if (stack_base >= context_top) { throw -4; }
if (stack_base < context_base) { throw -5; }
printf("thread stack top %p\n", myself->stack_top());
printf("thread stack bottom %p\n", myself->stack_base());
/* check wether my stack pointer is inside my stack */
unsigned dummy = 0;
addr_t const sp = (addr_t)&dummy;
if (sp >= stack_top) { return -6; }
if (sp < stack_base) { return -7; }
if (sp >= stack_top) { throw -6; }
if (sp < stack_base) { throw -7; }
printf("thread stack pointer %p\n", (void *)sp);
return 0;
}
int main()
{
try {
test_main_thread();
test_context_alloc();
} catch (int error) {
return error;
}
}