ARTS 第三周

• 【2019年第14周】【2019/04/01 - 2019/04/07 】
• A. LeetCode 258
• R: The Go Memory Model
• T: 一条面试题引发的关于 Go 语言中锁的思考
• S: 怎么才叫熟悉http协议?

Algorithm

• LeetCode 258题

Review

• A pitfall of golang scheduler

这篇文章首先描述了一个奇怪的问题，下面的程序会阻塞住，不会停止。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20

package main

import "fmt"
import "time"
import "runtime"

func main() {
	var x int
	threads := runtime.GOMAXPROCS(0)
	for i := 0; i < threads; i++ {
		go func() {
			for {
				x++
				//runtime.Gosched()
			}
		}()
	}
	time.Sleep(time.Second)
	fmt.Println("x =", x)
}

然后作者解释了原因，Go 的线程调度器和操作系统的调度器并不相同。

• 操作系统的调度器有定时中断，每当一个进程执行完一个时间片以后，就会被中断。同时执行权返回到调度器那里，由调度器来决定接下来执行哪个进程。
• Go 实现了一个合作的部分抢占式的调度器。它没有实现基于定时器中断的抢占，但是调度器应该能够促进多个 Goroutine 在多个系统级线程上运行。
• 同时，Go 在runtime提供的构造，库和系统调用中添加了钩子，使当前 Goroutine 能够协作地将执行权交到调度器中，让调度器重新调度。

但是如果我们在 Goroutine 中没有调用构造，库或者系统调用的时候，Goroutine 就会一直执行，不将执行权交到 Goroutine 中。 就如上述的代码，程序启动了GOMAXPROCS个 Goroutine，它们只执行了一个x++操作。GOMAXPROCS个 Goroutine 将系统级线程暂满了，main Goroutine 一直处于runnable状态，得不到机会执行，所以整个程序就会被阻塞住。 当使用runtime提供的 feature 时（例如channels, systemcalls, fmt.Sprint, Mutex, time.Sleep），调度器就有机会执行，将 main 调度执行，程序就不会一直阻塞下去了。

当我们遇到没有执行任何runtime提供的 feature 的 Goroutine 时，我们可以使用runtime.Gosched()手动将Goroutine 的执行权交给调度器，让其他 Goroutine 得到执行的机会。

Tips

• Go 的 Panic 触发及恢复过程

Share

• 怎么才叫熟悉http协议?

这篇文章讲的是基础的 HTTP/1.1 协议，HTTP 协议与 TCP/IP 协议栈的关系，请求和响应包格式都是之前已经了解的知识了，但是感觉它写的3xx 重定向的表格很有意思，之前没有了解过，特此记录一下。