Skip to Main content Skip to Navigation
Theses

La puissance des prototypes à l'assaut des systèmes d'exploitation : ISAAC/LISAAC : introduction de concepts objets au coeur même des systèmes d'exploitation

Abstract : As a whole, the works here presented constitute the first steps of the solving of the problem posed by the integration of object concepts into the cores of OS. Isaac stands alone as the very first really effective OS completely designed with prototype-based object technology. This thesis tells Isaac's story, from the conceptual foundation of the project through to its realisation. As a beginning, we bring out a different point of view to the use of computers by intensively taking advantage of the expressiveness and flexibility of prototypes. One can find here a draft of the system architecture we are developing, note that its concepts can still be subject to further improvements. In order to bring our project to life, we had to develop a new prototype-based language: Lisaac. It stands as a Self's successor, however it distinguishes itself in many ways, essentially because of system-programming constraints. Closer to the machine than its older brother, Lisaac allows low-level programming but remains a high-level language. Its powerful compiler uses original compilation techniques for late binding suppression, and optimisations of type predictions and code specialisation. A new data flow-analysis algorithm, well-fitted to object technology, gives the target code an efficiency that no other languages of the same type has matched so far. The final part of the thesis tackles actual difficulties encountered during the realisation of the project. We focus on delivering an original use of processor and memory's system protections in order to render reliable the access to objects, thus ensuring system's security.
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_2003_0155_SONNTAG.pdf
Complete list of metadata

https://hal.univ-lorraine.fr/tel-01746829
Contributor : Thèses Ul Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 10:45:38 AM
Last modification on : Saturday, October 16, 2021 - 11:26:08 AM

Identifiers

  • HAL Id : tel-01746829, version 1

Collections

Citation

Benoît Sonntag. La puissance des prototypes à l'assaut des systèmes d'exploitation : ISAAC/LISAAC : introduction de concepts objets au coeur même des systèmes d'exploitation. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10155⟩. ⟨tel-01746829⟩

Share

Metrics

Record views

34