]> Devi Nivas Git - cs3210-lab0.git/commit
projects / cs3210-lab0.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 943fd37) | patch
Model verifying that wakeup really
authorrsc <rsc>
Fri, 12 Oct 2007 04:21:04 +0000 (04:21 +0000)
committerrsc <rsc>
Fri, 12 Oct 2007 04:21:04 +0000 (04:21 +0000)
commit949352af6695cfbfc91a5c0e24ddae95c497b008
tree8c71eb07cff4d0e226639de07ef9d343b8d594e5tree | snapshot
parent943fd378a1324ca60da72b271769fea4a86e36cbcommit | diff
Model verifying that wakeup really
can be called after release without
causing deadlock.
sleep1.p [new file with mode: 0644] blob
spinp [new file with mode: 0755] blob
CS3210 lab 0