pintos-os.org Git - pintos-anon/blob - src/tests/vm/mmap-write.c

   1 /* Writes to a file through a mapping, and unmaps the file,
   2    then reads the data in the file back using the read system
   3    call to verify. */
   4
   5 #include <string.h>
   6 #include <syscall.h>
   7 #include "tests/vm/sample.inc"
   8 #include "tests/lib.h"
   9 #include "tests/main.h"
  10
  11 #define ACTUAL ((void *) 0x10000000)
  12
  13 void
  14 test_main (void)
  15 {
  16   int handle;
  17   mapid_t map;
  18   char buf[1024];
  19
  20   /* Write file via mmap. */
  21   CHECK (create ("sample.txt", strlen (sample)), "create \"sample.txt\"");
  22   CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
  23   CHECK ((map = mmap (handle, ACTUAL)) != MAP_FAILED, "mmap \"sample.txt\"");
  24   memcpy (ACTUAL, sample, strlen (sample));
  25   munmap (map);
  26
  27   /* Read back via read(). */
  28   read (handle, buf, strlen (sample));
  29   CHECK (!memcmp (buf, sample, strlen (sample)),
  30          "compare read data against written data");
  31   close (handle);
  32 }