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