6ba8f18a9a9bbca6762f65258377bf03330a4802
[model-checker-benchmarks.git] / mcs-lock / mcs-lock.cc
1 #include <stdio.h>
2 #include <threads.h>
3
4 #include "mcs-lock.h"
5
6 struct mcs_mutex mutex;
7
8 int user_main(int argc, char **argv)
9 {
10         mcs_mutex::guard *g = new mcs_mutex::guard(&mutex);
11         mutex.lock(g);
12         mutex.unlock(g);
13         return 0;
14 }