← Back to branch summary

~ubuntu-branches/ubuntu/quantal/libgc/quantal

« back to all changes in this revision

Viewing changes to libatomic_ops-1.2/src/atomic_ops/sysdeps/generic_pthread.h

  • Committer: Bazaar Package Importer
  • Author(s): Christoph Egger
  • Date: 2011-02-19 12:19:56 UTC
  • mfrom: (1.3.2 upstream) (0.1.5 experimental)
  • mto: This revision was merged to the branch mainline in revision 14.
  • Revision ID: james.westby@ubuntu.com-20110219121956-67rb69xlt5nud3v2
Tags: 1:7.1-5
Upload to unstable

Show diffs side-by-side

added added

removed removed

Lines of Context:
libatomic_ops-1.2/src/atomic_ops/sysdeps/generic_pthread.h
 
1
/*
 
2
 * Copyright (c) 2003 by Hewlett-Packard Company.  All rights reserved.
 
3
 * 
 
4
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 
5
 * of this software and associated documentation files (the "Software"), to deal
 
6
 * in the Software without restriction, including without limitation the rights
 
7
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 
8
 * copies of the Software, and to permit persons to whom the Software is
 
9
 * furnished to do so, subject to the following conditions:
 
10
 * 
 
11
 * The above copyright notice and this permission notice shall be included in
 
12
 * all copies or substantial portions of the Software.
 
13
 * 
 
14
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 
15
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 
16
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 
17
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 
18
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 
19
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 
20
 * SOFTWARE. 
 
21
 */
 
22
 
 
23
/* The following is useful primarily for debugging and documentation.   */
 
24
/* We define various atomic operations by acquiring a global pthread    */
 
25
/* lock.  The resulting implementation will perform poorly, but should  */
 
26
/* be correct unless it is used from signal handlers.                   */
 
27
/* We assume that all pthread operations act like full memory barriers. */
 
28
/* (We believe that is the intent of the specification.)                */
 
29
 
 
30
#include <pthread.h>
 
31
 
 
32
#include "test_and_set_t_is_ao_t.h"
 
33
        /* This is not necessarily compatible with the native           */
 
34
        /* implementation.  But those can't be safely mixed anyway.     */
 
35
 
 
36
/* We define only the full barrier variants, and count on the           */
 
37
/* generalization section below to fill in the rest.                    */
 
38
extern pthread_mutex_t AO_pt_lock;
 
39
 
 
40
AO_INLINE void
 
41
AO_nop_full()
 
42
{
 
43
  pthread_mutex_lock(&AO_pt_lock);
 
44
  pthread_mutex_unlock(&AO_pt_lock);
 
45
}
 
46
 
 
47
#define AO_HAVE_nop_full
 
48
 
 
49
AO_INLINE AO_t
 
50
AO_load_full(volatile AO_t *addr)
 
51
{
 
52
  AO_t result;
 
53
  pthread_mutex_lock(&AO_pt_lock);
 
54
  result = *addr;
 
55
  pthread_mutex_unlock(&AO_pt_lock);
 
56
  return result;
 
57
}
 
58
 
 
59
#define AO_HAVE_load_full
 
60
 
 
61
AO_INLINE void
 
62
AO_store_full(volatile AO_t *addr, AO_t val)
 
63
{
 
64
  pthread_mutex_lock(&AO_pt_lock);
 
65
  *addr = val;
 
66
  pthread_mutex_unlock(&AO_pt_lock);
 
67
}
 
68
 
 
69
#define AO_HAVE_store_full
 
70
 
 
71
AO_INLINE unsigned char
 
72
AO_char_load_full(volatile unsigned char *addr)
 
73
{
 
74
  unsigned char result;
 
75
  pthread_mutex_lock(&AO_pt_lock);
 
76
  result = *addr;
 
77
  pthread_mutex_unlock(&AO_pt_lock);
 
78
  return result;
 
79
}
 
80
 
 
81
#define AO_HAVE_char_load_full
 
82
 
 
83
AO_INLINE void
 
84
AO_char_store_full(volatile unsigned char *addr, unsigned char val)
 
85
{
 
86
  pthread_mutex_lock(&AO_pt_lock);
 
87
  *addr = val;
 
88
  pthread_mutex_unlock(&AO_pt_lock);
 
89
}
 
90
 
 
91
#define AO_HAVE_char_store_full
 
92
 
 
93
AO_INLINE unsigned short
 
94
AO_short_load_full(volatile unsigned short *addr)
 
95
{
 
96
  unsigned short result;
 
97
  pthread_mutex_lock(&AO_pt_lock);
 
98
  result = *addr;
 
99
  pthread_mutex_unlock(&AO_pt_lock);
 
100
  return result;
 
101
}
 
102
 
 
103
#define AO_HAVE_short_load_full
 
104
 
 
105
AO_INLINE void
 
106
AO_short_store_full(volatile unsigned short *addr, unsigned short val)
 
107
{
 
108
  pthread_mutex_lock(&AO_pt_lock);
 
109
  *addr = val;
 
110
  pthread_mutex_unlock(&AO_pt_lock);
 
111
}
 
112
 
 
113
#define AO_HAVE_short_store_full
 
114
 
 
115
AO_INLINE unsigned int
 
116
AO_int_load_full(volatile unsigned int *addr)
 
117
{
 
118
  unsigned int result;
 
119
  pthread_mutex_lock(&AO_pt_lock);
 
120
  result = *addr;
 
121
  pthread_mutex_unlock(&AO_pt_lock);
 
122
  return result;
 
123
}
 
124
 
 
125
#define AO_HAVE_int_load_full
 
126
 
 
127
AO_INLINE void
 
128
AO_int_store_full(volatile unsigned int *addr, unsigned int val)
 
129
{
 
130
  pthread_mutex_lock(&AO_pt_lock);
 
131
  *addr = val;
 
132
  pthread_mutex_unlock(&AO_pt_lock);
 
133
}
 
134
 
 
135
#define AO_HAVE_int_store_full
 
136
 
 
137
AO_INLINE AO_TS_VAL_t
 
138
AO_test_and_set_full(volatile AO_TS_t *addr)
 
139
{
 
140
  AO_TS_VAL_t result;
 
141
  pthread_mutex_lock(&AO_pt_lock);
 
142
  result = (AO_TS_VAL_t)(*addr);
 
143
  *addr = AO_TS_SET;
 
144
  pthread_mutex_unlock(&AO_pt_lock);
 
145
  assert(result == AO_TS_SET || result == AO_TS_CLEAR);
 
146
  return result;
 
147
}
 
148
 
 
149
#define AO_HAVE_test_and_set_full
 
150
 
 
151
AO_INLINE AO_t
 
152
AO_fetch_and_add_full(volatile AO_t *p, AO_t incr)
 
153
{
 
154
  AO_t tmp;
 
155
 
 
156
  pthread_mutex_lock(&AO_pt_lock);
 
157
  tmp = *p;
 
158
  *p = tmp + incr;
 
159
  pthread_mutex_unlock(&AO_pt_lock);
 
160
  return tmp;
 
161
}
 
162
 
 
163
#define AO_HAVE_fetch_and_add_full
 
164
 
 
165
AO_INLINE unsigned char
 
166
AO_char_fetch_and_add_full(volatile unsigned char *p, unsigned char incr)
 
167
{
 
168
  unsigned char tmp;
 
169
 
 
170
  pthread_mutex_lock(&AO_pt_lock);
 
171
  tmp = *p;
 
172
  *p = tmp + incr;
 
173
  pthread_mutex_unlock(&AO_pt_lock);
 
174
  return tmp;
 
175
}
 
176
 
 
177
#define AO_HAVE_char_fetch_and_add_full
 
178
 
 
179
AO_INLINE unsigned short
 
180
AO_short_fetch_and_add_full(volatile unsigned short *p, unsigned short incr)
 
181
{
 
182
  unsigned short tmp;
 
183
 
 
184
  pthread_mutex_lock(&AO_pt_lock);
 
185
  tmp = *p;
 
186
  *p = tmp + incr;
 
187
  pthread_mutex_unlock(&AO_pt_lock);
 
188
  return tmp;
 
189
}
 
190
 
 
191
#define AO_HAVE_short_fetch_and_add_full
 
192
 
 
193
AO_INLINE unsigned int
 
194
AO_int_fetch_and_add_full(volatile unsigned int *p, unsigned int incr)
 
195
{
 
196
  unsigned int tmp;
 
197
 
 
198
  pthread_mutex_lock(&AO_pt_lock);
 
199
  tmp = *p;
 
200
  *p = tmp + incr;
 
201
  pthread_mutex_unlock(&AO_pt_lock);
 
202
  return tmp;
 
203
}
 
204
 
 
205
#define AO_HAVE_int_fetch_and_add_full
 
206
 
 
207
AO_INLINE void
 
208
AO_or_full(volatile AO_t *p, AO_t incr)
 
209
{
 
210
  AO_t tmp;
 
211
 
 
212
  pthread_mutex_lock(&AO_pt_lock);
 
213
  tmp = *p;
 
214
  *p = (tmp | incr);
 
215
  pthread_mutex_unlock(&AO_pt_lock);
 
216
}
 
217
 
 
218
#define AO_HAVE_or_full
 
219
 
 
220
AO_INLINE int
 
221
AO_compare_and_swap_full(volatile AO_t *addr,
 
222
                             AO_t old, AO_t new_val) 
 
223
{
 
224
  pthread_mutex_lock(&AO_pt_lock);
 
225
  if (*addr == old)
 
226
    {
 
227
      *addr = new_val;
 
228
      pthread_mutex_unlock(&AO_pt_lock);
 
229
      return 1;
 
230
    }
 
231
  else
 
232
    pthread_mutex_unlock(&AO_pt_lock);
 
233
    return 0;
 
234
}
 
235
 
 
236
#define AO_HAVE_compare_and_swap_full
 
237
 
 
238
/* Unlike real architectures, we define both double-width CAS variants. */
 
239
 
 
240
typedef struct {
 
241
        AO_t AO_val1;
 
242
        AO_t AO_val2;
 
243
} AO_double_t;
 
244
 
 
245
#define AO_HAVE_double_t
 
246
 
 
247
AO_INLINE int
 
248
AO_compare_double_and_swap_double_full(volatile AO_double_t *addr,
 
249
                                       AO_t old1, AO_t old2,
 
250
                                       AO_t new1, AO_t new2) 
 
251
{
 
252
  pthread_mutex_lock(&AO_pt_lock);
 
253
  if (addr -> AO_val1 == old1 && addr -> AO_val2 == old2)
 
254
    {
 
255
      addr -> AO_val1 = new1;
 
256
      addr -> AO_val2 = new2;
 
257
      pthread_mutex_unlock(&AO_pt_lock);
 
258
      return 1;
 
259
    }
 
260
  else
 
261
    pthread_mutex_unlock(&AO_pt_lock);
 
262
    return 0;
 
263
}
 
264
 
 
265
#define AO_HAVE_compare_double_and_swap_double_full
 
266
 
 
267
AO_INLINE int
 
268
AO_compare_and_swap_double_full(volatile AO_double_t *addr,
 
269
                                AO_t old1,
 
270
                                AO_t new1, AO_t new2) 
 
271
{
 
272
  pthread_mutex_lock(&AO_pt_lock);
 
273
  if (addr -> AO_val1 == old1)
 
274
    {
 
275
      addr -> AO_val1 = new1;
 
276
      addr -> AO_val2 = new2;
 
277
      pthread_mutex_unlock(&AO_pt_lock);
 
278
      return 1;
 
279
    }
 
280
  else
 
281
    pthread_mutex_unlock(&AO_pt_lock);
 
282
    return 0;
 
283
}
 
284
 
 
285
#define AO_HAVE_compare_and_swap_double_full
 
286
 
 
287
/* We can't use hardware loads and stores, since they don't     */
 
288
/* interact correctly with atomic updates.                      */
 
289