The Global Gamma Computing

Salim Ghanemi

Department of Computer Science, College of Computer & Information Sciences,

King Saud University, Riyadh, Saudi Arabia.

ghanemi@ccis.ksu.edu.sa

Abstract

It is believed that writing and debugging parallel programs is far more difficult than

writing and debugging sequential programs. Abstract parallel programming models are

suggested. Such models include the Gamma formalism, which is based on multiset

transformations. In this formalism, programs can be expressed in a very abstract form

without any hardware implementation constraints. This makes the formalism very

suitable for writing “correct” parallel programs right from the problem specification.

However, because of its high level abstraction, designing reasonably efficient

implementation of the Gamma programs is even more challenging. In this paper, we

investigated the newly introduced concept of the Global Computing as a parallel and a

distributed implementation platform for the Gamma programs. A Global Gamma

Computing, which globally distributes the parallel workload, generated by the Gamma

program, on the available interconnected computers, is described and analyzed.

Keywords:

 Parallel and Distributed Processing, High-level Program Specifications,

 Gamma Paradigm, Multiset Transformation, Global Computing.