This repository has been archived on 2021-05-26. You can view files and clone it, but cannot push or open issues or pull requests.
OS/pintos-env/pintos/tests/vm/mmap-over-data.c

22 lines
458 B
C
Raw Permalink Normal View History

/* Verifies that mapping over the data segment is disallowed. */
#include <stdint.h>
#include <round.h>
#include <syscall.h>
#include "tests/lib.h"
#include "tests/main.h"
static char x;
void
test_main (void)
{
uintptr_t x_page = ROUND_DOWN ((uintptr_t) &x, 4096);
int handle;
CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
CHECK (mmap (handle, (void *) x_page) == MAP_FAILED,
"try to mmap over data segment");
}