std:: kill_dependency

struct Foo
{
    int* a;
    int* b;
};
std::atomic<Foo*> foo_head[10];
int foo_array[10][10];
// consume 연산은 이 함수를 벗어나는 의존성 체인을 시작합니다
[[carries_dependency]] Foo* f(int i)
{
    return foo_head[i].load(memory_order_consume);
}
// 의존성 체인은 오른쪽 매개변수를 통해 이 함수로 들어오며
// 함수가 끝나기 전에 제거됩니다 (따라서 추가적인 acquire 연산이 발생하지 않음)
int g(int* x, int* y [[carries_dependency]])
{
    return std::kill_dependency(foo_array[*x][*y]);
}

[[carries_dependency]] struct Foo* f(int i);
int g(int* x, int* y [[carries_dependency]]);
int c = 3;
void h(int i)
{
    Foo* p;
    p = f(i); // f 내부에서 시작된 의존성 체인이 과도한 acquire 없이 p로 계속 전파됨
    do_something_with(g(&c, p->a)); // p->b는 캐시에서 가져오지 않음
    do_something_with(g(p->a, &c)); // 왼쪽 인수는 carries_dependency 속성을 가지지 않음
                                    // 메모리 acquire 펜스가 발행될 수 있음
                                    // p->b는 g()가 진입되기 전에 가시성이 확보됨
}