pintos-os.org Git - pintos-anon/blob - src/tests/userprog/rox-child.inc

   1 /* -*- c -*- */
   2
   3 #include <syscall.h>
   4 #include "tests/lib.h"
   5 #include "tests/main.h"
   6
   7 void
   8 test_main (void)
   9 {
  10   const char *child_cmd = "child-rox " CHILD_CNT;
  11   int handle;
  12   pid_t child;
  13   char buffer[16];
  14
  15   /* Open child-rox, read from it, write back same data. */
  16   CHECK ((handle = open ("child-rox")) > 1, "open \"child-rox\"");
  17   CHECK (read (handle, buffer, sizeof buffer) == (int) sizeof buffer,
  18          "read \"child-rox\"");
  19   seek (handle, 0);
  20   CHECK (write (handle, buffer, sizeof buffer) == (int) sizeof buffer,
  21          "write \"child-rox\"");
  22
  23   /* Execute child-rox and wait for it. */
  24   CHECK ((child = exec (child_cmd)) != -1, "exec \"%s\"", child_cmd);
  25   quiet = true;
  26   CHECK (wait (child) == 12, "wait for child");
  27   quiet = false;
  28
  29   /* Write to child-rox again. */
  30   seek (handle, 0);
  31   CHECK (write (handle, buffer, sizeof buffer) == (int) sizeof buffer,
  32          "write \"child-rox\"");
  33 }