uspace/app/tester/mm/mapping1.c

   1 /*
   2  * Copyright (c) 2011 Vojtech Horky
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  *
   9  * - Redistributions of source code must retain the above copyright
  10  *   notice, this list of conditions and the following disclaimer.
  11  * - Redistributions in binary form must reproduce the above copyright
  12  *   notice, this list of conditions and the following disclaimer in the
  13  *   documentation and/or other materials provided with the distribution.
  14  * - The name of the author may not be used to endorse or promote products
  15  *   derived from this software without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  18  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  19  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  20  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  21  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  22  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27  */
  28
  29 #include <stdio.h>
  30 #include <stdlib.h>
  31 #include <stddef.h>
  32 #include <str_error.h>
  33 #include <as.h>
  34 #include <errno.h>
  35 #include "../tester.h"
  36
  37 #define BUFFER1_PAGES  4
  38 #define BUFFER2_PAGES  2
  39
  40 static void *create_as_area(size_t size)
  41 {
  42         TPRINTF("Creating AS area...\n");
  43
  44         void *result = as_area_create(AS_AREA_ANY, size,
  45             AS_AREA_READ | AS_AREA_WRITE | AS_AREA_CACHEABLE, AS_AREA_UNPAGED);
  46         if (result == AS_MAP_FAILED)
  47                 return NULL;
  48
  49         return result;
  50 }
  51
  52 static void touch_area(void *area, size_t size)
  53 {
  54         TPRINTF("Touching (faulting-in) AS area...\n");
  55
  56         char *ptr = (char *)area;
  57
  58         while (size > 0) {
  59                 *ptr = 0;
  60                 size--;
  61                 ptr++;
  62         }
  63 }
  64
  65 #define VERIFY_MAPPING(area, page_count, expected_rc) \
  66     verify_mapping((area), (page_count), (expected_rc), #expected_rc)
  67
  68 static bool verify_mapping(void *area, int page_count, errno_t expected_rc,
  69     const char *expected_rc_str)
  70 {
  71         TPRINTF("Verifying mapping (expected: %s).\n", expected_rc_str);
  72         int i;
  73         for (i = 0; i < page_count; i++) {
  74                 void *page_start = ((char *) area) + PAGE_SIZE * i;
  75                 errno_t rc = as_get_physical_mapping(page_start, NULL);
  76                 if (rc != expected_rc) {
  77                         TPRINTF("as_get_physical_mapping() = %s != %s\n",
  78                             str_error_name(rc), str_error_name(expected_rc));
  79                         return false;
  80                 }
  81         }
  82         return true;
  83 }
  84
  85 const char *test_mapping1(void)
  86 {
  87         errno_t rc;
  88
  89         size_t buffer1_len = BUFFER1_PAGES * PAGE_SIZE;
  90         size_t buffer2_len = BUFFER2_PAGES * PAGE_SIZE;
  91         void *buffer1 = create_as_area(buffer1_len);
  92         void *buffer2 = create_as_area(buffer2_len);
  93         if (!buffer1 || !buffer2) {
  94                 return "Cannot allocate memory";
  95         }
  96
  97         touch_area(buffer1, buffer1_len);
  98         touch_area(buffer2, buffer2_len);
  99
 100         /* Now verify that mapping to physical frames exist. */
 101         if (!VERIFY_MAPPING(buffer1, BUFFER1_PAGES, EOK)) {
 102                 return "Failed to find mapping (buffer1)";
 103         }
 104         if (!VERIFY_MAPPING(buffer2, BUFFER2_PAGES, EOK)) {
 105                 return "Failed to find mapping (buffer2)";
 106         }
 107
 108         /* Let's destroy the buffer1 area and access it again. */
 109         rc = as_area_destroy(buffer1);
 110         if (rc != EOK) {
 111                 return "Failed to destroy AS area";
 112         }
 113         if (!VERIFY_MAPPING(buffer1, BUFFER1_PAGES, ENOENT)) {
 114                 return "Mapping of destroyed area still exists";
 115         }
 116
 117         /* clean-up */
 118         rc = as_area_destroy(buffer2);
 119         if (rc != EOK) {
 120                 return "Failed to destroy AS area";
 121         }
 122
 123         return NULL;
 124 }