Analysis and Synthesis of Concurrent Sequential Programs
The paper presents analysis and synthesis procedures for a class of sequential programs. The procedures aid in the design of programs for parallel computer systems. In particular, the interactions of a given program with other programs or circuits in a system can be described precisely. The basis for the work is a model for parallel computer systems in which the operation of each component is described by a flow table and the components interact by changing values on interconnecting lines. The details of the model are discussed in another paper. The analysis procedure produces a flow table description of a program. In program synthesis, a flow table description is converted to a sequential program. Using flow table design procedures, a control program for the two-program mutual exclusion problem is produced. (Author).
What people are saying - Write a review
We haven't found any reviews in the usual places.
0l ll l0 analysis and synthesis analysis procedure block function class f control assignment statement control flow table control program corresponding to statement critical section cycle-free Digital Systems Laboratory enabling signal enter CSi flow table description flow table model given program go to statement immediate successor statement implementations initial output input variables internal-state entries model for parallel mutual exclusion problem next-state entries number of internal operation output states conflict output variable changes parallel computer systems processor program and circuit program of Table program synthesis programming languages programs or circuits row corresponding Row l2 sequential circuit shown in Fig shown in Table stable entry Stanford University statement is executed Successor Statement Number SYNTHESIS OF PROGRAMS synthesis procedures system component table in Table Table l2 Table l4 Two-Process Mutual Exclusion Two-Program Mutual Exclusion unspecified unstable transitions variable changes value WAIT l,3 wait statement wakeup function wakeup waiting switch ZlZ2