une classe de problèmes dont la résolution est sous-optimale (ou impossible ?) en l'état actuel
Je pencherais pour sous-optimal, sachant qu'on peut prouver qu'avec le hard actuel (compare&swap atomique) on peut implémenter correctement n'importe quel algo en wait-free (ie sans verrou, en garantissant l'absence de livelock si mes souvenirs sont bons).
[^] # Re: Mémoire transactionnelle et verrous
Posté par Shuba . En réponse à la dépêche Sortie de la version 4.7 du compilateur GCC. Évalué à 1.
Je pencherais pour sous-optimal, sachant qu'on peut prouver qu'avec le hard actuel (compare&swap atomique) on peut implémenter correctement n'importe quel algo en wait-free (ie sans verrou, en garantissant l'absence de livelock si mes souvenirs sont bons).