add run.sh simple run script
[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 }