Séance de cours
Verrouillage du lecteur
Séances de cours associées (45)
Bases de la devises: Fil et synchronisation
Couvre les bases de la concurrence, se concentrant sur les threads et la synchronisation, y compris l'assemblage des threads et les défis de l'exécution non déterministe.
Programmation parallèle I
Couvre les bases de la programmation parallèle, y compris la concurrence, les formes de parallélisme, la synchronisation et les modèles de programmation tels que PThreads et OpenMP.
Systèmes de travail partagés: Optimisation
Couvre les moteurs de requête, les systèmes de travail partagés et les stratégies d'optimisation du traitement des données.
Introduction à la contractualité
Couvre les bases de la concurrence, de son importance et de la façon d'écrire des programmes concomitants.
Vérification formelle et synthèse des programmes
Par l’instructeur Viktor Kuncak explore les activités de vérification formelle, de synthèse de programme et d’enseignement à l’EPFL.
Concurrence: Deadlock
Couvre le concept d'impasse dans la programmation simultanée et fournit des solutions pour les prévenir.
Akka Streams: Systèmes réactifs de programmation
Couvre les bases d'Akka Streams, les étapes du cours d'eau, les valeurs matérialisées, et plus encore.
Une place tampon: file d'attente producteur-consommateur
Introduit le concept d'un tampon unique dans la programmation simultanée.
Calcul parallèle: Tâches
Explore le calcul parallèle en utilisant des tâches pour l'exécution simultanée et démontre leur mise en œuvre dans la pratique.
Cadre du PIF : conception et priorités du système
Explore le cadre BIP, en mettant l'accent sur le flux de conception du système et le rôle des priorités dans la réduction du non-déterminisme et l'expression des politiques de planification.