An object model for multiprogramming

  • Jayadev Misra
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
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1388)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, Mass., 1987.Google Scholar
  2. 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. 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. 4.
    K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.Google Scholar
  5. 5.
    E. W. Dijkstra. Solution of a problem in concurrent programming control. Communications of the ACM, 8(9):569, 1965.CrossRefGoogle Scholar
  6. 6.
    E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976.Google Scholar
  7. 7.
    C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, London, 1984.Google Scholar
  8. 8.
    L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994.CrossRefGoogle Scholar
  9. 9.
    N. Lynch and M. Tuttle. An introduction to input/output automata. CWI-Quarterly, 2(3):219–246, Sept. 1989.Google Scholar
  10. 10.
    Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag, 1991.Google Scholar
  11. 11.
    Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall PTR, Upper Saddle River, NJ, 1997.Google Scholar
  12. 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. 13.
    Jayadev Misra. A Discipline of Multiprogramming. Unpublished Manuscript Available at the following URL, Scholar
  14. 14.
    Jayadev Misra. A logic for concurrent programming: Progress. Journal of Computer and Software Engineering, 3(2):273–300, 1995.Google Scholar
  15. 15.
    Jayadev Misra. A logic for concurrent programming: Safety. Journal of Computer and Software Engineering, 3(2):239–272, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Jayadev Misra
    • 1
  1. 1.The University of Texas at Austin AustinTexasUSA

Personalised recommendations