blob: 8ac392792a68d6b3fa5836cc823c4d59a085c815 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#include <sys/mutex.h>
#include <sys/syscall.h>
#include <kernel/usermutex.H>
using namespace Systemcalls;
mutex_t mutex_create()
{
return (mutex_t) _syscall0(MUTEX_CREATE);
}
int mutex_destroy(mutex_t m)
{
return (int64_t)_syscall1(MUTEX_DESTROY, m);
}
int mutex_lock(mutex_t m)
{
uint64_t oldvalue = __sync_fetch_and_add(&((UserMutex*)m)->value, 1);
if (0 == oldvalue)
return 0;
else
return (int64_t)_syscall1(MUTEX_LOCK_CONTESTED, m);
}
int mutex_unlock(mutex_t m)
{
uint64_t oldvalue = __sync_fetch_and_sub(&((UserMutex*)m)->value, 1);
if (1 == oldvalue)
return 0;
else
return (int64_t)_syscall1(MUTEX_UNLOCK_CONTESTED, m);
}
|