Skip to main content
SpringerLink
Log in

Slack elasticity in concurrent computing

  • Conference paper
  • First Online:
Mathematics of Program Construction (MPC 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1422))

Included in the following conference series:

Abstract

We present conditions under which we can modify the slack of a channel in a distributed computation without changing its behavior. These results can be used to modify the degree of pipelining in an asynchronous system. The generality of the result shows the wide variety of pipelining alternatives presented to the designer of a concurrent system. We give examples of program transformations which can be used in the design of concurrent systems whose correctness depends on the conditions presented.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Goot, M.: The Semantics of VLSI Synthesis. Ph.D. thesis, California Institute of Technology (1996)

    Google Scholar 

  2. Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM, 21(8) (1978) 666–677

    Article  MATH  MathSciNet  Google Scholar 

  3. van Horn, K.S.: An Approach to Concurrent Semantics Using Complete Traces. M.S. thesis, California Institute of Technology (1986)

    Google Scholar 

  4. Martin, A.J.: An Axiomatic definition of synchronization primitives. Acta Informatica, 16 (1981) 219–235

    Article  MATH  Google Scholar 

  5. Martin, A.J.: The Probe: An addition to communication primitives. Information Processing Letters, 20 (1985) 125–130

    Article  MATH  MathSciNet  Google Scholar 

  6. Martin, A.J., Lines A., Manohar R., Nyström, M., Penzes, P., Southworth, R., Cummings, U.V., and Lee, T.K.: The design of an asynchronous MIPS R3000. Proceedings of the 17th Conference on Advanced Research in VLSI (1997)

    Google Scholar 

  7. Manohar, R.: The Impact of Asynchrony on Computer Architecture. Ph.D. thesis, California Institute of Technology (1998)

    Google Scholar 

  8. van de Snepscheut, J.L.A.: Trace theory and VLSI design. Lecture Notes in Computer Science 200, Springer-Verlag (1985)

    Google Scholar 

  9. Williams, T.E.: Self-timed Rings and their Application to Division. Ph.D. thesis, Computer Systems Laboratory, Stanford University (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. California Institute of Technology, 91125, Pasadena, CA, USA

    Rajit Manohar & Alain J. Martin

Authors
  1. Rajit Manohar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alain J. Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Johan Jeuring

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Manohar, R., Martin, A.J. (1998). Slack elasticity in concurrent computing. In: Jeuring, J. (eds) Mathematics of Program Construction. MPC 1998. Lecture Notes in Computer Science, vol 1422. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054295

Download citation

  • DOI: https://doi.org/10.1007/BFb0054295

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64591-7

  • Online ISBN: 978-3-540-69345-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation