golang: goroute with select doesn't stop unless I added a fmt.Print()

前端 未结 2 1757
花落未央
花落未央 2020-12-20 18:53

I tried the Go Tour exercise #71

If it is run like go run 71_hang.go ok, it works fine.

However, if you use go run 71_hang.go nogood

相关标签:
2条回答
  • 2020-12-20 19:01

    You have 100% CPU load because almost all times the default case will be executed, resulting effectively in an infinite loop because it's executed over and over again. In this situation the Go scheduler does not hand control to another goroutine, by design. So any other goroutine will never have the opportunity to set crawling != 0 and you have your infinite loop.

    In my opinion you should remove the default case and instead create another channel if you want to play with the select statement.

    Otherwise the runtime package helps you to go the dirty way:

    • runtime.GOMAXPROCS(2) will work (or export GOMAXPROCS=2), this way you will have more than one OS thread of execution
    • call runtime.Gosched() inside Crawl from time to time. Eventhough CPU load is 100%, this will explicitely pass control to another Goroutine.

    Edit: Yes, and the reason why fmt.Printf makes a difference: because it explicitely passes control to some syscall stuff... ;)

    0 讨论(0)
  • 2020-12-20 19:10

    Putting a default statement in your select changes the way select works. Without a default statement select will block waiting for any messages on the channels. With a default statement select will run the default statement every time there is nothing to read from the channels. In your code I think this makes an infinite loop. Putting the fmt.Print statement in is allowing the scheduler to schedule other goroutines.

    If you change your code like this then it works properly, using select in a non blocking way which allows the other goroutines to run properly.

        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
            }
        }
    

    You can make your original code work if you use GOMAXPROCS=2 which is another hint that the scheduler is busy in an infinite loop.

    Note that goroutines are co-operatively scheduled. What I don't fully understand about your problem is that select is a point where the goroutine should yield - I hope someone else can explain why it isn't in your example.

    0 讨论(0)
自定义标题
段落格式
字体
字号
代码语言
提交回复
热议问题