]> git.saurik.com Git - apple/xnu.git/blame - libkern/gen/OSAtomicOperations.c
xnu-1699.22.73.tar.gz
[apple/xnu.git] / libkern / gen / OSAtomicOperations.c
CommitLineData
1c79356b 1/*
2d21ac55 2 * Copyright (c) 2000-2006 Apple Computer, Inc. All rights reserved.
1c79356b 3 *
2d21ac55 4 * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
1c79356b 5 *
2d21ac55
A
6 * This file contains Original Code and/or Modifications of Original Code
7 * as defined in and that are subject to the Apple Public Source License
8 * Version 2.0 (the 'License'). You may not use this file except in
9 * compliance with the License. The rights granted to you under the License
10 * may not be used to create, or enable the creation or redistribution of,
11 * unlawful or unlicensed copies of an Apple operating system, or to
12 * circumvent, violate, or enable the circumvention or violation of, any
13 * terms of an Apple operating system software license agreement.
8f6c56a5 14 *
2d21ac55
A
15 * Please obtain a copy of the License at
16 * http://www.opensource.apple.com/apsl/ and read it before using this file.
17 *
18 * The Original Code and all software distributed under the License are
19 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
8f6c56a5
A
20 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
21 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
2d21ac55
A
22 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
23 * Please see the License for the specific language governing rights and
24 * limitations under the License.
8f6c56a5 25 *
2d21ac55 26 * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
1c79356b
A
27 */
28
29#include <libkern/OSAtomic.h>
30
31enum {
32 false = 0,
33 true = 1
34};
2d21ac55
A
35
36#ifndef NULL
37#define NULL ((void *)0)
38#endif
1c79356b 39
1c79356b
A
40/*
41 * atomic operations
42 * these are _the_ atomic operations, currently cast atop CompareAndSwap,
2d21ac55 43 * which is implemented in assembler. if we are worried about the cost of
1c79356b
A
44 * this layering (we shouldn't be), then all this stuff could be
45 * implemented in assembler, as it is in MacOS8/9
46 * (derived from SuperMario/NativeLibs/IO/DriverServices/Synchronization.s,
47 * which I wrote for NuKernel in a previous life with a different last name...)
48 *
49 * native Boolean CompareAndSwap(UInt32 oldValue, UInt32 newValue, UInt32 * oldValuePtr);
91447636
A
50 *
51 * We've since implemented a few more of these -- OSAddAtomic, OSDequeueAtomic,
52 * OSEnqueueAtomic etc -- in assembler, either for speed or correctness. See also the
53 * commpage atomic operations, and the platform specific versions.
54 * Like standards, there are a lot of atomic ops to choose from!
1c79356b
A
55 */
56
6d2010ae
A
57#if !defined(__i386__) && !defined(__x86_64__)
58/* Implemented in assembly for i386 and x86_64 */
b0d623f7
A
59#undef OSAddAtomic
60SInt32
61OSAddAtomic(SInt32 amount, volatile SInt32 * value)
62{
63 SInt32 oldValue;
64 SInt32 newValue;
1c79356b 65
b0d623f7
A
66 do {
67 oldValue = *value;
68 newValue = oldValue + amount;
69 } while (!OSCompareAndSwap((UInt32)oldValue,
70 (UInt32)newValue,
71 (volatile UInt32 *) value));
72 return oldValue;
73}
1c79356b 74
6d2010ae 75#undef OSAddAtomicLong
b0d623f7
A
76long
77OSAddAtomicLong(long theAmount, volatile long *address)
1c79356b 78{
b0d623f7
A
79#if __LP64__
80#error Unimplemented
81#else
82 return (long)OSAddAtomic((SInt32)theAmount, address);
83#endif
1c79356b
A
84}
85
6d2010ae 86/* Implemented as an assembly alias for i386 */
b0d623f7
A
87#undef OSCompareAndSwapPtr
88Boolean OSCompareAndSwapPtr(void *oldValue, void *newValue,
89 void * volatile *address)
1c79356b 90{
b0d623f7
A
91#if __LP64__
92 return OSCompareAndSwap64((UInt64)oldValue, (UInt64)newValue,
93 (volatile UInt64 *)address);
94#else
95 return OSCompareAndSwap((UInt32)oldValue, (UInt32)newValue,
96 (volatile UInt32 *)address);
97#endif
1c79356b 98}
b0d623f7
A
99#endif
100
b0d623f7
A
101#undef OSIncrementAtomic
102SInt32 OSIncrementAtomic(volatile SInt32 * value)
91447636 103{
b0d623f7 104 return OSAddAtomic(1, value);
91447636
A
105}
106
b0d623f7
A
107#undef OSDecrementAtomic
108SInt32 OSDecrementAtomic(volatile SInt32 * value)
91447636 109{
b0d623f7 110 return OSAddAtomic(-1, value);
91447636 111}
1c79356b 112
2d21ac55 113static UInt32 OSBitwiseAtomic(UInt32 and_mask, UInt32 or_mask, UInt32 xor_mask, volatile UInt32 * value)
1c79356b
A
114{
115 UInt32 oldValue;
116 UInt32 newValue;
117
118 do {
119 oldValue = *value;
120 newValue = ((oldValue & and_mask) | or_mask) ^ xor_mask;
121 } while (! OSCompareAndSwap(oldValue, newValue, value));
122
123 return oldValue;
124}
125
b0d623f7 126#undef OSBitAndAtomic
2d21ac55 127UInt32 OSBitAndAtomic(UInt32 mask, volatile UInt32 * value)
1c79356b
A
128{
129 return OSBitwiseAtomic(mask, 0, 0, value);
130}
131
b0d623f7 132#undef OSBitOrAtomic
2d21ac55 133UInt32 OSBitOrAtomic(UInt32 mask, volatile UInt32 * value)
1c79356b
A
134{
135 return OSBitwiseAtomic((UInt32) -1, mask, 0, value);
136}
137
b0d623f7 138#undef OSBitXorAtomic
2d21ac55 139UInt32 OSBitXorAtomic(UInt32 mask, volatile UInt32 * value)
1c79356b
A
140{
141 return OSBitwiseAtomic((UInt32) -1, 0, mask, value);
142}
143
2d21ac55 144static Boolean OSCompareAndSwap8(UInt8 oldValue8, UInt8 newValue8, volatile UInt8 * value8)
1c79356b 145{
2d21ac55 146 UInt32 mask = 0x000000ff;
b0d623f7 147 UInt32 alignment = (UInt32)((unsigned long) value8) & (sizeof(UInt32) - 1);
2d21ac55
A
148 UInt32 shiftValues = (24 << 24) | (16 << 16) | (8 << 8);
149 int shift = (UInt32) *(((UInt8 *) &shiftValues) + alignment);
b0d623f7 150 volatile UInt32 * value32 = (volatile UInt32 *) ((uintptr_t)value8 - alignment);
2d21ac55
A
151 UInt32 oldValue;
152 UInt32 newValue;
1c79356b 153
2d21ac55 154 mask <<= shift;
0b4e3aa0 155
2d21ac55
A
156 oldValue = *value32;
157 oldValue = (oldValue & ~mask) | (oldValue8 << shift);
158 newValue = (oldValue & ~mask) | (newValue8 << shift);
0b4e3aa0
A
159
160 return OSCompareAndSwap(oldValue, newValue, value32);
1c79356b
A
161}
162
2d21ac55 163static Boolean OSTestAndSetClear(UInt32 bit, Boolean wantSet, volatile UInt8 * startAddress)
1c79356b
A
164{
165 UInt8 mask = 1;
166 UInt8 oldValue;
167 UInt8 wantValue;
168
169 startAddress += (bit / 8);
170 mask <<= (7 - (bit % 8));
171 wantValue = wantSet ? mask : 0;
172
173 do {
174 oldValue = *startAddress;
175 if ((oldValue & mask) == wantValue) {
176 break;
177 }
178 } while (! OSCompareAndSwap8(oldValue, (oldValue & ~mask) | wantValue, startAddress));
179
180 return (oldValue & mask) == wantValue;
181}
182
2d21ac55 183Boolean OSTestAndSet(UInt32 bit, volatile UInt8 * startAddress)
1c79356b
A
184{
185 return OSTestAndSetClear(bit, true, startAddress);
186}
187
2d21ac55 188Boolean OSTestAndClear(UInt32 bit, volatile UInt8 * startAddress)
1c79356b
A
189{
190 return OSTestAndSetClear(bit, false, startAddress);
191}
192
1c79356b
A
193/*
194 * silly unaligned versions
195 */
196
2d21ac55 197SInt8 OSIncrementAtomic8(volatile SInt8 * value)
1c79356b
A
198{
199 return OSAddAtomic8(1, value);
200}
201
2d21ac55 202SInt8 OSDecrementAtomic8(volatile SInt8 * value)
1c79356b
A
203{
204 return OSAddAtomic8(-1, value);
205}
206
2d21ac55 207SInt8 OSAddAtomic8(SInt32 amount, volatile SInt8 * value)
1c79356b
A
208{
209 SInt8 oldValue;
210 SInt8 newValue;
211
212 do {
213 oldValue = *value;
214 newValue = oldValue + amount;
2d21ac55 215 } while (! OSCompareAndSwap8((UInt8) oldValue, (UInt8) newValue, (volatile UInt8 *) value));
1c79356b
A
216
217 return oldValue;
218}
219
2d21ac55 220static UInt8 OSBitwiseAtomic8(UInt32 and_mask, UInt32 or_mask, UInt32 xor_mask, volatile UInt8 * value)
1c79356b
A
221{
222 UInt8 oldValue;
223 UInt8 newValue;
224
225 do {
226 oldValue = *value;
227 newValue = ((oldValue & and_mask) | or_mask) ^ xor_mask;
228 } while (! OSCompareAndSwap8(oldValue, newValue, value));
229
230 return oldValue;
231}
232
2d21ac55 233UInt8 OSBitAndAtomic8(UInt32 mask, volatile UInt8 * value)
1c79356b
A
234{
235 return OSBitwiseAtomic8(mask, 0, 0, value);
236}
237
2d21ac55 238UInt8 OSBitOrAtomic8(UInt32 mask, volatile UInt8 * value)
1c79356b
A
239{
240 return OSBitwiseAtomic8((UInt32) -1, mask, 0, value);
241}
242
2d21ac55 243UInt8 OSBitXorAtomic8(UInt32 mask, volatile UInt8 * value)
1c79356b
A
244{
245 return OSBitwiseAtomic8((UInt32) -1, 0, mask, value);
246}
247
2d21ac55 248static Boolean OSCompareAndSwap16(UInt16 oldValue16, UInt16 newValue16, volatile UInt16 * value16)
1c79356b 249{
2d21ac55 250 UInt32 mask = 0x0000ffff;
b0d623f7 251 UInt32 alignment = (UInt32)((unsigned long) value16) & (sizeof(UInt32) - 1);
2d21ac55
A
252 UInt32 shiftValues = (16 << 24) | (16 << 16);
253 UInt32 shift = (UInt32) *(((UInt8 *) &shiftValues) + alignment);
b0d623f7 254 volatile UInt32 * value32 = (volatile UInt32 *) (((unsigned long) value16) - alignment);
2d21ac55
A
255 UInt32 oldValue;
256 UInt32 newValue;
0b4e3aa0 257
2d21ac55 258 mask <<= shift;
0b4e3aa0 259
2d21ac55
A
260 oldValue = *value32;
261 oldValue = (oldValue & ~mask) | (oldValue16 << shift);
262 newValue = (oldValue & ~mask) | (newValue16 << shift);
0b4e3aa0
A
263
264 return OSCompareAndSwap(oldValue, newValue, value32);
1c79356b
A
265}
266
2d21ac55 267SInt16 OSIncrementAtomic16(volatile SInt16 * value)
1c79356b
A
268{
269 return OSAddAtomic16(1, value);
270}
271
2d21ac55 272SInt16 OSDecrementAtomic16(volatile SInt16 * value)
1c79356b
A
273{
274 return OSAddAtomic16(-1, value);
275}
276
2d21ac55 277SInt16 OSAddAtomic16(SInt32 amount, volatile SInt16 * value)
1c79356b
A
278{
279 SInt16 oldValue;
280 SInt16 newValue;
281
282 do {
283 oldValue = *value;
284 newValue = oldValue + amount;
2d21ac55 285 } while (! OSCompareAndSwap16((UInt16) oldValue, (UInt16) newValue, (volatile UInt16 *) value));
1c79356b
A
286
287 return oldValue;
288}
289
2d21ac55 290static UInt16 OSBitwiseAtomic16(UInt32 and_mask, UInt32 or_mask, UInt32 xor_mask, volatile UInt16 * value)
1c79356b
A
291{
292 UInt16 oldValue;
293 UInt16 newValue;
294
295 do {
296 oldValue = *value;
297 newValue = ((oldValue & and_mask) | or_mask) ^ xor_mask;
298 } while (! OSCompareAndSwap16(oldValue, newValue, value));
299
300 return oldValue;
301}
302
2d21ac55 303UInt16 OSBitAndAtomic16(UInt32 mask, volatile UInt16 * value)
1c79356b
A
304{
305 return OSBitwiseAtomic16(mask, 0, 0, value);
306}
307
2d21ac55 308UInt16 OSBitOrAtomic16(UInt32 mask, volatile UInt16 * value)
1c79356b
A
309{
310 return OSBitwiseAtomic16((UInt32) -1, mask, 0, value);
311}
312
2d21ac55 313UInt16 OSBitXorAtomic16(UInt32 mask, volatile UInt16 * value)
1c79356b
A
314{
315 return OSBitwiseAtomic16((UInt32) -1, 0, mask, value);
316}
317