1 /*
2 * Copyright (c) 1999, 2017, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #ifndef OS_CPU_LINUX_X86_VM_ATOMIC_LINUX_X86_HPP
26 #define OS_CPU_LINUX_X86_VM_ATOMIC_LINUX_X86_HPP
27
28 // Implementation of class atomic
29
30 template<size_t byte_size>
31 struct Atomic::PlatformAdd
32 : Atomic::FetchAndAdd<Atomic::PlatformAdd<byte_size> >
33 {
34 template<typename I, typename D>
35 D fetch_and_add(I add_value, D volatile* dest, cmpxchg_memory_order order) const;
36 };
37
38 template<>
39 template<typename I, typename D>
40 inline D Atomic::PlatformAdd<4>::fetch_and_add(I add_value, D volatile* dest,
41 cmpxchg_memory_order order) const {
42 STATIC_ASSERT(4 == sizeof(I));
43 STATIC_ASSERT(4 == sizeof(D));
44 D old_value;
45 __asm__ volatile ( "lock xaddl %0,(%2)"
46 : "=r" (old_value)
47 : "0" (add_value), "r" (dest)
48 : "cc", "memory");
49 return old_value;
50 }
51
52 template<>
53 template<typename T>
54 inline T Atomic::PlatformXchg<4>::operator()(T exchange_value,
55 T volatile* dest) const {
56 STATIC_ASSERT(4 == sizeof(T));
57 __asm__ volatile ( "xchgl (%2),%0"
58 : "=r" (exchange_value)
59 : "0" (exchange_value), "r" (dest)
60 : "memory");
61 return exchange_value;
62 }
63
64 template<>
65 template<typename T>
66 inline T Atomic::PlatformCmpxchg<1>::operator()(T exchange_value,
67 T volatile* dest,
68 T compare_value,
69 cmpxchg_memory_order /* order */) const {
70 STATIC_ASSERT(1 == sizeof(T));
71 __asm__ volatile ("lock cmpxchgb %1,(%3)"
72 : "=a" (exchange_value)
73 : "q" (exchange_value), "a" (compare_value), "r" (dest)
74 : "cc", "memory");
75 return exchange_value;
76 }
77
78 template<>
79 template<typename T>
80 inline T Atomic::PlatformCmpxchg<4>::operator()(T exchange_value,
81 T volatile* dest,
82 T compare_value,
83 cmpxchg_memory_order /* order */) const {
84 STATIC_ASSERT(4 == sizeof(T));
85 __asm__ volatile ("lock cmpxchgl %1,(%3)"
86 : "=a" (exchange_value)
87 : "r" (exchange_value), "a" (compare_value), "r" (dest)
88 : "cc", "memory");
89 return exchange_value;
90 }
91
92 #ifdef AMD64
93
94 template<>
95 template<typename I, typename D>
96 inline D Atomic::PlatformAdd<8>::fetch_and_add(I add_value, D volatile* dest,
97 cmpxchg_memory_order order) const {
98 STATIC_ASSERT(8 == sizeof(I));
99 STATIC_ASSERT(8 == sizeof(D));
100 D old_value;
101 __asm__ __volatile__ ("lock xaddq %0,(%2)"
102 : "=r" (old_value)
103 : "0" (add_value), "r" (dest)
104 : "cc", "memory");
105 return old_value;
106 }
107
108 template<>
109 template<typename T>
110 inline T Atomic::PlatformXchg<8>::operator()(T exchange_value, T volatile* dest) const {
111 STATIC_ASSERT(8 == sizeof(T));
112 __asm__ __volatile__ ("xchgq (%2),%0"
113 : "=r" (exchange_value)
114 : "0" (exchange_value), "r" (dest)
115 : "memory");
116 return exchange_value;
117 }
118
119 template<>
120 template<typename T>
121 inline T Atomic::PlatformCmpxchg<8>::operator()(T exchange_value,
122 T volatile* dest,
123 T compare_value,
124 cmpxchg_memory_order /* order */) const {
125 STATIC_ASSERT(8 == sizeof(T));
126 __asm__ __volatile__ ("lock cmpxchgq %1,(%3)"
127 : "=a" (exchange_value)
128 : "r" (exchange_value), "a" (compare_value), "r" (dest)
129 : "cc", "memory");
130 return exchange_value;
131 }
132
133 #else // !AMD64
134
135 extern "C" {
136 // defined in linux_x86.s
137 int64_t _Atomic_cmpxchg_long(int64_t, volatile int64_t*, int64_t);
138 void _Atomic_move_long(const volatile int64_t* src, volatile int64_t* dst);
139 }
140
141 template<>
142 template<typename T>
143 inline T Atomic::PlatformCmpxchg<8>::operator()(T exchange_value,
144 T volatile* dest,
145 T compare_value,
146 cmpxchg_memory_order order) const {
147 STATIC_ASSERT(8 == sizeof(T));
148 return cmpxchg_using_helper<int64_t>(_Atomic_cmpxchg_long, exchange_value, dest, compare_value);
149 }
150
151 template<>
152 template<typename T>
153 inline T Atomic::PlatformLoad<8>::operator()(T const volatile* src) const {
154 STATIC_ASSERT(8 == sizeof(T));
155 volatile int64_t dest;
156 _Atomic_move_long(reinterpret_cast<const volatile int64_t*>(src), reinterpret_cast<volatile int64_t*>(&dest));
157 return PrimitiveConversions::cast<T>(dest);
158 }
159
160 template<>
161 template<typename T>
162 inline void Atomic::PlatformStore<8>::operator()(T store_value,
163 T volatile* dest) const {
164 STATIC_ASSERT(8 == sizeof(T));
165 _Atomic_move_long(reinterpret_cast<const volatile int64_t*>(&store_value), reinterpret_cast<volatile int64_t*>(dest));
166 }
167
168 #endif // AMD64
169
170 #endif // OS_CPU_LINUX_X86_VM_ATOMIC_LINUX_X86_HPP