• Notions de base
• Mises en œuvre des concepts
• Exceptions non catchées & groupes de threads
• Futur complétable

Travaux pratiques

Programmation d’une application combinant les différents modèles

• Tour d’horizon des méthodes formelles de spécifications
• Méthode semi-formelle de spécification
• Mise en place des spécifications

Travaux pratiques

Utilisation de méthodes formelles de spécifications

• Présentation des status « synchronized », « wait », « notify » & la programmation de moniteurs
• Interfaces & classes de synchronisation
• Queue

Travaux pratiques

Mise en oeuvre des interfaces et classes de synchronisation

• ExecutorService
• Modèle fork/join

Travaux pratiques

Mise en oeuvre des services d’exécution et du modèle fork/join

• Collections spécialisées
• Stockage local des données de thread
• Classes Atomic

Travaux pratiques

Mise en oeuvre des structures de données

• Modification de la performance suite à la création de threads
• Modification de la performance suite à la synchronisation
• Modification de la performance dûe à la caches mémoire
• Threads et les IO, les BD et le graphique
• Threads & ordonnancement

Travaux pratiques

Optimisation des programmes

• Modèles asynchrones
• Modèles d’acteurs
• Modèles réactifs synchrones

• JConsole & jstack
• Librairie JArmus
• Logique temporelle de Lamport
• Tour d’horizon des erreurs courantes