pintos-os.org Git - pintos-anon/blob - grading/userprog/read-boundary.c

   1 #include <inttypes.h>
   2 #include <stdio.h>
   3 #include <string.h>
   4 #include <syscall.h>
   5 #include "sample.inc"
   6
   7 static char *
   8 mk_boundary_string (const char *src)
   9 {
  10   static char dst[8192];
  11   char *p = dst + (4096 - (uintptr_t) dst % 4096 - strlen (src) / 2);
  12   strlcpy (p, src, 4096);
  13   return p;
  14 }
  15
  16 int
  17 main (void)
  18 {
  19   int handle;
  20   int byte_cnt;
  21   char *actual_p;
  22
  23   actual_p = mk_boundary_string (sample);
  24
  25   printf ("(read-boundary) begin\n");
  26
  27   handle = open ("sample.txt");
  28   if (handle < 2)
  29     printf ("(read-boundary) fail: open() returned %d\n", handle);
  30
  31   byte_cnt = read (handle, actual_p, sizeof sample - 1);
  32   if (byte_cnt != sizeof sample - 1)
  33     printf ("(read-boundary) fail: read() returned %d instead of %zu\n",
  34             byte_cnt, sizeof sample - 1);
  35   else if (strcmp (sample, actual_p))
  36     printf ("(read-boundary) fail: expected text differs from actual:\n%s",
  37             actual_p);
  38
  39   printf ("(read-boundary) end\n");
  40   return 0;
  41 }