blob: be5b88511d9abff6c4ccfbc3c34a1a182ceb1f81 (
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
/* Copyright (c) 2013, Linaro Limited
* All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#include <odp_ticketlock.h>
#include <odp_atomic.h>
#include <odp_sync.h>
#include <odp_spin_internal.h>
void odp_ticketlock_init(odp_ticketlock_t *ticketlock)
{
ticketlock->next_ticket = 0;
ticketlock->cur_ticket = 0;
odp_sync_stores();
}
void odp_ticketlock_lock(odp_ticketlock_t *ticketlock)
{
uint32_t ticket;
ticket = odp_atomic_fetch_inc_u32(&ticketlock->next_ticket);
while (ticket != ticketlock->cur_ticket)
odp_spin();
odp_mem_barrier();
}
void odp_ticketlock_unlock(odp_ticketlock_t *ticketlock)
{
odp_sync_stores();
ticketlock->cur_ticket++;
#if defined __OCTEON__
odp_sync_stores();
#else
odp_mem_barrier();
#endif
}
int odp_ticketlock_is_locked(odp_ticketlock_t *ticketlock)
{
return ticketlock->cur_ticket != ticketlock->next_ticket;
}
|