Resource flow simulation model
Mathews, Jon (2004) Resource flow simulation model. Masters thesis, Iowa State University.
Full text available as:
Many programs have been and are still being written using explicit resource management; that is, the program explicitly allocates and deallocates resources. This kind of management leads to code that can be difficult to understand because the fragments that implement explicit resource management for a single resource can cross-cut the code. Often the software engineer is faced with analyzing the code by hand in order to locate the fragments that make up this cross-cutting concern. We propose a model for simulating the flow of resources through a program in order to assist in locating the fragments of code that implement resource management. The model is domain-specific: the user supplies the names of functions that allocate and deallocate resources. Although simulation is interprocedural, the user can model functions with a few simple primitives to speed up the analysis or to test assumptions about the resource management behavior of the code. A simulation has been built based on this model, and a user interface has been built to navigate the fragments. The tool has been tested on several case studies involving the network stack in the XINU operating system.
Archive Staff Only: edit this record