]> git.saurik.com Git - apple/xnu.git/blame - libkern/gen/OSAtomicOperations.c
xnu-2050.7.9.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
316670eb 57#if defined(__i386__) || defined(__x86_64__)
6d2010ae 58/* Implemented in assembly for i386 and x86_64 */
b0d623f7 59#else
316670eb 60#error Unsupported arch
b0d623f7
A
61#endif
62
b0d623f7
A
63#undef OSIncrementAtomic
64SInt32 OSIncrementAtomic(volatile SInt32 * value)
91447636 65{
b0d623f7 66 return OSAddAtomic(1, value);
91447636
A
67}
68
b0d623f7
A
69#undef OSDecrementAtomic
70SInt32 OSDecrementAtomic(volatile SInt32 * value)
91447636 71{
b0d623f7 72 return OSAddAtomic(-1, value);
91447636 73}
1c79356b 74
2d21ac55 75static UInt32 OSBitwiseAtomic(UInt32 and_mask, UInt32 or_mask, UInt32 xor_mask, volatile UInt32 * value)
1c79356b
A
76{
77 UInt32 oldValue;
78 UInt32 newValue;
79
80 do {
81 oldValue = *value;
82 newValue = ((oldValue & and_mask) | or_mask) ^ xor_mask;
83 } while (! OSCompareAndSwap(oldValue, newValue, value));
84
85 return oldValue;
86}
87
b0d623f7 88#undef OSBitAndAtomic
2d21ac55 89UInt32 OSBitAndAtomic(UInt32 mask, volatile UInt32 * value)
1c79356b
A
90{
91 return OSBitwiseAtomic(mask, 0, 0, value);
92}
93
b0d623f7 94#undef OSBitOrAtomic
2d21ac55 95UInt32 OSBitOrAtomic(UInt32 mask, volatile UInt32 * value)
1c79356b
A
96{
97 return OSBitwiseAtomic((UInt32) -1, mask, 0, value);
98}
99
b0d623f7 100#undef OSBitXorAtomic
2d21ac55 101UInt32 OSBitXorAtomic(UInt32 mask, volatile UInt32 * value)
1c79356b
A
102{
103 return OSBitwiseAtomic((UInt32) -1, 0, mask, value);
104}
105
2d21ac55 106static Boolean OSCompareAndSwap8(UInt8 oldValue8, UInt8 newValue8, volatile UInt8 * value8)
1c79356b 107{
2d21ac55 108 UInt32 mask = 0x000000ff;
b0d623f7 109 UInt32 alignment = (UInt32)((unsigned long) value8) & (sizeof(UInt32) - 1);
2d21ac55
A
110 UInt32 shiftValues = (24 << 24) | (16 << 16) | (8 << 8);
111 int shift = (UInt32) *(((UInt8 *) &shiftValues) + alignment);
b0d623f7 112 volatile UInt32 * value32 = (volatile UInt32 *) ((uintptr_t)value8 - alignment);
2d21ac55
A
113 UInt32 oldValue;
114 UInt32 newValue;
1c79356b 115
2d21ac55 116 mask <<= shift;
0b4e3aa0 117
2d21ac55
A
118 oldValue = *value32;
119 oldValue = (oldValue & ~mask) | (oldValue8 << shift);
120 newValue = (oldValue & ~mask) | (newValue8 << shift);
0b4e3aa0
A
121
122 return OSCompareAndSwap(oldValue, newValue, value32);
1c79356b
A
123}
124
2d21ac55 125static Boolean OSTestAndSetClear(UInt32 bit, Boolean wantSet, volatile UInt8 * startAddress)
1c79356b
A
126{
127 UInt8 mask = 1;
128 UInt8 oldValue;
129 UInt8 wantValue;
130
131 startAddress += (bit / 8);
132 mask <<= (7 - (bit % 8));
133 wantValue = wantSet ? mask : 0;
134
135 do {
136 oldValue = *startAddress;
137 if ((oldValue & mask) == wantValue) {
138 break;
139 }
140 } while (! OSCompareAndSwap8(oldValue, (oldValue & ~mask) | wantValue, startAddress));
141
142 return (oldValue & mask) == wantValue;
143}
144
2d21ac55 145Boolean OSTestAndSet(UInt32 bit, volatile UInt8 * startAddress)
1c79356b
A
146{
147 return OSTestAndSetClear(bit, true, startAddress);
148}
149
2d21ac55 150Boolean OSTestAndClear(UInt32 bit, volatile UInt8 * startAddress)
1c79356b
A
151{
152 return OSTestAndSetClear(bit, false, startAddress);
153}
154
1c79356b
A
155/*
156 * silly unaligned versions
157 */
158
2d21ac55 159SInt8 OSIncrementAtomic8(volatile SInt8 * value)
1c79356b
A
160{
161 return OSAddAtomic8(1, value);
162}
163
2d21ac55 164SInt8 OSDecrementAtomic8(volatile SInt8 * value)
1c79356b
A
165{
166 return OSAddAtomic8(-1, value);
167}
168
2d21ac55 169SInt8 OSAddAtomic8(SInt32 amount, volatile SInt8 * value)
1c79356b
A
170{
171 SInt8 oldValue;
172 SInt8 newValue;
173
174 do {
175 oldValue = *value;
176 newValue = oldValue + amount;
2d21ac55 177 } while (! OSCompareAndSwap8((UInt8) oldValue, (UInt8) newValue, (volatile UInt8 *) value));
1c79356b
A
178
179 return oldValue;
180}
181
2d21ac55 182static UInt8 OSBitwiseAtomic8(UInt32 and_mask, UInt32 or_mask, UInt32 xor_mask, volatile UInt8 * value)
1c79356b
A
183{
184 UInt8 oldValue;
185 UInt8 newValue;
186
187 do {
188 oldValue = *value;
189 newValue = ((oldValue & and_mask) | or_mask) ^ xor_mask;
190 } while (! OSCompareAndSwap8(oldValue, newValue, value));
191
192 return oldValue;
193}
194
2d21ac55 195UInt8 OSBitAndAtomic8(UInt32 mask, volatile UInt8 * value)
1c79356b
A
196{
197 return OSBitwiseAtomic8(mask, 0, 0, value);
198}
199
2d21ac55 200UInt8 OSBitOrAtomic8(UInt32 mask, volatile UInt8 * value)
1c79356b
A
201{
202 return OSBitwiseAtomic8((UInt32) -1, mask, 0, value);
203}
204
2d21ac55 205UInt8 OSBitXorAtomic8(UInt32 mask, volatile UInt8 * value)
1c79356b
A
206{
207 return OSBitwiseAtomic8((UInt32) -1, 0, mask, value);
208}
209
2d21ac55 210static Boolean OSCompareAndSwap16(UInt16 oldValue16, UInt16 newValue16, volatile UInt16 * value16)
1c79356b 211{
2d21ac55 212 UInt32 mask = 0x0000ffff;
b0d623f7 213 UInt32 alignment = (UInt32)((unsigned long) value16) & (sizeof(UInt32) - 1);
2d21ac55
A
214 UInt32 shiftValues = (16 << 24) | (16 << 16);
215 UInt32 shift = (UInt32) *(((UInt8 *) &shiftValues) + alignment);
b0d623f7 216 volatile UInt32 * value32 = (volatile UInt32 *) (((unsigned long) value16) - alignment);
2d21ac55
A
217 UInt32 oldValue;
218 UInt32 newValue;
0b4e3aa0 219
2d21ac55 220 mask <<= shift;
0b4e3aa0 221
2d21ac55
A
222 oldValue = *value32;
223 oldValue = (oldValue & ~mask) | (oldValue16 << shift);
224 newValue = (oldValue & ~mask) | (newValue16 << shift);
0b4e3aa0
A
225
226 return OSCompareAndSwap(oldValue, newValue, value32);
1c79356b
A
227}
228
2d21ac55 229SInt16 OSIncrementAtomic16(volatile SInt16 * value)
1c79356b
A
230{
231 return OSAddAtomic16(1, value);
232}
233
2d21ac55 234SInt16 OSDecrementAtomic16(volatile SInt16 * value)
1c79356b
A
235{
236 return OSAddAtomic16(-1, value);
237}
238
2d21ac55 239SInt16 OSAddAtomic16(SInt32 amount, volatile SInt16 * value)
1c79356b
A
240{
241 SInt16 oldValue;
242 SInt16 newValue;
243
244 do {
245 oldValue = *value;
246 newValue = oldValue + amount;
2d21ac55 247 } while (! OSCompareAndSwap16((UInt16) oldValue, (UInt16) newValue, (volatile UInt16 *) value));
1c79356b
A
248
249 return oldValue;
250}
251
2d21ac55 252static UInt16 OSBitwiseAtomic16(UInt32 and_mask, UInt32 or_mask, UInt32 xor_mask, volatile UInt16 * value)
1c79356b
A
253{
254 UInt16 oldValue;
255 UInt16 newValue;
256
257 do {
258 oldValue = *value;
259 newValue = ((oldValue & and_mask) | or_mask) ^ xor_mask;
260 } while (! OSCompareAndSwap16(oldValue, newValue, value));
261
262 return oldValue;
263}
264
2d21ac55 265UInt16 OSBitAndAtomic16(UInt32 mask, volatile UInt16 * value)
1c79356b
A
266{
267 return OSBitwiseAtomic16(mask, 0, 0, value);
268}
269
2d21ac55 270UInt16 OSBitOrAtomic16(UInt32 mask, volatile UInt16 * value)
1c79356b
A
271{
272 return OSBitwiseAtomic16((UInt32) -1, mask, 0, value);
273}
274
2d21ac55 275UInt16 OSBitXorAtomic16(UInt32 mask, volatile UInt16 * value)
1c79356b
A
276{
277 return OSBitwiseAtomic16((UInt32) -1, 0, mask, value);
278}
279