Skip to main content
SpringerLink
Log in

An object model for multiprogramming

  • Workshop on Formal Method for Parallel Programming: Theory and Applications Dominuque Mery, Universitè Henri Poincare-Nancy 1 and IUF, France BeverlySanders, University of Florida, USA
  • Conference paper
  • First Online:
Parallel and Distributed Processing (IPPS 1998)

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

Included in the following conference series:

Abstract

We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it supports concurrent executions of designated methods of the object instances. Yet, the model includes no specific communication or synchronization mechanism, except procedure call. The traditional schemes for communication, synchronization, interfaces among processes and accesses to shared memory can be encoded by objects in our model. Concurrency in the model is transparent to the programmer; the programmer believes that the program executes in a sequential manner whereas the implementation employs concurrent threads to gain efficiency.

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. P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, Mass., 1987.

    Google Scholar 

  2. J.C. Browne et al. A language for specification and programming of reconfigurable parallel computation structures. In Int. Conf. of Parallel Processing, Bellaire, Michigan, pages 142–149. IEEE, Aug 1982.

    Google Scholar 

  3. K. M. Chandy and B. A. Sanders. Towards Compositional Specifications for Parallel Programs. In DIMACS Workshop on Specifications of Parallel Algorithms, Princeton, NJ, May 9-11 1994.

    Google Scholar 

  4. K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.

    Google Scholar 

  5. E. W. Dijkstra. Solution of a problem in concurrent programming control. Communications of the ACM, 8(9):569, 1965.

    Article  Google Scholar 

  6. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976.

    Google Scholar 

  7. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, London, 1984.

    Google Scholar 

  8. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994.

    Article  Google Scholar 

  9. N. Lynch and M. Tuttle. An introduction to input/output automata. CWI-Quarterly, 2(3):219–246, Sept. 1989.

    Google Scholar 

  10. Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag, 1991.

    Google Scholar 

  11. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall PTR, Upper Saddle River, NJ, 1997.

    Google Scholar 

  12. R. Milner. Communication and Concurrency. International Series in Computer Science, C. A. R. Hoare, Series Editor. Prentice-Hall International, London, 1989.

    Google Scholar 

  13. Jayadev Misra. A Discipline of Multiprogramming. Unpublished Manuscript Available at the following URL, ftp://ftp.cs.utexas.edu/pub/psp/seuss/discipline.ps.Z.

    Google Scholar 

  14. Jayadev Misra. A logic for concurrent programming: Progress. Journal of Computer and Software Engineering, 3(2):273–300, 1995.

    Google Scholar 

  15. Jayadev Misra. A logic for concurrent programming: Safety. Journal of Computer and Software Engineering, 3(2):239–272, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The University of Texas at Austin Austin, 78712, Texas, USA

    Jayadev Misra

Authors
  1. Jayadev Misra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

José Rolim

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Misra, J. (1998). An object model for multiprogramming. In: Rolim, J. (eds) Parallel and Distributed Processing. IPPS 1998. Lecture Notes in Computer Science, vol 1388. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64359-1_750

Download citation

  • DOI: https://doi.org/10.1007/3-540-64359-1_750

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64359-3

  • Online ISBN: 978-3-540-69756-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation