
Go语言的并发模型基于轻量级的“goroutine”。Goroutine并非操作系统线程,而是由Go运行时(runtime)管理的绿色线程。Go运行时负责将大量的goroutine多路复用到少量底层操作系统(OS)线程上执行。这种机制使得Go程序能够高效地处理大量并发任务,而无需承担传统线程模型中上下文切换和资源消耗的巨大开销。
当一个goroutine因为等待I/O或执行其他阻塞操作而暂停时,Go调度器能够将该goroutine从当前OS线程上移除,并调度另一个可运行的goroutine到该线程上执行,从而最大限度地利用OS线程的计算能力。
GOMAXPROCS是一个环境变量或通过runtime.GOMAXPROCS()函数设置的参数,它决定了Go运行时调度器可以同时执行Go代码的最大操作系统线程数。简单来说,GOMAXPROCS控制了Go程序在任意时刻能够并行运行的Go代码(CPU密集型任务)的数量。
例如,如果GOMAXPROCS设置为4,那么Go运行时将尝试使用最多4个OS线程来执行可运行的goroutine。这意味着,对于CPU密集型任务,即使有成千上万个goroutine,也只有最多4个goroutine能够真正地并行计算。
立即学习“go语言免费学习笔记(深入)”;
package main
import (
"fmt"
"runtime"
"time"
)
func main() {
// 获取并打印当前的GOMAXPROCS值
fmt.Printf("Initial GOMAXPROCS: %d\n", runtime.GOMAXPROCS(0))
// 设置GOMAXPROCS为1
runtime.GOMAXPROCS(1)
fmt.Printf("New GOMAXPROCS: %d\n", runtime.GOMAXPROCS(0))
// 启动多个goroutine执行CPU密集型任务
for i := 0; i < 10; i++ {
go func(id int) {
sum := 0
for j := 0; j < 1e7; j++ { // 模拟CPU密集型计算
sum += j
}
fmt.Printf("Goroutine %d finished calculation. Sum: %d\n", id, sum)
}(i)
}
// 等待goroutines完成
time.Sleep(2 * time.Second)
fmt.Println("All goroutines launched.")
}在上述代码中,尽管启动了10个goroutine,但如果GOMAXPROCS设置为1,它们将会在一个OS线程上进行并发调度执行,而不是并行执行。
理解GOMAXPROCS的限制非常重要,但更关键的是要区分不同类型的阻塞操作对OS线程使用的影响。并不是所有的阻塞都会导致额外的OS线程被创建。
当goroutine执行以下类型的阻塞操作时,Go运行时能够智能地处理,不会导致该goroutine持续占用一个OS线程,也不会因此创建新的OS线程来维持GOMAXPROCS所设定的并行度:
在这些情况下,Go调度器会将阻塞的goroutine从当前OS线程上“取下”,然后将该OS线程分配给其他可运行的goroutine。当阻塞操作完成后,该goroutine会重新变为可运行状态,等待调度器将其重新分配到某个OS线程上。
package main
import (
"fmt"
"runtime"
"sync"
"time"
)
func main() {
runtime.GOMAXPROCS(1) // 强制只使用一个OS线程执行Go代码
fmt.Printf("Current GOMAXPROCS: %d\n", runtime.GOMAXPROCS(0))
var wg sync.WaitGroup
for i := 0; i < 5; i++ {
wg.Add(1)
go func(id int) {
defer wg.Done()
fmt.Printf("Goroutine %d: Starting (on OS thread %d)\n", id, runtime.NumGoroutine()) // NumGoroutine is not thread ID
// 模拟一个channel阻塞操作
ch := make(chan struct{})
go func() {
time.Sleep(50 * time.Millisecond) // 模拟异步操作
close(ch)
}()
<-ch // Goroutine在此阻塞,但不会占用OS线程
fmt.Printf("Goroutine %d: Finished channel wait\n", id)
// 模拟一个sleep操作
time.Sleep(50 * time.Millisecond) // Goroutine在此阻塞,但不会占用OS线程
fmt.Printf("Goroutine %d: Finished sleep\n", id)
}(i)
}
wg.Wait()
fmt.Println("All goroutines finished.")
}尽管GOMAXPROCS设置为1,并且有多个goroutine在<-ch和time.Sleep处阻塞,Go运行时并不会为这些阻塞操作创建额外的OS线程。OS线程会被有效地复用,轮流执行这些goroutine的非阻塞部分。
当goroutine执行以下类型的阻塞操作时,Go运行时无法将OS线程从该goroutine中解耦,因为这些操作直接导致底层的OS线程进入阻塞状态。为了维持GOMAXPROCS所设定的并行度(即确保有足够多的OS线程来执行可运行的Go代码),Go运行时会创建新的OS线程来弥补被阻塞的线程:
在这种情况下,即使GOMAXPROCS设置为1,如果有一个goroutine执行了阻塞式系统调用,Go运行时会发现一个OS线程被“卡住”了,为了不影响其他可运行goroutine的执行,它会启动一个新的OS线程来继续调度其他goroutine,直到阻塞的系统调用完成。
package main
import (
"fmt"
"io/ioutil"
"os"
"runtime"
"sync"
"time"
)
// #include <unistd.h> // For sleep
// void c_sleep(int seconds) {
// sleep(seconds);
// }
import "C"
func main() {
runtime.GOMAXPROCS(1) // 强制只使用一个OS线程执行Go代码
fmt.Printf("Current GOMAXPROCS: %d\n", runtime.GOMAXPROCS(0))
var wg sync.WaitGroup
wg.Add(2)
// Goroutine 1: 模拟阻塞式系统调用 (读取/dev/random)
go func() {
defer wg.Done()
fmt.Println("Goroutine 1: Starting blocking syscall (reading /dev/random)...")
// 注意: /dev/random在某些系统上可能会阻塞,直到有足够的熵
// 在Windows上,可以尝试其他阻塞文件I/O,如等待管道输入
file, err := os.Open("/dev/random") // 这是一个可能阻塞的系统调用
if err != nil {
fmt.Printf("Goroutine 1: Error opening /dev/random: %v\n", err)
return
}
defer file.Close()
buffer := make([]byte, 1)
_, err = file.Read(buffer) // 此处可能导致OS线程阻塞
if err != nil {
fmt.Printf("Goroutine 1: Error reading /dev/random: %v\n", err)
return
}
fmt.Println("Goroutine 1: Finished blocking syscall.")
}()
// Goroutine 2: 模拟CGO阻塞调用
go func() {
defer wg.Done()
fmt.Println("Goroutine 2: Starting blocking CGO call...")
C.c_sleep(1) // 调用C函数,该函数会阻塞其所在的OS线程
fmt.Println("Goroutine 2: Finished blocking CGO call.")
}()
// 观察OS线程数量的变化
go func() {
for i := 0; i < 5; i++ {
time.Sleep(200 * time.Millisecond)
// NumCPU不是线程数,NumGoroutine是goroutine数。
// 无法直接在Go代码中获取当前OS线程数,但可以通过系统工具观察。
// 期望在阻塞期间,OS线程数会增加。
fmt.Printf("Current Go routines: %d\n", runtime.NumGoroutine())
}
}()
wg.Wait()
fmt.Println("All blocking goroutines finished.")
time.Sleep(1 * time.Second) // 留一些时间让运行时清理
}在上述示例中,当Goroutine 1执行file.Read(buffer)或Goroutine 2执行C.c_sleep(1)时,它们所在的OS线程会直接阻塞。由于GOMAXPROCS设置为1,Go运行时为了保证仍有一个OS线程用于执行其他可能的Go代码,会额外启动新的OS线程。通过系统监控工具(如Linux的top -H或ps -T,macOS的htop或Activity Monitor),可以观察到Go进程的线程数在这些阻塞操作发生时会增加。
理解这些机制对于编写高效、可伸缩的Go程序至关重要。在设计高并发系统时,应尽量避免在goroutine中直接执行长时间的阻塞式系统调用或CGO调用,或者通过异步化、非阻塞I/O等方式来处理,以避免不必要的OS线程创建和上下文切换开销。如果确实需要执行这类阻塞操作,应预见到Go运行时可能会为此创建额外线程,并据此评估系统的资源消耗。
以上就是深入理解Go语言中Goroutine与操作系统线程的关联及线程创建策略的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号