123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434 |
- /*
- * Copyright (c) 2003 by Hewlett-Packard Company. All rights reserved.
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy
- * of this software and associated documentation files (the "Software"), to deal
- * in the Software without restriction, including without limitation the rights
- * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- * copies of the Software, and to permit persons to whom the Software is
- * furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in
- * all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
- * SOFTWARE.
- */
- /* The following is useful primarily for debugging and documentation. */
- /* We define various atomic operations by acquiring a global pthread */
- /* lock. The resulting implementation will perform poorly, but should */
- /* be correct unless it is used from signal handlers. */
- /* We assume that all pthread operations act like full memory barriers. */
- /* (We believe that is the intent of the specification.) */
- #include <pthread.h>
- #include "test_and_set_t_is_ao_t.h"
- /* This is not necessarily compatible with the native */
- /* implementation. But those can't be safely mixed anyway. */
- /* We define only the full barrier variants, and count on the */
- /* generalization section below to fill in the rest. */
- extern pthread_mutex_t AO_pt_lock;
- AO_INLINE void
- AO_nop_full(void)
- {
- pthread_mutex_lock(&AO_pt_lock);
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_nop_full
- AO_INLINE AO_t
- AO_load_full(const volatile AO_t *addr)
- {
- AO_t result;
- pthread_mutex_lock(&AO_pt_lock);
- result = *addr;
- pthread_mutex_unlock(&AO_pt_lock);
- return result;
- }
- #define AO_HAVE_load_full
- AO_INLINE void
- AO_store_full(volatile AO_t *addr, AO_t val)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *addr = val;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_store_full
- AO_INLINE unsigned char
- AO_char_load_full(const volatile unsigned char *addr)
- {
- unsigned char result;
- pthread_mutex_lock(&AO_pt_lock);
- result = *addr;
- pthread_mutex_unlock(&AO_pt_lock);
- return result;
- }
- #define AO_HAVE_char_load_full
- AO_INLINE void
- AO_char_store_full(volatile unsigned char *addr, unsigned char val)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *addr = val;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_char_store_full
- AO_INLINE unsigned short
- AO_short_load_full(const volatile unsigned short *addr)
- {
- unsigned short result;
- pthread_mutex_lock(&AO_pt_lock);
- result = *addr;
- pthread_mutex_unlock(&AO_pt_lock);
- return result;
- }
- #define AO_HAVE_short_load_full
- AO_INLINE void
- AO_short_store_full(volatile unsigned short *addr, unsigned short val)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *addr = val;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_short_store_full
- AO_INLINE unsigned int
- AO_int_load_full(const volatile unsigned int *addr)
- {
- unsigned int result;
- pthread_mutex_lock(&AO_pt_lock);
- result = *addr;
- pthread_mutex_unlock(&AO_pt_lock);
- return result;
- }
- #define AO_HAVE_int_load_full
- AO_INLINE void
- AO_int_store_full(volatile unsigned int *addr, unsigned int val)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *addr = val;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_int_store_full
- AO_INLINE AO_TS_VAL_t
- AO_test_and_set_full(volatile AO_TS_t *addr)
- {
- AO_TS_VAL_t result;
- pthread_mutex_lock(&AO_pt_lock);
- result = (AO_TS_VAL_t)(*addr);
- *addr = AO_TS_SET;
- pthread_mutex_unlock(&AO_pt_lock);
- assert(result == AO_TS_SET || result == AO_TS_CLEAR);
- return result;
- }
- #define AO_HAVE_test_and_set_full
- AO_INLINE AO_t
- AO_fetch_and_add_full(volatile AO_t *p, AO_t incr)
- {
- AO_t old_val;
- pthread_mutex_lock(&AO_pt_lock);
- old_val = *p;
- *p = old_val + incr;
- pthread_mutex_unlock(&AO_pt_lock);
- return old_val;
- }
- #define AO_HAVE_fetch_and_add_full
- AO_INLINE unsigned char
- AO_char_fetch_and_add_full(volatile unsigned char *p, unsigned char incr)
- {
- unsigned char old_val;
- pthread_mutex_lock(&AO_pt_lock);
- old_val = *p;
- *p = old_val + incr;
- pthread_mutex_unlock(&AO_pt_lock);
- return old_val;
- }
- #define AO_HAVE_char_fetch_and_add_full
- AO_INLINE unsigned short
- AO_short_fetch_and_add_full(volatile unsigned short *p, unsigned short incr)
- {
- unsigned short old_val;
- pthread_mutex_lock(&AO_pt_lock);
- old_val = *p;
- *p = old_val + incr;
- pthread_mutex_unlock(&AO_pt_lock);
- return old_val;
- }
- #define AO_HAVE_short_fetch_and_add_full
- AO_INLINE unsigned int
- AO_int_fetch_and_add_full(volatile unsigned int *p, unsigned int incr)
- {
- unsigned int old_val;
- pthread_mutex_lock(&AO_pt_lock);
- old_val = *p;
- *p = old_val + incr;
- pthread_mutex_unlock(&AO_pt_lock);
- return old_val;
- }
- #define AO_HAVE_int_fetch_and_add_full
- AO_INLINE void
- AO_and_full(volatile AO_t *p, AO_t value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p &= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_and_full
- AO_INLINE void
- AO_or_full(volatile AO_t *p, AO_t value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p |= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_or_full
- AO_INLINE void
- AO_xor_full(volatile AO_t *p, AO_t value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p ^= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_xor_full
- AO_INLINE void
- AO_char_and_full(volatile unsigned char *p, unsigned char value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p &= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_char_and_full
- AO_INLINE void
- AO_char_or_full(volatile unsigned char *p, unsigned char value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p |= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_char_or_full
- AO_INLINE void
- AO_char_xor_full(volatile unsigned char *p, unsigned char value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p ^= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_char_xor_full
- AO_INLINE void
- AO_short_and_full(volatile unsigned short *p, unsigned short value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p &= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_short_and_full
- AO_INLINE void
- AO_short_or_full(volatile unsigned short *p, unsigned short value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p |= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_short_or_full
- AO_INLINE void
- AO_short_xor_full(volatile unsigned short *p, unsigned short value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p ^= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_short_xor_full
- AO_INLINE void
- AO_int_and_full(volatile unsigned *p, unsigned value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p &= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_int_and_full
- AO_INLINE void
- AO_int_or_full(volatile unsigned *p, unsigned value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p |= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_int_or_full
- AO_INLINE void
- AO_int_xor_full(volatile unsigned *p, unsigned value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- *p ^= value;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_int_xor_full
- AO_INLINE AO_t
- AO_fetch_compare_and_swap_full(volatile AO_t *addr, AO_t old_val,
- AO_t new_val)
- {
- AO_t fetched_val;
- pthread_mutex_lock(&AO_pt_lock);
- fetched_val = *addr;
- if (fetched_val == old_val)
- *addr = new_val;
- pthread_mutex_unlock(&AO_pt_lock);
- return fetched_val;
- }
- #define AO_HAVE_fetch_compare_and_swap_full
- AO_INLINE unsigned char
- AO_char_fetch_compare_and_swap_full(volatile unsigned char *addr,
- unsigned char old_val,
- unsigned char new_val)
- {
- unsigned char fetched_val;
- pthread_mutex_lock(&AO_pt_lock);
- fetched_val = *addr;
- if (fetched_val == old_val)
- *addr = new_val;
- pthread_mutex_unlock(&AO_pt_lock);
- return fetched_val;
- }
- #define AO_HAVE_char_fetch_compare_and_swap_full
- AO_INLINE unsigned short
- AO_short_fetch_compare_and_swap_full(volatile unsigned short *addr,
- unsigned short old_val,
- unsigned short new_val)
- {
- unsigned short fetched_val;
- pthread_mutex_lock(&AO_pt_lock);
- fetched_val = *addr;
- if (fetched_val == old_val)
- *addr = new_val;
- pthread_mutex_unlock(&AO_pt_lock);
- return fetched_val;
- }
- #define AO_HAVE_short_fetch_compare_and_swap_full
- AO_INLINE unsigned
- AO_int_fetch_compare_and_swap_full(volatile unsigned *addr, unsigned old_val,
- unsigned new_val)
- {
- unsigned fetched_val;
- pthread_mutex_lock(&AO_pt_lock);
- fetched_val = *addr;
- if (fetched_val == old_val)
- *addr = new_val;
- pthread_mutex_unlock(&AO_pt_lock);
- return fetched_val;
- }
- #define AO_HAVE_int_fetch_compare_and_swap_full
- /* Unlike real architectures, we define both double-width CAS variants. */
- typedef struct {
- AO_t AO_val1;
- AO_t AO_val2;
- } AO_double_t;
- #define AO_HAVE_double_t
- #define AO_DOUBLE_T_INITIALIZER { (AO_t)0, (AO_t)0 }
- AO_INLINE AO_double_t
- AO_double_load_full(const volatile AO_double_t *addr)
- {
- AO_double_t result;
- pthread_mutex_lock(&AO_pt_lock);
- result.AO_val1 = addr->AO_val1;
- result.AO_val2 = addr->AO_val2;
- pthread_mutex_unlock(&AO_pt_lock);
- return result;
- }
- #define AO_HAVE_double_load_full
- AO_INLINE void
- AO_double_store_full(volatile AO_double_t *addr, AO_double_t value)
- {
- pthread_mutex_lock(&AO_pt_lock);
- addr->AO_val1 = value.AO_val1;
- addr->AO_val2 = value.AO_val2;
- pthread_mutex_unlock(&AO_pt_lock);
- }
- #define AO_HAVE_double_store_full
- AO_INLINE int
- AO_compare_double_and_swap_double_full(volatile AO_double_t *addr,
- AO_t old1, AO_t old2,
- AO_t new1, AO_t new2)
- {
- pthread_mutex_lock(&AO_pt_lock);
- if (addr -> AO_val1 == old1 && addr -> AO_val2 == old2)
- {
- addr -> AO_val1 = new1;
- addr -> AO_val2 = new2;
- pthread_mutex_unlock(&AO_pt_lock);
- return 1;
- }
- else
- pthread_mutex_unlock(&AO_pt_lock);
- return 0;
- }
- #define AO_HAVE_compare_double_and_swap_double_full
- AO_INLINE int
- AO_compare_and_swap_double_full(volatile AO_double_t *addr,
- AO_t old1, AO_t new1, AO_t new2)
- {
- pthread_mutex_lock(&AO_pt_lock);
- if (addr -> AO_val1 == old1)
- {
- addr -> AO_val1 = new1;
- addr -> AO_val2 = new2;
- pthread_mutex_unlock(&AO_pt_lock);
- return 1;
- }
- else
- pthread_mutex_unlock(&AO_pt_lock);
- return 0;
- }
- #define AO_HAVE_compare_and_swap_double_full
- /* We can't use hardware loads and stores, since they don't */
- /* interact correctly with atomic updates. */
|