


Adakah pengkompil Go mengoptimumkan kod jauh yang menambah pembolehubah dalam goroutine?
Oct 29, 2024 am 05:55 AMAdakah 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!

Artikel Panas

Alat panas Tag

Artikel Panas

Tag artikel panas

Notepad++7.3.1
Editor kod yang mudah digunakan dan percuma

SublimeText3 versi Cina
Versi Cina, sangat mudah digunakan

Hantar Studio 13.0.1
Persekitaran pembangunan bersepadu PHP yang berkuasa

Dreamweaver CS6
Alat pembangunan web visual

SublimeText3 versi Mac
Perisian penyuntingan kod peringkat Tuhan (SublimeText3)

Topik panas

GO Language Pack Import: Apakah perbezaan antara garis bawah dan tanpa garis bawah?

Bagaimana saya menulis objek dan stub untuk ujian di GO?

Bagaimana untuk melaksanakan pemindahan maklumat jangka pendek antara halaman dalam kerangka beego?

Bagaimana saya boleh menentukan kekangan jenis tersuai untuk generik di GO?

Bagaimana saya boleh menggunakan alat pengesanan untuk memahami aliran pelaksanaan aplikasi saya?

Bagaimanakah saya boleh menggunakan alat linter dan analisis statik untuk meningkatkan kualiti dan pemeliharaan kod pergi saya?

Bagaimana cara menulis fail dalam bahasa Go dengan mudah?

Bagaimana cara menukar senarai hasil pertanyaan mysql ke dalam slice struktur tersuai dalam bahasa Go?
