Programme

Ateliers du 30 juin

Conférences Invitées

Mercredi 1er Juillet: Patrick Cordier (UMET - Université de Lille 1)

Dynamique du manteau terrestre: vers une modélisation in silico

Résumé : La Terre est une planète encore chaude qui expulse sa chaleur interne au travers de vastes mouvements de convection qui brassent le manteau terrestre. Cette activité se manifeste en surface au travers de la tectonique des plaques, des séismes qui lui sont associés et du volcanisme pour ne citer que les manifestations les plus spectaculaires. Ce brassage convectif est possible car les roches solides du manteau terrestre se déforment plastiquement à l'échelle des temps géologiques. Modéliser les écoulements dans le manteau représente donc un enjeu majeur de la géophysique. C'est également un défi expérimental car il faut reproduire les formidables pressions (jusqu'à 130 GPa) qui règnent jusque près de 3000 km de profondeur, mais surtout il faudrait reproduire les vitesses de déformation infiniment lentes de la convection mantellique, ce qui n'est pas réalisable à l'échelle humaine. La modélisation numérique représente aujourd'hui une alternative sérieuse pour aborder ces problèmes. Mais il y a loin l'échelle atomique où se joue la cohésion de la matière sous pression et celle du manteau terrestre et une approche multi-échelles s'impose pour rendre compte des différents mécanismes qui contrôlent le comportement observé. Ce sont les chantiers en cours relatifs à ces enjeux que nous décriront dans cet exposé.

Biographie : Patrick Cordier est Professeur à l’Université de Lille 1 où il réalise ses travaux au sein de l'Unité Matériaux et Transformations (UMET - UMR CNRS 8207). Depuis le mois de Mai 2012, il est l’investigateur du projet RheoMan: un projet sur cinq ans, financé par l'ERC (Advanced Grant), visant à modéliser la rhéologie du manteau terrestre. En 2016, il sera le récipient de la Médaille Dana, décernée par la Société Américaine de Minéralogie, récompensant ainsi ses nombreuses contributions dans ce domaine.

Jeudi 2 juillet: Damien Deville (StormShield)

Traitement haute performance de paquets réseaux dans un Firewall/IPS sous FreeBSD

Résumé : Cette présentation va dans un premier temps décrire les différents outils de mesure de performance disponibles au sein du système d'exploitation FreeBSD, puis décrire leurs mise en oeuvre dans le cadre du développement du Firewall stateful et du moteur de prévention d'intrusion (IPS) pour obtenir des traitements de paquets réseaux haute performance sur du matériel conventionnel et un socle logiciel existant.

Biographie : Damien Deville est, depuis Janvier 2010, responsable de l'équipe en charge de la veille sécurité et des développements de nouvelles protections dans le moteur de prévention d'intrusion (IPS) des équipements Stormshield. Il à rejoint Stormshield en Août 2006 en tant que développeur IPS, après avoir effectué un post doc à l'université de Washington dans l'équipe de Steve Gribble et Hank Lévy (Seattle, bourse Fulbright) autour de la sécurité des codes JavaScript. Damien Deville est docteur en informatique de l'USTL (Université des sciences et technologies de Lille), sa thèse traite de la sécurité des systèmes d'exploitation embarqués dans les cartes à microprocesseur. Damien est aussi diplômé de l'école d'ingénieur Polytech'Lille.

Vendredi 3 Juillet: Juri Lelli (ARM)

What's so fun about the Linux Scheduler? ...and why you might want to start playing this game.

Résumé : The last few years have seen a lot of activity on the Linux Kernel Mailing List around the Linux Scheduler. Among others, ARM Ltd. has developed solutions for efficient scheduling on heterogeneous (big.LITTLE) architectures; The RETIS Laboratory of the Scuola Superiore Sant'Anna (Pisa, Italy) has invested time in developing and pushing to mainline an implementation of a well known real-time scheduling algorithm for time sensitive applications.

Since I was part of the latter research activity and I recently joined the former endeavour, in this talk I will give an overview of both research activities. I will also discuss possible applications with an eye towards open questions and research opportunities.

For the keywords eager, I will talk about: SCHED_NORMAL (Completely Fair Scheduling, SCHED_DEADLINE (Constant Bandwidth Server), big.LITTLE systems and Energy Models, Global Task Switching (GTS/HMP), Energy Aware Scheduling (EAS) and Dynamic Voltage and Frequency Scaling (DVFS)

Biographie : Juri Lelli received a Bachelor's degree in Computer Engineering at the University of Pisa (Italy) in 2006, and a Master's degree in Computer Engineering at the University of Pisa (Italy) in 2010 with a thesis titled Design and development of real-time scheduling mechanisms for multiprocessor systems. He then earned a PhD degree at the Scuola Superiore Sant'Anna of Pisa, Italy (ReTiS Lab). His PhD thesis focused on reducing the gap between classical real-time theory and practical implementation of real-time scheduling algorithms on General Purpose Operating Systems, with a special focus on Linux. At the moment, he works at ARM Ltd., where he continues contributing to the Linux scheduler development.

Parallélisme

Session #1: «Parrallélisme & architectures» (Gilles Fedak)

Session #2: «Clouds & systèmes»

Architecture

Session #1: «Modèles et plateformes FPGA»

Session #2: «Implementation logicielle/matérielle» (Sébastien Pillement)

Session #3: «Outils» (Smail NIAR)

Système

Session #1: « Centre de calcul »

Session #2: « Performances »

Session #3: « virtualisation »

Session #4: «Systèmes embarqués »

Session commune (meilleurs articles)

Sponsors

Partenaires