Home Development Papers
Papers PDF Print
Written by Administrator   
Friday, 06 November 2009 03:40
Below you can find some scientific papers written by the project leader, Benoit Sonntag.

Publications in 2006
 
Hardware Memory Segmentation for New Software Model Hardware Memory Segmentation for New Sotware Model
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Software Engineering Workshop (SEW-30), 24-28 April 2006

Abstract This article is the conclusions of a study on the implementation of a new oriented object operating system. Indeed, starting from the analysis of our needs in communication for the development for our object mechanism, various problems appeared. In this study, we reveal that the poor flexibility in memory management is the reflection of the lack of segmentation usage. Nowadays, some processors offer advanced mecanisms of mem- ory management through segmentation. Unfortunately, they are unusable some context as ANSI C programming. At first sight, the implementation of an operating system using such a mecanism would need prior rewriting of the stack in order to take account for memory allocation indexes. This article brings a simple and effective solution to allow processor segmentation. Moreover, this solution does not require any massive modification of the stack.
Keywords Segmentation - Software Model Architecture - Virtual Memory - Stack -Object Operating System - Inter-process Communication - Shared Memory

Lisaac Agent - Petit Modele Agent pour Langage a Prototype Lisaac Agent - Petit Modèle Agent pour Langage à Prototype
This e-mail address is being protected from spambots. You need JavaScript enabled to view it      This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Journée Multi-Agents et Composants - Nîmes - 21 Mars 2006

Abstract In this article, we suggest, the basis of a simple agent oriented language for the compiled and prototype-based language Lisaac. We show the basis axioma that we have to implement in the compiler in order to implement agent mecanism and adapt the model to a prototype-based and compiled language. We suggest a mecanism such as multicast messages, a reactive behaviour of the agent, a MAS structuration mecanism, and a structured data extracting system.
Keywords Agent Oriented Programming - Agent Model - Prototype-based Language - Lisaac


Publications in 2005
 
Le Projet Isaac : Une Alternative Objet de Haut Niveau pour la Programmation Systeme Le Projet Isaac : Une Alternative Objet de Haut Niveau pour la Programmation Système
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
RENPAR'16/CFSE'4/SympAAA'2005/Journée Composants - Le Croisic, France, 5 au 8 Avril 2005

Résumé Le marché fleurissant de l'informatique embarqué impose une réutilisabilité croissante du code existant tout en ayant de fortes contraintes matérielles. Aussi, il est nécessaire de s'adapter de plus en plus rapidement à ce matériel hétéroclite. Nous pensons que l'utilisation de langages de haut niveau, en particulier les langages objets, apporte certaines réponses à une adaptabilité rapide au sein des systèmes d'exploitation et de la couche applicative grandissante. L'évolution des langages informatiques échappe encore à la programmation système. Ici, nous dénonçons l'utilisation quasi-systématique du langage C et apportons une réelle alternative.
Mots-clés Isaac - Système d'Exploitation Orienté Objet - Lisaac - Adaptation Matériel - Modèle à Prototypes


Publications in 2002
 
A Powerful Mechanism for Operating System Design Dynamic Inheritance : A Powerful Mechanism for Operating System Design
This e-mail address is being protected from spambots. You need JavaScript enabled to view it      This e-mail address is being protected from spambots. You need JavaScript enabled to view it      This e-mail address is being protected from spambots. You need JavaScript enabled to view it
5th ECOOP Workshop on Object-Orientation and Operating Systems - ECOOP-OOOSWS'2002

Abstract The design of the Isaac operating system comes from several years of reflexion and implementation on the need for flexibility and dynamism in future operating systems. Our goals progressively lead us towards the object-oriented concepts. Prototype-based languages appeared the most elegant manner to materialize our vision of operating system. These, coupled with a powerful language allowing changing inheritance dynamically, made it possible to create the innovating Isaac OS.
Keywords Object-oriented Language - Prototype-based Language - Operating System - Dynamic Inheritance - Isaac

The Power of Simplicity at Work for Operating System Lisaac : The Power of Simplicity at Work for Operating System
This e-mail address is being protected from spambots. You need JavaScript enabled to view it      This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Proceedings of the Fortieth International Conference on Tools Pacific - 2002

Abstract The design as well as the implementation of the Isaac operating system (Sonntag 2000) led us to set up a new programming language named Lisaac. Many features from the Lisaac language come from the Self programming language (Ungar and Smith 1987). Comparing to Self's skills, Lisaac integrates communications protection mechanisms as well as other tools related to operating systems' design. System interruptions support as well as drivers memory mapping have been considered in the design of Lisaac. The use of prototypes and especially dynamic inheritance, fits a flexible operating system in the making. First benchmarks of our compiled objects show that it is possible to obtain high-level prototype-based language's executables as fast as C programs are.
Keywords Object Model - Operating System - Prototype - Self


Publications in 2001
 
Utilisation de la Segmentation Memoire du Processeur a Partir d'un Langage de Haut Niveau Utilisation de la Segmentation Mémoire du Processeur à Partir d'un Langage de Haut Niveau
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
RENAPR/CFSE/SYMPA - Paris, cité des sciences et de l'industrie, 24 au 27 Avril 2001

Abstract Cet article est le fruit d'une étude sur la mise en place d'un nouveau système d'exploitation entièrement en objets. En effet, à partir de l'analyse de nos besoins en matière de communication pour l'élaboration de nos mécanismes objets, différents problèmes sont apparus. Ici, nous en dénonçons un qui concerne le manque de flexibilité de la gestion mémoire par l'absence d'utilisation de la segmentation. Actuellement, certains processeurs offrent des mécanismes élaborés de gestion de la mémoire par segmentation. Mais malheureusement, ils sont inutilisables dans le contexte d'un programme C ansi par exemple. A première vue, la mise en place d'un système d'exploitation utilisant ce mécanisme nécessite de réécrire complètement le compilateur pour que ce dernier prenne en compte les indexations d'adressage mémoire. Cet article apporte une solution simple et efficace pour permettre la prise en charge de la segmentation processeur d'un programme C en mémoire. Cette solution ne nécessite aucune modification massive du compilateur.
Keywords Segmentation - Mémoire Virtuelle - Compilateur - Système d'Exploitation - Communication Interprocessus

Last Updated on Saturday, 26 December 2009 01:10