aboutsummaryrefslogtreecommitdiff
path: root/pk/atomic.h
blob: 24db8bea62596ee885d1fdc32cb4eaf6d1ac7ce5 (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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
// See LICENSE for license details.

#ifndef _RISCV_ATOMIC_H
#define _RISCV_ATOMIC_H

#include "config.h"
#include "encoding.h"

typedef struct { volatile long val; } atomic_t;
typedef struct { atomic_t lock; } spinlock_t;
#define SPINLOCK_INIT {{0}}

#define mb() __sync_synchronize()

static inline void atomic_set(atomic_t* a, long val)
{
  a->val = val;
}

static inline long atomic_read(atomic_t* a)
{
  return a->val;
}

static inline long atomic_add(atomic_t* a, long inc)
{
#ifdef PK_ENABLE_ATOMICS
  return __sync_fetch_and_add(&a->val, inc);
#else
  long ret = atomic_read(a);
  atomic_set(a, ret + inc);
  return ret;
#endif
}

static inline long atomic_swap(atomic_t* a, long val)
{
#ifdef PK_ENABLE_ATOMICS
  return __sync_lock_test_and_set(&a->val, val);
#else
  long ret = atomic_read(a);
  atomic_set(a, val);
  return ret;
#endif
}

static inline long atomic_cas(atomic_t* a, long compare, long swap)
{
#ifdef PK_ENABLE_ATOMICS
  return __sync_val_compare_and_swap(&a->val, compare, swap);
#else
  long ret = atomic_read(a);
  if (ret == compare)
    atomic_set(a, swap);
  return ret;
#endif
}

static inline void spinlock_lock(spinlock_t* lock)
{
  do
  {
    while (atomic_read(&lock->lock))
      ;
  } while (atomic_swap(&lock->lock, -1));
  mb();
}

static inline void spinlock_unlock(spinlock_t* lock)
{
  mb();
  atomic_set(&lock->lock,0);
}

static inline long spinlock_lock_irqsave(spinlock_t* lock)
{
  long flags = clear_csr(mstatus, MSTATUS_IE);
  spinlock_lock(lock);
  return flags;
}

static inline void spinlock_unlock_irqrestore(spinlock_t* lock, long flags)
{
  spinlock_unlock(lock);
  set_csr(mstatus, flags & MSTATUS_IE);
}

#endif