Subversion Repositories HelenOS

Rev

Rev 2089 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
633 palkovsky 1 
/*
2071 jermar 2 
 * Copyright (c) 2001-2004 Jakub Jermar
633 palkovsky 3 
 * All rights reserved.
4 
 *
5 
 * Redistribution and use in source and binary forms, with or without
6 
 * modification, are permitted provided that the following conditions
7 
 * are met:
8 
 *
9 
 * - Redistributions of source code must retain the above copyright
10 
 *   notice, this list of conditions and the following disclaimer.
11 
 * - Redistributions in binary form must reproduce the above copyright
12 
 *   notice, this list of conditions and the following disclaimer in the
13 
 *   documentation and/or other materials provided with the distribution.
14 
 * - The name of the author may not be used to endorse or promote products
15 
 *   derived from this software without specific prior written permission.
16 
 *
17 
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
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
26 
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 
 */
28 
 
1888 jermar 29 
/** @addtogroup amd64  
1702 cejka 30 
 * @{
31 
 */
32 
/** @file
33 
 */
34 
 
1888 jermar 35 
#ifndef KERN_amd64_ATOMIC_H_
36 
#define KERN_amd64_ATOMIC_H_
633 palkovsky 37 
 
38 
#include <arch/types.h>
1100 palkovsky 39 
#include <arch/barrier.h>
40 
#include <preemption.h>
633 palkovsky 41 
 
42 
static inline void atomic_inc(atomic_t *val) {
43 
#ifdef CONFIG_SMP
2082 decky 44 
    asm volatile ("lock incq %0\n" : "=m" (val->count));
633 palkovsky 45 
#else
2082 decky 46 
    asm volatile ("incq %0\n" : "=m" (val->count));
633 palkovsky 47 
#endif /* CONFIG_SMP */
48 
}
49 
 
50 
static inline void atomic_dec(atomic_t *val) {
51 
#ifdef CONFIG_SMP
2082 decky 52 
    asm volatile ("lock decq %0\n" : "=m" (val->count));
633 palkovsky 53 
#else
2082 decky 54 
    asm volatile ("decq %0\n" : "=m" (val->count));
633 palkovsky 55 
#endif /* CONFIG_SMP */
56 
}
57 
 
1104 jermar 58 
static inline long atomic_postinc(atomic_t *val)
633 palkovsky 59 
{
1692 palkovsky 60 
    long r = 1;
633 palkovsky 61 
 
2082 decky 62 
    asm volatile (
1692 palkovsky 63 
        "lock xaddq %1, %0\n"
1697 palkovsky 64 
        : "=m" (val->count), "+r" (r)
633 palkovsky 65 
    );
66 
 
67 
    return r;
68 
}
69 
 
1104 jermar 70 
static inline long atomic_postdec(atomic_t *val)
633 palkovsky 71 
{
1692 palkovsky 72 
    long r = -1;
633 palkovsky 73 
 
2082 decky 74 
    asm volatile (
1692 palkovsky 75 
        "lock xaddq %1, %0\n"
1697 palkovsky 76 
        : "=m" (val->count), "+r" (r)
633 palkovsky 77 
    );
78 
 
79 
    return r;
80 
}
81 
 
1024 jermar 82 
#define atomic_preinc(val) (atomic_postinc(val)+1)
83 
#define atomic_predec(val) (atomic_postdec(val)-1)
633 palkovsky 84 
 
1780 jermar 85 
static inline uint64_t test_and_set(atomic_t *val) {
86 
    uint64_t v;
633 palkovsky 87 
 
2082 decky 88 
    asm volatile (
633 palkovsky 89 
        "movq $1, %0\n"
90 
        "xchgq %0, %1\n"
91 
        : "=r" (v),"=m" (val->count)
92 
    );
93 
 
94 
    return v;
95 
}
96 
 
97 
 
1104 jermar 98 
/** amd64 specific fast spinlock */
1100 palkovsky 99 
static inline void atomic_lock_arch(atomic_t *val)
100 
{
1780 jermar 101 
    uint64_t tmp;
633 palkovsky 102 
 
1100 palkovsky 103 
    preemption_disable();
2082 decky 104 
    asm volatile (
1100 palkovsky 105 
        "0:;"
106 
#ifdef CONFIG_HT
1121 jermar 107 
        "pause;"
633 palkovsky 108 
#endif
1100 palkovsky 109 
        "mov %0, %1;"
110 
        "testq %1, %1;"
1104 jermar 111 
        "jnz 0b;"       /* Lightweight looping on locked spinlock */
1100 palkovsky 112 
 
113 
        "incq %1;"      /* now use the atomic operation */
114 
        "xchgq %0, %1;"
115 
        "testq %1, %1;"
116 
        "jnz 0b;"
117 
                : "=m"(val->count),"=r"(tmp)
118 
        );
119 
    /*
120 
     * Prevent critical section code from bleeding out this way up.
121 
     */
122 
    CS_ENTER_BARRIER();
123 
}
124 
 
125 
#endif
1702 cejka 126 
 
1888 jermar 127 
/** @}
1702 cejka 128 
 */