skip to main content
article
Free Access

Distributed microprogramming

Published:01 June 1988Publication History
Skip Abstract Section

Abstract

This paper proposes the use of the microprogramming technique for synchronizing multiprocessors. The language used is an extension of CSP including the bi-io and the probe statements. We present a self-stabilizing algorithm for the generation of a two-phase clock; this algorithm is a generalization of the Dining Philosophers Problem, where n philosophers access m resources.

References

  1. E. W. Dijkstra, "Hierarchical ordering of sequential processes", Acta inform., Vol. 1, 1971, pp 115--138.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. C. A. R. Hoare, "Communicating sequential processes", Communications of the ACM, Vol. 21, August 1978, pp 666--677. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. P. M. Lenders, "A generalized mssage-passing mechanism for Communicating Sequential Processes", IEEE Trans. on Comp., to appear. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. A. J. Martin, "The probe: an addition to communication primitives", Infomation Processing letters, 20, 1985, pp 125--130.Google ScholarGoogle ScholarCross RefCross Ref
  5. C. Mead and L. Conway, "Introduction to VLSI systems", Addison-Wesley Publishing Company, 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Distributed microprogramming

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGMICRO Newsletter
            ACM SIGMICRO Newsletter  Volume 19, Issue 1-2
            June 1988
            66 pages
            ISSN:1050-916X
            DOI:10.1145/62197
            Issue’s Table of Contents

            Copyright © 1988 Author

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 June 1988

            Check for updates

            Qualifiers

            • article
          • Article Metrics

            • Downloads (Last 12 months)2
            • Downloads (Last 6 weeks)1

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!