Abstract
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.
Chapter PDF
Key Words
References
Ferrari, D.: Client requirements for real time communication services. Research Reports ICSI TR-90-007, Berkeley, California, USA, 1990
Benveniste, A., Berry, G.: The Synchronous Approach to reactive and real-time systems. IEEE, 1991
le Guernic, P., Gautier, T., le Borgne, M., le Maire, C.: Programming Real-Time Applications with Signal. Proceedings of the IEEE, 1991
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Data Flow Programming Language Lustre. Proceedings of the IEEE, 1991
Berry, G., Gonthier, G.: The Esterel synchronous language: Design, Semantic, Implementation. Journal of Science Of Computer Programming, Vol 19, Num 2., pp87ā152, 1992
Jourdan, M., Maraninchim, F., Olivero, A.: Verifying qualitative real-time properties of synchronous programs. International Conference on Computer Aided Verification, Elounda, 1993, LNCS697
Lecompte, V.: VĆ©rification automatique de programmes Esterel. Ph.D thesis from Paris VII University, 1989
Boniol, F., Adelantado, M.: Programming distributed reactive communicating distributed reactive automata: the weak synchronous paradigm. International Conference on Decentralized and Distributed Systems, Spain, 1993
Kopetz, H.: Sparse time versus Dense time in distributed real time systems. IEEE Symp. On Distributed Systems, 1992
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, 1988
Vergamini, D.: Auto/Mauto User Manual, version 2-3. INRIA CERICS, 1992
Boulanger, F.: IntƩgration de Modules Synchrones dans la Progammation par Objets. Ph.D thesis from Orsay University, 1994
Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3), 1983
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, 1996
F. Boussinot, G. Doumenc, J.B. Stefani: Reactive Objects. Research Report 2664, INRIA, France, October 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
Ā© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
PotonniƩe, O., Stefani, JB. (1997). Synchronous thread management in a distributed operating system's micro kernel. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds) Euro-Par'97 Parallel Processing. Euro-Par 1997. Lecture Notes in Computer Science, vol 1300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0002881
Download citation
DOI: https://doi.org/10.1007/BFb0002881
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63440-9
Online ISBN: 978-3-540-69549-3
eBook Packages: Springer Book Archive