Résumé
On s'intéresse dans cet article aux erreurs dans les programmes, et plus particulièrement dans les systèmes d'exploitation. Après avoir introduit quelques définitions touchant la production et la propagation des erreurs, on analyse les symptÔmes et les causes de trois pannes survenues au cours du fonctionnement d'un système d'exploitation. Cette analyse sert de base à un essai de classification des erreurs dans les systèmes. En conclusion, on tente de tirer de cette expérience quelques enseignements pratiques.
Ce travail a été réalisé quand cet auteur était à l'IRIA.
Preview
Unable to display preview. Download preview PDF.
References
-BETOURNE C., BOULENGER J., FERRIE J., KAISER C., KRAKOWIAK S., MOSSIERE J. Le système ESOPE, Congrès AFCET, Paris (1970).
-DIJKSTRA E.W. Goto statements considered harmful, letter to the Editor, CACM 11, 3 (1968)
-FLOYD R.W. Assigning meanings to programs, Proc. Symp. Appl. Math.,Amer. Math. Soc., Vol. 19 (1967)
-HENDERSON P., SNOWDON R., An experiment in structured programming, BIT 12, 1 (1972)
-HOARE C.A.R. Towards a theory of parallel programming, in Operating Systems Techniques, (Hoare & Perrott, editors), Academic Press (1972)
-KAISER C. Conception et réalisation de systèmes à accès multiples: gestion du parallélisme. Thèse d'Etat, Paris (1973)
-NEEDHAM R.M. Handling difficult faults in operating systems, Third ACM Symposium on Operating Systems Principles, Stanford (1971)
-PARNAS D. L. Response to detected errors in well-structured programs, Carnegie-Mellon University (1972)
-PARNAS D. L. A technique for software module specification with examples, CACM 15, 5 (1972)
-PYLE I.C., Mc LATCHIE R.C.F., GRANDAGE B. A second-order bug with delayed effect, Software-Practice & Experience 1, 3 (1972)
-SCHWARTZ J.T. An overview of bugs, in Debugging techniques in large systems (R. Rustin, editor), Prentice-Hall (1971)
-WIRTH N. On multiprogramming, machine coding, and computer organization, CACM 12, 9 (1969)
-WIRTH N. Systematic programming, an introduction, Prentice Hall (1973)
-WULF W., SHAW M. Global variables considered harmful, ACM SIGPLAN Notices (feb. 1973)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaiser, C., Krakowiak, S. (1974). Analyse de quelques pannes d'un systeme d'exploitation. In: Gelenbe, E., Kaiser, C. (eds) Operating Systems. OS 1974. Lecture Notes in Computer Science, vol 16. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029360
Download citation
DOI: https://doi.org/10.1007/BFb0029360
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06849-5
Online ISBN: 978-3-540-37805-1
eBook Packages: Springer Book Archive