Checking system rules using system-specific, programmer-written compiler extensions

Systems software such as OS kernels, embedded systems, and libraries must obey many rules for both correctness and performance. Common examples include 'accesses to variable A must be guarded by lock B,' 'system calls must check user pointers for validity before using them,' and...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Scientific and technical aerospace reports 2004-02, Vol.42 (4)
Hauptverfasser:	Engler, Dawson, Chelf, Benjamin, Chou, Andy, Hallem, Seth
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!