Advertisement

Automated design of concurrent process systems

  • Toyohiko Hirota
  • Yutaka Ohno
  • Koichi Tabata
Part VII, Development Process And Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 143)

Abstract

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.

Keywords

Partial Order Processing Step Critical Region Design Technique Total Order 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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
  2. Hansen P.B. (1973). Operating System Principles. Prentice-Hall, 1973.Google Scholar
  3. Hansen P.B. (1976). The Programming Language Concurrent Pascal. IEEE Trans. Software Eng., Vol.SE-1, No.2, June 1975.Google Scholar
  4. 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
  5. Liskov B.H., et al. (1975) Specification Techniques for Data Abstruction. IEEE Trans. Software Eng., Vol. SE-1, No.1, March 1975.Google Scholar
  6. Myers G.J. (1978). Composite/Structured Design. Litton Educational Publishing, 1978.Google Scholar
  7. Parnas D.L. (1972). A Technique for Software Module Specification with Examples. CACM, Vol.15, No.15, May 1972.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Toyohiko Hirota
    • 1
  • Yutaka Ohno
    • 1
  • Koichi Tabata
    • 2
  1. 1.Kyoto UniversityKyotoJapan
  2. 2.University of Library and Information ScienceYatabe-chouJapan

Personalised recommendations