pintos-os.org Git - pintos-anon/blob - grading/filesys/syn-rw.c

   1 #include <random.h>
   2 #include <stdio.h>
   3 #include <syscall.h>
   4 #include "fslib.h"
   5 #include "syn-rw.h"
   6
   7 const char test_name[] = "syn-rw";
   8
   9 char buf[BUF_SIZE];
  10
  11 #define CHILD_CNT 4
  12
  13 void
  14 test_main (void)
  15 {
  16   pid_t children[CHILD_CNT];
  17   size_t ofs;
  18   int fd;
  19
  20   CHECK (create (filename, 0), "create \"%s\"", filename);
  21   CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
  22
  23   exec_children ("child-syn-rw", children, CHILD_CNT);
  24
  25   random_bytes (buf, sizeof buf);
  26   quiet = true;
  27   for (ofs = 0; ofs < BUF_SIZE; ofs += CHUNK_SIZE)
  28     CHECK (write (fd, buf + ofs, CHUNK_SIZE) > 0,
  29            "write %d bytes at offset %zu in \"%s\"",
  30            (int) CHUNK_SIZE, ofs, filename);
  31   quiet = false;
  32
  33   wait_children (children, CHILD_CNT);
  34 }