Títol:
|
Towards refining BSP programs into loosely coupled distributed systems
|
Autor/a:
|
Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim; Serna Iglesias, María José
|
Altres autors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
Abstract:
|
An experiment is conducted to assess the feasibility of transforming BSP
computations into loosely coupled distributed systems employing
asynchronous
point-to-point communications. The BSP model bundles communications
together
before performing simultaneous message delivery at a synchronisation
point,
whereas the loosely coupled framework manages
each message in isolation. The
potential benefits of the proposed transformation are:
1. a safe development framework for loosely coupled systems; the
transformational approach preserves semantics and ensures that the
resulting
system has matching deadlock-free communications; and
2. the BSP synchronisation mechanism is relaxed into a series of
point-to-point
communications; in certain circumstances ($visibility$) the transformed
program may be more efficient than the original as a result of the
removal of synchronisation barriers. |
Matèries:
|
-Àrees temàtiques de la UPC::Informàtica -Parallel programming: models and methods -BSP -message passing -asynchronous communication -point-to-point communications -refinement rules -normal forms |
Drets:
|
|
Tipus de document:
|
Article - Versió publicada Informe |
Compartir:
|
|