A basic approach to the problem of program translation for systemsusing explicit plan scheduling is described. One of the goals is toestablish a source language, Spring-C, that can serve as a target formany languages. The author discusses a method for deriving behavioralpredictions while translating between the programming and run-timerepresentations used by the Spring system. A graph representation of theprogram is derived from the intermediate representation the compileruses to emit code. This graph is then reduced and analyzed to makebehavioral predictions. The author presents the basic translation methodand gives examples of how it translates programming language constructsfor critical sections and synchronous communication
展开▼