Suchergebnisse

International audience ; Due to new government legislation, customers' environmental concerns and continuously rising cost of energy, energy efficiency is becoming an essential parameter of industrial manufacturing processes in recent years. Most efforts considering energy issues in scheduling problems have focused on static scheduling. But in fact, scheduling problems are dynamic in the real world with uncertain new arrival jobs after the execution time. This paper proposes a dynamic energy efficient flexible flow shop scheduling model using peak power value with the consideration of new arrival jobs. As the problem is strongly NP-hard, a priority based hybrid parallel Genetic Algorithm with a predictive reactive complete rescheduling approach is developed. In order to achieve a speedup to meet the short response in the dynamic environment, the proposed method is designed to be highly consistent with NVIDIA CUDA software model. Finally, numerical experiments are conducted and show that our approach can not only achieve better performance than the traditional static approach, but also gain competitive results by reducing the time requirements dramatically.

National audience ; We evaluate different triggering criteria that may help to predict the risk of collision during the next consensus instance. ; Aucune collision ne se produit durant une instance de consensus si toutes les valeurs proposées durant ce consensus sont identiques. Afin de réduire le temps nécessaire à une prise de décision, certains protocoles de consensus anticipent sur le fait qu'aucune collision ne se produira au cours du prochain consensus exécuté. Ce principe de conception a notamment été étudié par Leslie Lamport qui a proposé une variante au protocole Paxos, appelée Fast Paxos. En l'absence de collision, un gain de temps est observé. Malheureusement, le fait de déclencher cette optimisation revient à faire un pari sur l'avenir et, en cas de collision non prévue, le coût de la procédure de recouvrement s'avère être bien plus important que le gain initialement escompté. Dans cet article, nous décrivons brièvement le protocole Paxos- MIC qui permet d'exécuter une séquence d'instances de consensus. Après chaque consensus, le choix d'activer l'optimisation risquée durant le prochain consensus est fait localement et dynamiquement en évaluant une condition de déclenchement. Nous étudions différentes conditions de déclenchement et nous évaluons les gains susceptibles d'être obtenus en simulant l'exécution du protocole à l'aide d'une trace réelle correspondant à l'activité du site Web d'une grande école d'ingénieur durant quinze jours consécutifs.

International audience ; Dans le cadre d'un développement dirigé par les modèles, les applications logicielles se définissent par utilisa- tion de transformations. Certaines transformations visent à répondre à des "problèmes récurrents" et leurs applications garantissent le respect de contraintes dans le modèle résultant. Elles sont identifiées sous le terme de Politiques. L'in- térêt d'une conception par applications de politiques est à la fois de faciliter la tâche du concepteur et de garantir par construction la cohérence du modèle construit. Nous étudions dans cette article la relation qui unit politiques et évolution de modèles en nous penchant sur la cohérence du modèle construit. Nous proposons pour cela une démarche de modélisation des politiques qui vise à assurer la cohérence du modèle construit relativement à chaque politique appliquée et à réparer automatiquement ces modèles dans le cas contraire. La réparation est alors basée sur la ré- applications des politiques.

International audience ; Cloud computing is quickly defining the computing paradigm in the modern networked age. Users can run their large computations online using cloud services at a fraction of the cost compared to setting their own data centers. Clearly cloud computing offers many advantages, and yet many large organizations including governments, financial sector, and health care sector are reluctant in transitioning to cloud computing. Contrail project will address the major concerns behind this reluctance namely mistrust in cloud platforms, lack of Service Level Agreements (SLAs) and Quality of Protection (QoP) of data. Contrail will provide a federation layer support for bringing a multitude of cloud providers, both private and public, together. This will allow multi-tenancy and cloud- bursting capability to end user cloud applications while supporting SLAs and QoP agreements desired by several privacy aware sectors including governments, banks, health care providers to name a few. This paper describes the novel features we are building into the Contrail Virtual Execution Platform (VEP) that will be closely interfaced with the IaaS layer of cloud providers. VEP upgrades the supported cloud providers and brings trust in cloud computing by adding SLAs and QoP features missing at typical IaaS layer. Further this paper outlines challenges faced in being part of a large federation and how VEP will address some of those.

National audience ; We evaluate different triggering criteria that may help to predict the risk of collision during the next consensus instance. ; Aucune collision ne se produit durant une instance de consensus si toutes les valeurs proposées durant ce consensus sont identiques. Afin de réduire le temps nécessaire à une prise de décision, certains protocoles de consensus anticipent sur le fait qu'aucune collision ne se produira au cours du prochain consensus exécuté. Ce principe de conception a notamment été étudié par Leslie Lamport qui a proposé une variante au protocole Paxos, appelée Fast Paxos. En l'absence de collision, un gain de temps est observé. Malheureusement, le fait de déclencher cette optimisation revient à faire un pari sur l'avenir et, en cas de collision non prévue, le coût de la procédure de recouvrement s'avère être bien plus important que le gain initialement escompté. Dans cet article, nous décrivons brièvement le protocole Paxos- MIC qui permet d'exécuter une séquence d'instances de consensus. Après chaque consensus, le choix d'activer l'optimisation risquée durant le prochain consensus est fait localement et dynamiquement en évaluant une condition de déclenchement. Nous étudions différentes conditions de déclenchement et nous évaluons les gains susceptibles d'être obtenus en simulant l'exécution du protocole à l'aide d'une trace réelle correspondant à l'activité du site Web d'une grande école d'ingénieur durant quinze jours consécutifs.

International audience ; Cloud computing is quickly defining the computing paradigm in the modern networked age. Users can run their large computations online using cloud services at a fraction of the cost compared to setting their own data centers. Clearly cloud computing offers many advantages, and yet many large organizations including governments, financial sector, and health care sector are reluctant in transitioning to cloud computing. Contrail project will address the major concerns behind this reluctance namely mistrust in cloud platforms, lack of Service Level Agreements (SLAs) and Quality of Protection (QoP) of data. Contrail will provide a federation layer support for bringing a multitude of cloud providers, both private and public, together. This will allow multi-tenancy and cloud- bursting capability to end user cloud applications while supporting SLAs and QoP agreements desired by several privacy aware sectors including governments, banks, health care providers to name a few. This paper describes the novel features we are building into the Contrail Virtual Execution Platform (VEP) that will be closely interfaced with the IaaS layer of cloud providers. VEP upgrades the supported cloud providers and brings trust in cloud computing by adding SLAs and QoP features missing at typical IaaS layer. Further this paper outlines challenges faced in being part of a large federation and how VEP will address some of those.

National audience ; We evaluate different triggering criteria that may help to predict the risk of collision during the next consensus instance. ; Aucune collision ne se produit durant une instance de consensus si toutes les valeurs proposées durant ce consensus sont identiques. Afin de réduire le temps nécessaire à une prise de décision, certains protocoles de consensus anticipent sur le fait qu'aucune collision ne se produira au cours du prochain consensus exécuté. Ce principe de conception a notamment été étudié par Leslie Lamport qui a proposé une variante au protocole Paxos, appelée Fast Paxos. En l'absence de collision, un gain de temps est observé. Malheureusement, le fait de déclencher cette optimisation revient à faire un pari sur l'avenir et, en cas de collision non prévue, le coût de la procédure de recouvrement s'avère être bien plus important que le gain initialement escompté. Dans cet article, nous décrivons brièvement le protocole Paxos- MIC qui permet d'exécuter une séquence d'instances de consensus. Après chaque consensus, le choix d'activer l'optimisation risquée durant le prochain consensus est fait localement et dynamiquement en évaluant une condition de déclenchement. Nous étudions différentes conditions de déclenchement et nous évaluons les gains susceptibles d'être obtenus en simulant l'exécution du protocole à l'aide d'une trace réelle correspondant à l'activité du site Web d'une grande école d'ingénieur durant quinze jours consécutifs.

International audience ; Dans le cadre d'un développement dirigé par les modèles, les applications logicielles se définissent par utilisa- tion de transformations. Certaines transformations visent à répondre à des "problèmes récurrents" et leurs applications garantissent le respect de contraintes dans le modèle résultant. Elles sont identifiées sous le terme de Politiques. L'in- térêt d'une conception par applications de politiques est à la fois de faciliter la tâche du concepteur et de garantir par construction la cohérence du modèle construit. Nous étudions dans cette article la relation qui unit politiques et évolution de modèles en nous penchant sur la cohérence du modèle construit. Nous proposons pour cela une démarche de modélisation des politiques qui vise à assurer la cohérence du modèle construit relativement à chaque politique appliquée et à réparer automatiquement ces modèles dans le cas contraire. La réparation est alors basée sur la ré- applications des politiques.

National audience ; We evaluate different triggering criteria that may help to predict the risk of collision during the next consensus instance. ; Aucune collision ne se produit durant une instance de consensus si toutes les valeurs proposées durant ce consensus sont identiques. Afin de réduire le temps nécessaire à une prise de décision, certains protocoles de consensus anticipent sur le fait qu'aucune collision ne se produira au cours du prochain consensus exécuté. Ce principe de conception a notamment été étudié par Leslie Lamport qui a proposé une variante au protocole Paxos, appelée Fast Paxos. En l'absence de collision, un gain de temps est observé. Malheureusement, le fait de déclencher cette optimisation revient à faire un pari sur l'avenir et, en cas de collision non prévue, le coût de la procédure de recouvrement s'avère être bien plus important que le gain initialement escompté. Dans cet article, nous décrivons brièvement le protocole Paxos- MIC qui permet d'exécuter une séquence d'instances de consensus. Après chaque consensus, le choix d'activer l'optimisation risquée durant le prochain consensus est fait localement et dynamiquement en évaluant une condition de déclenchement. Nous étudions différentes conditions de déclenchement et nous évaluons les gains susceptibles d'être obtenus en simulant l'exécution du protocole à l'aide d'une trace réelle correspondant à l'activité du site Web d'une grande école d'ingénieur durant quinze jours consécutifs.

International audience ; Cloud computing is quickly defining the computing paradigm in the modern networked age. Users can run their large computations online using cloud services at a fraction of the cost compared to setting their own data centers. Clearly cloud computing offers many advantages, and yet many large organizations including governments, financial sector, and health care sector are reluctant in transitioning to cloud computing. Contrail project will address the major concerns behind this reluctance namely mistrust in cloud platforms, lack of Service Level Agreements (SLAs) and Quality of Protection (QoP) of data. Contrail will provide a federation layer support for bringing a multitude of cloud providers, both private and public, together. This will allow multi-tenancy and cloud- bursting capability to end user cloud applications while supporting SLAs and QoP agreements desired by several privacy aware sectors including governments, banks, health care providers to name a few. This paper describes the novel features we are building into the Contrail Virtual Execution Platform (VEP) that will be closely interfaced with the IaaS layer of cloud providers. VEP upgrades the supported cloud providers and brings trust in cloud computing by adding SLAs and QoP features missing at typical IaaS layer. Further this paper outlines challenges faced in being part of a large federation and how VEP will address some of those.

International audience ; Dans le cadre d'un développement dirigé par les modèles, les applications logicielles se définissent par utilisa- tion de transformations. Certaines transformations visent à répondre à des "problèmes récurrents" et leurs applications garantissent le respect de contraintes dans le modèle résultant. Elles sont identifiées sous le terme de Politiques. L'in- térêt d'une conception par applications de politiques est à la fois de faciliter la tâche du concepteur et de garantir par construction la cohérence du modèle construit. Nous étudions dans cette article la relation qui unit politiques et évolution de modèles en nous penchant sur la cohérence du modèle construit. Nous proposons pour cela une démarche de modélisation des politiques qui vise à assurer la cohérence du modèle construit relativement à chaque politique appliquée et à réparer automatiquement ces modèles dans le cas contraire. La réparation est alors basée sur la ré- applications des politiques.

National audience ; We evaluate different triggering criteria that may help to predict the risk of collision during the next consensus instance. ; Aucune collision ne se produit durant une instance de consensus si toutes les valeurs proposées durant ce consensus sont identiques. Afin de réduire le temps nécessaire à une prise de décision, certains protocoles de consensus anticipent sur le fait qu'aucune collision ne se produira au cours du prochain consensus exécuté. Ce principe de conception a notamment été étudié par Leslie Lamport qui a proposé une variante au protocole Paxos, appelée Fast Paxos. En l'absence de collision, un gain de temps est observé. Malheureusement, le fait de déclencher cette optimisation revient à faire un pari sur l'avenir et, en cas de collision non prévue, le coût de la procédure de recouvrement s'avère être bien plus important que le gain initialement escompté. Dans cet article, nous décrivons brièvement le protocole Paxos- MIC qui permet d'exécuter une séquence d'instances de consensus. Après chaque consensus, le choix d'activer l'optimisation risquée durant le prochain consensus est fait localement et dynamiquement en évaluant une condition de déclenchement. Nous étudions différentes conditions de déclenchement et nous évaluons les gains susceptibles d'être obtenus en simulant l'exécution du protocole à l'aide d'une trace réelle correspondant à l'activité du site Web d'une grande école d'ingénieur durant quinze jours consécutifs.

Ces supports exécutifs sont destinés à faciliter l'exploitation efficace d'architectures de type "grappes de machines NUMA". L'équipe Runtime possède une bonne expérience dans le domaine de l'exploitation des machines multiprocesseurs et ses travaux ont notamment conduit à l'élaboration d'une bibliothèque (nommée Marcel) permettant d'ordonnancer de manière portable un grand nombre de processus légers. Pour guider l'ordonnancement depuis l'application, le programmeur peut former des "bulles" pour encapsuler des threads ou d'autres bulles. Ces abstractions permettent d'associer des threads possédant des caractéristiques communes telles que l'accès à des données partagées par exemple (affinité mémoire). À l'exécution, l'ordonnanceur peut alors s'aider de ces informations (contenu des bulles + attributs attachés aux bulles ) pour placer les threads de manière pertinente sur les processeurs de la machine. La plate-forme Marcel permet en outre au programmeur de définir lui-même la fonction d'ordonnancement ou d'utiliser l'un des politiques prédéfinies. Actuellement, les stratégies d'ordonnancement peuvent utiliser des propriétés d'affinités entre threads mais aucune information sur la localisation, le volume ou le taux d'accès aux données n'est disponible. L'objectif de ce mémoire est donc d'étudier l'ordonnancement de threads par bulles dans un contexte où ces informations seraient disponibles. Dans un premier temps, il s'agira d'enrichir la plate-forme Marcel de mécanismes permettant au programmeur de spécifier, pour des données statiques ou allouées dynamiquement, des liaisons pondérées entre les segments de données et les bulles y accédant (la pondération représentant typiquement un taux d'accès). À l'exécution, il devra donc être possible de déterminer à tout moment, pour une bulle donnée, la hiérarchie de ses "bassins d'attraction" sur la machine.

International audience ; Cloud computing enabled service-level agreements (SLAs) to gain widespread use among information systems stakeholders. It is now normal for performance and availability of such systems to be carefully measured and evaluated. Contracts that include financial penalties in case of breach are now common. However security is lagging behind this trend; it is as important to stakeholders as performance and availability, but is generally not included in the scope of service-level agreements between stakeholders, and handled instead on a best-effort basis, without any transparency nor SLA with their clients. One reason for this is the difficulty of objectively measuring security. Indeed, the actual security level of a system is dependent on a wide range of factors, some intrinsic to the system-such as a design or implementation mistake resulting in a vulnerability-and some extrinsic to it. For instance, an external event such as the publication of a vulnerability in an open-source software dependency or a change of political context in a country can widely impact the risks faced by an information system even if no actual change were made to the system. These factors are even more numerous in multi-tenant cloud infrastructures because of the sheer number of actors involved-and their sometimes conflicting incentives-and opportunities for both attack and defense at scale. Security monitoring aims to detect and react to attacks in real time; Reactive security monitoring intends to take external events into account while doing so. Improving the accuracy of a system's overall security assessment can help transitioning security to a SLA paradigm and enable better transparency for all stakeholders.

International audience ; Cloud computing enabled service-level agreements (SLAs) to gain widespread use among information systems stakeholders. It is now normal for performance and availability of such systems to be carefully measured and evaluated. Contracts that include financial penalties in case of breach are now common. However security is lagging behind this trend; it is as important to stakeholders as performance and availability, but is generally not included in the scope of service-level agreements between stakeholders, and handled instead on a best-effort basis, without any transparency nor SLA with their clients. One reason for this is the difficulty of objectively measuring security. Indeed, the actual security level of a system is dependent on a wide range of factors, some intrinsic to the system-such as a design or implementation mistake resulting in a vulnerability-and some extrinsic to it. For instance, an external event such as the publication of a vulnerability in an open-source software dependency or a change of political context in a country can widely impact the risks faced by an information system even if no actual change were made to the system. These factors are even more numerous in multi-tenant cloud infrastructures because of the sheer number of actors involved-and their sometimes conflicting incentives-and opportunities for both attack and defense at scale. Security monitoring aims to detect and react to attacks in real time; Reactive security monitoring intends to take external events into account while doing so. Improving the accuracy of a system's overall security assessment can help transitioning security to a SLA paradigm and enable better transparency for all stakeholders.