Вопрос по каналам и блокировке?

Question

[idin]

Пытаюсь понять как работает гоу . и чего то не доходит
Почему в данном случае программа блокируется.

func main() {
    intCh := make(chan int) 
    intCh <- 10      // функция main блокируется
    fmt.Println(<-intCh)
}

А если канал имеет буфер то все работает до конца

func main() {
    intCh := make(chan int,100) 
    intCh <- 10      // функция main неблокируется
    fmt.Println(<-intCh)
}

Но я чего то логику не уловил. Ведь канал должен блокироваться ибо кто то должен получить данные из гроутин (в данном случае основная main). Так как мы все запускаем в main то канал блокируется . Но почему он не блокируется во втором случае. То есть код доходит гроутины с буфером ложит туда данные и все, так как он с буфером он некогда не блокируется. Типо такая логика и все ?

Answer 1

[uvelichitel]

Канал в Go это очередь декларированной емкости(реализованная кольцевым буфером). Если из очереди не забирать она забивается и блокирует.

Answer 2

[montray]

Изучите как работают каналы в go.

В первом случае горутина заблокируется, т.к. никто не читает из небуферизированного канала.
Во втором случае используется буферизированный канал, следовательно горутина заблокируется только тогда, когда (в вашем случае) вы попробуете записать в него 101-й элемент(читай: канал заполнится).

Comments

[idin]

тоесть горутина блокируется если канал заполнен до конца. Я нашел какоето обьяснение на хабре но оно ужасное https://habr.com/ru/post/308070/. А если я на русском то не не доконца понимаю то и английскую версию темболее не вкурю . )) В любом случае спасибо))

[montray]

Пройдите go tour. Честно говоря, не помню, но там это должно быть.

[idin]

Везде читал но именно этот момент объяснен типа:
вот блокировка у каналов без буфера так как канал заполнен и никто не читает
А вот есть буферные каналы у них значит нечего не блокируется. но если до конца завполнить то блокируется но как то мысль про механику маленько упущенна была. Ну или я ее не уловил.

[Евгений Самсонов]

idin, небуферизированный канал блокируется и ожидает, пока из него прочитают. Канал с буфером заблокируется только тогда, когда будет полностью заполнен. Вроде все просто)