Turn abstract vars on/off

4367a63e · Frans Kaashoek · d959c79e · 4367a63e · 4367a63e
--- a/bin/Makefrag
+++ b/bin/Makefrag
@@ -32,7 +32,8 @@ UPROGS= \
 	xls \
 	xdu \
 	wqtest \
-	rm
+	rm \
+	avar

 ifeq ($(HAVE_LWIP),y)
 UPROGS += \

--- a/bin/avar.cc
+++ b/bin/avar.cc
+// Tests to drive abstract sharing analysis
+
+#include "types.h"
+#include "user.h"
+#include "mtrace.h"
+
+int
+main(int ac, char **av)
+{
+  int op;
+  if (ac == 2 && strcmp(av[1], "on") == 0)
+    op = 1;
+  else if (ac == 2 && strcmp(av[1], "off") == 0)
+    op = 0;
+  else {
+    fprintf(1, "usage: %s on|off\n", av[0]);
+    exit();
+  }
+
+  if (op) {
+    mtenable_type(mtrace_record_ascope, "xv6-asharing");
+  } else {
+    mtdisable("xv6-asharing");  
+  }
+}