왜 새 서브 루틴으로 Walk를 실행해야합니까?

Question

기본적으로 순서대로 트리를 가로 지르는 Walk function in the go tutorial을 쓰고 있습니다. 나는이 작품이 무엇 :

package main 

import (
    "fmt" 
    "code.google.com/p/go-tour/tree" 
) 

// Walk walks the tree t sending all values 
// from the tree to the channel ch. 
func Walk__helper(t *tree.Tree, ch chan int) { 
    if (t == nil) { 
     return 
    } 

    Walk__helper(t.Left, ch) 
    ch <- t.Value 
    Walk__helper(t.Right, ch) 
} 

func Walk(t *tree.Tree, ch chan int) { 
    Walk__helper(t, ch) 
    close(ch) 
} 

func main() { 
    ch := make(chan int) 
    go Walk(tree.New(1), ch) 
    for v := range ch { 
     fmt.Println(v) 
    } 
} 

왜 내가 대신 Walk(tree.New(1), ch)의 go Walk(tree.New(1), ch)을 사용해야합니다?

나는 go 키워드가 기본적으로 새 스레드를 생성한다는 인상하에있었습니다. 이 경우 서브 루틴이 완료되기 전에 for 루프가 실행될 수 있으므로 문제가 발생합니다.

이상하게도 go 키워드를 가져 오면 교착 상태가됩니다. 이것은 오히려 나에게 반 직관적이다. go 여기 정확히 키워드는 무엇입니까?

Answer 1

여기서 중요한 점은 채널과 결합 할 때 range입니다.

range 채널 (이 경우 ch)을 통과하면 루프를 반복하기 전에 채널에서 항목이 전송 될 때까지 기다립니다. 이것은 채널이 항목을 수신 할 때까지 대기하는 동안 교착 상태가 발생하지 않는 안전한 "차단"작업입니다.

채널이 버퍼링되지 않아서 goroutine을 사용하지 않을 때 교착 상태가 발생합니다. goroutine을 사용하지 않으면 메서드 호출은 동기식입니다. Walk은 채널에 무언가를 집어 넣습니다. 메서드 호출이 동기식이기 때문에 절대로 튀어 나오지 않습니다. 나는 이동 키워드는 기본적으로

..that가 올바르지 새 스레드를 생성합니다 있다는 인상을

했다. 거기에 무슨 일이 일어나는지 이해하는 데 필요한 더 많은 중요한 구현 세부 사항이 있습니다. goroutine의 생각 프로세스를 스레드와 분리하고 goroutine을 "스레드"없이 동시에 실행되는 코드 조각으로 생각해야합니다.