pintos-doxygen/html/mmap-zero_8c_source.html

/** Tries to map a zero-length file, which may or may not work but

   should not terminate the process or crash.

   Then dereferences the address that we tried to map,

   and the process must be terminated with -1 exit code. */


#include <syscall.h>

#include "tests/lib.h"

#include "tests/main.h"


void

test_main (void)

{

  char *data = (char *) 0x7f000000;

  int handle;


  CHECK (create ("empty", 0), "create empty file \"empty\"");

  CHECK ((handle = open ("empty")) > 1, "open \"empty\"");


  /* Calling mmap() might succeed or fail.  We don't care. */

  msg ("mmap \"empty\"");

  mmap (handle, data);


  /* Regardless of whether the call worked, *data should cause

     the process to be terminated. */

  fail ("unmapped memory is readable (%d)", *data);

}


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

create
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91

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

fail
void fail(const char *format,...)
Definition: lib.c:40

msg
void msg(const char *format,...)
Definition: lib.c:28

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)
Tries to map a zero-length file, which may or may not work but should not terminate the process or cr...
Definition: mmap-zero.c:11