std::kill_dependency

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

原子操作库

类

atomic (C++11)

atomic_ref (C++20)

函数

atomic_storeatomic_store_explicit (C++11)(C++11)

atomic_loadatomic_load_explicit (C++11)(C++11)

atomic_exchangeatomic_exchange_explicit (C++11)(C++11)

atomic_compare_exchange_weakatomic_compare_exchange_weak_explicitatomic_compare_exchange_strongatomic_compare_exchange_strong_explicit (C++11)(C++11)(C++11)(C++11)

atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11)

atomic_fetch_subatomic_fetch_sub_explicit (C++11)(C++11)

atomic_fetch_andatomic_fetch_and_explicit (C++11)(C++11)

atomic_fetch_oratomic_fetch_or_explicit (C++11)(C++11)

atomic_fetch_xoratomic_fetch_xor_explicit (C++11)(C++11)

atomic_is_lock_free (C++11)

atomic_waitatomic_wait_explicit (C++20)(C++20)

atomic_notify_one (C++20)

atomic_notify_all (C++20)

原子标志

atomic_flag (C++11)

atomic_flag_test_and_setatomic_flag_test_and_set_explicit (C++11)(C++11)

atomic_flag_clearatomic_flag_clear_explicit (C++11)(C++11)

atomic_flag_testatomic_flag_test_explicit (C++20)(C++20)

atomic_flag_waitatomic_flag_wait_explicit (C++20)(C++20)

atomic_flag_notify_one (C++20)

atomic_flag_notify_all (C++20)

初始化

atomic_init (C++11)(C++20 中弃用)

ATOMIC_VAR_INIT (C++11)(C++20 中弃用)

ATOMIC_FLAG_INIT (C++11)(C++20 中弃用)

内存顺序

memory_order (C++11)

kill_dependency (C++11)

atomic_thread_fence (C++11)

atomic_signal_fence (C++11)

 

定义于头文件 <atomic>
template< class T > T kill_dependency( T y ) noexcept;		(C++11 起)

告诉编译器 std::memory_order_consume 原子加载操作所开始的依赖树不会扩张过 std::kill_dependency 的返回值；即参数不会将依赖携带进返回值。

这可用于在依赖链离开函数作用域（而函数无 [[carries_dependency]] 属性）时，避免不必要的 std::memory_order_acquire 栅栏。

参数

y

-

要从依赖树移除其返回值的表达式

返回值

返回 y ，它不再是依赖树的一部分。

示例

file1.cpp:

struct foo { int* a; int* b; };
std::atomic<struct foo*> foo_head[10];
int foo_array[10][10];
 
// 消费操作开始依赖链，它将脱离此函数
[[carries_dependency]] struct foo* f(int i) {
    return foo_head[i].load(memory_order_consume);
}
 
// 依赖链通过有参数进入此函数，而在函数前被杀掉（故不发生额外的获得操作）
int g(int* x, int* y [[carries_dependency]]) {
    return std::kill_dependency(foo_array[*x][*y]);
}

file2.cpp:

[[carries_dependency]] struct foo* f(int i);
int g(int* x, int* y [[carries_dependency]]);
 
int c = 3;
void h(int i) {
    struct foo* p;
    p = f(i); // f 内开始的依赖链持续进入 p ，而无过度的获得
    do_something_with(g(&c, p->a)); // p->b 不从缓存进口
    do_something_with(g(p->a, &c)); // 左参数无 carries_dependency 属性：
                                    // 可能发生内存获得栅栏
                                    // p->b 在进入 g() 前变为可见
}

参阅

memory_order (C++11)

为给定的原子操作定义内存顺序制约 (枚举)