Search results

The invasion of multi-core and multi-processor platforms on all aspects of computing makes shared memory parallel programming mainstream. Yet, the fundamental problems of exploiting parallelism efficiently and correctly have not been fully addressed. Moreover, the execution model of these platforms (notably the relaxed memory models they implement) introduces new challenges to static and dynamic program analysis. In this work we address 1) the optimization of pessimistic implementations of critical sections and 2) the dynamic information flow analysis for parallel executions of multi-threaded programs. Critical sections are excerpts of code that must appear as executed atomically. Their pessimistic implementation reposes on synchronization mechanisms, such as mutexes, and consists into obtaining and releasing them at the beginning and end of the critical section respectively. We present a general algorithm for the acquisition/release of synchronization mechanisms and define on top of it several policies aiming to reduce contention by minimizing the possession time of synchronization mechanisms. We demonstrate the correctness of these policies (i.e. they preserve atomicity and guarantee deadlock freedom) and evaluate them experimentally. The second issue tackled is dynamic information flow analysis of parallel executions. Precisely tracking information flow of a parallel execution is infeasible due to non-deterministic accesses to shared memory. Most existing solutions that address this problem enforce a serial execution of the target application. This allows to obtain an explicit serialization of memory accesses but incurs both an execution-time overhead and eliminates the effects of relaxed memory models. In contrast, the technique we propose allows to predict the plausible serializations of a parallel execution with respect to the memory model. We applied this approach in the context of taint analysis , a dynamic information flow analysis widely used in vulnerability detection. To improve precision of taint analysis we further take into account the semantics of synchronization mechanisms such as mutexes, which restricts the predicted serializations accordingly. The solutions proposed have been implemented in proof of concept tools which allowed their evaluation on some hand-crafted examples. ; L'utilisation massive des plateformes multi-cœurs et multi-processeurs a pour effet de favoriser la programmation parallèle à mémoire partagée. Néanmoins, exploiter efficacement et de manière correcte le parallélisme sur ces plateformes reste un problème de recherche ouvert. De plus, leur modèle d'exécution sous-jacent, et notamment les modèles de mémoire "relâchés", posent de nouveaux défis pour les outils d'analyse statiques et dynamiques. Dans cette thèse nous abordons deux aspects importants dans le cadre de la programmation sur plateformes multi-cœurs et multi-processeurs: l'optimisation de sections critiques implémentées selon l'approche pessimiste, et l'analyse dynamique de flots d'informations. Les sections critiques définissent un ensemble d'accès mémoire qui doivent être exécutées de façon atomique. Leur implémentation pessimiste repose sur l'acquisition et le relâchement de mécanismes de synchronisation, tels que les verrous, en début et en fin de sections critiques. Nous présentons un algorithme générique pour l'acquisition/relâchement des mécanismes de synchronisation, et nous définissons sur cet algorithme un ensemble de politiques particulier ayant pour objectif d'augmenter le parallélisme en réduisant le temps de possession des verrous par les différentes threads. Nous montrons alors la correction de ces politiques (respect de l'atomicité et absence de blocages), et nous validons expérimentalement leur intérêt. Le deuxième point abordé est l'analyse dynamique de flot d'information pour des exécutions parallèles. Dans ce type d'analyse, l'enjeu est de définir précisément l'ordre dans lequel les accès à des mémoires partagées peuvent avoir lieu à l'exécution. La plupart des travaux existant sur ce thème se basent sur une exécution sérialisée du programme cible. Ceci permet d'obtenir une sérialisation explicite des accès mémoire mais entraîne un surcoût en temps d'exécution et ignore l'effet des modèles mémoire relâchées. A contrario, la technique que nous proposons permet de prédire l'ensemble des sérialisations possibles vis-a-vis de ce modèle mémoire à partir d'une seule exécution parallèle ("runtime prediction"). Nous avons développé cette approche dans le cadre de l'analyse de teinte, qui est largement utilisée en détection de vulnérabilités. Pour améliorer la précision de cette analyse nous prenons également en compte la sémantique des primitives de synchronisation qui réduisent le nombre de sérialisations valides. Les travaux proposé ont été implémentés dans des outils prototype qui ont permit leur évaluation sur des exemples représentatifs.

L'originalité de la structuration du marché logistique peut s'expliquer par des spécificités physiques et d'usage. Elles favorisent la globalisation de ce marché ainsi que l'intégration de la chaîne immobilière, en aval au plus proche des demandes des clients et des attentes des acteurs publics, et en amont vers l'investissement (financiarisation), et l'aménagement. Un deuxième champ d'explication de l'intégration tient aux modalités de la réception locale des projets immobiliers logistiques. Les entrepôts étant construit dans des espaces plus périphériques que la majorité des autres projets immobiliers, les règles s'avèrent être différentes de celles qui régissent les projets immobiliers des espaces urbains plus denses. Si l'on avance que l'encastrement local, le poids du politique, la nécessité de connaître les marchés locaux et d'avoir accès à la décision publique entraînent une relative atomicité des marchés immobiliers et constituent un frein à leur globalisation (Lorrain, 2002, Pollard, 2009), cela ne semble pas être le cas pour l'immobilier logistique. Les firmes globales et intégrés semblent même être les plus à même de répondre aux demandes politiques locales. Ces firmes coopèrent et s'ancrent localement tout en opérant à l'échelle globale. Nous souhaitons, à travers le portrait de Prologis, analyser plus avant ce paradoxe. Il s'agit du numéro un mondial de l'immobilier logistique. C'est une firme globale, déployant son activité dans les Amériques, en Europe et en Extrême-Orient. Elle a intégré la totalité de la chaîne immobilière et représente à ce titre le modèle de l' 'aménageur-développeur-investisseur-gestionnaire de fonds immobiliers et de parcs logistiques'. De plus, elle développe et possède non seulement des entrepôts mais tout particulièrement des parcs logistiques, c'est-à-dire des complexes de plusieurs entrepôts réunis dans un parc clos, possédés et gérés par elle seule. Cet objet lui permet mettre en ½oeuvre sa stratégie de 'local partner to global trade'. Gestionnaire d'Infrastructure, ...

L'originalité de la structuration du marché logistique peut s'expliquer par des spécificités physiques et d'usage. Elles favorisent la globalisation de ce marché ainsi que l'intégration de la chaîne immobilière, en aval au plus proche des demandes des clients et des attentes des acteurs publics, et en amont vers l'investissement (financiarisation), et l'aménagement. Un deuxième champ d'explication de l'intégration tient aux modalités de la réception locale des projets immobiliers logistiques. Les entrepôts étant construit dans des espaces plus périphériques que la majorité des autres projets immobiliers, les règles s'avèrent être différentes de celles qui régissent les projets immobiliers des espaces urbains plus denses. Si l'on avance que l'encastrement local, le poids du politique, la nécessité de connaître les marchés locaux et d'avoir accès à la décision publique entraînent une relative atomicité des marchés immobiliers et constituent un frein à leur globalisation (Lorrain, 2002, Pollard, 2009), cela ne semble pas être le cas pour l'immobilier logistique. Les firmes globales et intégrés semblent même être les plus à même de répondre aux demandes politiques locales. Ces firmes coopèrent et s'ancrent localement tout en opérant à l'échelle globale. Nous souhaitons, à travers le portrait de Prologis, analyser plus avant ce paradoxe. Il s'agit du numéro un mondial de l'immobilier logistique. C'est une firme globale, déployant son activité dans les Amériques, en Europe et en Extrême-Orient. Elle a intégré la totalité de la chaîne immobilière et représente à ce titre le modèle de l' 'aménageur-développeur-investisseur-gestionnaire de fonds immobiliers et de parcs logistiques'. De plus, elle développe et possède non seulement des entrepôts mais tout particulièrement des parcs logistiques, c'est-à-dire des complexes de plusieurs entrepôts réunis dans un parc clos, possédés et gérés par elle seule. Cet objet lui permet mettre en ½oeuvre sa stratégie de 'local partner to global trade'. Gestionnaire d'Infrastructure, ...

We propose an approach for adding non-functional properties (exception handling, atomicity, security, persistence) to services' coordinations. The approach is based on an Active Policy Model (AP Model) for representing services' coordinations with non-functional properties as a collection of types. In our model, a services' coordination is represented as a workflow composed of an ordered set of activities, each activity in charge of implementing a call to a service' operation. We use the type Activity for representing a workflow and its components (i.e., the workflow' activities and the order among them). A non-functional property is represented as one or several Active Policy types, each policy composed of a set of event-condition-action rules in charge of implementing an aspect of the property. Instances of active policy and activity types are considered in the model as entities that can be executed. We use the Execution Unit type for representing them as entities that go through a series of states at runtime. When an active policy is associated to one or several execution units, its rules verify whether each unit respects the implemented non-functional property by evaluating their conditions over their execution unit state, and when the property is not verified, the rules execute their actions for enforcing the property at runtime. We also proposed a proof of concept Active Policy Execution Engine for executing an active policy oriented workflow modelled using our AP Model. The engine implements an execution model that determines how AP, Rule and Activity instances interact among each other for adding non-functional properties (NFPs) to a workflow at execution time. We validated the AP Model and the Active Policy Execution Engine by defining active policy types for addressing exception handling, atomicity, state management, persistency and authentication properties. These active policy types were used for implementing reliable service oriented applications, and mashups for integrating data from services. ; Nous proposons une approche pour ajouter des propriétés non-fonctionnelles (traitement d'exceptions, atomicité, sécurité, persistance) à des coordinations de services. L'approche est basée sur un Modèle de Politiques Actives (AP Model) pour représenter les coordinations de services avec des propriétés non-fonctionnelles comme une collection de types. Dans notre modèle, une coordination de services est représentée comme un workflow compose d'un ensemble ordonné d'activité. Chaque activité est en charge d'implante un appel à l'opération d'un service. Nous utilisons le type Activité pour représenter le workflow et ses composants (c-à-d, les activités du workflow et l'ordre entre eux). Une propriété non-fonctionnelle est représentée comme un ou plusieurs types de politiques actives, chaque politique est compose d'un ensemble de règles événement-condition-action qui implantent un aspect d'un propriété. Les instances des entités du modèle, politique active et activité peuvent être exécutées. Nous utilisons le type unité d'exécution pour les représenter comme des entités dont l'exécution passe par des différents états d'exécution en exécution. Lorsqu'une politique active est associée à une ou plusieurs unités d'exécution, les règles vérifient si l'unité d'exécution respecte la propriété non-fonctionnelle implantée en évaluant leurs conditions sur leurs états d'exécution. Lorsqu'une propriété n'est pas vérifiée, les règles exécutant leurs actions pour renforcer les propriétés en cours d'exécution. Nous avons aussi proposé un Moteur d'exécution de politiques actives pour exécuter un workflow orientés politiques actives modélisé en utilisant notre AP Model. Le moteur implante un modèle d'exécution qui détermine comment les instances d'une AP, une règle et une activité interagissent entre elles pour ajouter des propriétés non-fonctionnelles (NFP) à un workflow en cours d'exécution. Nous avons validé le modèle AP et le moteur d'exécution de politiques actives en définissant des types de politiques actives pour adresser le traitement d'exceptions, l'atomicité, le traitement d'état, la persistance et l'authentification. Ces types de politiques actives ont été utilisés pour implanter des applications à base de services fiables, et pour intégrer les données fournies par des services à travers des mashups.