Après, il y a une différence entre "possible en théorie" et "possible en pratique"; on peut théoriquement recoder quake 3 en lambda-calcul, ça ne veut pas dire que c'est faisable (ni souhaitable). De même, certains programmes concurrents sont théoriquement implémentables avec des verrous (ou des instructions atomiques, ça revient au même), mais éviter les deadlocks peut être trop difficile en pratique.
C'est pour les mêmes raisons qu'on a inventé des solutions plus haut niveau que l'assembleur ou la gestion manuelle de la mémoire et qu'une bonne partie des programmeurs tiennent aujourd'hui pour acquis…
[^] # Re: Mémoire transactionnelle et verrous
Posté par c^3 . En réponse à la dépêche Sortie de la version 4.7 du compilateur GCC. Évalué à 1.
Après, il y a une différence entre "possible en théorie" et "possible en pratique"; on peut théoriquement recoder quake 3 en lambda-calcul, ça ne veut pas dire que c'est faisable (ni souhaitable). De même, certains programmes concurrents sont théoriquement implémentables avec des verrous (ou des instructions atomiques, ça revient au même), mais éviter les deadlocks peut être trop difficile en pratique.
C'est pour les mêmes raisons qu'on a inventé des solutions plus haut niveau que l'assembleur ou la gestion manuelle de la mémoire et qu'une bonne partie des programmeurs tiennent aujourd'hui pour acquis…
The cake is a lie.