move everything out of trunk

[lttv.git] / trunk / verif / Spin / Test / peterson

diff --git a/trunk/verif/Spin/Test/peterson b/trunk/verif/Spin/Test/peterson
deleted file mode 100755 (executable)
index 156da7e..0000000
--- a/trunk/verif/Spin/Test/peterson
+++ /dev/null
@@ -1,20 +0,0 @@
-/* Peterson's solution to the mutual exclusion problem - 1981 */
-
-bool turn, flag[2];
-byte ncrit;
-
-active [2] proctype user()
-{
-       assert(_pid == 0 || _pid == 1);
-again:
-       flag[_pid] = 1;
-       turn = _pid;
-       (flag[1 - _pid] == 0 || turn == 1 - _pid);
-
-       ncrit++;
-       assert(ncrit == 1);     /* critical section */
-       ncrit--;
-
-       flag[_pid] = 0;
-       goto again
-}