Go에서 버퍼링되지 않은 채널을 사용하면 교착 상태가 발생하는 이유는 무엇입니까?

Go 동시성 모델의 교착 상태: 버퍼링되지 않은 채널 사용

Go 동시성 모델에서 채널은 고루틴 간의 통신을 위한 기본 메커니즘입니다. . 그러나 채널의 동작은 버퍼 크기에 따라 달라질 수 있습니다. 여기서는 버퍼링되지 않은 채널을 사용할 때 발생하는 교착 상태 시나리오를 살펴보겠습니다.

문제

다음 Go 코드 조각을 고려하세요.

package main

import "fmt"

func main() {
    c := make(chan int)    
    c <- 1   
    fmt.Println(<-c)
}

이 코드를 실행하면 다음과 같은 결과가 발생합니다. 교착 상태:

fatal error: all goroutines are asleep - deadlock!

goroutine 1 [chan send]:
main.main()
    /path/to/file:8 +0x52
exit status 2

설명

버퍼링되지 않은 채널 사용으로 인해 교착 상태가 발생합니다. 문서에 명시된 대로 버퍼링되지 않은 채널에서는 값을 전송하기 전에 수신자가 있어야 합니다. 이 경우 채널은 기본적으로 버퍼링되지 않은 상태로 초기화됩니다(버퍼 크기 0).

c

동시에 fmt.Println(<-c) 문은 채널에서 값 수신을 시도합니다. 그러나 아직 값이 전송되지 않았기 때문에(고루틴이 수신자를 기다리고 있기 때문에) 수신 작업이 차단됩니다.

이로 인해 두 고루틴 모두 다른 고루틴이 작업을 완료하기를 기다리고 있기 때문에 교착 상태가 발생합니다. 다른 것 없이 수행할 수 있습니다.

솔루션

교착 상태를 해결하려면 다음을 도입해야 합니다. 채널의 수신기입니다. 전송된 값의 수신을 처리하기 위해 별도의 고루틴을 생성함으로써 교착 상태를 제거할 수 있습니다. 아래 수정된 코드는 이 솔루션을 보여줍니다.

package main

import "fmt"

func main() {
    c := make(chan int)    
    go func() {
        fmt.Println("received:", <-c)
    }()
    c <- 1   
}

위 내용은 Go에서 버퍼링되지 않은 채널을 사용하면 교착 상태가 발생하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!