Pourquoi le destructeur « std :: future » bloque-t-il dans « std :: async » ?

Bloquer les destructeurs dans std::async Futures : une explication technique

Lors de l'utilisation de std::async pour exécuter des tâches de manière asynchrone en C 11, on peut rencontrer un comportement de blocage inattendu lors de la destruction de l'objet std::future renvoyé. Cet article approfondit les raisons de ce comportement, ses implications et les discussions en cours au sein du comité de normalisation C.

Le destructeur d'un std::future renvoyé par std::async bloque intentionnellement pour éviter des incohérences potentielles et problèmes de sécurité. Selon les articles publiés par les membres du comité des standards C, ce comportement de blocage est essentiel pour garantir que le thread associé ne survive pas au référencement std::future.

Sans ce comportement de blocage, il existe un risque de créer des threads « fugitifs » qui continuent de s'exécuter après la destruction de std::future, entraînant une corruption potentielle de la mémoire ou une perte de données. Cela peut se produire lorsqu'une exception inattendue est levée lors de l'exécution de la tâche asynchrone, provoquant le contournement de toute opération get() ou wait() ultérieure sur std::future.

Pour atténuer ce risque, le Le destructeur bloquant de std::future fournit un filet de sécurité en garantissant que le thread associé se termine avant que l'objet std::future ne soit détruit. Ce comportement nécessite une gestion explicite de la part du programmeur qui doit s'assurer que toutes les opérations get() ou wait() nécessaires sont effectuées avant que std::future ne sorte de la portée.

Malgré les arguments en faveur d'un non- destructeur de blocage, le comité des normes C a décidé de conserver le comportement de blocage dans C 14. Cependant, des modifications proposées pourraient être introduites dans les futures révisions de la norme C sur la base des discussions en cours au sein de la communauté.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!