Lyx – Attribute & Pragmas (@-Referenz)

Attribute (auch Pragmas genannt) sind Compiler-Anweisungen, die mit @ beginnen und vor einer Deklaration stehen. Sie steuern Optimierungen, Sicherheits-Verifikation, Speicherlayout und FFI-Verhalten. Attribute verändern nie die Semantik des Programms für korrekte Eingaben — sie sind Zusatzinformationen für den Compiler, nicht für den Laufzeit-Interpreter.

→ Compiler-Flags (CLI) · DO-178C Compliance · Energy-Aware Modell · FFI – C-Interop

Übersicht

Alle Attribute auf einen Blick:

Attribut	Ziel	Kategorie	Beschreibung
`@dal(A–D)`	Unit, Fn	Safety	Design Assurance Level nach DO-178C
`@flight_crit`	Unit, Fn	Safety	Strikte Luftfahrt-Regeln (kein Heap, kein FP-Opt)
`@integrity(…)`	Unit, Fn	Safety	Memory Scrubbing oder Software Lockstep
`@redundant`	Variable	Safety	Triple Modular Redundancy (TMR)
`@stack_limit(N)`	Fn	Safety	Maximaler Stack-Verbrauch in Bytes
`@wcet(N)`	Fn	Safety	Worst-Case Execution Time in Zyklen
`@energy(1–5)`	Unit, Fn	Performance	Energy-Aware-Backend-Level
`@inline`	Fn	Performance	Inlining erzwingen
`@noinline`	Fn	Performance	Inlining verbieten
`@no_opt`	Fn	Performance	Alle IR-Optimierungen deaktivieren
`@parallel`	Loop, Array	Performance	SIMD-Vektorisierung erlauben
`@section(„name“)`	Fn, Var	Layout	ELF-Sektion explizit setzen
`@packed`	Struct	Layout	Struct-Padding unterdrücken
`@at(N)`	Struct-Feld	Layout	Explizites Byte-Offset eines Struct-Felds
`@big_endian`	Struct-Feld	Layout	Mehrbyte-Feld als Big-Endian interpretieren
`@volatile`	Variable	FFI	Speicherzugriff nicht wegoptimieren
`@extern`	Fn	FFI	Externe C/Assembly-Funktion deklarieren
`@export`	Fn, Var	FFI	Symbol in Shared Library exportieren
`@stdcall`	Fn	FFI

@extern
@stdcall
fn MessageBoxA(hwnd: int64, text: pchar, caption: pchar, utype: int64): int64;

@extern
@stdcall
fn CreateFileA(lpFileName: pchar, dwAccess: int64, dwShare: int64,
               lpSecurity: int64, dwCreation: int64, dwFlags: int64,
               hTemplate: int64): int64;

@variadic

Markiert eine Funktion als C-varargs-Wrapper. Ermöglicht die Weitergabe variabler Argumentlisten an externe C-Funktionen.

@extern
@variadic
fn printf(fmt: pchar): int64;

@extern
@variadic
fn snprintf(buf: pchar, size: int64, fmt: pchar): int64;

Lyx selbst hat keine variadischen Funktionen — @variadic ist ausschließlich für @extern-Deklarationen
Typunsicher: Argumente werden nicht vom Compiler geprüft

Kombinations-Regeln

Nicht alle Attribute sind kompatibel. Hier die wichtigsten Einschränkungen:

Kombination	Erlaubt?	Hinweis
`@flight_crit` + `@energy(1)`	✅	`@energy(1)` ist implizit, explizit redundant aber harmlos
`@flight_crit` + `@energy(2)`	✅	Erfordert `@dal(B)` oder explizite `@allow_unsafe`-Begründung
`@flight_crit` + `@energy(4/5)`	❌	Compiler-Fehler: widerspricht der No-Speculation-Anforderung
`@integrity(lockstep)` + `@inline`	❌	Lockstep erfordert definierte Call-Grenzen
`@integrity(lockstep)` + `@extern`	❌	Externe Funktionen können nicht dupliziert werden
`@redundant` auf Stack-Variable	❌	Nur für global/Unit-Level
`@parallel` + `@no_opt`	❌	`@no_opt` deaktiviert SIMD-Vektorisierung
`@dal(A)` + `unsafe` (ohne `@allow_unsafe`)	❌	Compiler-Fehler
`@packed` + `@section`	✅	Häufige Kombination für Hardware-Register-Structs
`@at(N)` + `@packed`	✅	`@packed` entfernt implizites Padding; `@at` legt Positionen absolut fest
`@at(N)` + `@big_endian`	✅	Standardkombination für Netzwerk-Header-Felder
`@big_endian` ohne `@at(N)`	❌	Compiler-Fehler: Offset-Angabe fehlt
`@at(N)` + Feld ohne `@at` in derselben Struct	❌	Compiler-Fehler: gemischtes Layout nicht erlaubt
`@volatile` + `@no_opt`	✅	Maximale Garantie gegen Compiler-Umordnung
`@extern` + `@stdcall`	✅	Standard für Windows-API
`@extern` + `@variadic`	✅	Standard für printf-Familie

Weiterführende Seiten

Letzte Aktualisierung: 2026-06-06