Provenienzbasiertes Speicher- und Aliasmodell für C

Internationales Technical Specification ISO/IEC TS 6010 definiert offiziell ein Pointer-Provenienzmodell für C.

Das Modell präzisiert, wie Speicherinstanzen und Pointer-Herkunft verfolgt werden, um Aliasanalyse eindeutig zu machen.

Unklare Provenienz in C führt zu inkonsistenten Optimierungen und potenziellen Bugs.

Bestehende Aliasing-Werkzeuge wie restrict, volatile und register reichen nicht aus.

Eine Speicherinstanz ist der maximale zusammenhängende Bereich, dessen Pointer-Provenienz gespeichert wird.

Pointer werden exposeiert, wenn ihre Bytes gelesen oder in Integer konvertiert werden, und synthetisiert, wenn sie aus Bytes oder Integern zusammengesetzt werden.

Bei angrenzenden Objekten wird die Provenienz anhand der Nutzung des Pointers disambiguiert.

Anwender sollten Pointer-Exposition vermeiden, um effiziente Compiler-Optimierungen zu ermöglichen.