Mémoire transactionnelle

Une structure de données partagée est sans verrou si ses opérations ne nécessitent pas d'exclusion mutuelle. Si un processus est interrompu en plein milieu d'une opération, d'autres processus ne seront pas empêchés d'opérer sur cet objet. Dans des systèmes hautement concurrents, les structures de données sans verrou évitent les problèmes courants associés aux techniques de verrouillage conventionnelles, y compris l'inversion de priorité, le convoi, et la difficulté d'éviter le blocage. Cet article introduit la mémoire transactionnelle, une nouvelle architecture multiprocesseur destinée à rendre la synchronisation sans verrou aussi efficace (et facile à utiliser) que les techniques conventionnelles basées sur l'exclusion mutuelle. La mémoire transactionnelle permet aux programmeurs de définir des opérations de lecture-modification-écriture personnalisées qui s'appliquent à plusieurs mots de mémoire choisis indépendamment. Elle est mise en œuvre par des extensions simples à tout protocole de cohérence de cache multiprocesseur. Les résultats de simulation montrent que la mémoire transactionnelle égalise ou dépasse les meilleures techniques de verrouillage connues pour des benchmarks simples, même en l'absence d'inversion de priorité, de convoi, et de blocage.