Initial Pintos

1 files changed, 50 insertions, 0 deletions

diff --git a/src/examples/pfs_reader.c b/src/examples/pfs_reader.c
new file mode 100644
index 0000000..4f2d0fa
--- /dev/null
+++ b/src/examples/pfs_reader.c
@@ -0,0 +1,50 @@
+/* Part of pfs.c suite.
+   
+   Reads from the file and checks consistency.
+   The buffer should all contain the same character!!
+ */
+
+#include <syscall.h>
+#include <stdio.h>
+#include "pfs.h"
+
+char buffer[BIG];
+
+int main(void)
+{
+  int bytes, i, j, inconsistency;
+  int id, messages;
+  
+  messages = open("messages");
+  
+  for (i = 0; i < TIMES; ++i)
+  {
+    id = open("file.1");
+    bytes = read(id, buffer, BIG);
+    close(id);
+    
+    if (bytes != BIG)
+    {
+      write(messages, "Buffer not filled!\n", 19);
+      continue;
+    }
+    /* now check for consistency */
+    for (j = 1, inconsistency = 0; j < BIG; ++j)
+    {
+      if (buffer[0] != buffer[j])
+      {
+        /* Ooops, inconsistency */
+	write(messages, "INCONSISTENCY.", 14);
+	printf("INCONSISTENCY\n");
+	inconsistency = 1;
+	break; /* no need to check further */
+      }
+    }
+    if (!inconsistency)
+    {
+      write(messages, "cool\n", 5);
+    }
+  }
+  close(messages);
+  exit(0);
+}