-
Notifications
You must be signed in to change notification settings - Fork 0
/
ticket-spinlock.h
63 lines (48 loc) · 1.33 KB
/
ticket-spinlock.h
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
#ifndef _SPINLOCK_TICKET_H
#define _SPINLOCK_H
/* Code copied from http://locklessinc.com/articles/locks/ */
#define cmpxchg(P, O, N) __sync_val_compare_and_swap((P), (O), (N))
#define atomic_xadd(P, V) __sync_fetch_and_add((P), (V))
#define barrier() asm volatile("": : :"memory")
#define cpu_relax() asm volatile("pause\n": : :"memory")
#define spin_lock ticket_lock
#define spin_unlock ticket_unlock
#define spin_lockable ticket_lockable
#define spinlock ticketlock
#define TICKET_SPINLOCK_INITIALIZER { 0, 0 };
typedef union ticketlock ticketlock;
union ticketlock
{
unsigned u;
struct
{
unsigned short ticket;
unsigned short users;
} s;
};
static inline void ticket_lock(ticketlock *t)
{
unsigned short me = atomic_xadd(&t->s.users, 1);
while (t->s.ticket != me) cpu_relax();
}
static inline void ticket_unlock(ticketlock *t)
{
barrier();
t->s.ticket++;
}
static inline int ticket_trylock(ticketlock *t)
{
unsigned short me = t->s.users;
unsigned short menew = me + 1;
unsigned cmp = ((unsigned) me << 16) + me;
unsigned cmpnew = ((unsigned) menew << 16) + me;
if (cmpxchg(&t->u, cmp, cmpnew) == cmp) return 0;
return 1; // Busy
}
static inline int ticket_lockable(ticketlock *t)
{
ticketlock u = *t;
barrier();
return (u.s.ticket == u.s.users);
}
#endif