建站
咨詢(xún)
售后
建站咨詢(xún)
新聞中心
自從Go語(yǔ)言之父Rob Pike從Google退休并隱居澳洲后，Russ Cox便成為了Go語(yǔ)言團(tuán)隊(duì)的“帶頭大哥”，雖然其資歷還無(wú)法與依舊奮戰(zhàn)在一線(xiàn)的另外一位Go語(yǔ)言之父Robert Griesemer相比。如今，Russ Cox對(duì)Go語(yǔ)言未來(lái)的演化發(fā)展是很有“發(fā)言權(quán)”的，Go module的引入便是Russ Cox的重要決策之一。從Go社區(qū)來(lái)看，這些年來(lái)，以Russ Cox為首的Go團(tuán)隊(duì)對(duì)Go演進(jìn)決策總體上是良性的、受歡迎的，比如Go module、Go泛型、Go對(duì)wasm的支持等，當(dāng)然也有一些變化是受到質(zhì)疑的，比如：Go 1.22版本很可能從試驗(yàn)特性到正式特性的loopvar等[1]。
成都創(chuàng)新互聯(lián)公司致力于互聯(lián)網(wǎng)品牌建設(shè)與網(wǎng)絡(luò)營(yíng)銷(xiāo)，包括網(wǎng)站設(shè)計(jì)、做網(wǎng)站、SEO優(yōu)化、網(wǎng)絡(luò)推廣、整站優(yōu)化營(yíng)銷(xiāo)策劃推廣、電子商務(wù)、移動(dòng)互聯(lián)網(wǎng)營(yíng)銷(xiāo)等。成都創(chuàng)新互聯(lián)公司為不同類(lèi)型的客戶(hù)提供良好的互聯(lián)網(wǎng)應(yīng)用定制及解決方案，成都創(chuàng)新互聯(lián)公司核心團(tuán)隊(duì)十載專(zhuān)注互聯(lián)網(wǎng)開(kāi)發(fā)，積累了豐富的網(wǎng)站經(jīng)驗(yàn)，為廣大企業(yè)客戶(hù)提供一站式企業(yè)網(wǎng)站建設(shè)服務(wù)，在網(wǎng)站建設(shè)行業(yè)內(nèi)樹(shù)立了良好口碑。
想必很多Gopher也和我一樣，對(duì)Go團(tuán)隊(duì)就某一proposal的決策方式和依據(jù)很好奇 --到底他們是如何決定是否accept這個(gè)proposal的？Go語(yǔ)言后續(xù)該如何演化？向哪個(gè)方向發(fā)展演化？
今年9月份舉辦的GopherCon 2023上，Russ Cox代表Go團(tuán)隊(duì)做了名為“Go Changes”的主題演講[3]：
圖片
在這個(gè)talk中，我們能找到一些答案。近期他重新錄制了該演講視頻[4]，并在其個(gè)人博客中放出。
本文就是基于這個(gè)視頻內(nèi)容進(jìn)行整理加工后的文字稿，供國(guó)內(nèi)廣大gopher參考。
這是我在2023年GopherCon上做的一次演講的重新錄制視頻。在這次演講中，我和大家分享了三部分內(nèi)容：為什么Go需要隨著時(shí)間的推移而改變，我們?nèi)绾螒?yīng)對(duì)Go的變化過(guò)程，以及為什么選擇性遙測(cè)(opt-in telemetry)[5]是這個(gè)過(guò)程中的一個(gè)重要且適當(dāng)?shù)牟糠?。不過(guò)，這個(gè)演講不是關(guān)于某個(gè)特定的Go特性變化，而是關(guān)于Go整體的變化過(guò)程，特別是我們是如何決定做出哪些改變的。
首先一個(gè)明顯的問(wèn)題是，為什么Go需要改變? 為什么我們不能對(duì)Go感到滿(mǎn)意，然后將其束之高閣呢? 一個(gè)顯而易見(jiàn)的答案是我們不可能一次就把事情做對(duì)，你對(duì)比一下上面圖片中展示的第一版毛絨Go吉祥物和我們?cè)贕opherCon上發(fā)放的最終版本，你就能明白我的意思了。
但這里還有一個(gè)更深層次的答案：
圖片
我的一位前同事在他使用了多年的郵件簽名中引用了生物學(xué)家兼科幻小說(shuō)作家杰克·科恩(Jack Cohen)的一句名言。在這句名言中，科恩說(shuō)：“我們生物學(xué)家使用的一個(gè)描述‘穩(wěn)定(stable)’的專(zhuān)業(yè)詞匯就是“死(dead)”。
所有的生命都在變化，適應(yīng)新的環(huán)境，修復(fù)損傷等。編程環(huán)境[6]也需要改變。除非我們想要Go死掉，否則它需要適應(yīng)新的環(huán)境，比如新的協(xié)議、操作系統(tǒng)和重要用例。我們也需要發(fā)現(xiàn)并修復(fù)bug -- 語(yǔ)言、庫(kù)和生態(tài)系統(tǒng)的問(wèn)題，這些問(wèn)題只有隨著時(shí)間的推移或Go發(fā)展到一定階段和規(guī)模才會(huì)暴露出來(lái)。
Go必須改變，并與時(shí)俱進(jìn)。這次演講就是關(guān)于我們?nèi)绾螞Q定做出哪些改變。
圖片
這次演講分三個(gè)部分:
- 第一部分是關(guān)于我們對(duì)Go的愿景和期望。
- 第二部分是關(guān)于我們?nèi)绾卫脭?shù)據(jù)來(lái)決定做出哪些改變。
- 第三部分是關(guān)于我們?cè)贕o工具鏈[7]中增加選擇性遙測(cè)的計(jì)劃，以便更好地理解Go的使用情況和出現(xiàn)問(wèn)題的地方。
到演講結(jié)束時(shí)，你將了解我們考量和決定Go變化的過(guò)程，并了解數(shù)據(jù)在做出這些決定中的重要性，我希望你能理解為什么選擇性遙測(cè)是一個(gè)很好的額外數(shù)據(jù)來(lái)源，甚至可能愿意在系統(tǒng)推出時(shí)就選擇加入。
圖片
讓我們從這個(gè)開(kāi)始：我們希望Go發(fā)生什么樣的變化？如果我們?cè)谶@個(gè)基本問(wèn)題上意見(jiàn)不一致，我們也就無(wú)法就具體的變化達(dá)成共識(shí)。
例如，我們是否應(yīng)該在Go中添加一個(gè)Perl語(yǔ)句，讓我們可以用Perl編寫(xiě)函數(shù)?
圖片
我認(rèn)為我們不應(yīng)該，但假設(shè)你有不同意見(jiàn)。為了解決這個(gè)問(wèn)題，我們需要理解為什么我們持不同意見(jiàn)。
約翰·奧斯特豪特(John Ousterhout)寫(xiě)了一份名為“開(kāi)放決策制定(Open Decision Making)[8]”的好文檔，內(nèi)容雖然來(lái)自他在創(chuàng)業(yè)公司的經(jīng)驗(yàn)，但它幾乎完全適用于開(kāi)源項(xiàng)目。
圖片
在這份文檔中，他提出的最重要的觀點(diǎn)之一是：如果一群聰明人面對(duì)同一個(gè)問(wèn)題，并具有相同的信息，如果他們有相同的目標(biāo)，那么他們很可能得出相同的結(jié)論。
如果你和我在Go中是否要嵌入Perl這個(gè)問(wèn)題上存在分歧，根本原因肯定是我們對(duì)Go目標(biāo)有不同的理解，所以我們必須建立明確Go的目標(biāo)。
圖片
Go的目標(biāo)是更好的軟件工程，特別是大規(guī)模軟件工程。Go的獨(dú)特設(shè)計(jì)決策幾乎全部針對(duì)這個(gè)目標(biāo)[9]。我們已經(jīng)多次闡述過(guò)這一點(diǎn)，包括在上述截圖中的這兩篇文章中[10]。再說(shuō)一次，Go的目標(biāo)是更好的軟件工程。
現(xiàn)在我們來(lái)說(shuō)說(shuō)Perl。20年前，當(dāng)我很年輕、甚至有些天真、Go還不存在的時(shí)候，我編寫(xiě)并部署了一個(gè)完全用Perl編寫(xiě)的大型分布式系統(tǒng)。我熱愛(ài)Perl所擅長(zhǎng)的東西，但它并不是以更好的軟件工程為目標(biāo)。如果我們?cè)谶@一點(diǎn)上有分歧，那么我可能應(yīng)該定義一下我所說(shuō)的軟件工程是什么意思。
圖片
注：如果要理解Go以更好軟件工程為目標(biāo)，或是Google的軟件工程理念，可以閱讀一下《Software Engineering at Google[11]》這本佳作。
我喜歡說(shuō)，當(dāng)你給編程加入時(shí)間和其他程序員時(shí)，軟件工程就出現(xiàn)了。編程意味著讓一個(gè)程序工作。你有一個(gè)要解決的問(wèn)題，你編寫(xiě)一些代碼，運(yùn)行它，調(diào)試它，得到答案，完成。這就是編程，這已經(jīng)夠難的了。
圖片
但是當(dāng)那段代碼不得不日復(fù)一日地繼續(xù)工作時(shí)會(huì)發(fā)生什么，甚至和其他人一起對(duì)它進(jìn)行維護(hù)？那么你需要添加測(cè)試，以確保你修正后的bug不會(huì)在6個(gè)月后由你自己或是一個(gè)不熟悉這段代碼的新團(tuán)隊(duì)成員重新引入。這就是為什么Go從第一天開(kāi)始就內(nèi)置了對(duì)測(cè)試的支持，并建立了一種文化，那就是對(duì)任何bug的修復(fù)或新增代碼都要添加測(cè)試。
那么隨著時(shí)間的流逝，當(dāng)代碼必須在Go本身發(fā)生改變的情況下繼續(xù)工作時(shí)會(huì)發(fā)生什么？那么我們需要強(qiáng)調(diào)兼容性[12]，這是Go1版本以來(lái)一直在做的。事實(shí)上，Go 1.21版本[13]發(fā)布了許多兼容性改進(jìn)[14]，我在2022年的GopherCon上對(duì)此有過(guò)介紹。
隨著代碼量的增長(zhǎng)，如果需要某種全局清理時(shí)該怎么辦？你需要工具，而不可避免的第一個(gè)絆腳石是那些工具需要模仿代碼的格式化風(fēng)格來(lái)編輯，以避免出現(xiàn)無(wú)關(guān)的差異。gofmt的存在是為了支持goimports、gorename、go fix和gopls等工具，以及你自己可能使用我們提供的包編寫(xiě)的自定義工具。
既然提到了軟件包，當(dāng)你使用其他人提供的軟件包時(shí)，不可避免的第一個(gè)絆腳石是多個(gè)人會(huì)用相同的名字(比如sqlite或yaml)編寫(xiě)軟件包。那么我們?nèi)绾卧谝粋€(gè)給定的程序中識(shí)別究竟使用哪個(gè)了呢？為了在一個(gè)去中心化的方式無(wú)歧義地回答這個(gè)問(wèn)題，Go使用URL作為包導(dǎo)入路徑。
隨著時(shí)間的推移，下一個(gè)問(wèn)題是挑選使用特定軟件包的哪個(gè)版本，并決定該版本是否與所有其他依賴(lài)項(xiàng)兼容。這就是為什么Go提供了modules、workspaces[15]、Go modules mirror鏡像和Go module校驗(yàn)和數(shù)據(jù)庫(kù)。
接下來(lái)的問(wèn)題是每個(gè)人的代碼都有bug，包括安全bug。你需要了解關(guān)于最重要bug的信息，這樣你就知道需要更新到已修復(fù)的版本。這就是為什么我們添加了Go漏洞數(shù)據(jù)庫(kù)和govulncheck[16]，Julie也在GopherCon上談到了這一點(diǎn)，當(dāng)有視頻鏈接時(shí)我會(huì)在下面添加。
以上是較大的例子，但也有小的例子，比如添加新的協(xié)議如HTTP/3，移除對(duì)過(guò)時(shí)平臺(tái)的支持，以及修復(fù)或廢棄容易出錯(cuò)的API，以避免大型代碼庫(kù)中的常見(jiàn)錯(cuò)誤。
這把我們帶到了Go提案過(guò)程(Proposal Process)，這是我們對(duì)是否接受(accept)和拒絕(decline)哪些變更做出決定的方式：
圖片
當(dāng)我們考慮這些決定時(shí)，使用數(shù)據(jù)非常重要，這可以幫助我們達(dá)成共識(shí)。
簡(jiǎn)單地說(shuō)，任何人都可以在Go的GitHub問(wèn)題跟蹤器上提出Go更改提案(Change Proposal)。然后，在該問(wèn)題上進(jìn)行討論，我們?cè)噲D在參與者之間就是否接受或拒絕該建議達(dá)成共識(shí)，或者該建議需要做出什么修改才能被接受。
隨著時(shí)間的推移，我們?cè)絹?lái)越欣賞約翰·奧斯特豪特在他的觀察中提出的第二句話(huà)的重要性：如果面對(duì)問(wèn)題的人不僅共同的目標(biāo)，還有共同的信息，他們很可能會(huì)達(dá)成共識(shí)。
圖片
在Go的早期，只有我們幾個(gè)人做決定。我們根據(jù)技術(shù)判斷和直覺(jué)做出決定，這些判斷和直覺(jué)是基于我們過(guò)去的經(jīng)驗(yàn)。那些經(jīng)驗(yàn)就是我們使用的信息。由于我們的過(guò)去經(jīng)驗(yàn)有足夠的重疊，我們大多數(shù)時(shí)候能達(dá)成共識(shí)。大多數(shù)小項(xiàng)目都是這種工作方式。
隨著決策涉及的人數(shù)大大增加，共享經(jīng)驗(yàn)就會(huì)減少。我們需要一個(gè)新的共享信息來(lái)源。我們發(fā)現(xiàn)的最好信息來(lái)源是收集實(shí)際數(shù)據(jù)，然后將這些數(shù)據(jù)作為共享信息來(lái)做決策。但是我們從哪里獲得這些數(shù)據(jù)呢？對(duì)Go來(lái)說(shuō)，我們有許多潛在的來(lái)源，每一個(gè)都適合具體的決策類(lèi)型。在這里，我將向你展示其中的一些。
一個(gè)數(shù)據(jù)來(lái)源是與Go用戶(hù)交談。我們以各種方式做到這一點(diǎn)：
圖片
首先是Go用戶(hù)調(diào)查，我們從2016年開(kāi)始每年做一次，最近開(kāi)始一年做兩次。調(diào)查非常適合了解Go最流行的用途以及人們面臨的最常見(jiàn)問(wèn)題。多年來(lái)，最常見(jiàn)的問(wèn)題是缺乏依賴(lài)管理和泛型。我們使用這些信息將開(kāi)發(fā)Go模塊和泛型作為優(yōu)先事項(xiàng)。
另一個(gè)數(shù)據(jù)來(lái)源是我們可以在VSCode中使用VSCode Go插件運(yùn)行的調(diào)查。這些調(diào)查可以幫助我們了解VSCode Go體驗(yàn)的實(shí)效性。
來(lái)自用戶(hù)的最后一個(gè)直接數(shù)據(jù)來(lái)源是我們?nèi)赀M(jìn)行的研究訪(fǎng)談和用戶(hù)體驗(yàn)研究。這些研究允許我們從小規(guī)模的用戶(hù)群體中識(shí)別模式或獲取更多關(guān)于特定主題的信息。
調(diào)查和訪(fǎng)談通過(guò)與用戶(hù)交談來(lái)收集數(shù)據(jù)。另一個(gè)數(shù)據(jù)來(lái)源是閱讀代碼：我們可以分析已發(fā)布的開(kāi)源Go module代碼。
例如，在添加新的“go vet”檢查之前，我們會(huì)在開(kāi)源代碼庫(kù)的一個(gè)子集上運(yùn)行它，然后讀取一些隨機(jī)樣本的結(jié)果，看檢查是否指出了真實(shí)的問(wèn)題，以及它是否有太多的假陽(yáng)性。
在Go 1.22版本，我們計(jì)劃添加一個(gè)go vet檢查，檢查對(duì)append的調(diào)用是否沒(méi)有append任何內(nèi)容。這里有檢查器標(biāo)記的兩段代碼：
圖片
頂部的一段代碼表明開(kāi)發(fā)人員可能認(rèn)為append總是復(fù)制其輸入slice。底部的一段代碼可能是正確的，但難于措辭來(lái)描述。
這里還有另外兩段代碼：
圖片
在頂部的一段中，或者for循環(huán)從未運(yùn)行，或者它永遠(yuǎn)不會(huì)完成，因?yàn)閑.Sigs的長(zhǎng)度永遠(yuǎn)不會(huì)改變。底部的代碼也似乎是一個(gè)清晰的bug：代碼正在仔細(xì)決定將消息追加到哪個(gè)列表中，然后它沒(méi)有將其追加到任何一個(gè)列表中。
由于我們對(duì)樣本代碼段進(jìn)行的所有采樣都是可疑的或完全錯(cuò)誤的，我們決定添加該檢查。在這里，數(shù)據(jù)比直覺(jué)更好。
所有這些方法都是在少量樣本上工作。對(duì)于典型的代碼分析，我喜歡手動(dòng)檢查100個(gè)樣本，與世界上所有Go代碼的量相比，這只是一個(gè)微小的比例。最后一份Go開(kāi)發(fā)者調(diào)查有不到6000名受訪(fǎng)者，而全世界可能有300萬(wàn)Go開(kāi)發(fā)者，樣本比例不到1%。
一個(gè)很好的問(wèn)題是為什么這些極小的樣本能告訴我們有關(guān)更大人群的信息？答案是抽樣精度只依賴(lài)于樣本數(shù)量，而不依賴(lài)于總體規(guī)模。
圖片
這乍一看似乎反直覺(jué)，但假設(shè)我有一個(gè)裝有100萬(wàn)只Go吉祥物的大箱子，我隨機(jī)拿出兩個(gè)。首先我拿到一個(gè)藍(lán)色的，然后我拿到一個(gè)粉紅色的。根據(jù)這兩個(gè)樣本，我估計(jì)箱子中的吉祥物大約一半是藍(lán)色的，一半是粉紅色的。但如果我告訴你箱子里有粉紅色、藍(lán)色和灰色的吉祥物，你是否會(huì)感到十分驚訝? 不會(huì)非常驚訝！如果箱子正好分三分之一粉紅色、藍(lán)色和灰色，那么這9對(duì)顏色組合中的每一對(duì)都同樣可能：
圖片
得到一個(gè)非灰色吉祥物的機(jī)會(huì)是2/3，得到兩個(gè)的機(jī)會(huì)就是2/3的平方，即4/9。沒(méi)看到灰色的情況出現(xiàn)概率將近一半。這就是為什么我們不會(huì)非常驚訝的原因。
現(xiàn)在假設(shè)我取出100只，有48只藍(lán)色和52只粉紅色。我再次估計(jì)箱子大約一半是藍(lán)色，一半是粉紅色。現(xiàn)在如果我告訴你箱子里有粉紅色、藍(lán)色和灰色的吉祥物，你會(huì)有多驚訝？你應(yīng)該會(huì)非常驚訝。
事實(shí)上，你完全不應(yīng)該相信我。如果那是真的，得到100只連續(xù)的非灰色吉祥物的機(jī)會(huì)是2/3的100次方，約等于10的負(fù)48次方：
圖片
隨機(jī)出現(xiàn)這種情況的可能性為零。要么我在說(shuō)謊，要么我沒(méi)有隨機(jī)抽取?？赡芩械幕疑槲锒荚谙渥拥撞?，我沒(méi)有抽取到足夠深的地方。
請(qǐng)注意：這都不依賴(lài)于箱子中有多少只Go吉祥物，它只取決于我們?nèi)〕隽硕嗌僦?。用于特定預(yù)測(cè)精度的數(shù)學(xué)更復(fù)雜，但具有相同的效果：只有樣本數(shù)量重要，箱子中的吉祥物數(shù)目不重要。
一般來(lái)說(shuō)，手工計(jì)算這些數(shù)學(xué)太困難了，所以這里有一個(gè)表格，你可以在我的博客上找到：
圖片
它說(shuō)明，如果你提取100個(gè)樣本并根據(jù)這些樣本估計(jì)百分比，那么90%的時(shí)間你的估計(jì)將在真實(shí)百分比的正負(fù)8%之內(nèi)。99%的時(shí)間它們將在13%之內(nèi)。如果像Go調(diào)查中那樣有5000個(gè)樣本，那么90%的時(shí)間估計(jì)誤差在正負(fù)1%之內(nèi)，99%的時(shí)間在正負(fù)2%之內(nèi)。超過(guò)這個(gè)數(shù)量，我們實(shí)際上不需要更多樣本。
有一個(gè)注意事項(xiàng)是樣本需要是隨機(jī)的, 或者至少與你正在估計(jì)的內(nèi)容不相關(guān)。你不能只從箱子的頂部抽取吉祥物，然后對(duì)整個(gè)箱子做出斷言。
圖片
如果你避免了這個(gè)錯(cuò)誤, 那么當(dāng)你試圖估計(jì)一個(gè)新的API是否有用或者某個(gè)特定的vet check是否值得的時(shí)候, 花一個(gè)小時(shí)左右手動(dòng)檢查100個(gè)樣本是合理的。如果是一個(gè)壞主意, 那將很快顯現(xiàn)出來(lái)。而如果看起來(lái)是一個(gè)好主意, 再花幾個(gè)小時(shí)檢查更多的樣本, 無(wú)論是手動(dòng)檢查還是用程序檢查，都會(huì)大大提高你的估計(jì)準(zhǔn)確性。與做出錯(cuò)誤決策的代價(jià)相比，這是一個(gè)非常小的成本。
簡(jiǎn)而言之，采樣的魔力在于將許多一次性估計(jì)轉(zhuǎn)變?yōu)榭梢允謩?dòng)或用少量數(shù)據(jù)完成的工作。這就是為什么我們已經(jīng)看到的所有數(shù)據(jù)來(lái)源都能夠相當(dāng)好地代表整個(gè)Go開(kāi)發(fā)者群體的原因。
現(xiàn)在進(jìn)入演講的第三部分：Go工具鏈中的遙測(cè)(Telemetry)：
遙測(cè)也將是Go開(kāi)發(fā)者使用的一個(gè)小樣本，但它應(yīng)該是一個(gè)有代表性的樣本，并且回答不同的問(wèn)題，而不是調(diào)查和代碼分析所做的問(wèn)題。
遙測(cè)始終是一個(gè)有爭(zhēng)議的話(huà)題，特別是對(duì)于開(kāi)源項(xiàng)目來(lái)說(shuō)，所以讓我從最重要的細(xì)節(jié)開(kāi)始說(shuō)起：上傳遙測(cè)報(bào)告是完全自愿和選擇加入的：
圖片
除非你運(yùn)行一個(gè)顯式命令選擇加入數(shù)據(jù)收集，否則不會(huì)上傳任何數(shù)據(jù)。而且，這不是那種上傳你的全部活動(dòng)的詳細(xì)跟蹤的遙測(cè)系統(tǒng)。這種遙測(cè)也只適用于我們作為Go發(fā)行版的一部分分發(fā)的命令，比如gopls、go命令和編譯器(compiler)，它不會(huì)涉及你構(gòu)建的任何程序。
在我更詳細(xì)地描述完這個(gè)系統(tǒng)之后，我希望你會(huì)發(fā)現(xiàn)你會(huì)愿意選擇加入這個(gè)遙測(cè)系統(tǒng)。實(shí)際上，我們給自己設(shè)定的主要設(shè)計(jì)限制是，即使由其他人運(yùn)行，我們也愿意選擇加入該系統(tǒng)。
在我以2023年11月的錄制這個(gè)內(nèi)容時(shí)，該系統(tǒng)剛剛開(kāi)始運(yùn)行，只有少數(shù)人被要求在VSCode Go中選擇加入gopls遙測(cè)。所以總體來(lái)說(shuō)，你現(xiàn)在還不能選擇加入。但希望很快你就可以了。
在我們深入了解細(xì)節(jié)之前，遙測(cè)的動(dòng)機(jī)是它提供了與調(diào)查和代碼分析不同的信息。它主要提供的兩個(gè)類(lèi)別是使用信息(Usage Information)和故障信息(Breakage Information)。調(diào)查讓我們能夠詢(xún)問(wèn)關(guān)于Go使用的廣泛?jiǎn)栴}，但對(duì)于詳細(xì)的使用信息來(lái)說(shuō)并不好。那將是太多問(wèn)題，對(duì)于調(diào)查對(duì)象來(lái)說(shuō)，90%的問(wèn)題要回答"no"是一種浪費(fèi)時(shí)間。
圖片
這個(gè)幻燈片顯示了我們?cè)谥暗陌姹局芯孢^(guò)即將刪除的Go功能列表。列表中的最后一項(xiàng)，buildmode=shared，是我們?cè)噲D移除的功能，但在事先警告后，至少有一個(gè)用戶(hù)提出了異議，我們將其保留了下來(lái)。即便如此，buildmode=shared與Go module基本不兼容，所以它的使用可能非常有限。但我們沒(méi)有數(shù)據(jù)，所以它仍然存在于代碼庫(kù)中。遙測(cè)可以為我們提供基本的使用信息，以便我們可以基于數(shù)據(jù)而不是猜測(cè)做出這些決策。
另一個(gè)重要的類(lèi)別是故障信息：
如果Go工具鏈明顯有問(wèn)題，我們希望在GitHub上收到錯(cuò)誤報(bào)告。但是Go工具鏈也可能以用戶(hù)注意不到的微妙方式出現(xiàn)問(wèn)題。一個(gè)例子是，在macOS上的Go 1.14到Go 1.19的版本中，標(biāo)準(zhǔn)庫(kù)包的二進(jìn)制文件在預(yù)先構(gòu)建時(shí)使用了非默認(rèn)的編譯標(biāo)志，這是一個(gè)意外，這使得它們看起來(lái)像是過(guò)時(shí)了，Go命令在運(yùn)行時(shí)會(huì)重新編譯它們，這意味著如果你的程序?qū)肓薾et包，你需要安裝Xcode中的C編譯器來(lái)構(gòu)建程序。我們希望Go能夠自行構(gòu)建純Go程序，而無(wú)需其他工具鏈。因此，要求安裝Xcode是一個(gè)bug。但是我們沒(méi)有注意到這個(gè)問(wèn)題，也沒(méi)有用戶(hù)在GitHub上報(bào)告它。遇到這個(gè)問(wèn)題的人似乎只是安裝了Xcode并繼續(xù)進(jìn)行了工作。遙測(cè)可以提供基本的性能指標(biāo)，比如標(biāo)準(zhǔn)庫(kù)緩存命中率，這樣Go工具鏈的開(kāi)發(fā)人員即使用戶(hù)沒(méi)有意識(shí)到這個(gè)問(wèn)題，也能注意到這個(gè)問(wèn)題。
另一個(gè)例子是編譯器的內(nèi)部崩潰：
圖片
Go編譯器在程序的第一個(gè)錯(cuò)誤處不會(huì)停止。它會(huì)繼續(xù)進(jìn)行，盡可能多地查找和報(bào)告不同的錯(cuò)誤。但是有時(shí)，繼續(xù)分析已知錯(cuò)誤的程序會(huì)導(dǎo)致意外的panic。我們不希望向用戶(hù)顯示這樣的崩潰。相反，編譯器會(huì)從panic中恢復(fù)，并且僅報(bào)告已經(jīng)發(fā)現(xiàn)的錯(cuò)誤。這樣，Go用戶(hù)可以糾正這些錯(cuò)誤，這也可能糾正隱藏的panic。用戶(hù)的工作不會(huì)因?yàn)榭吹骄幾g器崩潰而中斷。這對(duì)用戶(hù)來(lái)說(shuō)是好的，但是Go工具鏈的開(kāi)發(fā)人員仍然希望了解這個(gè)崩潰并修復(fù)這個(gè)錯(cuò)誤。遙測(cè)可以確保即使用戶(hù)不知道這個(gè)錯(cuò)誤，但我們還能了解到這個(gè)錯(cuò)誤。
為了收集使用情況和故障信息，Go遙測(cè)設(shè)計(jì)記錄“計(jì)數(shù)器和崩潰”：
像go命令、Go編譯器或gopls這樣的Go工具鏈程序可以定義命名事件計(jì)數(shù)器，并在事件發(fā)生時(shí)遞增計(jì)數(shù)器。事件還可以按堆棧跟蹤單獨(dú)計(jì)數(shù)。這些計(jì)數(shù)器在本地的磁盤(pán)文件中維護(hù)，每次保留一周的時(shí)間。在幻燈片上，gopls和其他工具正在將計(jì)數(shù)器寫(xiě)入每周的文件中。
每周一次，Go工具鏈中的上傳程序(uploader)將從遙測(cè)服務(wù)器獲取一個(gè)“上傳配置”，其中列出了該周收集的特定事件名稱(chēng)。只有在遙測(cè)特定的提案審查過(guò)程達(dá)成共識(shí)后，才會(huì)更改該配置。該配置作為一個(gè)模塊(module)提供，以保護(hù)下載的完整性，并保留過(guò)去配置的公共記錄。然后，上傳程序僅上傳上傳配置中列出的計(jì)數(shù)器。在幻燈片上，上傳程序僅為gopls發(fā)送一份報(bào)告，僅包含少量計(jì)數(shù)器，即使磁盤(pán)上可能還有更多計(jì)數(shù)器。報(bào)告中包含關(guān)于使用gopls的編輯器的統(tǒng)計(jì)信息，以及關(guān)于完成請(qǐng)求的延遲的信息，還有一個(gè)發(fā)生了一次的gopls/bug事件，其中包含一個(gè)棧跟蹤。
請(qǐng)注意，上傳的數(shù)據(jù)中沒(méi)有事件跟蹤或任何用戶(hù)數(shù)據(jù)，只有計(jì)數(shù)器、已在公共上傳配置中列出的事件名稱(chēng)，以及Go工具鏈程序中的函數(shù)名稱(chēng)。還要注意，棧跟蹤不包括任何函數(shù)的參數(shù)，只有函數(shù)名稱(chēng)，因此沒(méi)有用戶(hù)數(shù)據(jù)。
開(kāi)源中的遙測(cè)可能會(huì)在擁有數(shù)據(jù)訪(fǎng)問(wèn)權(quán)限和沒(méi)有數(shù)據(jù)訪(fǎng)問(wèn)權(quán)限的人之間產(chǎn)生信息失衡。我們希望避免這種情況。請(qǐng)記住奧斯特豪特規(guī)則：為了達(dá)成共識(shí)，我們需要每個(gè)人擁有相同的信息。由于Go的遙測(cè)上傳不包含任何敏感數(shù)據(jù)，并且是在明確的選擇同意的情況下收集的，我們可以完整地重新發(fā)布這些報(bào)告，以便任何人都可以進(jìn)行任何數(shù)據(jù)分析。我們還將發(fā)布一些基本的圖表，用于做出決策。我們唯一可能看到但沒(méi)有重新發(fā)布的是報(bào)告來(lái)自哪些IP地址，我們的服務(wù)器會(huì)將這些信息與報(bào)告一起記錄。
一個(gè)明顯的問(wèn)題是，是否有足夠多的人選擇啟用遙測(cè)，以使數(shù)據(jù)足夠準(zhǔn)確以做出決策。幸運(yùn)的是，采樣的神奇之處在于可以幫助解決這個(gè)問(wèn)題。
圖片
全球大約有300w Go開(kāi)發(fā)者。當(dāng)系統(tǒng)準(zhǔn)備就緒并要求人們啟用遙測(cè)時(shí)，即使只有千分之一的開(kāi)發(fā)者選擇參與，也會(huì)有3000名開(kāi)發(fā)者，根據(jù)我們的圖表顯示，誤差不到3%，置信度為99%。如果全球三分之二的Go開(kāi)發(fā)者啟用了遙測(cè)，那將是20000個(gè)樣本，誤差不到1%，置信度為99%。除此之外，我們實(shí)際上不需要更多的樣本。如果我們持續(xù)獲得更多的報(bào)告，我們可以調(diào)整上傳配置，告訴系統(tǒng)在某個(gè)特定的周選擇隨機(jī)不上傳任何東西。例如，如果有20萬(wàn)個(gè)系統(tǒng)選擇了參與，我們可以告訴每個(gè)系統(tǒng)在任何給定的周上傳的概率為10%。因此，即使我們預(yù)計(jì)選擇參與率會(huì)很低，系統(tǒng)應(yīng)該能夠運(yùn)行得很好，隨著選擇參與率的提高，Go遙測(cè)將從任何給定系統(tǒng)收集更少的數(shù)據(jù)。當(dāng)然，這使得每個(gè)選擇參與的人對(duì)我們來(lái)說(shuō)更加重要。目前來(lái)說(shuō)，Go遙測(cè)對(duì)于你們中的任何人來(lái)說(shuō)都還沒(méi)有準(zhǔn)備好，但當(dāng)準(zhǔn)備好時(shí)，我希望你們會(huì)選擇參與。
在結(jié)束之前，我希望你們從演講中獲得以下幾點(diǎn)：
首先，Go需要不斷變化，特別是隨著計(jì)算世界的變化。
其次，任何改變的目標(biāo)都是為了使Go在軟件工程中變得更好，尤其是在規(guī)?；?scaling)方面。
第三，一旦我們確定了目標(biāo)，達(dá)成共識(shí)的下一個(gè)最重要的部分是擁有共享數(shù)據(jù)來(lái)做出決策。
第四，Go工具鏈遙測(cè)是增補(bǔ)我們現(xiàn)有調(diào)查和代碼分析數(shù)據(jù)的重要數(shù)據(jù)來(lái)源。
最后，在整個(gè)演講中，雖然涉及到了數(shù)據(jù)和適當(dāng)?shù)慕y(tǒng)計(jì)，但我們?cè)u(píng)估的想法、假設(shè)和潛在的變化始終始于個(gè)人故事和對(duì)話(huà)。我們喜歡聽(tīng)到這些故事，并與你們所有人討論如何使用Go，關(guān)于什么有效和什么無(wú)效。所以，請(qǐng)無(wú)論在什么情況下，無(wú)論是在會(huì)議上、郵件列表上還是在問(wèn)題跟蹤器上，請(qǐng)確保讓我們知道Go對(duì)你們的工作情況以及存在的問(wèn)題。我們總是很樂(lè)意聽(tīng)到這些。非常感謝。
新聞名稱(chēng)：Go未來(lái)演進(jìn)：基于共同目標(biāo)和數(shù)據(jù)驅(qū)動(dòng)的決策
鏈接URL：http://m.fisionsoft.com.cn/article/djiopgg.html
