𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Distribution of a simple shared dataspace architecture

✍ Scribed by Simona Orzan; Jaco van de Pol

Book ID
104445467
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
202 KB
Volume
68
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

We study a simple software architecture, in which components are coordinated by writing into and reading from a global set. This simple architecture is inspired by the industrial software architecture Splice. We present two results. First, a distributed implementation of the architecture is given and proved correct formally. In the implementation, local sets are maintained and data items are exchanged between these local sets. Next we show that the architecture is sufficiently expressive in principle. In particular, every global specification of a system's behaviour can be divided into components, which coordinate by read and write primitives on a global set only. We heavily rely on recent concepts and proof methods from process algebra.

πŸ“œ SIMILAR VOLUMES

A Scalable Distributed Shared Memory Arc
A Scalable Distributed Shared Memory Architecture
✍ S. Krishnamoorthy; A. Choudhary πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 736 KB

Scalability of a multiprocessor architecture depends on its ability to manage interconnection network latency with increasing number of processors. Interconnection network latency can be minimized by reducing the distance traversed by a message in terms of number of nodes and wire lengths. Scalabili

A distributed memory architecture implem
A distributed memory architecture implementation of
✍ I. MarΓ­n CarriΓ³n; E. Arias AntΓΊnez; M. M. Artigao Castillo; J. J. Miralles Canal πŸ“‚ Article πŸ“… 2011 πŸ› Springer US 🌐 English βš– 998 KB