Loading...
Please wait, while we are loading the content...
Similar Documents
KStruct: preserving consistency through C annotations
| Content Provider | ACM Digital Library |
|---|---|
| Author | Schmidt, Alexander Polze, Andreas von Löwis, Martin |
| Abstract | Debuggers and instrumentation tools have been proven valuable for understanding the inner workings of software systems. Although these tools are essential for various people, e.g., system administrators, developers, or teachers, they have one major drawback, especially in multi-threaded environments: They completely ignore data races. Within this paper, we present KStruct, a holistic approach for inspecting state information of a system while running. We therefore use a multi-level approach: First KStruct Access, our domain-specific language, can be used to model lock dependencies. Second, based on that model, we generate an access driver that dynamically attaches to the system under investigation and leverages that model to access state information. 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 reliable to be consistent. |
| Starting Page | 1 |
| Ending Page | 5 |
| Page Count | 5 |
| File Format | |
| ISBN | 9781605588445 |
| DOI | 10.1145/1745438.1745447 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2009-10-11 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Consistency models Model driven architectures Kernel data inspection Kstruct |
| Content Type | Text |
| Resource Type | Article |
