projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
action: improve "unintialized load" bug print
[model-checker.git]
/
test
/
mutextest.cc
1
#include <stdio.h>
2
3
#include "threads.h"
4
#include "librace.h"
5
#include "stdatomic.h"
6
#include <mutex>
7
std::mutex * m;
8
int shareddata;
9
10
static void a(void *obj)
11
{
12
int i;
13
for(i=0;i<2;i++) {
14
if ((i%2)==0) {
15
m->lock();
16
store_32(&shareddata,(unsigned int)i);
17
m->unlock();
18
} else {
19
while(!m->try_lock())
20
thrd_yield();
21
store_32(&shareddata,(unsigned int)i);
22
m->unlock();
23
}
24
}
25
}
26
27
int user_main(int argc, char **argv)
28
{
29
thrd_t t1, t2;
30
m=new std::mutex();
31
32
thrd_create(&t1, (thrd_start_t)&a, NULL);
33
thrd_create(&t2, (thrd_start_t)&a, NULL);
34
35
thrd_join(t1);
36
thrd_join(t2);
37
return 0;
38
}