Intensional High Performance Computing

In this paper, we describe how a metacomputing environment called Web Operating System (WOS™) together with a new programming paradigm called ParCeL-2 may be used to exploit available computing resources on a parallel/distributed environment. The main feature of the WOS™ is to manage contexts of execution (hardware, software, time, etc). The WOS™ fulfills users' requests while considering all possible execution contexts in order to provide the application with the best resources available. In the model presented, we assume that parallel/distributed HPC applications are written using ParCeL-2. The well defined computing model as well as the hierarchical syntactic structure of ParCeL-2 allow for an automatic adaptation, at execution time, of the size of the different parallel processes, depending on the context of execution. We have called this approach, derived from intensional logic : intensional High Performance Computing (iHPC).

[1]  Leslie G. Valiant,et al.  A bridging model for parallel computation , 1990, CACM.

[2]  Ian T. Foster,et al.  Globus: a Metacomputing Infrastructure Toolkit , 1997, Int. J. High Perform. Comput. Appl..

[3]  Henri Casanova,et al.  NetSovle: A Network Server for Solving Computational Science Problems , 1996, Proceedings of the 1996 ACM/IEEE Conference on Supercomputing.

[4]  Ian T. Foster,et al.  Designing and building parallel programs - concepts and tools for parallel software engineering , 1995 .

[5]  Paul-Jean Cagnard,et al.  The parallel cellular programming model , 2000, Proceedings 8th Euromicro Workshop on Parallel and Distributed Processing.

[6]  Henri Casanova,et al.  Netsolve: a Network-Enabled Server for Solving Computational Science Problems , 1997, Int. J. High Perform. Comput. Appl..

[7]  Rajkumar Buyya,et al.  High Performance Cluster Computing , 1999 .

[8]  Iskender Agi,et al.  GLU: A High-Level System for Granular Data-Parallel Programming , 1997, Concurr. Pract. Exp..

[9]  Peter Kropf.  OVERVIEW OF THE WOS PROJECT , 1999 .

[10]  Rajkumar Buyya,et al.  High Performance Cluster Computing: Architectures and Systems , 1999 .

[11]  Pierre Kuonen,et al.  A DYNAMICALLY CONFIGURABLE ENVIRONMENT FOR HIGH PERFORMANCE COMPUTING , 2000 .

[12]  Andrew S. Grimshaw,et al.  The Legion vision of a worldwide virtual computer , 1997, Commun. ACM.

[13]  Gilbert Babin,et al.  Two-level communication protocol for a Web operating system (WOS/sup TM/) , 1998, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204).