https://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Atomic-Builtins.html
| API | 功能 |
|---|
type __sync_fetch_and_add (type *ptr, type value, …)
type __sync_fetch_and_sub (type *ptr, type value, …)
type __sync_fetch_and_or (type *ptr, type value, …)
type __sync_fetch_and_and (type *ptr, type value, …)
type __sync_fetch_and_xor (type *ptr, type value, …)
type __sync_fetch_and_nand (type *ptr, type value, …) | { tmp &＃61; *ptr; *ptr op&＃61; value; return tmp; }
{ tmp &＃61; *ptr; *ptr &＃61; ~tmp & value; return tmp; } // nand |
type __sync_add_and_fetch (type *ptr, type value, …)
type __sync_sub_and_fetch (type *ptr, type value, …)
type __sync_or_and_fetch (type *ptr, type value, …)
type __sync_and_and_fetch (type *ptr, type value, …)
type __sync_xor_and_fetch (type *ptr, type value, …)
type __sync_nand_and_fetch (type *ptr, type value, …) | { *ptr op&＃61; value; return *ptr; }
{ *ptr &＃61; ~*ptr & value; return *ptr; } // nand |
bool __sync_bool_compare_and_swap (type *ptr, type oldval type newval, …)
type __sync_val_compare_and_swap (type *ptr, type oldval type newval, …) | 这些内建程序执行原子比较和交换。也就是说&＃xff0c;如果ptr的当前值为oldval&＃xff0c;则将newval写入ptr。如果比较成功且写入了newval&＃xff0c;则“bool”版本返回true。“val”版本返回操作前*ptr的内容。 |
| __sync_synchronize (…) | This builtin issues a full memory barrier. |
| type __sync_lock_test_and_set (type *ptr, type value, …) | 将value写入ptr&＃xff0c;对ptr加锁&＃xff0c;并返回操作之前*ptr的值。很多实现 value 只能为 1&＃xff0c;并且返回的原始ptr值是实现定义的。 |
| void __sync_lock_release (type *ptr, …) | 将0写入到ptr&＃xff0c;并对ptr解锁。 |
这些函数被视为 完整内存障&＃xff0c;也就是内存计数器&＃xff08;这是个啥&＃xff1f;指令计数器吗&＃xff1f;&＃xff09;不会越过这条指令&＃xff0c;不管向前还是向后。必要时这些指令可以防止处理器跨操作推测负载&＃xff0c;并防止操作后排队存储。
c&＃43;&＃43;11 的memory barrier有很多种&＃xff1a;
- full memory barrier(mb)
- release memory barrier(relb)
- acquire memory barrier(acqb)
- write memory barrier(wb)
- read memory barrier(rb)
- data dependency memory barrier(ddrb)
Acquire是说&＃xff0c;在Acquire之后的读写指令都不能和Acquire之前的read指令乱序
Release是说&＃xff0c;在Release之后的write指令都不能和Release之前的读写指令乱序
Gemini的代码这个文件取名是 atomic.hpp&＃xff0c;但是其实是用的 memory barrier。
关于 memory barrier 有很多理论&＃xff0c;先看了两篇英文博客了解了下概念&＃xff0c;后面需要再学。
https://preshing.com/20120625/memory-ordering-at-compile-time/
https://preshing.com/20120710/memory-barriers-are-like-source-control-operations/
京公网安备 11010802041100号