asharing: README notes

492d8f96 · Austin Clements · 0d9c2da7 · 492d8f96
--- a/README
+++ b/README
@@ -61,3 +61,11 @@
  $ apt-get install libjemalloc-dev
  $ make HW=user
  $ ./o.user/utest
+
+* abstract sharing
+
+  Obtain and configure mtrace as described above.
+  Disable DEBUG in param.h.
+  $ make QEMUSMP=8 mtrace.out
+  Run asharing in xv6 to generate abstract sharing traces
+  $ mscan --abstract-scopes --unexpected-sharing