Model for Parallel Computer Systems
Defense Technical Information Center, 1970 - Parallel processing (Electronic computers) - 62 pages
A flow table model is defined for parallel computer systems. In the model, fundamental-mode flow tables are used to describe the operation of system components, which may be programs or circuits. Components communicate by changing the values on interconnecting lines which carry binary level signals. It is assumed that there is no bound on the time for value changes to propagate over the interconnecting lines. Given this delay assumption, it is necessary to specify a mode of operation for system components such that input changes which arrive while a component is unstable do not affect the operation of the component. Such a mode of operation is specified. Using the flow table model, a new control algorithm for the two-process mutual exclusion problem is designed. This algorithm does not depend on the exclusive execution of any primitive operations used in its implementation. A circuit implementation of the control algorithm is described. (Author).
12 pages matching Dijkstra in this book
Results 1-3 of 12
What people are saying - Write a review
We haven't found any reviews in the usual places.
0l ll l0 asynchronous become stable change value circuit implementation clock input clock pulse clock signal clocked S-R flip-flops clocked sequential circuit component input component operation control algorithm control circuit control flow table control mechanism critical race critical section delay assumption describe the operation Dijkstra enter its critical essential hazards Flow Table Example flow table model fundamental mode fundamental-mode operation input changes input line input rank input transition input value line delay logic gates McCluskey mode of operation MODEL FOR PARALLEL mutual exclusion problem output rank output values output variable parallel computer systems parallel system primitive operations processor program and circuit program or circuit pulse input pulse mode semaphore variable shown in Fig shown in Table solution stable entry Stanford University synthesis system components System configuration Table for Process table of Table Transition Table two-process mutual exclusion U. S. Air Force value changes wants to enter