Abstract
A physical multicomputer is a collection of computers of various architectures interconnected by some means. A virtual multicomputer is to a physical one as virtual memory is to physical memory, that is, there are as many instances of the required architectural resources as the problem demands. In this abstract we outline the requirements and design of a virtual machine architecture for distributed processing (the virtual multicomputer) supporting an architecture neutral representation of program and data and report on the status of the project.
This work has been partially supported by EPSRC grant GR/K27957 (http://www.bath.ac.uk/∼masjap/Denton) and the CEC/HCM VIM project, contract CHRX-CT93-0401 (http://www.bath.ac.uk/∼masjap/VIM)
Preview
Unable to display preview. Download preview PDF.
References
anon. Java Language Overview: A White Paper. available through http://java.sun.com.
G. Attardi and T. Flagella. A customisable memory management framework. In Proceedings of USENIX C++ Conference, pages 123–142, Cambridge, Massachusetts, April 1994. USENIX.
J-P. Banâtre and Le Metayer D. A new computational model and its discipline of programming. Technical Report 566, INRIA/IRISA, 1986.
D. Batey. Coordinating Heterogeneous Parallelism. PhD thesis, University of Bath, 199S. in preparation.
D.J. Batey and J.A. Padget. Coordinating heterogeneous parallelism. In Proc. of 3rd Euromicro Workshop on Parallel and Distributed Processing, pages 339–346, San Remo, Italy, January 1995. IEEE Computer Society Press.
N. Berrington, D.C. DeRoure, and J.A. Padget. Guaranteeing Unpredictability. The Computer Journal, 36(8):723–733, December 1993.
H-J. Boehm and M. Weiser. Garbage Collection in an Uncooperative Environment. Software Practice and Experience, 18(9):807–820, September 1988.
H-J. Boehm and M. Weiser. Garbage collection in an uncooperative environment. Software Practice and Experience, 18(9):807–820, September 1988.
R.J. Bradford. An implementation of telos in common lisp. submitted for publication, 1995.
L. Cardelli. A language with distributed scope. In Proceedings of 22nd ACM Syposium on Principles of Programming Languages, pages 286–297. ACM, ACM Press, New York, 1995.
K.M. Chandy and J. Misra. Parallel Programming Design: A Foundation. Addison-Wesley, 1988. ISBN 0-201-05866-9.
D. Culler, A. Dusseau, S. Goldstein, A. Krishnamurthy, Lumetta S, T. von Eicken, and K. Yelick. Parallel Programming in Split-C. In Supercomputing '93, pages 262–273, 1993.
Message Passing Interface Forum. Mpi: A message-passing interface standard. Computer Science Dept. Technical Report CS-94-230, University of Tennessee, Knoxville, TN, April 1994. (To appear in the International Journal of Supercomputer Applications, Volume 8, Number 3/4, 1994).
C. Koelbel, D. Loveman, R. Schreiber, G. Steele Jr., and M. Zosel. The High Performance Fortan Handbook. MIT Press, 1995. ISBN 0-262-61094-9.
B. Lang, C. Queinnec, and J. Piquer. Garbage Collecting the World. In Proc. of the 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 39–51, Albuquerque, New Mexico, Jan 1992. ACM Press 0-89791-453-8/92/0001/0089.
M.H. Odeh and J.A. Padget. Object-oriented Execution of OPS5 Production Systems. In OOPSLA '93, pages 178–190. ACM, ACM Press, 1993.
J.A. Padget, D.J. Batey, and S. Merrall. Architecture independence and coordination. In R.H.Jr. Halstead and T. Ito, editors, Parallel Symbolic Computing: Languages, Systems, and Applications (US/Japan Workshop Proceedings), number 748 in LNCS. Springer Verlag, 1993. in press.
J.A. Padget, G. Nuyens, and H. Bretthauer. An overview of EuLisp. Lisp and Symbolic Computation, 6(1/2):9–98, 1993.
J Piquer. Parallélisme et Distribution en LISP. PhD thesis, L'École Polytechnique, 1991.
J.M. Piquer. Indirect Reference Counting: A Distributed Garbage Collection Algorithm. In PARLE '91, Parallel Architectures and Languages Europe, volume I, Parallel Architectures and Algorithms, pages 150–165, Eindhoven, Netherlands, 1991. Springer-Verlag. LNCS 505.
F. Puppe and K. Goos. Improved Case Based Classification with Expert Knowledge. In Proceedings of the German Workshop on AI, pages 196–205, 1990. Reference incomplete, year not confirmed.
C. Queinnec. DMeroon a distributed class-based causally-coherent data model: Preliminary report. In PSLS 95 — Parallel Symbolic Langages and Systems, Beaune (France), October 1995.
V. S. Sunderam. PVM: A framework for parallel distributed computing. Concurrency: Practice and Experience, 2(4):315–339, Dec 1990.
J.E. White. Telescript technology: the foundation for the electronic marketplace. White Paper. General Magic, Inc. 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Padget, J. (1996). Foundations for a virtual multicomputer -Progress report-. In: Ito, T., Halstead, R.H., Queinnec, C. (eds) Parallel Symbolic Languages and Systems. PSLS 1995. Lecture Notes in Computer Science, vol 1068. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023072
Download citation
DOI: https://doi.org/10.1007/BFb0023072
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61143-1
Online ISBN: 978-3-540-68332-2
eBook Packages: Springer Book Archive