initial pintos checkin

1 files changed, 34 insertions, 0 deletions

diff --git a/pintos-progos/examples/recursor.c b/pintos-progos/examples/recursor.c
new file mode 100644
index 0000000..79c784a
--- /dev/null
+++ b/pintos-progos/examples/recursor.c
@@ -0,0 +1,34 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <syscall.h>
+
+int
+main (int argc, char *argv[])
+{
+  char buffer[128];
+  pid_t pid;
+  int retval = 0;
+
+  if (argc != 4) 
+    {
+      printf ("usage: recursor <string> <depth> <waitp>\n");
+      exit (1);
+    }
+
+  /* Print args. */
+  printf ("%s %s %s %s\n", argv[0], argv[1], argv[2], argv[3]);
+
+  /* Execute child and wait for it to finish if requested. */
+  if (atoi (argv[2]) != 0) 
+    {
+      snprintf (buffer, sizeof buffer,
+                "recursor %s %d %s", argv[1], atoi (argv[2]) - 1, argv[3]);
+      pid = exec (buffer);
+      if (atoi (argv[3]))
+        retval = wait (pid);
+    }
+  
+  /* Done. */
+  printf ("%s %s: dying, retval=%d\n", argv[1], argv[2], retval);
+  exit (retval);
+}