Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

RTC: Language support for real-time concurrency

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

This paper presents a model and language constructs for expressing timing and concurrency requirements in distributed real-time programs. Our approach combines an abstract data type paradigm for the specification of shared resources and a distributed transaction-based paradigm for the specification of application processes. Resources provide abstract views of shared system entities, such as devices and data structures. Each resource has a state and defines a set ofactions that can be invoked by processes to examine or change its state. A resource also specifies scheduling constraints on the execution of its actions to ensure its consistency. Processes access resources by invoking actions and by expressing precedence, execution and timing constraints on action invocations. The implementation of our language constructs and the use of this system to control the simulation of a distributed robotics application is also described.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abbott, R. and Garcia-Molina, H. 1988. Scheduling real-time transactions: A performance evaluation. InProc. of the 14th Very Large Database Conference, August.

  2. Bernstein, P., Hadzilacos, V. and Goodman, N. 1986.Concurrency Control and Recovery in Database Systems. Reading, MA: Addison-Wesley.

    Google Scholar 

  3. Berry, G., Moisan, S. and Rigault, J. 1983. ESTEREL: Towards a synchronous and semantically sound high level language for real-tine applications. InProc. of the IEEE Real-Time Systems Symposium, December.

  4. Baker, T. and Pazy, O. 1991. Real-time features for Ada 9x. InProc. of the IEEE Real-Time Systems Symposium, December.

  5. Corwin, W., Locke, D., and Gordon, K. 1990. Overview of the IEEE POSIX P1003.4 real-time extension to POSIX.Proc. of the IEEE Real-Time Systems Newsletter, 6(1):9–18.

    Google Scholar 

  6. Davidson, S., Lee, I. and Wolfe, V. 1992. Deadlock prevention in concurrent real-time systems. Submitted toReal-Time Systems, 1992.

  7. Funda, J. 1991. Teleprogramming: Overcoming communication delays in remote manipulation. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania.

  8. Garcia-Molina, H. 1983. Using semantic knowledge for transaction processing in a distributed database system.ACM Transactions on Database Systems, 8(2):186–213.

    Google Scholar 

  9. Gheith, A. and Schwan, K. 1989. Chaosart: Support for real-time atomic transactions. InProc. of the Nineteenth International Symposium on Fault-Tolerant Computing, pp. 462–469, June.

  10. Halang, W. and Stoyenko, A. 1990. Comparative evaluation of high level real-time programming languages.Real-Time Systems, 2:365–382.

    Google Scholar 

  11. Huang, J., Stankovic, J., Towsley, D. and Ramamritham, K. 1991. Experimental evaluation of real-time optimistic concurrency control schemes. InProc. of the 17th Very Large Database Conference, April.

  12. Ishikawa, Y., Tokuda, H. and Mercer, C. 1990. Object-oriented real-time language design: Constructs for timing constraints. Technical Report CMU-CS-90-111, Carnegie Mellon University, March 1990.

  13. Carey, M., Harista, J. and Livny, M. 1990. Dynamic optimistic concurrency control. InProc. of the IEEE Real-Time Systems Symposium, December.

  14. King, R., 1991. Design, Implementation, and Evaluation of a Real-Time Kernel for Distributed Robotics. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania.

  15. Knapp, E. 1987. Deadlock detection in distributed databases.ACM Computing Surveys, 19(4):304–328.

    Google Scholar 

  16. Korth, H. 1990. Triggered real-time databases. InProc. of the 16th Very Large Database Conference, August.

  17. Klingerman, E. and Stoyenko, A. 1986. Real-time Euclid: A language for reliable real-time systems.IEEE Transactions on Software Engineering, SE-12(9):941–949.

    Google Scholar 

  18. Kim, W. and Srvastava, J. 1991. Enhancing real-time DMBS performance with multiversion data and priority-based disk scheduling. InProc. of the IEEE Real-Time Systems Symposium, December.

  19. Lee, I. and Gehlot, V. 1985. Language constructs for distributed real-time programming. InProc. of the IEEE Real-Time Systems Symposium, December.

  20. Lin, K. 1989. Consistency issues in real-time database systems. InProc. of the 22nd Hawaii International Conference on System Science, January.

  21. Liskov, B. 1988. Distributed programming in Argus.Communications of the ACM, 31(3):300–312.

    Google Scholar 

  22. Lin, K. and Natarajan, S. 1988. Expressing and maintaining timing constraints in FLEX. InProc. of the IEEE Real-Time Systems Symposium, pp. 96–105, December.

  23. Lin, Y. and Son, S. 1990. Concurrency control in real-time databases by dynamic adjustment of serialization order. InProc. of the IEEE Real-Time Systems Symposium, December 1990.

  24. Lynch, N. 1983. Multilevel concurrency—a new correctness criterion for database concurrency control.ACM Transactions on Database Systems, 8(4):484–502.

    Google Scholar 

  25. Moss, E. 1985.Nested Transactions, An Approach to Reliable Distributed Computing. Cambride, MA: MIT Press.

    Google Scholar 

  26. Nirkhe, V., Tripathi, S. and Agrawala, A. 1990. Language support for the Maruti real-time system. InProc. of the IEEE Real-Time Systems Symposium, pp. 257–266, December.

  27. Rajkumar, R. 1989. Task Synchronization in real-time systems. Ph.D. thesis, Carnegie Mellon University, 1989.

  28. Stoyenko, A. and Marlow, T. 1992. Polynomial time transformations and schedulability analysis of parallel real-time programs with restricted resource contention. To appear in Real-Time Systems, 4(4), 1992.

  29. Stankovic, J. and Ramamritham, K. 1989. The Spring kernel: A new paradigm for real-time operating systems.ACM Operating Systems Review, 23(3):54–71.

    Google Scholar 

  30. Sha, L., Rajkumar, R., Son, S. and Chang, C. 1991. A real-time locking protocol.IEEE Transactions on Computers, 40(7):793–800.

    Google Scholar 

  31. Tokuda, H. 1985. Compensatable atomic objects in object-oriented operating systems. InProc. of the Pacific Computer Communication Symposium, October.

  32. Weihl, W. 1988. Commutativity-based concurrency control for abstract data types.IEEE Transactions on Computers, 37(12):1488–1505.

    Google Scholar 

  33. Wolfe, V. 1991. Supporting Real-Time Concurrency. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania, 1991. Technical Report MS-CIS-91-55.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Statistics, University of Rhode Island, 02881, Kingston, RI

    Victor Fay Wolfe

  2. Department of Computer and Information Science, University of Pennsylvania, 19104, Philadelphia, PA

    Susan Davidson & Insup Lee

Authors
  1. Victor Fay Wolfe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susan Davidson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Insup Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work is supported in part by the following grants: ARO DAAG-29-84-k-0061, ONR N000014-89-J-1131, and NSF CCR90-14621.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wolfe, V.F., Davidson, S. & Lee, I. RTC: Language support for real-time concurrency. Real-Time Syst 5, 63–87 (1993). https://doi.org/10.1007/BF01088697

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01088697

Keywords

Search

Navigation