Adakah pengkompil Go mengoptimumkan kod?
Dalam kod ini:
package main
import "time"
func main() {
i := 1
go func() {
for {
i++
}
}()
<-time.After(1 * time.Second)
println(i)
}Output sentiasa 1 . Walau bagaimanapun, adalah menghairankan bahawa 1s sudah cukup untuk gelung untuk berulang kali. Sebabnya adalah kerana pengkompil Go sedang mengoptimumkan kod.
Model memori Go menentukan keadaan di mana bacaan pembolehubah dalam satu goroutine boleh dijamin untuk memerhatikan nilai yang dihasilkan oleh menulis kepada pembolehubah yang sama dalam goroutine yang berbeza. Tugasan kepada i, melalui kenaikan i (i = i 1), tidak diikuti oleh sebarang peristiwa penyegerakan, jadi ia tidak dijamin untuk dipatuhi oleh mana-mana goroutine lain. Malah, pengkompil yang agresif mungkin memadamkan keseluruhan pernyataan i.
Sebagai contoh, dalam kod ini:
package main
import "time"
func main() {
i := 1
go func() {
for {
i++
}
}()
<-time.After(1 * time.Millisecond)
println(i)
}Outputnya ialah 1. Goroutine dikurangkan kepada:
"".main.func1 STEXT nosplit size=2 args=0x8 locals=0x0
0x0000 00000 (elide.go:7) TEXT "".main.func1(SB), NOSPLIT, <pre class="brush:php;toolbar:false">for {
i++
}package main
import "time"
func main() {
i := 1
go func() {
for {
i++
println("+1")
}
}()
<-time.After(1 * time.Millisecond)
println(i)
}Kepada pengkompil, gelung for boleh dilaksanakan dengan menambah daftar selama-lamanya, pada asasnya gelung tanpa operasi:
+1 +1 << SNIP >> +1 +1 432
Selepas memasukkan pernyataan cetakan,
"".main.func1 STEXT size=81 args=0x8 locals=0x18
0x0000 00000 (elide.go:7) TEXT "".main.func1(SB), -8
0x0000 00000 (elide.go:7) MOVQ (TLS), CX
0x0009 00009 (elide.go:7) CMPQ SP, 16(CX)
0x000d 00013 (elide.go:7) JLS 74
0x000f 00015 (elide.go:7) SUBQ , SP
0x0013 00019 (elide.go:7) MOVQ BP, 16(SP)
0x0018 00024 (elide.go:7) LEAQ 16(SP), BP
0x001d 00029 (elide.go:7) FUNCDATA <pre class="brush:php;toolbar:false">==================
WARNING: DATA RACE
Read at 0x00c420094000 by
main goroutine:
main.main()
/home/peter/gopath/src/lucky.go:14 +0xac
Previous write at 0x00c420094000 by
goroutine 5:
main.main.func1()
/home/peter/gopath/src/lucky.go:9 +0x4e
Goroutine 5 (running) created at:
main.main()
/home/peter/gopath/src/lucky.go:7 +0x7a
==================package main
import (
"sync"
"time"
)
func main() {
mx := new(sync.Mutex)
i := 1
go func() {
for {
mx.Lock()
i++
mx.Unlock()
}
}()
<-time.After(1 * time.Second)
mx.Lock()
println(i)
mx.Unlock()
}41807838
Outputnya ialah:
Groutine mengembang kepada:
Kerumitan goroutine yang meningkat bermakna bahawa pengkompil tidak lagi mempertimbangkan untuk mendedikasikan daftar kepada nilai i. Nilai dalam ingatan i dinaikkan, yang menjadikan kemas kini kelihatan, dengan perlumbaan data, kepada goroutine utama.
Untuk mendapatkan hasil yang diharapkan, tambahkan beberapa penyegerakan:
Output:
Atas ialah kandungan terperinci Adakah pengkompil Go mengoptimumkan kod jauh yang menambah pembolehubah dalam goroutine?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!
![[Web front-end] Permulaan pantas Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
