Zusammenfassung
A distributed system can be modelled on different levels of abstraction, from highlevel specifications of its properties to low-level descriptions of its implementation. We describe distributed systems by process models that represent a system by concurrent executions of sequential processes. Sequential processes represent the active entities that perform the computations in a distributed system, for example, processors, operating system processes, or threads. The most fundamental concerns on such a level of abstraction are the method of interprocess communication and the timing model. The method of interprocess communication determines how different processes in a system communicate. Prominent examples include communication via message passing or by accessing shared memory. The timing model relates events in a system to the passage of time. For example, a timing model may state upper bounds on the period it takes to deliver a message.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2010 Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH
About this chapter
Cite this chapter
Warns, T. (2010). Modelling Fault-Tolerant Distributed Systems. In: Structural Failure Models for Fault-Tolerant Distributed Computing. Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9707-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9707-7_2
Publisher Name: Vieweg+Teubner
Print ISBN: 978-3-8348-1287-2
Online ISBN: 978-3-8348-9707-7
eBook Packages: Computer ScienceComputer Science (R0)