Strict Aliasing und das restrict-Schlüsselwort

Snippet

Strict Aliasing und das restrict-Schlüsselwort

Strict Aliasing erlaubt es dem Compiler anzunehmen, dass Zeiger unterschiedlicher Typen nicht denselben Speicherbereich referenzieren. Der 'restrict'-Qualifizierer (C99) informiert den Compiler explizit darüber, dass während der Lebensdauer des Zeigers nur dieser (und davon abgeleitete Zeiger) für den Zugriff auf das Objekt verwendet wird. Dies ermöglicht aggressive Optimierungen, wie das einmalige Laden von Werten in Register, anstatt sie aufgrund potenzieller Seiteneffekte erneut aus dem Speicher zu lesen.

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

Erklärung

int * restrict a

Teilt dem Compiler mit, dass 'a' der einzige Zugriffspfad auf seinen Speicherblock ist.

b[i] += src[i];

Der Compiler weiß, dass 'src' nicht durch den vorherigen Schreibzugriff auf 'a' geändert wurde.

Vorheriges Snippet Nächstes Snippet

Verwandt

Aus deiner Bibliothek