Aller au contenu
uencoder

Atomic Operation

Une opération atomique s'exécute de façon indivisible, visible pour les observateurs concurrents et non interruptible, réalisant une sécurité de concurrence simple sans verrous.

Objectif

Un primitif de concurrence sans verrou, plus léger que les verrous, utilisé pour implémenter des compteurs et des drapeaux.

Mécanisme

Le matériel fournit la primitive CAS (comparer-et-échanger) : une comparaison et un échange atomiques. Suivent les opérations atomiques d'incrémentation, de décrémentation et de drapeau. L'ordre mémoire contrôle la visibilité (acquire/release/seq_cst). Moins coûteux que les verrous, mais seulement adapté aux opérations simples.

Cas d’usage

  • Concurrence sans verrou
  • Compteurs
  • CAS

References