Automated design of concurrent process systems
We have developed a computer-aided design technique for a concurrent process system. A concurrent process system is a system that several processes concurrently access some common variables. In designing such a system, a designer must pay attention to mutual exclusion of common variable access, synchronization between processes, and prevention of deadlock. Our design technique helps a designer to solve these problems. In our design technique, a designer describes formally some processing requirements of an object system. In this description, each process in the system is specified as a set of processing steps and a partial order on the set. Then our design technique proposes to the designer some proper execution sequences for each process. After an execution sequence for each process is selected, our design technique establishes several critical regions and constructs a design proposal, based on the designer's requirements about mutual exclusion and consistency of common variable access. Because for the most part our design technique is mathematical operations on partially ordered sets, our design technique can be greatly aided by a computer, and then a designer can get a valid design proposal for a concurrent process system by using our design technique.
KeywordsPartial Order Processing Step Critical Region Design Technique Total Order
Unable to display preview. Download preview PDF.
- Bernstein P.A., et al. (1978). The Concurrency Control Mechanism of SDD-1: A System for Distributed Database (The Fully Redundant Case). IEEE Trans. Software Eng., Vol.SE-4, No.3, May 1978.Google Scholar
- Hansen P.B. (1973). Operating System Principles. Prentice-Hall, 1973.Google Scholar
- Hansen P.B. (1976). The Programming Language Concurrent Pascal. IEEE Trans. Software Eng., Vol.SE-1, No.2, June 1975.Google Scholar
- Hirota T., Tabata K. and Ohno Y. (1978). Computer-Aided Design of Software Module: Validity of Concurrent Processing on On-Line File. 3rd USA-JAPAN Computer Conference, Oct. 1978.Google Scholar
- Liskov B.H., et al. (1975) Specification Techniques for Data Abstruction. IEEE Trans. Software Eng., Vol. SE-1, No.1, March 1975.Google Scholar
- Myers G.J. (1978). Composite/Structured Design. Litton Educational Publishing, 1978.Google Scholar
- Parnas D.L. (1972). A Technique for Software Module Specification with Examples. CACM, Vol.15, No.15, May 1972.Google Scholar