golang:带select的goroute不会停止，除非我添加了一个fmt.Print()

Question

我试过Go Tour exercise #71

如果它像go run 71_hang.go ok一样运行，它工作得很好。

但是，如果您使用go run 71_hang.go nogood，它将永远运行。

唯一的区别是select语句中default中的额外fmt.Print("")。

我不确定，但我怀疑是某种无限循环和竞争条件？这是我的解决方案。

注意:这不是死锁，因为Go没有throw: all goroutines are asleep - deadlock!

package main

import (
    "fmt"
    "os"
)

type Fetcher interface {
    // Fetch returns the body of URL and
    // a slice of URLs found on that page.
    Fetch(url string) (body string, urls []string, err error)
}

func crawl(todo Todo, fetcher Fetcher,
    todoList chan Todo, done chan bool) {
    body, urls, err := fetcher.Fetch(todo.url)
    if err != nil {
        fmt.Println(err)
    } else {
        fmt.Printf("found: %s %q\n", todo.url, body)
        for _, u := range urls {
            todoList <- Todo{u, todo.depth - 1}
        }
    }
    done <- true
    return
}

type Todo struct {
    url   string
    depth int
}

// Crawl uses fetcher to recursively crawl
// pages starting with url, to a maximum of depth.
func Crawl(url string, depth int, fetcher Fetcher) {
    visited := make(map[string]bool)
    doneCrawling := make(chan bool, 100)
    toDoList := make(chan Todo, 100)
    toDoList <- Todo{url, depth}

    crawling := 0
    for {
        select {
        case todo := <-toDoList:
            if todo.depth > 0 && !visited[todo.url] {
                crawling++
                visited[todo.url] = true
                go crawl(todo, fetcher, toDoList, doneCrawling)
            }
        case <-doneCrawling:
            crawling--
        default:
            if os.Args[1]=="ok" {   // *
                fmt.Print("")
            }
            if crawling == 0 {
                goto END
            }
        }
    }
END:
    return
}

func main() {
    Crawl("http://golang.org/", 4, fetcher)
}

// fakeFetcher is Fetcher that returns canned results.
type fakeFetcher map[string]*fakeResult

type fakeResult struct {
    body string
    urls []string
}

func (f *fakeFetcher) Fetch(url string) (string, []string, error) {
    if res, ok := (*f)[url]; ok {
        return res.body, res.urls, nil
    }
    return "", nil, fmt.Errorf("not found: %s", url)
}

// fetcher is a populated fakeFetcher.
var fetcher = &fakeFetcher{
    "http://golang.org/": &fakeResult{
        "The Go Programming Language",
        []string{
            "http://golang.org/pkg/",
            "http://golang.org/cmd/",
        },
    },
    "http://golang.org/pkg/": &fakeResult{
        "Packages",
        []string{
            "http://golang.org/",
            "http://golang.org/cmd/",
            "http://golang.org/pkg/fmt/",
            "http://golang.org/pkg/os/",
        },
    },
    "http://golang.org/pkg/fmt/": &fakeResult{
        "Package fmt",
        []string{
            "http://golang.org/",
            "http://golang.org/pkg/",
        },
    },
    "http://golang.org/pkg/os/": &fakeResult{
        "Package os",
        []string{
            "http://golang.org/",
            "http://golang.org/pkg/",
        },
    },
}

Answer 1

在select中放入一条default语句会改变select的工作方式。如果没有默认语句，select将阻止等待通道上的任何消息。使用default语句，select将在每次从通道读取任何内容时运行default语句。在你的代码中，我认为这会产生一个无限循环。将fmt.Print语句放入允许调度器调度其他goroutines。

如果你像这样修改你的代码，那么它就能正常工作，以一种非阻塞的方式使用select，从而允许其他goroutines正常运行。

    for {
        select {
        case todo := <-toDoList:
            if todo.depth > 0 && !visited[todo.url] {
                crawling++
                visited[todo.url] = true
                go crawl(todo, fetcher, toDoList, doneCrawling)
            }
        case <-doneCrawling:
            crawling--
        }
        if crawling == 0 {
            break
        }
    }

如果使用GOMAXPROCS=2，就可以使原始代码工作，这是调度器在无限循环中忙碌的另一个提示。

请注意，goroutines是协同调度的。关于您的问题，我不完全理解的是，select是goroutine应该让步的一点--我希望其他人能解释为什么您的示例中没有这样的问题。

Answer 2

你有100%的CPU负载，因为几乎所有的时间都会执行默认情况，这会导致无限循环，因为它会一遍又一遍地执行。在这种情况下，Go调度器不会根据设计将控制权交给另一个goroutine。所以任何其他的goroutine都不会有机会设置crawling != 0，这样你就有了无限循环。

在我看来，如果您想使用select语句，则应该删除默认情况，而创建另一个通道。

否则，runtime包将帮助您走上不光彩的道路：

• runtime.GOMAXPROCS(2)将工作(或导出GOMAXPROCS=2)，这样您将有多个OS线程执行
• inside Crawl不时调用runtime.Gosched()。即使CPU负载是100%，这也会显式地将控制传递给另一个Goroutine。

编辑:是的，这也是fmt.Printf发挥作用的原因:因为它显式地将控制权传递给一些syscall的东西……;)