System Representation Model
- 100 Downloads
As explained in Section 5, software synthesis starts from a detailed system representation model which captures the detailed design specification. At the same time, the model also provides enough abstraction and hierarchy to allow task level (concurrency) optimizations at a high-level (Section 4). This model is essential in view of our intention to perform optimizing (task-level) code restructuring and to generate an application-specific (run-time) solution.
KeywordsShared Memory Sink Node Data Port Communicate Sequential Process Data Flow Graph
Unable to display preview. Download preview PDF.
- 6.a ‘thread’ is defined as: “a set of operations which may or may not start with a non-deterministic (ND) operation. Other than the beginning ND operation, a thread does not contain any ND operation.” [Gupta 93b].Google Scholar
- 9.a basic block is a sequence of consecutive statements in which flow of control enters at the beginning and leaves at the end without halt or possibility for branching except at the end [Aho 77].Google Scholar
- 10.or safeness similar to Petri nets [Murata 89].Google Scholar
- 19.i.e. persistency in PN terminology [Murata 89].Google Scholar
- 37.SPN models are in fact synchronized queuing networks, since a (S)PN has an additional notion of synchronization of concurrent behavior [Valette 91].Google Scholar