l4/pkg/valgrind/src/valgrind-3.6.0-svn/memcheck/tests/mempool2.c

   1
   2 // Simplified version of mempool.c, that is more oriented towards
   3 // checking that the description of invalid addresses is correct.
   4
   5 #include <stdio.h>
   6 #include <unistd.h>
   7 #include "tests/sys_mman.h"
   8 #include <assert.h>
   9 #include <stdlib.h>
  10
  11 #include "../memcheck.h"
  12
  13 #define SUPERBLOCK_SIZE 100000
  14 #define REDZONE_SIZE 8
  15
  16 typedef struct _level_list
  17 {
  18    struct _level_list *next;
  19    char *where;
  20    // Padding ensures the struct is the same size on 32-bit and 64-bit
  21    // machines.
  22    char padding[16 - 2*sizeof(char*)];
  23 } level_list;
  24
  25 typedef struct _pool {
  26    char *mem;
  27    char *where;
  28    level_list *levels;
  29    int size, left;
  30    // Padding ensures the struct is the same size on 32-bit and 64-bit
  31    // machines.
  32    char padding[24 - 3*sizeof(char*)];
  33 } pool;
  34
  35 pool *make_pool( int use_mmap )
  36 {
  37    pool *p;
  38
  39    if (use_mmap) {
  40       p = (pool *)mmap(0, sizeof(pool), PROT_READ|PROT_WRITE|PROT_EXEC,
  41                        MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
  42       p->where = p->mem = (char *)mmap(NULL, SUPERBLOCK_SIZE,
  43                                        PROT_READ|PROT_WRITE|PROT_EXEC,
  44                                        MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
  45    } else {
  46       p = (pool *)malloc(sizeof(pool));
  47       p->where = p->mem = (char *)malloc(SUPERBLOCK_SIZE);
  48    }
  49
  50    p->size = p->left = SUPERBLOCK_SIZE;
  51    p->levels = NULL;
  52    VALGRIND_MAKE_MEM_NOACCESS(p->where, SUPERBLOCK_SIZE);
  53    return p;
  54 }
  55
  56 void push(pool *p, int use_mmap )
  57 {
  58    level_list *l;
  59
  60    if (use_mmap)
  61       l = (level_list *)mmap(0, sizeof(level_list),
  62                              PROT_READ|PROT_WRITE|PROT_EXEC,
  63                              MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
  64    else
  65       l = (level_list *)malloc(sizeof(level_list));
  66
  67    l->next = p->levels;
  68    l->where = p->where;
  69    VALGRIND_CREATE_MEMPOOL(l->where, REDZONE_SIZE, 0);
  70    p->levels = l;
  71 }
  72
  73 void pop(pool *p, int use_mmap)
  74 {
  75    level_list *l = p->levels;
  76    p->levels = l->next;
  77    VALGRIND_DESTROY_MEMPOOL(l->where);
  78    VALGRIND_MAKE_MEM_NOACCESS(l->where, p->where-l->where);
  79    p->where = l->where;
  80    if (use_mmap)
  81       munmap(l, sizeof(level_list));
  82    else
  83       free(l);
  84 }
  85
  86 void destroy_pool(pool *p, int use_mmap)
  87 {
  88    level_list *l = p->levels;
  89
  90    while(l) {
  91       pop(p, use_mmap);
  92    }
  93    if (use_mmap) {
  94       munmap(p->mem, SUPERBLOCK_SIZE);
  95       munmap(p, sizeof(pool));
  96    } else {
  97       free(p->mem);
  98       free(p);
  99    }
 100 }
 101
 102 char *allocate(pool *p, int size)
 103 {
 104    char *where;
 105    p->left -= size + (REDZONE_SIZE*2);
 106    where = p->where + REDZONE_SIZE;
 107    p->where += size + (REDZONE_SIZE*2);
 108    VALGRIND_MEMPOOL_ALLOC(p->levels->where, where, size);
 109    return where;
 110 }
 111
 112 //-------------------------------------------------------------------------
 113 // Rest
 114 //-------------------------------------------------------------------------
 115
 116 void test(void)
 117 {
 118    char *x1, *x2;
 119    char res = 0;
 120
 121    // p1 is a malloc-backed pool
 122    pool *p1 = make_pool(0);
 123
 124    // p2 is a mmap-backed pool
 125    pool *p2 = make_pool(1);
 126
 127    push(p1, 0);
 128    push(p2, 1);
 129
 130    x1 = allocate(p1, 10);
 131    x2 = allocate(p2, 20);
 132
 133    fprintf(stderr,
 134            "\n------ out of range reads in malloc-backed pool ------\n\n");
 135    res += x1[-1];
 136    res += x1[10];
 137
 138    fprintf(stderr,
 139            "\n------ out of range reads in mmap-backed pool ------\n\n");
 140    res += x2[-1]; // invalid
 141    res += x2[20]; // invalid
 142
 143    fprintf(stderr,
 144            "\n------ read free in malloc-backed pool ------\n\n");
 145    VALGRIND_MEMPOOL_FREE(p1, x1);
 146    res += x1[5];
 147
 148    fprintf(stderr,
 149            "\n------ read free in mmap-backed pool ------\n\n");
 150    VALGRIND_MEMPOOL_FREE(p2, x2);
 151    res += x2[11];
 152
 153    fprintf(stderr,
 154            "\n------ double free in malloc-backed pool ------\n\n");
 155    VALGRIND_MEMPOOL_FREE(p1, x1);
 156
 157    fprintf(stderr,
 158            "\n------ double free in mmap-backed pool ------\n\n");
 159    VALGRIND_MEMPOOL_FREE(p2, x2);
 160
 161    // claim res is used, so gcc can't nuke this all
 162    __asm__ __volatile__("" : : "r"(res));
 163
 164    fprintf(stderr,
 165            "\n------ done ------\n\n");
 166    pop(p1, 0);
 167    pop(p2, 1);
 168    destroy_pool(p1, 0);
 169    destroy_pool(p2, 1);
 170 }
 171
 172 int main(void)
 173 {
 174    test();
 175    return 0;
 176 }