Chapter 8 Modelling II: Asynchronous System Model
The purpose of this chapter is to introduce a formal model for asynchronous computing, the input/output (I/O) automaton model. This is a very general model, suitable for describing almost any type of asynchronous concurrent system, including the two types we will study in this book: asynchronous shared memory systems and asynchronous network systems. By itself, the I/O automaton model has very little structure, which allows it to be used for modelling many different types of distributed systems. Additional structure must be added to the basic model to enable it to describe particular types of asynchronous systems. What the model does provide is a precise way of describing and reasoning about ...
Get Distributed Algorithms now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
