Automated prioritizing heuristics for parallel task graph scheduling in heterogeneous computing

International audienceHigh-performance computing (HPC) relies increasingly on heterogeneous hardware and especially on the combination of central and graphical processing units. The task-based method has demonstrated promising potential for parallelizing applications on such computing nodes. With this approach, the scheduling strategy becomes a critical layer that describes where and when the ready-tasks should be executed among the processing units. In this study, we describe a heuristic-based approach that assigns priorities to each task type. We rely on a fitness score for each task/worker combination for generating priorities and use these for configuring the Heteroprio scheduler automatically within the StarPU runtime system. We evaluate our method’s theoretical performance on emulated executions and its real-case performance on multiple different HPC applications. We show that our approach is usually equivalent or faster than expert-defined priorities

Autovesk: Automatic vectorized code generation from unstructured static kernels using graph transformations

International audienceLeveraging the SIMD capability of modern CPU architectures is mandatory to take full advantage of their increased performance. To exploit this capability, binary executables must be vectorized, either manually by developers or automatically by a tool. For this reason, the compilation research community has developed several strategies for transforming scalar code into a vectorized implementation. However, most existing automatic vectorization techniques in modern compilers are designed for regular codes, leaving irregular applications with non-contiguous data access patterns at a disadvantage. In this paper, we present a new tool, Autovesk, that automatically generates vectorized code from scalar code, specifically targeting irregular data access patterns. We describe how our method transforms a graph of scalar instructions into a vectorized one, using different heuristics to reduce the number or cost of instructions. Finally, we demonstrate theeffectiveness of our approach on various computational kernels using Intel AVX-512 and ARM SVE. We compare the speedups of Autovesk vectorized code over GCC, Clang LLVM and Intel automatic vectorization optimizations. We achieve competitive results on linear kernels and up to 11x speedups on irregular kernels

Design of an Efficient Distributed Delivery Service for Group Key Agreement Protocols

International audienceEnd-to-end encrypted messaging applications such as Signal became widely popular thanks to their capability to ensure the confidentiality and integrity of online communication. While the highest security guarantees were long reserved to two-party communication, solutions for n-party communication remained either inefficient or less secure until the standardization of the MLS Protocol (Messaging Layer Security). This new protocol offers an efficient way to provide end-to-end secure communication with the same guarantees originally offered by the Signal Protocol for two-party communication. However, both solutions still rely on a centralized component for message delivery, called the Delivery Service in the MLS Protocol. The centralization of the Delivery Service makes it an ideal target for attackers and threatens the availability of any protocol relying on MLS. In order to overcome this issue, we propose the design of a fully distributed Delivery Service that allows clients to exchange protocol messages efficiently and without any intermediary. It uses a Probabilistic Reliable-Broadcast mechanism to efficiently deliver messages and the Cascade Consensus Protocol to handle messages requiring an agreement. Our solution strengthens the availability of the MLS Protocol without compromising its security

Design of an Efficient Distributed Delivery Service for Group Key Agreement Protocols

International audienceEnd-to-end encrypted messaging applications such as Signal became widely popular thanks to their capability to ensure the confidentiality and integrity of online communication. While the highest security guarantees were long reserved to two-party communication, solutions for n-party communication remained either inefficient or less secure until the standardization of the MLS Protocol (Messaging Layer Security). This new protocol offers an efficient way to provide end-to-end secure communication with the same guarantees originally offered by the Signal Protocol for two-party communication. However, both solutions still rely on a centralized component for message delivery, called the Delivery Service in the MLS Protocol. The centralization of the Delivery Service makes it an ideal target for attackers and threatens the availability of any protocol relying on MLS. In order to overcome this issue, we propose the design of a fully distributed Delivery Service that allows clients to exchange protocol messages efficiently and without any intermediary. It uses a Probabilistic Reliable-Broadcast mechanism to efficiently deliver messages and the Cascade Consensus Protocol to handle messages requiring an agreement. Our solution strengthens the availability of the MLS Protocol without compromising its security

Design of an Efficient Distributed Delivery Service for Group Key Agreement Protocols

International audienceEnd-to-end encrypted messaging applications such as Signal became widely popular thanks to their capability to ensure the confidentiality and integrity of online communication. While the highest security guarantees were long reserved to two-party communication, solutions for n-party communication remained either inefficient or less secure until the standardization of the MLS Protocol (Messaging Layer Security). This new protocol offers an efficient way to provide end-to-end secure communication with the same guarantees originally offered by the Signal Protocol for two-party communication. However, both solutions still rely on a centralized component for message delivery, called the Delivery Service in the MLS Protocol. The centralization of the Delivery Service makes it an ideal target for attackers and threatens the availability of any protocol relying on MLS. In order to overcome this issue, we propose the design of a fully distributed Delivery Service that allows clients to exchange protocol messages efficiently and without any intermediary. It uses a Probabilistic Reliable-Broadcast mechanism to efficiently deliver messages and the Cascade Consensus Protocol to handle messages requiring an agreement. Our solution strengthens the availability of the MLS Protocol without compromising its security

Le contrôle de l'identité à travers les âges

Garnier Ludovic, Lebas Fabien, Leger Claire, Lemoine Raphaëlle, Marcilly Matthieu, Mellal Fatiha, Paillat Xavier, Vercelonne Samuel, Verge Mélanie. Le contrôle de l'identité à travers les âges. In: Revue juridique de l'Ouest, 2012-3. pp. 343-362

Expertise préalable à la création d’un tableau de maladie professionnelle ou à l’élaboration derecommandations aux comités régionaux de reconnaissance des maladies professionnelles - Leucémies myéloïdes en lien avec l’exposition au formaldéhyde

Citation suggérée : Anses. (2023). Expertise préalable à la création d'un tableau de maladie professionnelle ou à l’élaboration de recommandations aux comités régionaux de reconnaissance des maladies professionnelles – Leucémies myéloïdes en lien avec l’exposition au formaldéhyde. (Saisine 2021-SA-0031). Maisons-Alfort : Anses, 289 p.Depuis 2004, le formaldéhyde est classé par le Centre international de recherche sur le cancer(CIRC) comme substance « cancérogène avérée pour l’humain » (groupe 1) pour le nasopharynx (IARC, 2006). La monographie sur le formaldéhyde actualisée en 2009 indique que des preuves suffisantes sont maintenant disponibles pour démontrer le lien entre l’exposition au formaldéhyde et les leucémies dont la leucémie myéloïde (IARC, 2012). Dans cette monographie, une association positive a été observée entre l'exposition au formaldéhyde et le cancer des fosses nasales et des sinus de la face, sans pouvoir conclure sur le lien de causalité.Au niveau européen et à la suite d’une proposition de classification préparée par l’Anses etenvoyée à l’Agence européenne des substances chimiques (ECHA) en 2011, la classificationharmonisée du formaldéhyde a évolué, dans le cadre du règlement (UE) n° 605/2014 de laCommission du 5 juin 2014, de la catégorie « cancérogène de catégorie 2 - susceptible deprovoquer le cancer » vers la catégorie « cancérogène de catégorie 1B - peut provoquer lecancer » et « mutagène de catégorie 2 - susceptible d'induire des anomalies génétiques », surla base des tumeurs du naso-pharynx.En France, les ministères chargés du travail et de l’agriculture ont publié un arrêté en juillet2006 classant les « travaux exposant au formaldéhyde » dans la liste des activités impliquantdes substances, préparations et procédés cancérogènes, au sens du Code du travail. L’entréeen vigueur de cet arrêté est effective depuis janvier 2007.Concernant la reconnaissance des maladies professionnelles (MP), quatre tableaux de maladies professionnelles (TMP) ont été créés aux régimes général (RG) et agricole (RA). Les tableaux 43 RG (créé en 1963) et 28 RA (créé en 1955) portent sur les affections (dermites, eczéma, rhinite, asthme) provoquées par le formaldéhyde, et les tableaux 43 bis RG (créé en 2009) et 28 bis RA (créé en 2012) sur le cancer du nasopharynx.Compte tenu des évolutions des connaissances relatives aux pathologies liées aux expositionsau formaldéhyde, la Direction générale du travail, la Direction de la sécurité sociale et la Direction des affaires financières, sociales et logistiques ont saisi l’Anses le 23 février 2021 pour réaliser un travail d’expertise préalable à la création de tableaux en lien avec les expositions professionnelles au formaldéhyde.Cette saisine fait mention de plusieurs maladies en lien avec l’exposition au formaldéhyde : les leucémies et particulièrement les leucémies myéloïdes, le cancer des fosses nasales et des sinus de la face ainsi que les pathologies résultant de sensibilisation et d’effets locaux (irritation, corrosion). Il est également demandé une mise à jour des TMP 43 et 43 bis du RG, 28 et 28 bis du RA, s’il existe des éléments nouveaux susceptibles de faire évoluer ces tableaux.Cette expertise permettra aux commissions de maladies professionnelles et à l’État de mettre à jour, le cas échéant, les modalités de la reconnaissance des maladies professionnelles liées au formaldéhyde, tant pour le régime agricole que pour le régime général, ou de formuler desrecommandations aux comités régionaux de reconnaissance des maladies professionnelles(CRRMP)