Towards refining BSP programs into loosely coupled distributed systems
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 poin...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 2001 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/97732 |
| Acceso en línea: | https://hdl.handle.net/2117/97732 |
| Access Level: | acceso abierto |
| Palabra clave: | Parallel programming: models and methods BSP message passing asynchronous communication point-to-point communications refinement rules normal forms Àrees temàtiques de la UPC::Informàtica |
| Sumario: | 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. |
|---|