Difference between revisions of "Seminar/2013-11-13"

From LRDE

 
Line 1: Line 1:
Connection closed
 
 
{{SeminarHeader
 
{{SeminarHeader
 
| id = 2013-11-13
 
| id = 2013-11-13
 
| date = Mercredi 13 novembre 2013
 
| date = Mercredi 13 novembre 2013
 
| schedule = 11h-12h30
 
| schedule = 11h-12h30
| location = Salle Lα du LRDE
+
| location = Salle du LRDE
 
}}
 
}}
 
{{Talk
 
{{Talk
 
| id = 2013-11-13
 
| id = 2013-11-13
| abstract = Address & Thread sanitizer sont des outils destinés à détecter les
+
| abstract = Address & Thread sanitizer sont des outils destinés à détecter les
erreurs d'accès à la mémoire ainsi que les erreurs d'accès concurrents
+
erreurs d'accès à la mémoire ainsi que les erreurs d'accès concurrents
 
en environnement multi-threads.
 
en environnement multi-threads.
   
Ces outils sont constitués de deux parties logiques distinctes: une
+
Ces outils sont constitués de deux parties logiques distinctes: une
partie instrumentant le code généré de manière statique, et un
+
partie instrumentant le code généré de manière statique, et un
environnement d'exécution.
+
environnement d'exécution.
   
Cet exposé présente l'implémentation de Address & Thread Sanitizer dans
+
Cet exposé présente l'implémentation de Address & Thread Sanitizer dans
GCC, les principes de fonctionnement de l'environnement d'exécution de
+
GCC, les principes de fonctionnement de l'environnement d'exécution de
 
ces deux outils ainsi que les futures directions du projet.
 
ces deux outils ainsi que les futures directions du projet.
 
| duration = 90 Minutes
 
| duration = 90 Minutes
 
| orator = Dodji Seketeli, Red Hat
 
| orator = Dodji Seketeli, Red Hat
| resume = Dodji Seketeli est ingénieur dans l'équipe Tools de Red Hat. Il
+
| resume = Dodji Seketeli est ingénieur dans l'équipe Tools de Red Hat. Il
 
travaille sur la suite des compilateurs GNU, principalement sur les
 
travaille sur la suite des compilateurs GNU, principalement sur les
 
compilateurs C et C++. Pendant son temps libre, lorsqu'il ne joue pas
 
compilateurs C et C++. Pendant son temps libre, lorsqu'il ne joue pas
avec son épouse et ses enfants, il maintient Nemiver, le débuggeur
+
avec son épouse et ses enfants, il maintient Nemiver, le débuggeur
 
graphique du projet d'environnement de bureau libre GNOME. En dehors
 
graphique du projet d'environnement de bureau libre GNOME. En dehors
des logiciels libres, il s'intéresse aux arts martiaux et à l'histoire.
+
des logiciels libres, il s'intéresse aux arts martiaux et à l'histoire.
 
| schedule = 11h-12h30
 
| schedule = 11h-12h30
 
| slides = seketeli.pdf
 
| slides = seketeli.pdf
| title = Address & Thread Sanitizer dans GCC: État Actuel et Orientation Future
+
| title = Address & Thread Sanitizer dans GCC: État Actuel et Orientation Future
 
| urls = http://gcc.gnu.org,http://code.google.com/p/address-sanitizer/wiki/AddressSanitizer,http://code.google.com/p/thread-sanitizer/
 
| urls = http://gcc.gnu.org,http://code.google.com/p/address-sanitizer/wiki/AddressSanitizer,http://code.google.com/p/thread-sanitizer/
 
| videos = http://www.dailymotion.com/video/k245SpRauYYali50Ajf
 
| videos = http://www.dailymotion.com/video/k245SpRauYYali50Ajf

Latest revision as of 18:04, 26 March 2014

Mercredi 13 novembre 2013, 11h-12h30, Salle Lα du LRDE


Address & Thread Sanitizer dans GCC: État Actuel et Orientation Future

Dodji Seketeli, Red Hat

Address & Thread sanitizer sont des outils destinés à détecter les erreurs d'accès à la mémoire ainsi que les erreurs d'accès concurrents en environnement multi-threads.

Ces outils sont constitués de deux parties logiques distinctes: une partie instrumentant le code généré de manière statique, et un environnement d'exécution.

Cet exposé présente l'implémentation de Address & Thread Sanitizer dans GCC, les principes de fonctionnement de l'environnement d'exécution de ces deux outils ainsi que les futures directions du projet.

Dodji Seketeli est ingénieur dans l'équipe Tools de Red Hat. Il travaille sur la suite des compilateurs GNU, principalement sur les compilateurs C et C++. Pendant son temps libre, lorsqu'il ne joue pas avec son épouse et ses enfants, il maintient Nemiver, le débuggeur graphique du projet d'environnement de bureau libre GNOME. En dehors des logiciels libres, il s'intéresse aux arts martiaux et à l'histoire.

http://www.dailymotion.com/video/k245SpRauYYali50Ajfhttp://gcc.gnu.org, http://code.google.com/p/address-sanitizer/wiki/AddressSanitizer, http://code.google.com/p/thread-sanitizer/