Synchronous thread management in a distributed operating system's micro kernel

  • Olivier Potonniée
  • Jean-Bernard Stefani
Workshop 20: Real-Time Systems and Constraints
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1300)


This paper describes an experiment in programming part of an operating system kernel using the Esterel synchronous programming language. Using a synchronous programming language allows the construction of provable, deterministic reactive systems. The paper describes and analyzes the small executive realized and the formal verification of some of its properties. It also presents how multiple interconnected instances of this executive can be synchronized, yielding a distributed real-time platform operating under a sparse-time model.

Key Words

Synchronous programming distributed systems thread management real-time systems deterministic systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ferrari, D.: Client requirements for real time communication services. Research Reports ICSI TR-90-007, Berkeley, California, USA, 1990Google Scholar
  2. 2.
    Benveniste, A., Berry, G.: The Synchronous Approach to reactive and real-time systems. IEEE, 1991Google Scholar
  3. 3.
    le Guernic, P., Gautier, T., le Borgne, M., le Maire, C.: Programming Real-Time Applications with Signal. Proceedings of the IEEE, 1991Google Scholar
  4. 4.
    Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Data Flow Programming Language Lustre. Proceedings of the IEEE, 1991Google Scholar
  5. 5.
    Berry, G., Gonthier, G.: The Esterel synchronous language: Design, Semantic, Implementation. Journal of Science Of Computer Programming, Vol 19, Num 2., pp87–152, 1992Google Scholar
  6. 6.
    Jourdan, M., Maraninchim, F., Olivero, A.: Verifying qualitative real-time properties of synchronous programs. International Conference on Computer Aided Verification, Elounda, 1993, LNCS697Google Scholar
  7. 7.
    Lecompte, V.: Vérification automatique de programmes Esterel. Ph.D thesis from Paris VII University, 1989Google Scholar
  8. 8.
    Boniol, F., Adelantado, M.: Programming distributed reactive communicating distributed reactive automata: the weak synchronous paradigm. International Conference on Decentralized and Distributed Systems, Spain, 1993Google Scholar
  9. 9.
    Kopetz, H.: Sparse time versus Dense time in distributed real time systems. IEEE Symp. On Distributed Systems, 1992Google Scholar
  10. 10.
    Rozier, M., Abrossimov, V., Armand, F., Boule, I., Gien, M., Guillemont, M., Herrmann, F., Kaiser, C., Langlois, S., Lanard, P., Neuhauser, W.: CHORUS distributed operating systems. Computing Systems 1(4), pp 305–367, 1988Google Scholar
  11. 11.
    Vergamini, D.: Auto/Mauto User Manual, version 2-3. INRIA CERICS, 1992Google Scholar
  12. 12.
    Boulanger, F.: Intégration de Modules Synchrones dans la Progammation par Objets. Ph.D thesis from Orsay University, 1994Google Scholar
  13. 13.
    Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3), 1983Google Scholar
  14. 14.
    Potonniée, O.: Etude et prototypage en Esterel de la gestion de processus d'un micro-noyau de système d'exploitation réparti avec garantie de service. Ph.D thesis from Paris VI University, 1996Google Scholar
  15. 15.
    F. Boussinot, G. Doumenc, J.B. Stefani: Reactive Objects. Research Report 2664, INRIA, France, October 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Olivier Potonniée
    • 1
  • Jean-Bernard Stefani
    • 2
  1. 1.Alcatel Alsthom RechercheMarcoussisFrance
  2. 2.France Telecom/CNETIssy Moulineaux Cedex 9France

Personalised recommendations