Optimierung mit dem restrict-Schlüsselwort

Snippet

Optimierung mit dem restrict-Schlüsselwort

Der 'restrict'-Qualifier ist ein Hinweis an den Compiler, dass während der Lebensdauer des Pointers nur der Pointer selbst oder ein davon abgeleiteter Wert verwendet wird, um auf das Objekt zuzugreifen. Dies ermöglicht dem Compiler Optimierungen wie die Vektorisierung, die ansonsten aufgrund von möglichem Pointer-Aliasing unsicher wären.

snippet.c
c
void add_arrays(int *restrict a, int *restrict b, int *restrict result, int n) {
    for (int i = 0; i < n; i++) {
        result[i] = a[i] + b[i];
    }
}

Erklärung

int *restrict a

Teilt dem Compiler mit, dass 'a' auf einen eindeutigen Speicherblock zeigt, der nicht von 'b' oder 'result' überlagert wird.

result[i] = a[i] + b[i];

Der Compiler kann Werte aus 'a' und 'b' sicher in Register laden, ohne zu befürchten, dass 'result' sie überschreibt.

Vorheriges Snippet Nächstes Snippet

Verwandt

Aus deiner Bibliothek