Quelle propriété caractérise un algorithme sans verrou (lock-free) ?

Réponse : A. Même si un thread s’arrête en cours de route, au moins un des autres threads peut progresser

Avec un verrou, si le thread détenteur est arrêté par une interruption ou une faible priorité, tous les autres attendent. Un algorithme sans verrou met à jour directement les données partagées, par exemple par CAS, de sorte qu’un thread n’échoue et ne recommence que lorsqu’un autre a réussi. Globalement, un thread progresse donc toujours. Cependant, ces algorithmes sont difficiles à écrire correctement et exigent de prendre garde notamment au problème ABA.