Bonjour,
Peut-on dire les choses suivantes dans le cadre de la programmation par contrat :
-> Une fonction ré entrante : les invariants sont préservés pendant toute la durée de la fonction.
-> Une fonction Thread-safety : les invariants peuvent être rompus au sein d'une section protégée (mutex/section critique, etc.).
On sent un certain flottement dans la définition de réentrance vis à vis de thread-safety. Aussi, je me demandais si cette approche ne permet pas de bien comprendre la différence.
Ai-je tout faux ?
Partager