Our proposed approach can therefore improve quality in two dimensions: The code by making locking first-class primitives, and second the retrieved data is more ...

KStruct – Preserving. Consistency Through C ... □ Leverage (existing) annotations. □ Comply to ... □ Lock-based annotations. □ Idiomatic annotations.

在本文中，我们介绍了KStruct，一种在运行时检查系统状态信息的整体方法。因此，我们使用了一种多层次的方法:首先，KStruct Access，我们的领域特定语言，可以用来为锁依赖 ...

KStruct. Preserving Consistency Through C Annotations. Alexander Schmidt. Martin von Löwis. Andreas Polze. Hasso Plattner Institute at University of Potsdam.

KStruct allows the specification of kernel data structures which is used by a code generator that generates a device driver that accesses these structures. We ...

KStruct: ein Ansatz zur Analyse und Beschreibung von Nebenläufigkeit in Betriebssystemen. ... KStruct: preserving consistency through C annotations. PLOS@SOSP ...

"kstruct preserving consistency through c annotations"^^<http://www.w3.org/2001/XMLSchema#string>. 5. <http://aida.kmi.open.ac.uk/resource/2123144165>. <http ...

KStruct: Preserving consistency through C annotations · Article. October 2009 ... Preserving Consistency Through C Annotations · Article. 11 Reads. Alexander ...

Checking process-oriented operating system behaviour using CSP and refinement. ... KStruct: preserving consistency through C annotations. 6:1-6:5. view.

– KStruct: Preserving Consistency Through C Annotations. Alexander Schmidt ... His approach is based on adding annotations to C code—both legacy and new C.