Le système de communication décrit est construit dans et avec l'architecture du système d'exploitation CHORUS, fondé sur la communication par message entre des "acteurs". Le modèle ISO sert de base à notre modèle, dans la mesure ou il permet de construire des couches distinctes pour organiser la communication dans chorus.

La première partie du document constitue une revue de la situation actuelle de la documentation automatique et de la bureautique. La seconde partie présente des éléments sur la nature de la documentation automatique en bureautique et des propositions pour la réalisation de systèmes. On présente successivement les methodes de documentation automatique, des systèmes et des expériences, l'indexation, la classification, le classement.

Les serveurs informatiques permettent de mettre en œuvre un large éventail de services en ligne et d'applications telles que les services Web, les services de messagerie ou les services de base de données. Cependant, leur configuration ad hoc soulève des problématiques cruciales liées à la performance, la disponibilité et le coût économique des applications. Dans cette thèse, nous étudions l'impact de la configuration des serveurs sur le compromis central entre performance et disponibilité du service. Dans une première partie, nous modélisons le comportement de serveurs uniques à l'aide d'approximations fluides et développons des lois de commandes novatrices pour le contrôle d'admission sur les systèmes de serveurs centralisés. Nous proposons plusieurs lois de commande pour différentes combinaisons d'objectifs de qualité de service et de niveau de service. Parmi elles, AM-C garantit un objectif de performance du service en maximisant sa disponibilité; PM-C garantit un objectif de disponibilité du service en maximisant sa performance. Nous évaluons expérimentalement le modèle ainsi que les stratégies de contrôle sur TPC-C, un benchmark industriel reconnu qui reproduit un service d'e-commerce, implémenté sur le serveur de base de données PostgreSQL. Nos expériences montrent que les techniques proposées améliorent jusqu'à 30% les performances du service tout en garantissant les contraintes de disponibilité. Dans une deuxième partie, nous étendons ce travail aux systèmes de serveurs distribués, qui sont largement utilisés par les applications Internet évoluant sur des systèmes multi-niveaux hébergés par des clusters de serveurs. Nous présentons un modèle de serveur distribué comme un modèle continu non linéaire en faisant une analogie avec les systèmes transferts de fluide. Nous formalisons alors un problème d'optimisation pour le contrôle de ces systèmes. Nous fournissons un contrôle d'admission qui permet d'obtenir la disponibilité de service la plus élevée tout en garantissant un objectif de performance. Une évaluation numérique du modèle proposé et du contrôle distribué associé est présentée et montre que la configuration optimale de ces systèmes n'est pas intuitive. / Server technology provides a means to support a wide range of on-line services and applications, such as web services, e-mail services, database services. However, their ad hoc configuration poses significant challenges to the performance, availability and economical costs of applications. In this thesis, we examine the impact of server configuration on the central trade-off between service performance and service availability. First, we model the behavior of single servers using fluid approximations. Second, we develop novel ad- mission control laws of central server systems. We provide several control laws for different combinations of quality-of-service and service level objectives. Among them, AM-C , the availability-maximizing admission control law, achieves the highest service availability while meeting given performance objective; PM-C is a performance-maximizing ad- mission control law that meets a desired availability target with the highest performance. We evaluate our fluid model and control techniques on the TPC-C industry-standard benchmark that implements a warehouse running on the PostgreSQL database server. Our experiments show that the proposed techniques successfully improve performance by up to 30 % while guaranteeing availability constraints. Furthermore, we extend this work to distributed server systems, that are widely used by Internet applications in the farm of server clusters and multi-tier systems. We present a distributed server model as a non-linear continuous-time model using analogies with fluid transfer. We then state an optimization problem for the control of distributed server systems. We provide an admission control that allows to get the highest service availability while a target performance level is guaranteed. Numerical evaluations of the proposed distributed model and control are presented, and show that the optimal configuration of such systems is not intuitive.

Cette thèse s'intéresse à la performance des serveurs de données sur les architectures multi-cœurs. Nous avons choisi d'étudier ce problème sous deux aspects différents. Premièrement, nous étudions un support d'exécution événementiel. Nous montrons notamment que le mécanisme de vol de tâches, utilisé pour équilibrer la charge entre les cœurs, peut pénaliser la performance d'un serveur Web. Nous proposons donc diverses optimisations pour améliorer les performances de ce mécanisme sur les processeurs multi-cœurs. Deuxièmement, nous étudions la performance du serveur Web Apache, exploitant à la fois un ensemble de threads et de processus, sur une architecture multi-cœurs NUMA. Nous montrons notamment que, sous une charge réaliste, ce serveur Web ne passe pas idéalement à l'échelle. Grâce à une analyse détaillée des coûts, nous déterminons les raisons de ce manque de passage à l'échelle et présentons un ensemble de propositions visant à améliorer la performance de ce serveur sur une architecture NUMA.

Un intranet permet de déployer les applications client-serveur sur l'ensemble des postes de l'entreprise. Il concerne cependant des centaines de personnes, peu familières des technologies et de l'approche hypertexte. Les problèmes de cohérence et de persistance des liens, des modèles de documents, des feuilles de style, d'administration et d'exploitation de l'ensemble, s'avèrent alors d'une acuité inconnue sur l'Internet. RICERCAR est un système réflexif qui modélise, grâce à des outils " standards ", les objets de l'utilisateur mais aussi les siens propres dans une fédération de bases de données réparties et synchronisées. Les identifiants de ces objets sont alors utilisés pour implémenter des URL stables qui assurent la cohérence globale de l'intranet. L'architecture modulaire du système offre une interface applicative permettant de l'étendre rapidement en y intégrant des données d'entreprise lesquelles, s'appuyant sur le noyau commun, bénéficient alors de la cohérence d'ensemble ainsi que des différents outils d'administration et de métrologie.

Du fait qu'il constitue un passage obligé du flux d'information, un serveur de données joue un rôle central dans l'architecture d'un système d'information (SI). Il doit en conséquence implanter des mécanismes de gestion de ressources efficaces et des politiques de gestion adaptées aux caractéristiques comportementales du SI.<br />Il n'est malheureusement pas possible d'offrir un serveur de données universel capable de répondre aux exigences de tous les SI. Ceux-ci diffèrent en effet significativement par le type des informations qu'ils traitent, la nature des traitements effectués, les propriétés de traitement qu'ils garantissent, les caractéristiques du matériel sous-jacent, etc. De ce fait, chaque système d'information intègre son ou ses propres serveurs de données implantant des politiques de gestion figées.<br />Les inconvénients d'une telle approche sont loin d'être négligeables. Tout d'abord, la ré-implantation de mécanismes élémentaires de gestion de ressources augmente le coût de conception. Ensuite, la rigidité comportementale réduit considérablement la réactivité à l'évolution tant en qualité qu'en quantité des informations, traitements et ressources matérielles. Enfin, l'opacité des tels systèmes rend difficile leur coexistence sur une même plate-forme.<br />Cette thèse montre qu'il n'existe pas de politique de gestion de la mémoire idéale. Plutôt que d'essayer d'offrir un serveur idéal, elle tente de définir une infrastructure permettant de concevoir des serveurs de données adaptés et évolutifs. Elle adresse plus particulièrement le problème de la gestion de la mémoire physique et se place dans le contexte des grappes de machines. Elle propose le support mémoire adaptable ADAMS basé sur un modèle de gestion hiérarchique et un modèle de communication par événements. Ce support facilite l'intégration de différents types de politiques tout en séparant bien leurs rôles respectifs sans faire d'hypothèse sur leur inter-dépendances.<br />Une intégration d'ADAMS à la mémoire virtuelle répartie permanente et adaptable du système Arias est ensuite exposée. ADAMS étend les caractéristiques de ce système afin de prendre en compte les besoins particulier de gestion des serveurs de données tout en réduisant le grain d'adaptabilité. Nous illustrons à travers un exemple comment le support résultant permet d'implanter un serveur de données dont les politiques de gestion peuvent être adaptées dynamiquement.

Nous présentons un support d'exécution pour applications parallèles irrégulières. Par le terme irrégulier nous entendons des applications dont le comportement ne peut pas être prévu indépendamment du problème effectif à résoudre. En conséquence, le calcul d'un «bon» ordonnancement pour de telles applications est impossible. Il est alors nécessaire de permettre l'exécution dynamique et concurrente d'un grand nombre de calculs de grain éventuellement fin, et ce avec un coût minimum pour ne pas grever l'efficacité. L'approche retenue dans le cadre du projet APACHE consiste, pour assurer la portabilité efficace des applications, à exploiter le concept de polyalgorithme et à l'exprimer à l'aide d'une décomposition procédurale parallèle. L'opérateur de base de notre support d'exécution, l'appel de procédure à distance asynchrone, permet d'exprimer une telle décomposition procédurale. Cet opérateur est réalisé par le couplage lâche d'un noyau de multiprogrammation légère et d'un noyau de communication (PVM). Chaque calcul (exécution d'une procédure) est alors réalisé par un fil d'exécution différent. Nous décrivons le modèle de programmation que nous avons retenu, les choix de réalisation et l'implantation effectuée. Nous exposons en particulier le problème du couplage de la progression des calculs et de celle des communications, couplage réalisé à l'aide d'une opération «d'ordonnancement-scrutation». Cette réalisation est ensuite évaluée selon divers critères (portabilité, latence, débit, recouvrement, performances d'une application réelle). Nous présentons en dernier lieu 13 autres supports d'exécution de but semblable: utiliser la multiprogrammation légère pour améliorer le support des applications parallèles de grain variable. Nous tentons en particulier de dégager les grandes lignes de comparaison entre ces exécutifs, et présentons les diverses solutions retenues pour le couplage multiprogrammation légère/communications. Nous terminons par une indication d'un paradigme de programmation plus évolué, extension de la notion de décomposition procédurale parallèle

Sont présentées la définition, l'implantation et l'expérimentation de méthodes d'accèes par le contenu à une base de documents textuels, dans le cadre d'un serveur d'information bureautique. L'intégration de ces opérations comprend d'une part l'intégration des documents au modèle de données du serveur, d'autre part l'intégration au niveau fonctionnel des opérations spécifiques aux documents par l'introduction des opérateurs correspondants dans le langage de manipulation de données. Est considérée la coexistence de deux modèles de contenu des documents: le contenu textuel, forme par les chaines de caractères qui forment les portions de contenu de leur structure logique, et le contenu sémantique, qui est le résultat d'une analyse du contenu. Ont ainsi ete définies deux opérations de recherche, la recherche textuelle et la recherche sémantique, effectuées sur ces deux modèles de contenu. Les méthodes d'accès et de stockage correspondantes utilisent des méthodes de signature pour l'établissement des index textuel et sémantique. Ces méthodes permettent de tres bonnes performances, facilite de mise a jour et évaluation de requête. Ont été expérimentées une approche logicielle et une approche matérielle (avec le filtre Schuss) pour la réalisation de ces opérations. Une grande partie de ce travail a été intégrée dans le serveur ois, développe dans le cadre du projet esprit 231, Doeois

Cette thèse traite du problème de la gestion de bases de données où les informations à stocker et à manipuler sont de nature diverse (factuelles, textuelles, imagées,...) et à structure interne éventuellement complexe. Ces données dites «généralisées» apparaissent dans des applications bureautiques et de conception assistée par ordinateur. Présentation du modèle TIGRE et du langage de définition et de manipulation associé (LAMBDA)

L'objectif de cette these est l'etude d'un environnement d'execution pour machines paralleles sans memoire commune. Elle comprend la definition d'un modele de programme parallele, base sur l'echange de message offrant une forme restreinte de memoire partagee. La communication est indirecte, via des portes; les processus utilisent les barrieres pour la synchronisation. Les entites du systeme, processus, portes et barrieres, sont creees dynamiquement, et placees sur un processeur quelconque du reseau de processeurs de facon explicite. Nous proposons une implantation de ce modele comme la mise en oeuvre systematique d'une architecture client/ serveur. Cette implantation a ete effectuee sur une machine Supernode. La base est un Micro Noyau Parallele, ou le composant principal est un mecanisme d'appel de procedure a distance minimal.