Exploratory Programming Techniques for Program Execution Monitoring

该项目旨在开发技术，以降低为系统编程语言开发程序执行监视器的成本。这些技术包括应用程序的自动检测、监视器和目标程序之间的共享内存协程关系，以及动态加载和绑定监视器到目标程序。由此产生的监视框架预计将用于探索执行监视中的一个特定问题：通过图形规范控制执行。使用可视化技术的执行监控器将为图形输入提供与输出使用相同的可视化隐喻的执行控制。

This project seeks to develop techniques that reduce the cost of developing program execution monitors for systems programming languages. These techniques include automated instrumentation of the application, a shared-memory coroutine relationship between the monitor and target program, and dynamic loading and binding of monitors to target programs. The resulting monitoring framework is expected to be used to explore a particular problem in execution monitoring: the control of execution by graphic specification. Execution monitors that use visualization techniques would provide execution controls using the same visual metaphors for graphic input as are employed for output.