An object model for multiprogramming
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.
- 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
- 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
- 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