We define a finite-state message-passing model using guarded commands. This model is particularly appropriate for defining and reasoning about selfstabilizing protocols, due to the well-known result that self-stabilizing protocols on unbounded-channel models must have infinitely many legitimate stat
Message-passing primitives for multimicroprocessor systems
β Scribed by KW Ng
- Publisher
- Elsevier Science
- Year
- 1986
- Tongue
- English
- Weight
- 531 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0141-9331
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Today's massively parallel machines are typically message-passing systems consisting of hundreds or thousands of processors. Implementing parallel applications efficiently in this environment is a challenging task, and poor parallel design decisions can be expensive to correct. Tools and techniques
A simulation of a wait-free, atomic, single-writer multireader register in an asynchronous message passing system is presented. The simulation can withstand Ε½ . Ε½ the failure of up to half of the processors and requires O n messages for each . read or write operation , assuming there are n q 1 proce
The "nite di!erence time domain method (FDTD) solves Maxwell's equations by employing numerically and storage intensive computation to map the electric and magnetic "elds within a "nite volume as an explicit function of time. Distributed computation, using heterogeneous networks of computers, is a c