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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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)