Ce blog post donne des exemples de race conditions en Go.
Oui, mais ça n'invalide en rien ce que j'ai dit. Je remets ici le morceau important : «Si tu ne fais qu'utiliser ce modèle (avec les channel et les goroutines)». Or, dans le premier cas de bug, ils n'ont pas utilisé les channels et paf le chien. Et la solution utilise un channel. Dans le deuxième cas, ils font des trucs sales (variable globale) et ils s'étonnent que ça ne marche pas en concurrence.
De manière globale, je préfère utiliser et même forcer l'utilisation d'un modèle de programmation sûr plutôt que de demander à un compilateur de garantir quoi que ce soit. Surtout que les garanties qu'offre Rust s'arrêtent aux frontière du unsafe.
[^] # Re: Go ou Rust côté backend, système ou embarqué
Posté par rewind (Mastodon) . En réponse au journal La ronde (boucle?) des langages. Évalué à 1.
Oui, mais ça n'invalide en rien ce que j'ai dit. Je remets ici le morceau important : «Si tu ne fais qu'utiliser ce modèle (avec les channel et les goroutines)». Or, dans le premier cas de bug, ils n'ont pas utilisé les channels et paf le chien. Et la solution utilise un channel. Dans le deuxième cas, ils font des trucs sales (variable globale) et ils s'étonnent que ça ne marche pas en concurrence.
De manière globale, je préfère utiliser et même forcer l'utilisation d'un modèle de programmation sûr plutôt que de demander à un compilateur de garantir quoi que ce soit. Surtout que les garanties qu'offre Rust s'arrêtent aux frontière du unsafe.