Initial Pintos

1 files changed, 32 insertions, 0 deletions

diff --git a/src/examples/pfs.c b/src/examples/pfs.c
new file mode 100644
index 0000000..a633e24
--- /dev/null
+++ b/src/examples/pfs.c
@@ -0,0 +1,32 @@
+/* klaar@ida (cleanup of previous code by various IDA-employees)
+   
+   pintos -v -k -T 120 --fs-disk=2 --qemu -p ../examples/pfs -a pfs -p ../examples/pfs_writer -a pfs_writer -p ../examples/pfs_reader -a pfs_reader -g messages -- -f -q run pfs
+   
+   Tests that read and write are properly synchronized. Also stresses
+   the filesystem somewhat.
+
+   pfs_reader and pfs_writer are needed child processes.
+*/
+  
+#include "syscall.h"
+
+int main(void)
+{
+  int i;
+  int pid[5];
+  
+  create("file.1", 50000);
+  create("messages", 5000);
+  
+  pid[0] = exec("pfs_writer a z");
+  pid[1] = exec("pfs_writer A Z");
+  pid[2] = exec("pfs_reader");
+  pid[3] = exec("pfs_reader");
+  pid[4] = exec("pfs_reader");
+  
+  for (i = 0; i < 5; i++)
+  {
+    wait(pid[i]);
+  }
+  exit(0);
+}