Lock
Un verrou est une primitive de synchronisation garantissant un accès mutuellement exclusif aux ressources partagées ; ses types incluent les mutex, les verrous lecture-écriture et les spinlocks.
Objectif
Protéger les sections critiques contre les courses de données — le cœur de la concurrence en mémoire partagée.
Mécanisme
Mutex : accès exclusif, un seul thread le détient à la fois. Verrou lecture-écriture : nombreux lecteurs, un seul écrivain. Spinlock : attente active sans sommeil. Verrou réentrant : le même thread peut l'acquérir plusieurs fois. Veiller à l'ordre d'acquisition pour éviter le deadlock.
Cas d’usage
- Synchronisation concurrente
- Protection des sections critiques
- Sûreté des threads