Namensräume
Varianten
Aktionen

std::kill_dependency

Von cppreference.com
< cpp‎ | atomic
 
C++
 
Bibliothek für nebenläufige Programmierung
Threads
(C++11)
(C++20)
(C++17)(C++17)
this_thread Namespace
(C++11)
(C++11)
(C++11)
(C++11)
Kooperatives Beenden
Gegenseitiger Ausschluss
(C++11)
(C++11)
(C++17)
Allgemeines Sperrungsmanagement
(C++11)
(C++11)
(C++17)
(C++11)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)(C++11)(C++11)(C++11)(C++11)(C++11)
Bedingungsvariablen
(C++11)
(C++11)
(C++11)
(C++11)
Semaphoren
(C++20)(C++20)
Latches und Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Sichere Wiederherstellung
(C++26)
(C++26)
(C++26)
Hazard Pointer
(C++26)
(C++26)
(C++26)
Atomare Typen
(C++11)
(C++20)
(C++11)
Initialisierung von atomaren Typen
(C++11)(veraltet in C++20)
(C++11)(veraltet in C++20)
(C++11)
Speicherordnung
(C++11)
kill_dependency
(C++11)(deprecated in C++26)
(C++11)
(C++11)
Freie Funktionen für atomare Operationen
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++26)(C++26)
(C++26)(C++26)
(C++11)
(C++20)(C++20)
(C++20)
(C++20)
Freie Funktionen für atomare Flags
(C++11)(C++11)
(C++11)(C++11)
(C++20)(C++20)
(C++20)(C++20)
(C++20)
(C++20)
 
Definiert in Header <atomic>
template< class T >
T kill_dependency( T y ) noexcept;
 (seit C++11)
(constexpr seit C++26)
(veraltet in C++26)

Informiert den Compiler, dass der Abhängigkeitsbaum, der durch eine atomare Ladeoperation mit std::memory_order_consume gestartet wurde, sich nicht über den Rückgabewert von std::kill_dependency hinaus erstreckt; das heißt, das Argument überträgt keine Abhängigkeit in den Rückgabewert.

Dies kann verwendet werden, um unnötige std::memory_order_acquire-Zäune zu vermeiden, wenn die Abhängigkeitskette den Funktionsumfang verlässt (und die Funktion nicht das Attribut [[carries_dependency]] hat).

 (bis C++26)

Gibt einfach y zurück. Diese Funktionstemplate ist veraltet.

 (seit C++26)

Inhalt

[bearbeiten] Parameter

y - der Ausdruck, dessen Rückgabewert aus einem Abhängigkeitsbaum entfernt werden soll

[bearbeiten] Rückgabewert

Gibt y zurück, das nicht mehr Teil eines Abhängigkeitsbaums ist(bis C++26).

[bearbeiten] Beispiele

[bearbeiten] file1.cpp:
struct Foo
{
    int* a;
    int* b;
};
 
std::atomic<Foo*> foo_head[10];
int foo_array[10][10];
 
// consume operation starts a dependency chain, which escapes this function
[[carries_dependency]] Foo* f(int i)
{
    return foo_head[i].load(memory_order_consume);
}
 
// the dependency chain enters this function through the right parameter and is
// killed before the function ends (so no extra acquire operation takes place)
int g(int* x, int* y [[carries_dependency]])
{
    return std::kill_dependency(foo_array[*x][*y]);
}
[bearbeiten] file2.cpp:
[[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); // dependency chain started inside f continues into p without undue acquire
    do_something_with(g(&c, p->a)); // p->b is not brought in from the cache
    do_something_with(g(p->a, &c)); // left argument does not have the carries_dependency
                                    // attribute: memory acquire fence may be issued
                                    // p->b becomes visible before g() is entered
}

[bearbeiten] Siehe auch

(C++11)
 definiert Speicherordnungseinschränkungen für die gegebene atomare Operation
(Enum) [bearbeiten]
C-Dokumentation für kill_dependency
Abgerufen von "https://cppreference.de/mwiki/index.php?title=cpp/atomic/kill_dependency&oldid=181320"