Advertisement

Preemption primitives in reactive languages

A preliminary report
  • Sophie Pinchinat
  • Éric Rutten
  • R. K. Shyamasundar
Concurrency and Networking
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1023)

Abstract

In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension SignalG Ti) in a common framework. This enables us to compare behavioural/structural expressive powers of different languages and gives an insight into the complementarity of different control and data-flow abstractions in the reactive languages. Such a study also provides a basis on which a basic set of preemption primitives can be incorporated in reactive languages from the point of view of expressive completeness.

Keywords

Parallel Composition Communicate Sequential Process State Inside Process Calculus Synchronous Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BLGJ 91]
    A. Benveniste, P. Le Guernic, C. Jacquemot. Synchronous programming with events and relations: the Signal language and its semantics. Science of Computer Programming, 16, pp. 103–149, 1991.Google Scholar
  2. [BRS 93]
    G. Berry, S. Ramesh, and R.K. Shyamasundar, Communicating Reactive Processes, 20th ACM POPL, South Carolina, Jan 1993, pp. 85–99.Google Scholar
  3. [Ber 93]
    G. Berry, Preemption in Concurrent Systems, Proc. FSTTCS 93, LNCS, 761, pp.72-93, Springer-Verlag, Berlin.Google Scholar
  4. [GNRR 93]
    R.L. Grossman et al., Hybrid Systems, LNCS, 736, Springer-Verlag, 1993.Google Scholar
  5. [Hal 93]
    N. Halbwachs. Synchronous programming of reactive systems. Kluwer, 1993.Google Scholar
  6. [Hoa 85]
    C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall Int., 1985.Google Scholar
  7. [Mil 89]
    R. Milner, Communication and Concurrency, Prentice-Hall Int., 1989.Google Scholar
  8. [PRS 94]
    P.K. Pandya, Y.S. Ramakrishna, and R.K. Shyamasundar, A Compositional Semantics of Esterel in Durational Calculus, 2nd AMAST Workshop on Real-Time Systems: Models and Proofs, Bordeaux, France, June 1995.Google Scholar
  9. [PRS 95]
    S. Pinchinat, E. Rutten, R.K. Shyamasundar. Preemption Primitives in Reactive Languages. INRIA Research Report, 1995. (in preparation) Google Scholar
  10. [RLG 94]
    E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. Proc. ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida, June 21, 1994.Google Scholar
  11. [Shy 93]
    R.K. Shyamasundar, Specification of Hybrid Systems in CRP, Proc. of AMAST 93, Workshops in Computing Series from Springer-Verlag, Edited by M. Nivat, C. Rattray, T. Rus and G. Scollo, pp. 227–238, December 1993.Google Scholar
  12. [SR 94]
    R.K. Shyamasundar, S. Ramesh, Languages for Reactive Specifications: Synchrony vs. Asynchrony, Proc. FT-RT-FTS 94, LNCS, 863, pp. 621–640, Springer-Verlag, Berlin.Google Scholar
  13. [Sim 85]
    R. de Simone, Higher-Level Synchronizing Devices in MEIJE-SCCS, Theoretical Computer Science, 37, pp. 245–267, 1985.Google Scholar
  14. [Vul 94]
    J.E. Vuillemin, On Circuits and Numbers, IEEE Transactions on Computers, 43, August 1994, pp. 868–879.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Sophie Pinchinat
    • 1
  • Éric Rutten
    • 1
  • R. K. Shyamasundar
    • 2
  1. 1.EP-ATR GroupIRISARennesFrance
  2. 2.Computer Science GroupTata Institute of Fundamental ResearchBombayIndia

Personalised recommendations