Difference between revisions of "Seminar/2013-11-13"
From LRDE
(Created page with "{{SeminarHeader
| id = 2013-11-13
| date = Mercredi 13 novembre 2013
| schedule = 11h-12h30
| location = Salle Lα du LRDE
}}
{{Talk
| id = 2013-11-13
| abstract = Add...") |
|||
| Line 3: | Line 3: | ||
| date = Mercredi 13 novembre 2013 |
| date = Mercredi 13 novembre 2013 |
||
| schedule = 11h-12h30 |
| schedule = 11h-12h30 |
||
| − | | location = Salle |
+ | | location = Salle Lα du LRDE |
}} |
}} |
||
{{Talk |
{{Talk |
||
| id = 2013-11-13 |
| id = 2013-11-13 |
||
| − | | abstract = Address & Thread sanitizer sont des outils |
+ | | abstract = Address & Thread sanitizer sont des outils destinés à détecter les |
| − | erreurs d' |
+ | 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 |
+ | Ces outils sont constitués de deux parties logiques distinctes: une |
| − | partie instrumentant le code |
+ | partie instrumentant le code généré de manière statique, et un |
| − | environnement d' |
+ | environnement d'exécution. |
| − | Cet |
+ | Cet exposé présente l'implémentation de Address & Thread Sanitizer dans |
| − | GCC, les principes de fonctionnement de l'environnement d' |
+ | 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 |
+ | | 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 |
+ | 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' |
+ | 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: |
+ | | 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 |
||
Revision as of 18:49, 21 January 2014
Mercredi 13 novembre 2013, 11h-12h30, Salle Lα du LRDE
Address & Thread Sanitizer dans GCC: Ãtat Actuel et Orientation Future
- Documents
- seketeli.pdf
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/