Control of Concurrent Operations in Asynchronous Digital Processes
Abstract
Methods are presented which can be used to analyze a sequential digital process and synthesize a process which performs the same operations but in less time by allowing concurrent execution of operations where possible. In the model used, concurrent execution of operations is controlled by branch operations which initiate concurrent paths of execution and by rendezvous operations which combine concurrent paths of execution after completion. Two types of errors which may occur in concurrent processes but not in sequential processes are distinguished. The first, called sequencing errors, cause the computed results to depend on the magnitude of the delays in the process operations and are due to operations being initiated before all of their data values are available. The second type of errors are called implementation errors and are caused by attempting to combine non-concurrent paths of execution with a rendezvous operation and by attempting to initiate an operation that is already being executed. The problem of detecting and correcting these errors is eliminated by insuring that the synthesized concurrent process is free of sequencing and implementation errors.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1970
- Accession Number
- AD0771743
Entities
People
- Fred U. Rosenberger
Organizations
- University of Washington