summaryrefslogtreecommitdiffstats
path: root/src/usr/testcore/kernel/vmmbasetest.H
blob: 3e1e2fdcd061684943924609fe9247a8e2049b5f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
//  IBM_PROLOG_BEGIN_TAG
//  This is an automatically generated prolog.
//
//  $Source: src/usr/testcore/kernel/vmmbasetest.H $
//
//  IBM CONFIDENTIAL
//
//  COPYRIGHT International Business Machines Corp. 2011
//
//  p1
//
//  Object Code Only (OCO) source materials
//  Licensed Internal Code Source Materials
//  IBM HostBoot Licensed Internal Code
//
//  The source code for this program is not published or other-
//  wise divested of its trade secrets, irrespective of what has
//  been deposited with the U.S. Copyright Office.
//
//  Origin: 30
//
//  IBM_PROLOG_END
/** @file vmmbasetest.H
 *  @brief Test cases for permission settings on the base block of the VMM.
 */
#ifndef __KERNEL_VMMBASETEST_H
#define __KERNEL_VMMBASETEST_H

#include <cxxtest/TestSuite.H>
#include <sys/task.h>
#include <kernel/console.H>
#include <arch/ppc.H>
#include <sys/mm.h>

class VmmBaseTest : public CxxTest::TestSuite
{
    public:
        static volatile int rc;

        void testNullAccess()
        {
            rc = 0; sync();
            printk("Test case: Expect to see uncaught exception! ");
            task_create(readFromNULL, NULL);
            while (rc == 0) task_yield();
            task_yield();
            if (rc == -1)
            {
                TS_FAIL("Write to NULL not caught.");
            }

            rc = 0; sync();
            printk("Test case: Expect to see uncaught exception! ");
            task_create(writeToNULL, NULL);
            while (rc == 0) task_yield();
            task_yield();
            if (rc == -1)
            {
                TS_FAIL("Write to NULL not caught.");
            }
        }

        void testWriteToKernelCode()
        {
            rc = 0; sync();
            printk("Test case: Expect to see uncaught exception! ");
            task_create(writeToKernelCode, NULL);
            while (rc == 0) task_yield();
            task_yield();
            if (rc == -1)
            {
                TS_FAIL("Write to kernel code not caught.");
            }
        }

        void testExecuteKernelDataSpace()
        {
            // @TODO. VMM not ready.
        }

        void testWriteModuleText()
        {
            // @TODO. VMM not ready.
        }

        void testExecuteModuleDataSpace()
        {
            // @TODO. VMM not ready.
        }

        void testCastOutPages()
        {
            //uint64_t vmemaddr = (1ul * 1024 * 1024 * 1024)/2;
            //uint64_t vmsize = 4ul * 1024 * 500;
            //printk("Test case: cast out pages\n");
            //printk("Set up virtual block at %p\n",(void*)vmemaddr);
            //size_t rc = mm_alloc_block(NULL, // need a msgq?
            //                           (void*)vmemaddr,
            //                           vmsize);
            //if(rc) printk("RC=%ld\n",rc);
            // touch something on every page
            //for(uint64_t i = vmemaddr; i < (vmemaddr + vmsize); i += PAGESIZE)
            //{
            //    if(*((char *)i) != 'U') printk("Yiks %p is %c\n",(void*)i,*((char *)i));
            //}

            // see printk buffer for cast out pages
        }

    private:

        static void readFromNULL(void* unused)
        {
            rc = 1; sync();
            printk("%lx", (*(uint64_t*)NULL)); sync();
            rc = -1; sync();
            task_end();
        }

        static void writeToNULL(void* unused)
        {
            rc = 1; sync();
            (*(uint64_t*)NULL) = 0x12345678; sync();
            rc = -1; sync();
            task_end();
        }

        static void writeToKernelCode(void* unused)
        {
            rc = 1; sync();
            (*(*(uint64_t**)&printk)) = 0x12345678; sync();
            rc = -1; sync();
            task_end();
        }

};
volatile int VmmBaseTest::rc = 0;

#endif
OpenPOWER on IntegriCloud