article

Free access

A modular approach to real-time synchronization

Authors:

Masahiko Saito,

Gul A. AghaAuthors Info & Claims

ACM SIGPLAN OOPS Messenger, Volume 7, Issue 1

Pages 13 - 20

https://doi.org/10.1145/227986.227990

Published: 01 January 1996 Publication History

Abstract

In this paper, we discuss real-time barrier synchronization as an example of timing constraints on synchronization. Real-time barrier synchronization is constrained by two timing values: earliest release time and release time skew. Earliest release time is the delay from the time when the last object participating in barrier synchronization issues a barrier operation, till when one of the participating objects resumes its method. Release time skew is the delay between the first and the last resumption times of objects. The implementation of real-time barrier synchronization consists of a negotiation phase and a scheduling phase. In the negotiation phase, all the participating objects communicate with one another and agree on the time when they are going to resume their method execution. Local scheduling at individual nodes must then ensure that the agreement is implemented. Thus, earliest release time and release time skew are defined by the procedures of the negotiation and the scheduling phase, respectively. We describe an architecture which enables the implementation of real-time barrier synchronization in a distributed system with unreliable channels.

References

[1]

[1] G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.

Digital Library

[2]

[2] G. Agha. Concurrent Object-Oriented Programming. Communications of the ACM, Vol. 33, No. 9, pp. 125- 141, September 1990.

Digital Library

[3]

[3] K. Arvind. A New Probabilistic Algorithm for Clock Synchronization. Proc. IEEE Real-Time Systems Symp., pp. 330-339, December 1989.

[4]

[4] S. Chatterjee and J. Stronsnider. Distributed Pipeline Scheduling: End-to-End Analysis of Heterogeneous, Multi-Resource Real-Time Systems. Proc. 15th Intl. Conf. on Distributed Computing Systems, pp. 204- 211, June 1995.

Digital Library

[5]

[5] S. Frølund. Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages. ECOOP'92 European conference on Object-Oriented Programming, O. Lehrmann Madsen, ed., Springer-Verlag, LNCS 615, pp. 185-196, June 1992.

Digital Library

[6]

[6] S. Frølund, and G. Agha. A Language Framework for Multi-Object Coordination, Springer Verlag, LNCS 627, July 1993.

Digital Library

[7]

[7] R. Gerber et al. Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. Proc. IEEE Real-Time Systems Symp., December 1994.

[8]

[8] Y. Ishikawa et al. Object-Oriented Real-Time Language Design: Constructs for Timing Constraints. ECOOP/OOPSLA proceedings, pp. 289-298, October 1990.

Digital Library

[9]

[9] Y. Ishikawa et al. An Object-Oriented Real-Time Programming Language. IEEE Computer, pp. 66-73, October 1992.

Digital Library

[10]

[10] K. Kim and H. Kopetz. A Real-Time Object Model RTO.k and an Experimental Investigation of Its Potentials. Proc. IEEE Computer Society's Computer Software and Applications Conf. (COMPSAC), November 1994.

[11]

[11] K. Kim et al. Distinguishing Features and Potential Roles of the RTO.k Object Model. Intl. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'94), October 1994.

Digital Library

[12]

[12] H. Kopetz and K. Kim. Temporal Uncertainties in Interactions among Real-Time Objects. Proc. IEEE 9th Symp. on Reliable Distributed Systems, pp. 165- 174, October 1990.

[13]

[13] H. Kopetz and K. Kim. Consistency Constraints in Distributed Real-Time Systems, in Distributed Computer Control Systems 1988, M.G. Rodd and T.L. d'Epinay ed., Pergamon Press, pp. 29-34, 1989.

[14]

[14] E. L. Lawler and C. U. Martel. Scheduling Periodically Occurring Tasks on Multiple Processors. Information Processing Letters, Vol. 12, No. 1, February 1981.

[15]

[15] J. Lehoczky et al. Enhancing A periodic Responsiveness in a Hard Real-Time Environment. Proc. IEEE Real-Time Systems Symp., December 1987.

[16]

[16] C. L. Liu and J. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. J. ACM, Vol. 20, No. 1, pp. 46-61, January 1973.

Digital Library

[17]

[17] J. W. S. Liu et al. Imprecise Computations. Proc. IEEE, Vol. 82, No. 1, pp. 83-94, January 1994.

[18]

[18] P. Maes. Concepts and Experiments in Computational Reflection. Proc. OOPSLA-88, pp. 147-155, 1988.

Digital Library

[19]

[19] A. K. Mok and M. L. Dertouzos. Multiprocessor Scheduling in a Hard Real-Time Environment. Proc. 7th Texas Conf. on Computer Systems, November 1978.

[20]

[20] A. K. Mok. The Design of Real-Time Programming Systems Based on Process Models. Proc. IEEE Real-Time System Symp., December 1984.

[21]

[21] K. Ramamritham. Allocation and Scheduling of Complex Periodic Tasks. 10th Intl. Conf. on Distributed Computing Systems, June 1990.

Digital Library

[22]

[22] K. Ramamritham et al. Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems. IEEE Trans. on Parallel and Distributed Systems, Vol. 1, No. 2, pp. 184-194, April 1990.

Digital Library

[23]

[23] S. Ren and G. Agha. RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems. ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (LCT-RTS'95) , pp. 55-64, June 1995.

Digital Library

[24]

[24] T. K. Srikanth and S. Toueg. Optimal Clock Synchronization. J. ACM, Vol. 34, No. 7, pp. 626-645, July 1987.

Digital Library

Cited By

Sigrist LGiannopoulou GHuang PGomez AThiele L(2015)Mixed-criticality runtime mechanisms and evaluation on multicores21st IEEE Real-Time and Embedded Technology and Applications Symposium10.1109/RTAS.2015.7108442(194-206)Online publication date: Apr-2015
https://doi.org/10.1109/RTAS.2015.7108442
Nigro LPupo F(2001)Schedulability Analysis of Real Time Actor Systems Using Coloured Petri NetsConcurrent Object-Oriented Programming and Petri Nets10.1007/3-540-45397-0_21(493-513)Online publication date: 25-Apr-2001
https://doi.org/10.1007/3-540-45397-0_21

Index Terms

A modular approach to real-time synchronization
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Runtime environments
    2. General programming languages
      1. Language types
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Communications management
        Message passing
        Process management
        Process synchronization

Recommendations

Clock synchronization in distributed real-time systems
Special Issue on Real-Time Systems

The generation of a fault-tolerant global time base with known accuracy of synchronization is one of the important operating system functions in a distributed real-time system. Depending on the types and number of tolerated faults, this paper presents ...
Continuous Clock Synchronization in Wireless Real-Time Applications
SRDS '00: Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems

Continuous clock synchronization avoids unpredictable instantaneous corrections of clock values. This is usually achieved by spreading the clock correction over the synchronization interval. In the context of wireless real-time applications, a protocol ...
Synchronization protocols in distributed real-time systems
ICDCS '96: Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)

In many distributed real-time systems, the workload can be modeled as a set of periodic tasks, each of which consists of a chain of subtasks executing on different processors. Synchronization protocols are used to govern the release of subtasks so that ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN OOPS Messenger

ACM SIGPLAN OOPS Messenger Volume 7, Issue 1

Special issue: object-oriented real-time systems

Jan. 1996

93 pages

ISSN:1055-6400

DOI:10.1145/227986

Editors:
Lonnie R. Welch
New Jersey Institute of Technology, Newark
,
Dieter K. Hammer
Eindhoven Univ. of Technology, Eindhoven, The Netherlands
,
Stanley b. Zdonik
Eindhoven Univ. of Technology, Eindhoven, The Netherlands

Issue’s Table of Contents

Copyright © 1996 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1996

Published in SIGPLAN-OOPS Volume 7, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
279
Total Downloads

Downloads (Last 12 months)62
Downloads (Last 6 weeks)7

Reflects downloads up to 13 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sigrist LGiannopoulou GHuang PGomez AThiele L(2015)Mixed-criticality runtime mechanisms and evaluation on multicores21st IEEE Real-Time and Embedded Technology and Applications Symposium10.1109/RTAS.2015.7108442(194-206)Online publication date: Apr-2015
https://doi.org/10.1109/RTAS.2015.7108442
Nigro LPupo F(2001)Schedulability Analysis of Real Time Actor Systems Using Coloured Petri NetsConcurrent Object-Oriented Programming and Petri Nets10.1007/3-540-45397-0_21(493-513)Online publication date: 25-Apr-2001
https://doi.org/10.1007/3-540-45397-0_21

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Issue’s Table of Contents