How to write parallel programs: a first course
How to write parallel programs: a first course
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Concurrent reading and writing
Communications of the ACM
IEEE Transactions on Computers
Proceedings of the 8th International Workshop on Distributed Algorithms
WDAG '94 Proceedings of the 8th International Workshop on Distributed Algorithms
On Formal Modeling of Agent Computations
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Agents, Distributed Algorithms, and Stabilization
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
Cooperating Mobile Agents and Stabilization
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
| Hi-index | 0.00 |
This paper presents a method using which a set of reading and writing agents concurrently read and update the global state of the network. In addition to the consistency of the snapshot and the reset states, our protocol preserves the atomicity of the reads and writes, despite the fact these operations are non-blocking. Potential applications include the design of multi-agent protocols for self-stabilization, self-healing and adaptation.