Atomicité et verrous en Rust

Introduction

Le livre « Rust Atomics and Locks » de Mara Bos n'est pas simplement un énième guide sur le multithreading. C'est une étude approfondie et techniquement dense de la façon dont fonctionnent réellement les opérations atomiques, les verrous et les barrières mémoire au niveau du processeur et du système d'exploitation, et comment ces mécanismes sont représentés dans le langage Rust. Publié en 2023, ce livre est rapidement devenu un incontournable pour tous ceux qui écrivent des programmes concurrents en Rust, à la fois performants, sécurisés et efficaces.

De quoi parle ce livre

Le livre est construit comme une progression du simple au complexe. Il commence par les bases : qu'est-ce que l'atomicité, quels types d'opérations atomiques existent (load, store, CAS, fetch_add, etc.) et comment elles se traduisent en instructions processeur. Ensuite, l'auteur aborde le modèle mémoire de Rust, expliquant comment le compilateur et le processeur peuvent réordonner les instructions et comment cela affecte la correction du code multithread. Une attention particulière est portée aux barrières mémoire (memory ordering) — Acquire, Release, AcqRel, SeqCst — et à leur application pratique. Ensuite, les primitives de synchronisation classiques sont examinées : mutex, variables conditionnelles, sémaphores, barrières. Chaque primitive n'est pas simplement décrite, mais implémentée à partir de zéro en utilisant des opérations atomiques. Cela permet au lecteur de comprendre le fonctionnement interne des verrous et d'évaluer leur coût. Le livre se termine par une discussion sur les structures de données lock-free (pile, file d'attente, table de hachage) et les modèles de programmation concurrente, tels que read-copy-update (RCU) et les hazard pointers.

Pour qui est ce livre

Ce livre s'adresse aux développeurs expérimentés, déjà familiers avec la syntaxe de Rust et ayant une connaissance de base du multithreading. Les débutants qui commencent tout juste à apprendre Rust auront du mal : l'auteur n'explique pas les bases du langage, mais passe directement à des concepts complexes. Cependant, si vous avez déjà écrit des programmes multithread en C++, Java ou Go et que vous voulez comprendre comment Rust rend la concurrence sûre et efficace, ce livre est pour vous.

Ce que le lecteur apprendra

• Comment fonctionnent les opérations atomiques au niveau du CPU (x86, ARM, RISC-V).
• Ce qu'est un modèle mémoire et comment il affecte les optimisations du compilateur.
• Comment choisir correctement l'ordre mémoire (memory ordering) pour différents scénarios.
• Comment implémenter un mutex, un sémaphore, une variable conditionnelle à partir de zéro.
• Comment écrire des structures de données lock-free sans courses de données ni UB.
• Comment utiliser std::sync::atomic et std::sync::Mutex en pratique.
• Comment déboguer et tester du code multithread.
• Comment fonctionnent RCU et les hazard pointers en Rust.

Points forts

Le premier et principal atout de ce livre est sa profondeur. Mara Bos ne se contente pas de répéter la documentation, elle explique la physique des processus : pourquoi une opération atomique coûte cher, comment les lignes de cache affectent les performances, ce qui se passe lors d'un changement de contexte (context switch). Le deuxième est son orientation pratique. Chaque chapitre contient des exemples de code complets et fonctionnels que l'on peut exécuter et avec lesquels on peut expérimenter. Le troisième est son actualité. Le livre est écrit pour l'édition Rust 2021 et couvre toutes les fonctionnalités modernes du langage, y compris std::sync::LazyLock et std::sync::OnceLock. Le quatrième est la clarté de l'exposition. Malgré la complexité du sujet, l'auteur écrit de manière très structurée, avec des définitions et des explications claires. Le chapitre sur le modèle mémoire mérite une mention spéciale : c'est le meilleur que j'aie jamais rencontré dans la littérature sur Rust.

À qui est-il recommandé

Ce livre sera utile aux développeurs de logiciels système, aux créateurs de bases de données, de moteurs de jeux, de serveurs web à forte charge, ainsi qu'à tous ceux qui souhaitent écrire du code concurrent performant et sûr en Rust. Si vous travaillez avec des systèmes embarqués ou écrivez des pilotes, ce livre vous donnera une compréhension de la façon dont les opérations atomiques interagissent avec le matériel.