std::kill_dependency

struct foo { int* a; int* b; };
std::atomic<struct foo*> foo_head[10];
int foo_array[10][10];
 
// la operación de consumo inicia una cadena de dependencias, que se escapa de esta función
[[carries_dependency]] struct foo* f(int i) {
    return foo_head[i].load(memory_order_consume);
}
 
// cadena de dependencias ingresa en esta función a través del parámetro correcto
// y se elimina antes que la función termine (y no toma lugar una operación de toma extra)
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) {
    struct foo* p;
 
	// cadena de dependencias que inició dentro de f continúa en p sin una toma indebida
	p = f(i);
    do_something_with(g(&c, p->a)); // p->b no se trae de la caché
    do_something_with(g(p->a, &c)); // el argumento izquierdo no tiene el atributo 
                                    // carries_dependency: puede emitirse una barrera
									// de toma de memoria
                                    // p->b se vuelve visible antes que se ingrese a g()
}