pintos-doxygen/html/mmap-overlap_8c_source.html

/** Verifies that overlapping memory mappings are disallowed. */


#include <syscall.h>

#include "tests/vm/sample.inc"

#include "tests/lib.h"

#include "tests/main.h"


void

test_main (void)

{

  char *start = (char *) 0x10000000;

  int fd[2];


  CHECK ((fd[0] = open ("zeros")) > 1, "open \"zeros\" once");

  CHECK (mmap (fd[0], start) != MAP_FAILED, "mmap \"zeros\"");

  CHECK ((fd[1] = open ("zeros")) > 1 && fd[0] != fd[1],

         "open \"zeros\" again");

  CHECK (mmap (fd[1], start + 4096) == MAP_FAILED,

         "try to mmap \"zeros\" again");

}

start
char * start[]
Insult.c.
Definition: insult.c:13

mmap
mapid_t mmap(int fd, void *addr)
Project 3 and optionally project 4.
Definition: syscall.c:145

open
int open(const char *file)
Definition: syscall.c:103

MAP_FAILED
#define MAP_FAILED
Definition: syscall.h:13

lib.h

CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29

main.h

test_main
void test_main(void)
Verifies that overlapping memory mappings are disallowed.
Definition: mmap-overlap.c:9