Сохраняют ли каналы Go порядок при блокировке?

В Go горутины одновременно выполняют задачи, часто взаимодействуя через каналы. Когда несколько горутин пытаются одновременно выполнить запись в неблокирующий канал, порядок отправки их значений имеет решающее значение. В этом вопросе выясняется, поддерживают ли каналы Go порядок в таких сценариях.

Непредсказуемый порядок с заблокированной записью

Приведенный фрагмент кода демонстрирует широковещательную функцию, которая отправляет сообщения на фрагмент каналов:

func broadcast(c 
В этой реализации горутины используются для асинхронной отправки сообщений в каналы, чтобы избежать блокировки вызывающего абонента. Однако этот вопрос вызывает обеспокоенность по поводу порядка сообщений, получаемых каждым каналом, особенно когда задействовано несколько авторов.
Спецификация канала Go гласит, что когда канал имеет пропускную способность больше нуля, он ведет себя асинхронно. В таких случаях запись выполняется без блокировки, если канал не заполнен. Сообщения также принимаются в том порядке, в котором они были отправлены.
Тем не менее, спецификация ничего не говорит о порядке записи, когда несколько горутин блокируются. Это молчание приводит к вопросу: существуют ли какие-либо гарантии относительно порядка отправки после разблокировки канала?
Отсутствие гарантий
Ответ на этот вопрос разочаровывает : нет, никаких гарантий. Даже если канал имеет доступную емкость, порядок, в котором несколько горутин пишут в него, не может быть гарантирован.
Представьте себе сценарий, в котором две горутины запланированы для отправки сообщений в канал почти одновременно. Горутина, которая инициировала первой, не обязательно может выполняться первой, что приводит к непредсказуемому порядку сообщений.
Поэтому крайне важно понимать, что каналы Go не сохраняют порядок, когда горутины блокируются при записи. Если порядок сообщений имеет решающее значение, следует рассмотреть альтернативные механизмы, такие как очереди или брокеры сообщений.