Analysis and Synthesis of Concurrent Sequential ProgramsThe 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). |
From inside the book
Try this search over all volumes: WAIT l,3
Results 1-0 of 0
Common terms and phrases
analysis and synthesis analysis procedure block function Bredt control assignment statement control flow table control program corresponding to statement critical section cycle-free Digital Systems Laboratory Dummy Statements enabling signal enter CSi execution of statement flow table description flow table model given program go to statement immediate successor statement implementations Inaccessible Set initial output input variables INPUT X₁,X2 internal-state entries model for parallel mutual exclusion problem next-state entries number of internal operation output states conflict output variable changes OUTPUT Z1 parallel computer systems processor program and circuit Program of Table program synthesis programming languages programs or circuits row corresponding 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 11 table in Table Two-Process Mutual Exclusion Two-Program Mutual Exclusion unspecified unstable transitions variable changes value wait statement wakeup function wakeup waiting switch Z₁ Z₂