Abstract
This article gives an overview of the most important synchronization issues in real-time systems in general and in distributed systems in particular. Special attention is paid to static (deterministic) methods and the role of distributed algorithms. Many of the concepts discussed are illustrated with concepts of the Dependable Distributed Operation System (DEDOS), which is presently under development at the Department of Computing Science of the EUT. It is shown that synchronization is one of the most important issues in concurrent and distributed real-time systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D. Aistein and P.D.V. van der Stok, Reliable Multicast Protocols for Shared Memory Multiprocessors,to be published as EUT Computing Science Note.
M. Ben-Ari, Principles of Concurrent and Distributed Programming, Prentice Hall, 1990.
B.K. Bhargava (ed.), Concurrency Control and Reliability in Distributed Systems, Van Nostrand Reinhold, 1987.
P.A. Bernstein. V. Hadzilacos and N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987.
W. Cellary, G. Gelenbe and T. Morzy, Concurrency Control in Distributed Database Systems, North Holland, 1988.
R.K. Clark, E.D. Jensen and F.D. Reynolds, An Architectural Overview of the Alpha Real-Time Distributed Kernel, Nato Advanced Study Institute Conf. on Real-Time Computing, Sint Maarten, Dutch Antilles, October 1992.
F. Cristian, Fault-Tolerance in the Advanced Automation System, 20th Int. Symp. on Fault Tolerant Computing, June 1990.
Int. Workshop on Distributeed Algorithms,yearly.
M.J. Fischer, N.A. Lynch and M.S. Patterson, Impossibility of Distributed Consensus with One Faulty Process, J. ACM, Vol. 32, No. 2, April 1985.
W.A. Halang and A.D. Stoyenko, Constructing Predictable Real-Time Systems, Kluwer, 1991.
D.K. Hammer, E. Luit. P. van der Stok and O.S. van Roosmalen, The Dependable Distributed Operation System DEDOS,preprint EUT 1991, to be published as EUT Computing Science Note.
D.K. Hammer and O.S. van Roosmalen, An Object-Oriented Model for the Construction of Dependable Distributed Systems, Int. Workshop on Object-Orientation in Operating Systems (I-WOOOS), Paris, France, September 1992.
D.J. Hatley and I.A. Pirbhai, Strategies for Real-Time Systems Specifications, Dorset House, 1987.
H. Kopetz, Event-Triggered versus Time-Triggered Real-Time Systems, Int. Workshop on Operating Systems in the 90’s and Beyond, Dragstuhl Castle, Germany, July 1991.
G. Le Lann, Designing Real-Time Dependable Distributed Systems, Computer Communications, Vol. 15, No. 4, May 1992.
J.C. Laprie, Dependability: A Unifying Concept for Reliable Computing and Fault Tolerance, Dependability of Resilient Computers (T. Anderson, ed.), Blackwell Scientific Publications, Oxford, 1989.
P.A. Lee and T. Anderson, Fault Tolerance: Principles and Practice, Dependable Computing and Fault-Tolerant Systems, Vol. 3, Springer, 1990.
E.J. Luit and V.A.P. Mombarg, The DEDOS On-Line Scheduler, Int. Workshop on Real-Time Programming, Bruges, Belgium, June 1992.
B. Meyer, Object-Oriented Software Construction, Prentice-Hall, 1988.
M. Raynal, Distributed Algorithms and Protocols, Wiley, 1988.
L.J.A.M. Somers, P.D.V. van der Stok and P.T.A. Thijssen, Formal Specification and Simulation of a Real-Time Concurrency Control Protocol, 2nd Int. Workshop on Responsive Computer Systems, (IWRCS-2), Tokyo, Japan, October 1992.
J.A. Stankovic and K. Ramamrithan, The Design of the Spring Kernel, 7th Int. Conf. on Distributed Computer Systems, 1987.
J.A. Stankovic and K. Ramamrithan (ed’s), Hard Real-Time Systems, IEEE Computer Society Press, 1988.
P.D.V. van der Stok and A. Engel, Shared Data Concepts for DEDOS, 10th IFAC Workshop on Distributed Computer Control Systems, Semmering, Austria, 1991.
P.D.V. van der Stok, D. Alstein and E. Luit, The Structure of the DEpendable Distributed Operating System (DEDOS),to be published as EUT Computing Science Note.
A.S. Tanenbaum, Modern Operating Systems, Prentice-Hall, 1992.
A.M. Tilborg and G.M. Koob (ed’s), Foundations of Real-Time Computing: Schedulingand Resource Management, Kluwer, 1991.
G.J.W. van Dijk, The Design of the EMPS Multiprocessor Executive for Distributed Computing, EUT Thesis, March 1993.
J.P.C. Verhoosel, E.J. Luit, D.K. Hammer and E. Jansen, A Static Scheduling Algorithm for Distributed Hard Real-Time Systems, The Journal of Real-Time Systems, Vol. 3, 1991.
J.P.C. Verhoosel A Formal Deterministic Scheduling Model for Hard Real- Time Executions in DEDOSto be published as EUT Computing Science Note.
J.P.C. Verhoosel, Deterministic Scheduling of Distributed Hard Real-Time Systems using Windows, Nato Advanced Study Institute Conf. on Real-Time Computing, Sint Maarten, Dutch Antilles, October 1992.
P.T. Ward and S.J. Mellor, Structured Development for Real-Time SystemsYourdon Press, 1985.
E. Yourdon, Modern Structured Analysis, Prentice Hall, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hammer, D.K. (1994). Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating System DEDOS. In: Halang, W.A., Stoyenko, A.D. (eds) Real Time Computing. NATO ASI Series, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88049-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-88049-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-88051-3
Online ISBN: 978-3-642-88049-0
eBook Packages: Springer Book Archive