Subversion Repositories c0or1k

/*

 * Test l4_getid system call.

 *

 * Copyright (C) 2010 B Labs Ltd.

 *

 * Author: Bahadir Balban

 */

#include <l4lib/macros.h>

#include L4LIB_INC_ARCH(syslib.h)

#include L4LIB_INC_ARCH(syscalls.h)

#include <l4lib/lib/thread.h>

#include <tests.h>

int thread_getid_nullptr(void *arg)

{

        return l4_getid(0);

}

/*

 * Pass nullptr to l4_getid syscall

 *

 * This exercise proves that the kernel does not crash

 * and validly sends a page fault to offending thread's

 * pager.

 */

int test_getid_nullptr(void)

{

        struct l4_thread *thread;

        int err;

        /*

         * Create a new thread who will attempt

         * passing null ptr argument

         */

        if ((err = thread_create(thread_getid_nullptr,

                                 0, TC_SHARE_SPACE,

                                 &thread)) < 0) {

                dbg_printf("Thread create failed. "

                           "err=%d\n", err);

                return err;

        }

        dbg_printf("Thread created successfully. "

                   "tid=%d\n", thread->ids.tid);

        /*

         * Listen on thread for its page fault

         * ipc. (Recap: Upon illegal access, the kernel sends

         * a page fault ipc message to thread's pager)

         */

        if ((err = l4_receive(thread->ids.tid)) < 0) {

                dbg_printf("%s: listening on page fault for "

                           "nullptr thread failed. "

                           "err = %d\n", __FUNCTION__, err);

                return err;

        }

        /*

         * Verify ipc was a page fault ipc

         */

        if (l4_get_tag() != L4_IPC_TAG_PFAULT) {

                dbg_printf("%s: Nullptr thread ipc does not "

                           "have expected page fault tag.\n"

                           "tag=%d, expected=%d\n",

                           __FUNCTION__, l4_get_tag(),

                           L4_IPC_TAG_PFAULT);

                return -1;

        }

        /*

         * Destroy the thread.

         */

        if ((err = thread_destroy(thread)) < 0) {

                dbg_printf("%s: Failed destroying thread. "

                           "err= %d, tid = %d\n",

                           __FUNCTION__, err,

                           thread->ids.tid);

                return err;

        }

        return 0;

}

int test_api_getid(void)

{

        struct task_ids ids;

        int err;

        /*

         * Test valid getid request

         */

        if ((err = l4_getid(&ids)) < 0) {

                dbg_printf("Getid request failed. err=%d\n", err);

                goto out_err;

        }

        /* Check returned results */

        if (ids.tid != 1 || ids.spid != 1 || ids.tgid != 1) {

                dbg_printf("Getid results not as expected. "

                           "tid=%d, spid=%d, tgid=%d\n",

                           ids.tid, ids.spid, ids.tgid);

                err = -1;

                goto out_err;

        }

        /*

         * Test null pointer argument

         */

        if ((err = test_getid_nullptr()) < 0) {

                dbg_printf("l4_getid() null pointer test failed."

                           " err=%d\n", err);

                goto out_err;

        }

        printf("GETID:                         -- PASSED --\n");

        return 0;

out_err:

        printf("GETID:                         -- FAILED --\n");

        return err;

}