CHIR Rennes (2004) Bétourné

article en cours d'installation

Titre

Ésope : une étape de la recherche française en systèmes d'exploitation (1968-1972)

Auteurs

Claude Bétourné, Jean Ferrié, Claude Kaiser, Sacha Krakowiak et Jacques Mossière.

Résumé

Cet article retrace l'histoire d'Ésope, un projet de système d'exploitation en temps partagé, mené à l'IRIA entre 1968 et 1972. Il présente la place d'Ésope dans le contexte national et international de l'époque, résume et commente les principaux choix qui ont guidé sa conception et sa réalisation, et propose une analyse critique des aspects scientifiques du projet, de sa gestion, et de ses retombées.

Références

[1] G. B. Anderson, K. R. Bertran, R.W. Conn, K.O. Malmquist, R.E. Millstein, and S. Tokubo. Design of a Time-Sharing System Allowing Interactive Graphics. In Proc. ACM National Conference, pages 1{6, 1968.

[2] B. W. Arden, B. A. Galler, T. C. O'Brien, and F. H. Westervelt. Program and Addressing Structurein a Time-Sharing Environment. Journal of the ACM, 13(1) : 1{16, January 1966.

[3] G. Baudet, J. Ferrié, C. Kaiser, and J. Mossière. Entrées-sorties dans un système à mémoire virtuelle. In Actes du Congrés AFCET, Grenoble, novembre 1972.

[4] Gérard Baudet. Étude du comportement d'un tambour soumis à des demandes de transfert groupées. Thèse de 3-ème cycle, Université Pierre et Marie Curie, Paris-6, 1973.

[5] Jacques Bellino. Mécanismes de base dans les systèmes superviseurs : conception et réalisation d'un système à accés multiples. Thèse de doctorat ès sciences appliquées, Université de Grenoble, 1973.

[6] F. Blaizot, L. Blaizot, B. Lorho, and M. Vatoux. Organisation du compilateur interpr�eteur Cpl/1. In Actes du Congrés AFCET, Paris, avril 1970.

[7] Daniel G. Bobrow, Jerry D. Burch�el, Daniel L. Murphy, and Raymond S. Tomlinson. Tenex, a Paged Time Sharing System for the PDP-10. Communications of the ACM, 15(3) : 135{143, March 1972. [Version étendue d'une communication présentée au Third ACM Symposium on Operating Systems Principles, Stanford University (CA, USA), oct. 1971].

[8] J. Boulenger and M. Kronental. An Experience in System Programming Using a PL360-like Lan:guage. In Proceedings of the IFIP WG-2.4 Meeting, La Grande Motte, May 1974.

[9] P. Boullier, J. Gros, P. Janc�ene, A. Lemaire, F. Prusker, and �E. Saltel. M�etavisu : A General Purpose Graphic System. In IFIP Working Conference on Graphic Languages, Vancouver, Canada, 1972. North-Holland.

[10] Alexandre Brandwajn. � Equivalence et d�ecomposition dans les mod�eles �a �les d'attente, et leur application à l'�evaluation des performances des syst�emes d'exploitation. Th�ese de doctorat �es sciences, Universit�e Pierre et Marie Curie, Paris-6, 1975.

[11] Barbara S. Brawn and Frances G. Gustavson. Program Behavior in a Paging Environment. In Proceedings of the AFIPS Fall Joint Computer Conference, pages 1019{1032, 1968.

[12] C. B�etourn�e, J. Boulenger, J. Ferri�e, C. Kaiser, S. Krakowiak, and J. Mossi�ere. Process Management and Resource Sharing in the Multiaccess System Esope. Communications of the ACM, 13(12) : 727{733, December 1970. [Version �etendue d'une communication pr�esent�ee au Second ACM Symposium on Operating Systems Principles, Princeton (NJ, USA), oct. 1969].

[13] C. B�etourn�e, J. Boulenger, J. Ferri�e, C. Kaiser, S. Krakowiak, and J. Mossi�ere. Trois articles : Pr�esentation g�en�erale du syst�eme �Esope ; Espace virtuel dans le syst�eme �Esope ; Allocation de ressources dans le syst�eme �Esope. In Actes du Congr�es AFCET, avril 1970.

[14] C. B�etourn�e, J. Ferri�e, C. Kaiser, S. Krakowiak, and J. Mossi�ere. System Design and Implementation using Parallel Processes. In W. H. Freeman, editor, Information Processing, Proceedings of IFIP Congress 71, TA-3, pages 31{36, Ljubljana, August 1971. North-Holland, 1972.

[15] C. B�etourn�e and S. Krakowiak. Simulation de l'allocation de ressources dans un syst�eme conversationnel �a m�emoire virtuelle pagin�ee. Revue RAIRO-Informatique, B-1 : 5{10, f�evrier 1974. [Version �etendue d'une communication pr�esent�ee au Congr�es AFCET, Grenoble, nov. 1972].

[16] C. B�etourn�e and S. Krakowiak. Mesures sur un syst�eme conversationnel. Revue RAIRO-Informatique, B-2 : 5{15, juillet 1975.

[17] Keith G. Calkins. The Computer That Will Not Die : The SDS Sigma 7, 1984.
http ://www.andrews.edu/~calkins/profess/SDSigma7.htm.

[18] R. Chevance. Le projet Y. In Quatri�eme Colloque sur l'histoire de l'informatique, Rennes, novembre 1995.
http ://www.feb-patrimoine.com/histoire/english/projet y.pdf.

[19] Fernando J. Corbat�o, Marjorie Merwin-Daggett, and Robert C. Daley. An Experimental Time-Sharing System. In Proceedings of the AFIPS Fall Joint Computer Conference, Part 1, pages 335{344, 1962. Reprinted in Programming Systems and Languages (S. Rosen, ed.), pages 683{698, McGraw-Hill, 1967.

[20] Fernando J. Corbat�o and Victor A. Vyssotsky. Introduction and Overview of Proceedings of the AFIPS Fall Joint Computer Conference, Part 1, volume 27, pages 185{196, 1965.

[21] Corna�on (nom collectif). Syst�emes informatiques r�epartis { concepts et techniques. Dunod, 1981.

[22] Crocus (nom collectif). Crocus, une �etape dans l'enseignement des syst�emes d'exploitation. In Troisi�eme Colloque sur l'histoire de l'informatique, Sophia Antipolis, octobre 1993.
http ://cnum.cnam.fr/RUB/histcrocus.pdf.

[23] Peter J. Denning. Thrashing : Its Causes and Prevention. In Proceedings of the AFIPS Fall Joint Computer Conference, pages 915{922, 1968.

[24] Jack B. Dennis. Segmentation and the Design of Multiprogrammed Computer Systems. Journal of the ACM, 12(4) : 589{602, October 1965.

[25] E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages : NATO Advanced Study Institute, pages 43{112. Academic Press, 1968. [Initialement publi�e comme EWD-123, Lecture notes, Eindhoven, 1965]
http ://www.cs.utexas.edu/users/EWD/ewd01xx/EWD123.PDF.

[26] E. W. Dijkstra. The Structure of the \THE" Multiprogramming System. Communications of the ACM, 11(5) : 341{346, May 1968.

[27] Jean Ferri�e. La gestion des processus dans un syst�eme �a partage de ressources. Th�ese de docteur-ing�enieur, Universit�e Paul Sabatier, Toulouse, 1971.

[28] P. Freeman. Software Systems Principles : A Survey. Science Research Associates, 1975. cit�e pp. 541, 631.

[29] E. Gelenbe and C. Kaiser, editors. Operating Systems : Proceedings of an International Symposium, volume 16 of LNCS, IRIA, Rocquencourt, April 1974. Springer Verlag.

[30] C. Girault. Un des syst�emes de multiprogrammation r�ealis�es �a l'Institut de Programmation de la facult�e des sciences de Paris. RIRO, B-2 : 3{18, 1971.

[31] S. Guiboud-Ribaud and J. Briat. Espace d'adressage et espace d'ex�ecution du syst�eme GEMAU. In Gelenbe and Kaiser [29], pages 131{167.

[32] A. N. Habermann. Introduction to Operating System Design. Science Research Associates, 1976. 372 pp., cit�e pp. 84{85.

[33] C. Kaiser and S. Krakowiak. Analyse de quelques pannes d'un syst�eme d'exploitation. In Gelenbe and Kaiser [29], pages 188{207.

[34] C. Kaiser and S. Krakowiak. Design and Implementation of a Time-sharing System : A Critical Appraisal. In J. L. Rosenfeld, editor, Information Processing, Proceedings of IFIP Congress 71, pages 247{251, Stockholm, August 1974. North-Holland.

[35] Claude Kaiser. Conception et r�ealisation de syst�emes �a acc�es multiple : gestion du parall�elisme. Th�ese de doctorat �es sciences, Universit�e Pierre et Marie Curie, Paris-6, f�evrier 1973.

[36] Sacha Krakowiak. Conception et r�ealisation de syst�emes �a acc�es multiple : allocation de ressources. Th�ese de doctorat �es sciences, Universit�e Pierre et Marie Curie, Paris-6, f�evrier 1973.

[37] C. J. Kuehner and B. Randell. Demand Paging in Perspective. In Proceedings of the AFIPS Fall Joint Computer Conference, pages 1011{1017, 1968.

[38] B. W. Lampson. A Scheduling Philosophy for Multi-processing Systems. Communications of the ACM, 11(5) : 347{359, May 1968.

[39] B. W. Lampson, W. W. Lichtenberger, and M. W. Pirtle. A User Machine in a Time-sharing System. Proceedings of the IEEE, 54(12) : 1766{1774, December 1966. Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971.

[40] A. Lemaire and F. Prusker. Principes de fonctionnement et langage de sp�eci�cation des interactions du syst�eme graphique M�etavisu. In Actes du Congr�es AFCET, Grenoble, novembre 1972.

[41] H. M. Levy and P. H. Lipman. Virtual Memory Management in the VAX/VMS Operating System. IEEE Computer, 15(3) : 35{41, March 1982.

[42] Stuart E. Madnick and John J. Donovan. Operating Systems. McGraw-Hill, 1974. 640 pp., cit�e p.:574.

[43] Jacques Mossi�ere. Allocation de ressources dans les syst�emes �a acc�es multiples. Th�ese de 3-�eme cycle, Universit�e Pierre et Marie Curie, Paris-6, juin 1971.

[44] Dennis W. Ritchie and Ken Thompson. The UNIX Time-Sharing System. Communications of the ACM, 17(7) : 365{375, July 1974. [Version �etendue d'une communication pr�esent�ee au Fourth ACM Symposium on Operating Systems Principles, Yorktown Heights (NY, USA), oct. 1973].

[45] Jean-Paul Rossiensky and Vincent Tixier. A Kernel Approach to System Programming : SAM. In J. T. Tou, editor, Software Engineering, volume 1, pages 205{224. Academic Press, New York, 1969.

[46] Jean-Paul Rossiensky and Vincent Tixier. LP70, a System Programming Language with Parallel Processes. In Proc. International Computing Symposium, pages 492{513, Bonn, Germany, 1970.

[47] M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, P. L�eonard, S. Langlois, and W. Neuhauser. The Chorus Distributed Operating System. Computing Systems, 1(4) : 305{379, October 1988.

[48] J. H. Saltzer. Tra�c Control in a Multiplexed Computer System. Ph.D. thesis, MIT, July 1966. Tech. Report MAC-TR-30.

[49] Alan C. Shaw. The Logical Design of Operating Systems. Prentice Hall, 1974. 304 pp., cit�e p. 80.

[50] N. H. Shelness, P. D. Stephens, and H. Whit�eld. The Edinburgh Multi-Access System Scheduling and Allocation Procedures in the Resident Supervisor. In Gelenbe and Kaiser [29], pages 293{310.

[51] A. J. Shils. The load leveler. Technical Report RC 2233, IBM T. J.Watson Research Center, October 1968.

[52] Laurent Trilling and Jean-Pierre Verjus. An Attempted De�nition of an Extensible System. ALGOL 68 Implementation, pages 119{139, 1970.

[53] Gerald M. Weinberg. The Psychology of Computer Programming. Van Nostrand Reinhold, 1971.

[54] H. Whit�eld and A. S. Wight. EMAS : Edinburgh Multi-Access System. The Computer Journal, 4 : 331{346, 1974.

[55] Niklaus Wirth. PL360, a Programming Language for the 360 Computers. Journal of the ACM, 15(1) : 37{74, 1968.