Subversion Repositories c0or1k

/*

 * Main function for this container

 */

#include <l4lib/macros.h>

#include L4LIB_INC_ARCH(syslib.h)

#include L4LIB_INC_ARCH(syscalls.h)

#include <l4/api/space.h>

#include <l4lib/thread/thread.h>

/* Symbolic constants */

#define STACK_SIZE      0x1000

#define NTHREADS        10

/* Stack and utcb region */

static char stack[NTHREADS * STACK_SIZE];

DECLARE_UTCB_SPACE(utcb, NTHREADS)

/* Function definitions */

static void init_thread_lib(void)

{

        /* Thread lib is informed about the stack region. */

        l4_set_stack_params((unsigned long)stack,

                                (unsigned long)(stack + sizeof(stack)),

                                STACK_SIZE);

        /* Thread lib is informed about the utcb region. */

        l4_set_utcb_params((unsigned long)utcb,

                                (unsigned long)(utcb + sizeof(utcb)));

        /* Now, we are ready to make calls to the library. */

}

static int do_some_work1(void *arg)

{

        struct task_ids ids;

        int value = *(int *)arg;

        int j;

        l4_getid(&ids);

        printf("tid = %d is called with the value of (%d).\n",

                __raw_tid(ids.tid), value);

        /* Wait for a while before exiting */

        j = 0x400000;

        while (--j)

                ;

        return ids.tid;

}

static int do_some_work2(void *arg)

{

        struct task_ids ids;

        int value = *(int *)arg;

        int j;

        l4_getid(&ids);

        printf("tid = %d is called with the value of (%d).\n",

                __raw_tid(ids.tid), value);

        /* Wait for a while before exiting */

        j = 0x400000;

        while (--j)

                ;

        l4_thread_exit(ids.tid);

        /* Should never reach here */

        return 0;

}

static int thread_demo(void)

{

        struct task_ids ids[NTHREADS];

        int arg[NTHREADS];

        int j;

        memset(ids, 0, sizeof(ids));

        /* Create threads. */

        for (int i = 0; i < NTHREADS; ++i) {

                /* The argument passed to the thread in question. */

                arg[i] = i;

                /* Threads are created. */

                if (i % 2)

                        l4_thread_create(&ids[i], TC_SHARE_SPACE | TC_SHARE_PAGER,

                                         do_some_work1, (void *)&arg[i]);

                else

                        l4_thread_create(&ids[i], TC_SHARE_SPACE | TC_SHARE_PAGER,

                                         do_some_work2, (void *)&arg[i]);

                /* Wait for a while before launching another thread. */

                j = 0x100000;

                while (--j)

                        ;

        }

        /* Wait for them to exit. */

        for (int i = 0; i < NTHREADS; ++i)

                printf("tid = %d exited with (%d).\n", __raw_tid(ids[i].tid),

                       l4_thread_control(THREAD_WAIT, &ids[i]));

        return 0;

}

int main(void)

{

        /* Before using the thread lib, we have to initialize it. */

        init_thread_lib();

        /* Demonstrates the usage of the thread lib. */

        thread_demo();

        return 0;

}