pintos-os.org Git - pintos-anon/blob - src/tests/vm/pt-grow-stk-sc.c

   1 /* This test checks that the stack is properly extended even if
   2    the first access to a stack location occurs inside a system
   3    call.
   4
   5    From Godmar Back. */
   6
   7 #include <string.h>
   8 #include <syscall.h>
   9 #include "tests/vm/sample.inc"
  10 #include "tests/lib.h"
  11 #include "tests/main.h"
  12
  13 void
  14 test_main (void)
  15 {
  16   int handle;
  17   int slen = strlen (sample);
  18   char buf2[65536];
  19
  20   /* Write file via write(). */
  21   CHECK (create ("sample.txt", slen), "create \"sample.txt\"");
  22   CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
  23   CHECK (write (handle, sample, slen) == slen, "write \"sample.txt\"");
  24   close (handle);
  25
  26   /* Read back via read(). */
  27   CHECK ((handle = open ("sample.txt")) > 1, "2nd open \"sample.txt\"");
  28   CHECK (read (handle, buf2 + 32768, slen) == slen, "read \"sample.txt\"");
  29
  30   CHECK (!memcmp (sample, buf2 + 32768, slen), "compare written data against read data");
  31   close (handle);
  32 }