Les canaux Go préservent-ils l'ordre lorsqu'ils sont bloqués ?

Dans Go, les goroutines exécutent simultanément des tâches, communiquant souvent via des canaux. Lorsque plusieurs goroutines tentent d'écrire simultanément sur un canal non bloquant, l'ordre dans lequel leurs valeurs sont envoyées est crucial. Cette question explore si les chaînes Go maintiennent l'ordre dans de tels scénarios.

Ordre imprévisible avec écritures bloquées

L'extrait de code fourni illustre une fonction, de diffusion, qui envoie des messages à un tranche de chaînes :

func broadcast(c 
Dans cette implémentation, les goroutines sont utilisées pour envoyer des messages de manière asynchrone aux canaux afin d'éviter de bloquer l'appelant. Cependant, la question soulève des inquiétudes quant à l'ordre des messages reçus par chaque canal, en particulier lorsque plusieurs rédacteurs sont impliqués.
La spécification du canal Go indique que lorsque le canal a une capacité supérieure à zéro, il se comporte de manière asynchrone. Dans de tels cas, les écritures réussissent sans blocage, sauf si le canal est plein. Les messages sont également reçus dans l'ordre dans lequel ils sont envoyés.
Néanmoins, la spécification reste silencieuse sur l'ordre des écritures lorsque plusieurs goroutines sont bloquées. Ce silence amène à la question : existe-t-il des garanties concernant l'ordre des envois après le déblocage d'un canal ?
Manque de garanties
La réponse à cette question est frustrante : non, il n'y a aucune garantie. Même lorsque le canal dispose d'une capacité disponible, l'ordre dans lequel plusieurs goroutines y écrivent ne peut pas être assuré.
Imaginez un scénario dans lequel deux goroutines sont programmées pour envoyer des messages au canal presque simultanément. La goroutine qui a été lancée en premier peut ne pas nécessairement s'exécuter en premier, ce qui entraîne un ordre des messages imprévisible.
Par conséquent, il est crucial de comprendre que les canaux Go ne préservent pas l'ordre lorsque les goroutines sont bloquées en écriture. Si l'ordre des messages est critique, des mécanismes alternatifs, tels que des files d'attente ou des courtiers de messages, doivent être envisagés.