Locking infrastructure helpers
authorBarret Rhoden <brho@cs.berkeley.edu>
Sat, 25 May 2013 22:05:07 +0000 (15:05 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sat, 25 May 2013 22:09:02 +0000 (15:09 -0700)
commit392fba3ba4d3a7e957f710fb8aa1d1af7232b9cc
tree9bb312d332abbc3e314da7f96df1fb7545c41855
parentd9b0e8d8c06087c9bc46b1310ece70b0435ae279
Locking infrastructure helpers

This stuff was just used when testing preemption scenarios.  Ideally,
all of it would be in its own C program.  Check out the TODOs at the top
of lockprov.sh for details.
kern/kfs/lockprov.sh
tests/prov.c