Subversion Repositories HelenOS

Rev

Rev 3380 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3380 Rev 4017
Line 24... Line 24...
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
27
 */
28
 
28
 
29
/** @addtogroup amd64  
29
/** @addtogroup amd64
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
33
 */
33
 */
34
 
34
 
Line 39... Line 39...
39
#include <arch/barrier.h>
39
#include <arch/barrier.h>
40
#include <preemption.h>
40
#include <preemption.h>
41
 
41
 
42
static inline void atomic_inc(atomic_t *val) {
42
static inline void atomic_inc(atomic_t *val) {
43
#ifdef CONFIG_SMP
43
#ifdef CONFIG_SMP
-
 
44
    asm volatile (
-
 
45
        "lock incq %[count]\n"
44
    asm volatile ("lock incq %0\n" : "+m" (val->count));
46
        : [count] "+m" (val->count)
-
 
47
    );
45
#else
48
#else
-
 
49
    asm volatile (
-
 
50
        "incq %[count]\n"
46
    asm volatile ("incq %0\n" : "+m" (val->count));
51
        : [count] "+m" (val->count)
-
 
52
    );
47
#endif /* CONFIG_SMP */
53
#endif /* CONFIG_SMP */
48
}
54
}
49
 
55
 
50
static inline void atomic_dec(atomic_t *val) {
56
static inline void atomic_dec(atomic_t *val) {
51
#ifdef CONFIG_SMP
57
#ifdef CONFIG_SMP
-
 
58
    asm volatile (
-
 
59
        "lock decq %[count]\n"
52
    asm volatile ("lock decq %0\n" : "+m" (val->count));
60
        : [count] "+m" (val->count)
-
 
61
    );
53
#else
62
#else
-
 
63
    asm volatile (
-
 
64
        "decq %[count]\n"
54
    asm volatile ("decq %0\n" : "+m" (val->count));
65
        : [count] "+m" (val->count)
-
 
66
    );
55
#endif /* CONFIG_SMP */
67
#endif /* CONFIG_SMP */
56
}
68
}
57
 
69
 
58
static inline long atomic_postinc(atomic_t *val)
70
static inline long atomic_postinc(atomic_t *val)
59
{
71
{
60
    long r = 1;
72
    long r = 1;
61
 
73
   
62
    asm volatile (
74
    asm volatile (
63
        "lock xaddq %1, %0\n"
75
        "lock xaddq %[r], %[count]\n"
64
        : "+m" (val->count), "+r" (r)
76
        : [count] "+m" (val->count), [r] "+r" (r)
65
    );
77
    );
66
 
78
   
67
    return r;
79
    return r;
68
}
80
}
69
 
81
 
70
static inline long atomic_postdec(atomic_t *val)
82
static inline long atomic_postdec(atomic_t *val)
71
{
83
{
72
    long r = -1;
84
    long r = -1;
73
   
85
   
74
    asm volatile (
86
    asm volatile (
75
        "lock xaddq %1, %0\n"
87
        "lock xaddq %[r], %[count]\n"
76
        : "+m" (val->count), "+r" (r)
88
        : [count] "+m" (val->count), [r] "+r" (r)
77
    );
89
    );
78
   
90
   
79
    return r;
91
    return r;
80
}
92
}
81
 
93
 
82
#define atomic_preinc(val) (atomic_postinc(val) + 1)
94
#define atomic_preinc(val)  (atomic_postinc(val) + 1)
83
#define atomic_predec(val) (atomic_postdec(val) - 1)
95
#define atomic_predec(val)  (atomic_postdec(val) - 1)
84
 
96
 
85
static inline uint64_t test_and_set(atomic_t *val) {
97
static inline uint64_t test_and_set(atomic_t *val) {
86
    uint64_t v;
98
    uint64_t v;
87
   
99
   
88
    asm volatile (
100
    asm volatile (
89
        "movq $1, %0\n"
101
        "movq $1, %[v]\n"
90
        "xchgq %0, %1\n"
102
        "xchgq %[v], %[count]\n"
91
        : "=r" (v), "+m" (val->count)
103
        : [v] "=r" (v), [count] "+m" (val->count)
92
    );
104
    );
93
   
105
   
94
    return v;
106
    return v;
95
}
107
}
96
 
108
 
97
 
109
 
98
/** amd64 specific fast spinlock */
110
/** amd64 specific fast spinlock */
99
static inline void atomic_lock_arch(atomic_t *val)
111
static inline void atomic_lock_arch(atomic_t *val)
100
{
112
{
101
    uint64_t tmp;
113
    uint64_t tmp;
102
 
114
   
103
    preemption_disable();
115
    preemption_disable();
104
    asm volatile (
116
    asm volatile (
105
        "0:\n"
117
        "0:\n"
106
#ifdef CONFIG_HT
118
#ifdef CONFIG_HT
107
        "pause\n"
119
        "pause\n"
108
#endif
120
#endif
109
        "mov %0, %1\n"
121
        "mov %[count], %[tmp]\n"
110
        "testq %1, %1\n"
122
        "testq %[tmp], %[tmp]\n"
111
        "jnz 0b\n"       /* lightweight looping on locked spinlock */
123
        "jnz 0b\n"       /* lightweight looping on locked spinlock */
112
       
124
       
113
        "incq %1\n"      /* now use the atomic operation */
125
        "incq %[tmp]\n"  /* now use the atomic operation */
114
        "xchgq %0, %1\n"
126
        "xchgq %[count], %[tmp]\n"
115
        "testq %1, %1\n"
127
        "testq %[tmp], %[tmp]\n"
116
        "jnz 0b\n"
128
        "jnz 0b\n"
117
                : "+m" (val->count), "=&r" (tmp)
129
        : [count] "+m" (val->count), [tmp] "=&r" (tmp)
118
    );
130
    );
119
    /*
131
    /*
120
     * Prevent critical section code from bleeding out this way up.
132
     * Prevent critical section code from bleeding out this way up.
121
     */
133
     */
122
    CS_ENTER_BARRIER();
134
    CS_ENTER_BARRIER();