Supervision : Bertil FOLLIOT

Applications actives - Construction dynamique d'environnements d'exécution flexibles homogènes

L'émergence de nouveaux domaines informatiques entraîne de nouveaux besoins en termes de mécanismes systèmes que les environnements d'exécution traditionnels ne couvrent pas. Actuellement, il n'existe pas de solution pour ajouter ces mécanismes sans introduire d'hétérogénéité entre les plate-formes d'exécution. Pour résoudre ce problème, nous proposons de placer le code non-standardisé de ces mécanismes dans l'application et d'exécuter ce nouveau type d'application, appelée application active, dans un environnement générique et standard. Une application active adapte alors dynamiquement sa plate-forme d'exécution pour qu'elle corresponde à ses besoins spécifiques.
Cette architecture repose sur une plate-forme hautement réflexive développée pendant ces travaux : la micro machine virtuelle. Elle a été testée avec la construction d'une machine virtuelle Java adaptable appelée la JnJVM. Pour valider notre approche, trois spécialisations de la JnJVM ont été implantées. Elles construisent dynamiquement des JVM dédiées au tissage d'aspects, à la migration d'un fil d'exécution et à de l'analyse d'échappement.

Six past PhD students (2009 - 2018) at Sorbonne University

2001-2019 Publications

• 2019
  • M. Mosli Bouksiaa, F. TRAHAY, A. Lescouet, G. Voron, R. Dulong, A. Guermouche, E. Brunet, G. Thomas : “Using differential execution analysis to identify thread interference”, IEEE Transactions on Parallel and Distributed Systems, vol. 30 (12), pp. 2866-2878, (Institute of Electrical and Electronics Engineers) (2019)
  • V. Bui, D. Mvondo, B. Teabe, K. Jiokeng, L. Wapet, A. Tchana, G. Thomas, D. Hagimont, G. Muller, N. Depalma : “When eXtended Para-Virtualization (XPV) meets NUMA”, EuroSys '19 Proceedings of the Fourteenth EuroSys Conference 2019, Dresde, Germany, pp. 7, (ACM Press) (2019)
• 2017
  • A. Singh, M. Shapiro, G. Thomas : “Persistent Memory Programming Abstractions in Context of Concurrent Applications”, (2017)
  • M. Mosli Bouksiaa, F. TRAHAY, A. Lescouet, G. Voron, A. Guermouche, E. Brunet, G. Thomas : “Identifying thread interference with performance variation”, 14 pages (2017)
  • G. Voron, G. Thomas, V. Quéma, P. Sens : “An interface to implement NUMA policies in the Xen hypervisor”, Twelfth European Conference on Computer Systems, EuroSys 2017, Belgrade, Serbia, pp. 15 (2017)
• 2016
  • J.‑P. Lozi, F. David, G. Thomas, J. Lawall, G. Muller : “Fast and Portable Locking for Multicore Architectures”, ACM Transactions on Computer Systems, (Association for Computing Machinery) (2016)
• 2015
  • K. Attouchi, G. Thomas, G. Muller, Julia L. Lawall, A. Bottaro : “Preventing Memory and Information LeakageIncinerator – Eliminating Stale References in Dynamic OSGi Applications”, 45^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 45^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Rio de Janeiro, Brazil, (IEEE) (2015)
  • L. Gidra, G. Thomas, J. Sopena, M. Shapiro, Nh. Nguyen : “NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines”, Architectural Support for Programming Languages and Operating Systems (ASPLOS), Istanbul, Turkey, pp. 661-673, (ACM) (2015)
  • K. Attouchi, G. Thomas, G. Muller, J. Lawall, A. Bottaro : “Incinerator - Eliminating stale references in dynamic OSGi applications”, Proceedings DSN 2015 : 45^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Rio De Janeiro, Brazil, pp. 545-554, (IEEE) (2015)
  • G. Voron, G. Thomas, P. Sens, V. Quéma : “Optimisation mémoire dans une architecture NUMA : comparaison des gains entre natif et virtualisé”, Conférence en Parallélisme, Architecture et Système, (COMPAS'15), Lille, France (2015)
• 2014
  • F. David, G. Thomas, J. Lawall, G. Muller : “Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler”, OOPSLA '14 - ACM International Conference on Object Oriented Programming Systems Languages & Applications, Portland, Oregon, United States, pp. 291-307, (ACM) (2014)
  • K. Attouchi, G. Thomas, A. Bottaro, G. Muller : “Memory Monitoring in a Multi-tenant OSGi Execution Environment”, CBSE '14 -17^th international ACM Sigsoft symposium on Component-based software engineering, Marcq-en-Baroeul, France, (ACM) (2014)
  • N. Palix, G. Thomas, S. Saha, Ch. Calvès, G. Muller, J. Lawall : “Faults in Linux 2.6”, ACM Transactions on Computer Systems, vol. 32 (2), pp. 1-40, (Association for Computing Machinery) (2014)
  • F. David, G. Thomas, J. Lawall, G. Muller : “Continuously Measuring Critical Section Pressure with the Free Lunch Profiler”, 24 pages (2014)
  • K. Attouchi, G. Thomas, A. Bottaro, Julia L. Lawall, G. Muller : “Incinerator - Eliminating Stale References in Dynamic OSGi Applications”, 22 pages (2014)
  • J.‑P. Lozi, F. David, G. Thomas, J. Lawall, G. Muller : “Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications”, ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Neuchâtel, Switzerland (2014)
• 2013
  • Y.‑D. Bromberg, F. Morandat, L. Réveillère, G. Thomas : “EZ: Towards Efficient Asynchronous Protocol Gateway Construction”, Distributed Applications and Interoperable Systems, vol. 7891, Lecture Notes in Computer Science, Florence, Italy, pp. 169-174, (Springer) (2013)
  • S. Saha, J.‑P. Lozi, G. Thomas, J. Lawall, G. Muller : “Hector: Detecting resource-release omission faults in error-handling code for systems software”, DSN 2013 - 43^rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, pp. 1-12, (IEEE Computer Society) (2013)
  • L. Gidra, G. Thomas, J. Sopena, M. Shapiro : “A study of the scalability of stop-the-world garbage collectors on multicores”, ASPLOS 13 - Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, Houston, United States, pp. 229-240, (ACM) (2013)
• 2012
  • G. Thomas : “Improving the Design and the Performance of Managed Runtime Environments”, habilitation, phd defence 09/28/2012 (2012)
  • Th. Preud'Homme, J. Sopena, G. Thomas, B. Folliot : “An improvement of OpenMP pipeline parallelism with the BatchQueue algorithm”, 18^th IEEE International Conference on Parallel and Distributed Systems (ICPADS'12), Singapore, Singapore, pp. 348-355, (IEEE Computer Society Press) (2012)
  • J.‑P. Lozi, F. David, G. Thomas, Julia L. Lawall, G. Muller : “Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications”, Proceedings of the 2012 USENIX Annual Technical Conference (USENIX ATC '12), Boston, MA, United States, (ACM) (2012)
• 2011
  • L. Gidra, G. Thomas, J. Sopena, M. Shapiro : “Assessing the Scalability of Garbage Collectors on Many Cores”, Operating Systems Review, vol. 45 (3), Best papers from PLOS'11, pp. 15-19, (Association for Computing Machinery) (2011)
  • J.‑P. Lozi, G. Thomas, Julia L. Lawall, G. Muller : “Efficient locking for multicore architectures”, 30 pages (2011)
  • L. Gidra, G. Thomas, J. Sopena, M. Shapiro : “Assessing the Scalability of Garbage Collectors on Many Cores”, PLOS '11 - 6^th Workshop on Programming Languages and Operating Systems, Cascais, Portugal, pp. 7:1-7:5, (ACM) (2011)
  • Th. Preud'Homme, J. Sopena, G. Thomas, B. Folliot : “BatchQueue : file producteur / consommateur optimisée pour les multi-cœurs”, 8^e Conférence Française sur les Systèmes d'Exploitation (CFSE'11), Saint-Malo, France, pp. 1-12 (2011)
  • Th. Preud'Homme, J. Sopena, G. Thomas, B. Folliot : “BatchQueue: Efficient core-to-core communication for pipeline parallelism”, ASPLOS 2011 - Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, California, United States (2011)
  • N. Palix, G. Thomas, S. Saha, Ch. Calvès, Julia L. Lawall, G. Muller : “Faults in Linux: Ten Years Later”, ASPLOS 2011 - 16^th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, California, United States, pp. 305-318, (ACM) (2011)
  • S. Monnet, G. Thomas : “Large-Scale peer-to-peer game applications”, chapter in Distibuted Systems: Design and Algorithms, pp. 81-103, (John Wiley & Sons, Ltd.) (2011)
  • O. Marin, G. Thomas, S. Monnet : “Peer-to-Peer storage”, chapter in Distributed Systems: Design and Algorithms, pp. 59-80, (John Wiley & Sons, Ltd.) (2011)
• 2010
  • Th. Preud'Homme, J. Sopena, G. Thomas, B. Folliot : “BatchQueue: Fast and Memory-thrifty Core to Core Communication”, 22^nd International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2010, Petrópolis, Brazil, pp. 215-222, (The Institute of Electrical and Electronics Engineers, Inc) (2010)
  • N. Palix, S. Saha, G. Thomas, Ch. Calvès, J. Lawall, G. Muller : “Faults in Linux: Ten Years Later”, 21 pages (2010)
  • S. Legtchenko, S. Monnet, G. Thomas : “Blue banana: resilience to avatar mobility in distributed MMOGs”, The 40^th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010), Chicago, United States, pp. 171-180, (IEEE) (2010)
  • N. Palix, Julia L. Lawall, G. Thomas, G. Muller : “{How Often do Experts Make Mistakes?}”, Proceedings of 9^th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Rennes et Saint Malo, France, pp. 9-16 (2010)
  • L. Arantes, P. Sens, G. Thomas, D. Conan, L. Lim : “Partition Participant Detector with Dynamic Paths in Mobile Networks”, IEEE International Symposium on Networking Computing and Applications, NCA, Cambridge, MA, United States, pp. 224-228, (IEEE) (2010)
  • N. Geoffray, G. Thomas, J. Lawall, G. Muller, B. Folliot : “VMKit: a substrate for managed runtime environments”, VEE '10 - 6^th International Conference on Virtual Execution Environments, Pittsburgh, Pennsylvania, United States, pp. 51-62, (ACM) (2010)
• 2009
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: une machine virtuelle Java pour l’isolation de composants dans OSGi”, Actes de la 7éme Conférence Française sur les Systèmes d'Exploitation (CFSE'07), Chapitre français de l'ACM-SIGOPS, GDR ARP, Toulouse, France, pp. 1-12 (2009)
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: a Java Virtual Machine for Component Isolation in OSGi”, 39^th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2009), Estoril, Portugal, pp. 544-553, (IEEE) (2009)
  • Th. Preud'Homme, G. Thomas, B. Folliot : “GCKernel : Composition of garbage collectors”, The EuroSys 2009 Doctoral Workshop, Nuremberg, Germany, pp. 1-2 (2009)
  • S. Legtchenko, S. Monnet, G. Thomas : “Blue Banana: resilience to avatar mobility in distributed MMOGs”, 22 pages (2009)
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: a Java Virtual Machine for Component Isolation in OSGi”, 21 pages (2009)
  • L. Arantes, P. Sens, G. Thomas, D. Conan, L. Lim : “Partition Participant Detector with Dynamic Paths in MANETs”, 18 pages (2009)
  • B. Folliot, G. Thomas : “Virtualisation logicielle : de la machine réelle à la machine virtuelle abstraite”, chapitre de Systèmes d'exploitation - L'indispensable pour comprendre l'évolution des systèmes d'exploitation, pp. 1-15, (Techniques de l'Ingénieur) (2009)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot, G. Muller : “VMKit: a Substrate for Virtual Machines”, 25 pages (2009)
• 2008
  • G. Thomas, N. Geoffray, Ch. Clément, B. Folliot : “Designing Highly Flexible Virtual Machines: The JnJVM Experience”, Software: Practice and Experience, vol. 38 (15), pp. 1643-1675, (Wiley) (2008)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot : “A Lazy Developer Approach: Building a JVM with Third Party Software”, International Conference on Principles and Practice of Programming In Java (PPPJ '08), Modena, Italy, pp. 73-82, (ACM) (2008)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot : “Towards a New Isolation Abstraction for OSGi”, First Workshop on Isolation and Integration in Embedded Systems (IIES 2008), Glasgow, Scotland, United Kingdom, pp. 41-45, (ACM) (2008)
  • E. Saint‑James, G. Thomas : “Applications pair-à-pair de partage de données”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, Traités IC2 - Informatique et systèmes d'information, pp. 223-256, (Hermes), (ISBN: 9782746219434) (2008)
• 2007
  • C. Herault, G. Thomas, Ph. Lalanda : “A Distributed Service-Oriented Mediation Tool”, IEEE International Conference on Services Computing (SCC 2007), Salt Lake City, Utah, United States, pp. 403-409, (IEEE) (2007)
• 2006
  • N. Geoffray, G. Thomas, B. Folliot : “Live and Heterogeneous Migration of Execution Environments”, Pervasive Systems Workshop (PerSys), vol. 4278, Lecture Notes in Computer Science, Montpellier, France, pp. 1254-1263, (Springer-Verlag) (2006)
  • N. Geoffray, G. Thomas, B. Folliot : “Transparent and Dynamic Code Offloading for Java Applications”, Distributed Objects and Applications (DOA), vol. 4276, Lecture Notes in Computer Science, Montpellier, France, pp. 1790-1806, (Springer-Verlag) (2006)
  • N. Geoffray, G. Thomas, B. Folliot : “Distribution transparente et dynamique de code pour applications Java”, Conférence Française sur les Systèmes d'Exploitation (CFSE), Perpignan, France, pp. 85-96 (2006)
• 2005
  • G. Thomas : “Applications actives - Construction dynamique d’environnements d’exécution flexibles homogènes”, thesis, phd defence 05/20/2005, supervision Folliot, Bertil (2005)
  • A. Hachichi, G. Thomas, C. Martin, S. Patarin, B. Folliot : “A Generic Language for Dynamic Adaptation”, ACM/IEEE/IFIP European Conference on Parallel Processing (EuroPar 2005), vol. 3648, Lecture Notes in Computer Science, Lisbonne, Portugal, pp. 40-49, (Springer-Verlag) (2005)
  • F. Ogel, G. Thomas, B. Folliot : “Supporting Efficient Dynamic Aspects through Reflection and Dynamic Compilation”, SAC 2005 - 20^th Annual ACM Symposium on Applied Computing, Santa Fe, New Mexico, United States, pp. 1351-1356, (ACM) (2005)
  • G. Thomas, F. Ogel, A. Galland, B. Folliot, I. Piumarta : “Building a Flexible Java Runtime upon a Flexible Compiler”, International Journal of Computers and Applications, vol. 27 (1), pp. 27-34, (ACTA Press) (2005)
  • F. Ogel, G. Thomas, B. Folliot, I. Piumarta : “Application-Level Concurrency Management”, Concurrent Information Processing and Computing, vol. 195, Nato Science Series III, Sinaia, Romania, pp. 19-30, (IOS Press) (2005)
• 2004
  • F. Ogel, B. Folliot, G. Thomas : “A Step Towards Ubiquitous Computing: an efficient flexible micro-ORB”, 11^th ACM SIGOPS European Workshop, Louvain, Belgium, pp. 173-178, (ACM) (2004)
  • A. Hachichi, C. Martin, G. Thomas, S. Patarin, B. Folliot : “Reconfigurations dynamiques de services dans un intergiciel à composants CORBA CCM”, 1^ère Conférence Francophone sur le Déploiement et la (Re)Configuration de Logiciels (DECOR '04), Grenoble, France, pp. 159-170 (2004)
  • F. Ogel, G. Thomas, A. Galland, B. Folliot : “MVV : une Plate-forme . Composants Dynamiquement Reconfigurables”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 23 (10), pp. 1269-1299, (Lavoisier) (2004)
• 2003
  • G. Thomas, F. Ogel, B. Folliot : “Jnjvm : Une Plateforme Java Adaptable pour Application Active”, 3éme Conférence Française sur les Systèmes d'Exploitation, CFSE'3, Chapitre français de l'ACM-SIGOPS, La Colle sur Loup, France (2003)
  • G. Thomas, I. Piumarta, A. Galland, B. Folliot, C. Baillarguet : “Towards Active Applications: the Virtual Virtual Machine Approach”, chapter in New Trends in Computer Science and Engineering, pp. 28-47, (A92 Publishing House, POLIROM Press), (ISBN: 973-9476-40-6) (2003)
• 2002
  • G. Thomas, B. Folliot, I. Piumarta : “Les Documents actifs base’s sur une Machine Virtuelle Virtuelle”, Journées des Jeunes Chercheurs en Systèmes, Hammamet, Tunisia, pp. 441-447 (2002)
• 2001
  • B. Folliot, G. Thomas : “Protocole de membership hautement extensible:conception et expérimentation”, 2^e Conférence Française sur les Systèmes d'Exploitation, Paris, France (2001)