135085f95b9d26bb43e40815a04e36f4452980f6
[model-checker-benchmarks.git] / 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 }