Rumah > Artikel > pembangunan bahagian belakang > Adakah single-threading merupakan ciri bahasa Go?
Benang tunggal bukan ciri bahasa go, bahasa go adalah berbilang benang. Model utas Golang ialah model MPG Secara keseluruhannya, proses Go dan utas kernel mempunyai surat-menyurat banyak-ke-banyak, jadi Go mestilah dalam mod berbilang utas dan utas kernel sepadan dengan 1 hingga 1, dan berbilang Gs sepadan dengan berbilang M Sejajar dengan itu, P merujuk kepada sumber konteks.
Persekitaran pengendalian tutorial ini: sistem Windows 7, GO versi 1.18, komputer Dell G3.
Benang tunggal bukan ciri bahasa go, bahasa go adalah berbilang benang. Jika ia adalah satu benang, bagaimana boleh dikatakan bahawa ia adalah bahasa yang dilahirkan untuk kesesuaian tinggi dalam era berbilang teras?
Model belitan Golang ialah model MPG Secara umum, proses Go dan utas kernel sepadan dengan banyak-ke-banyak, jadi pertama sekali, mereka mesti berbilang benang. Antaranya, M sepadan dengan utas kernel 1:1, dan kemudian berbilang G sepadan dengan berbilang M. P merujuk kepada sumber konteks, tidak banyak yang perlu diperkatakan. Bilakah bilangan M (atau benang kernel) meningkat? Iaitu, apabila nombor semasa M tidak boleh dijadualkan untuk memindahkan semua G semasa, M baharu akan digunakan untuk memprosesnya.
Sesetengah orang membandingkan Go dengan bahasa C abad ke-21 Pertama, ini kerana bahasa Go adalah reka bentuk yang ringkas . Kedua, ia adalah bahasa yang paling popular pada abad ke-21 Yang penting ialah pengaturcaraan selari, dan Go menyokong keselarian dari peringkat bahasa.
goroutine ialah teras reka bentuk selari Go. Dalam analisis akhir, goroutine sebenarnya adalah benang, tetapi ia lebih kecil daripada sedozen goroutine mungkin ditunjukkan dalam lima atau enam utas di bahagian bawah bahasa The Go membantu anda merealisasikan perkongsian memori antara goroutine ini. Melaksanakan goroutine memerlukan memori tindanan yang sangat sedikit (kira-kira 4~5KB), dan sudah tentu ia akan berskala mengikut data yang sepadan. Disebabkan ini, beribu-ribu tugas serentak boleh dijalankan serentak. Goroutine lebih mudah digunakan, lebih cekap dan lebih ringan daripada benang.
Goroutine ialah pengurus rangkaian yang diuruskan oleh masa jalan Go. Goroutine dilaksanakan melalui kata kunci go
, yang sebenarnya merupakan fungsi biasa.
go hello(a, b, c)
Groutine dimulakan dengan menggunakan kata kunci go. Mari kita lihat contoh
package main import ( "fmt" "runtime" ) func say(s string) { for i := 0; i < 5; i++ { runtime.Gosched() fmt.Println(s) } } func main() { go say("world") //开一个新的Goroutines执行 say("hello") //当前Goroutines执行 } // 以上程序执行后将输出: // hello // world // hello // world // hello // world // hello // world // hello
Kita dapat melihat bahawa kata kunci go boleh melaksanakan pengaturcaraan serentak dengan mudah. Berbilang goroutine di atas berjalan dalam proses yang sama dan berkongsi data memori Walau bagaimanapun, kita mesti mengikut reka bentuk: jangan berkomunikasi melalui perkongsian, tetapi berkongsi melalui komunikasi.
runtime.Gosched() bermaksud membiarkan CPU menyerahkan potongan masa kepada orang lain dan terus menyambung semula pelaksanaan goroutine pada masa yang akan datang.
Secara lalai, penjadual hanya menggunakan satu urutan, yang bermaksud bahawa hanya konkurensi dilaksanakan. Untuk memanfaatkan keselarian pemproses berbilang teras, kami perlu memanggil masa jalan secara eksplisit.GOMAXPROCS(n) dalam program kami untuk memberitahu penjadual menggunakan berbilang benang pada masa yang sama. GOMAXPROCS menetapkan bilangan maksimum rangkaian sistem yang boleh menjalankan kod logik secara serentak dan mengembalikan tetapan sebelumnya. Jika n < 1, tetapan semasa tidak akan diubah. Ini akan dialih keluar apabila penjadualan dipertingkatkan dalam versi masa hadapan Go.
goroutine dijalankan dalam ruang alamat yang sama, jadi akses kepada memori dikongsi mesti disegerakkan . Jadi bagaimana untuk menyampaikan data antara goroutine Go menyediakan saluran mekanisme komunikasi yang baik. Saluran boleh dibandingkan dengan paip dwiarah dalam cangkerang Unix: anda boleh menghantar atau menerima nilai melaluinya. Nilai ini hanya boleh daripada jenis tertentu: jenis saluran. Apabila anda menentukan saluran, anda juga perlu menentukan jenis nilai yang dihantar ke saluran. Ambil perhatian bahawa saluran mesti dibuat menggunakan make:
ci := make(chan int) cs := make(chan string) cf := make(chan interface{})
Saluran menerima dan menghantar data melalui operator <-
ch <- v // 发送v到channel ch. v := <-ch // 从ch中接收数据,并赋值给v
Mari kita gunakan ini pada contoh kita:
package main import "fmt" func sum(a []int, c chan int) { total := 0 for _, v := range a { total += v } c <- total // send total to c } func main() { a := []int{7, 2, 8, -9, 4, 0} c := make(chan int) go sum(a[:len(a)/2], c) go sum(a[len(a)/2:], c) x, y := <-c, <-c // receive from c fmt.Println(x, y, x + y) }
Secara lalai, penerimaan saluran dan penghantaran data disekat melainkan hujung satu lagi sudah sedia, yang menjadikan penyegerakan Goroutines lebih mudah tanpa memerlukan kunci yang jelas. Sekatan yang dipanggil bermakna jika anda membaca (nilai := <-ch), ia akan disekat sehingga data diterima. Kedua, sebarang hantaran (ch<-5) akan disekat sehingga data dibaca. Saluran tidak buffer ialah alat yang hebat untuk menyegerakkan antara berbilang goroutin.
Kami memperkenalkan saluran jenis bukan cache lalai di atas, tetapi Go juga membenarkan menentukan saluran saiz penimbal ialah berapa banyak elemen yang boleh disimpan oleh saluran. ch:= make(chan bool, 4), mencipta saluran bool yang boleh menyimpan 4 elemen. Dalam saluran ini, 4 elemen pertama boleh ditulis tanpa menyekat. Apabila elemen ke-5 ditulis, kod akan disekat sehingga goroutine lain membaca beberapa elemen dari saluran untuk memberi ruang.
ch := make(chan type, value) value == 0 ! 无缓冲(阻塞) value > 0 ! 缓冲(非阻塞,直到value 个元素)
我们看一下下面这个例子,你可以在自己本机测试一下,修改相应的value值
package main import "fmt" func main() { c := make(chan int, 2)//修改2为1就报错,修改2为3可以正常运行 c <- 1 c <- 2 fmt.Println(<-c) fmt.Println(<-c) } //修改为1报如下的错误: //fatal error: all goroutines are asleep - deadlock!
上面这个例子中,我们需要读取两次c,这样不是很方便,Go考虑到了这一点,所以也可以通过range,像操作slice或者map一样操作缓存类型的channel,请看下面的例子
package main import ( "fmt" ) func fibonacci(n int, c chan int) { x, y := 1, 1 for i := 0; i < n; i++ { c <- x x, y = y, x + y } close(c) } func main() { c := make(chan int, 10) go fibonacci(cap(c), c) for i := range c { fmt.Println(i) } }
for i := range c
能够不断的读取channel里面的数据,直到该channel被显式的关闭。上面代码我们看到可以显式的关闭channel,生产者通过内置函数close
关闭channel。关闭channel之后就无法再发送任何数据了,在消费方可以通过语法v, ok := <-ch
测试channel是否被关闭。如果ok返回false,那么说明channel已经没有任何数据并且已经被关闭。
记住应该在生产者的地方关闭channel,而不是消费的地方去关闭它,这样容易引起panic
另外记住一点的就是channel不像文件之类的,不需要经常去关闭,只有当你确实没有任何发送数据了,或者你想显式的结束range循环之类的
我们上面介绍的都是只有一个channel的情况,那么如果存在多个channel的时候,我们该如何操作呢,Go里面提供了一个关键字select
,通过select
可以监听channel上的数据流动。
select
默认是阻塞的,只有当监听的channel中有发送或接收可以进行时才会运行,当多个channel都准备好的时候,select是随机的选择一个执行的。
package main import "fmt" func fibonacci(c, quit chan int) { x, y := 1, 1 for { select { case c <- x: x, y = y, x + y case <-quit: fmt.Println("quit") return } } } func main() { c := make(chan int) quit := make(chan int) go func() { for i := 0; i < 10; i++ { fmt.Println(<-c) } quit <- 0 }() fibonacci(c, quit) }
在select
里面还有default语法,select
其实就是类似switch的功能,default就是当监听的channel都没有准备好的时候,默认执行的(select不再阻塞等待channel)。
select { case i := <-c: // use i default: // 当c阻塞的时候执行这里 }
有时候会出现goroutine阻塞的情况,那么我们如何避免整个程序进入阻塞的情况呢?我们可以利用select来设置超时,通过如下的方式实现:
func main() { c := make(chan int) o := make(chan bool) go func() { for { select { case v := <- c: println(v) case <- time.After(5 * time.Second): println("timeout") o <- true break } } }() <- o }
runtime包中有几个处理goroutine的函数:
Goexit
退出当前执行的goroutine,但是defer函数还会继续调用
Gosched
让出当前goroutine的执行权限,调度器安排其他等待的任务运行,并在下次某个时候从该位置恢复执行。
NumCPU
返回 CPU 核数量
NumGoroutine
返回正在执行和排队的任务总数
GOMAXPROCS
用来设置可以并行计算的CPU核数的最大值,并返回之前的值。
Atas ialah kandungan terperinci Adakah single-threading merupakan ciri bahasa Go?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!