Antwort

Das Schlüsselwort restrict ist ein Spezifizierer für Zeiger, der im Standard C99 eingeführt wurde. Es informiert den Compiler, dass der Zeiger die einzige Möglichkeit ist, auf das Speicherobjekt im Geltungsbereich des Zeigers zuzugreifen. Dies hilft dem Optimierer erheblich, effizienteren Maschinencode zu erstellen, insbesondere beim Arbeiten mit großen Puffern.

Zum Beispiel:

void vector_add(int * restrict a, int * restrict b, int * restrict c, size_t n) {
    for (size_t i = 0; i < n; ++i)
        c[i] = a[i] + b[i];
}

Hier wird vorausgesetzt, dass die Arrays a, b und c sich nicht überschneiden. Ein Verstoß gegen diese Anforderung führt zu undefiniertem Verhalten und schwer fassbaren Fehlern.

Die Verwendung von restrict wird nur empfohlen, wenn Sie sicher sind, dass keine anderen Zeiger oder Nebeneffekte auf denselben Speicherbereich verweisen.

Fangfrage

Kann der gleiche Speicherbereich gleichzeitig über zwei restrict-Zeiger sichtbar sein?

Antwort:

Nein, das würde zu undefiniertem Verhalten führen. Es gibt keine Garantie, dass der Compiler die Änderungen, die über den zweiten Zeiger vorgenommen wurden, berücksichtigt. Beispiel — kritischer falscher Code:

void f(int * restrict x, int * restrict y) {
    x[0] = 1;
    y[0] = 2;
}

int main() {
    int v;
    f(&v, &v); // Verstoß gegen die restrict-Bedingung
}

Beispiele für echte Fehler aufgrund mangelnden Wissens über die Feinheiten des Themas

---

Geschichte

Im Finanzberechnungskern wurden Funktionen optimiert, die Arrays mit restrict hinzugefügt haben, aber es wurde nicht berücksichtigt, dass die Arrays aufgrund von Geschäftslogikvorgaben überschneiden könnten. Dies führte zu ungenauen Berechnungen des Kontos bei unsachgemäßer Verwendung.

---

Geschichte

Die Methode der Batchmatrixmultiplikation wurde nach der Anwendung von restrict beschleunigt, aber in einer der Iterationen überschritt das Ergebnisarray eines der Eingangsarrays - die Antwort wurde unvorhersehbar, der Bug wurde nur durch Lasttests entdeckt.

---

Geschichte

In einer Funktion zur Bildbearbeitung wurden zwei Zeiger auf Stücke des gleichen Puffers versehentlich mit restrict deklariert. Nach dem Update des Compilers und seines Optimierers wurde das Ergebnis der Bildbearbeitung plötzlich verzerrt - Grund: Der Compiler begann aktiv den Cache wiederzuverwenden und ignorierte Modifikationen.