Как работает передача данных между горутинами через небуферизованный канал на уровне стека?

В Go передача данных между горутинами через небуферизованный канал происходит синхронно и блокирующе на уровне стека.

Когда одна горутина пытается отправить значение в небуферизованный канал, она блокируется до тех пор, пока другая горутина не прочитает это значение из канала. Аналогично, если горутина пытается получить значение из канала, но в канале нет данных, она блокируется до появления отправителя.

На уровне стека это реализуется так:

• Отправляющая горутина помещает значение в структуру канала и блокируется, сохраняя своё состояние в стеке.
• Планировщик Go (scheduler) переключается на другую горутину, которая читает из канала.
• После чтения значения получающая горутина разблокирует отправляющую, и обе продолжают выполнение.

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

Это позволяет избежать гонок данных и гарантирует, что данные передаются только тогда, когда обе стороны готовы.