怎麼看待程式語言Go中的併發程式bug(concurrency bug)?

時間 2021-06-03 11:12:45

1樓:慕尼黑1921

以下內容,純屬胡扯,如有雷同,概不負責。

一百多年前,放射光線的謎霧籠罩歐洲物理學的上空。一百多年後,併發程式的bug的迷霧籠罩著軟體測試行。

一百多年前,在眾多科學家的努力下,鈾和放射光線有了不可避免地關係。一百多年後,在眾多科學家地努力下,data race被認為是併發漏洞地主要原因。

一百多年前,居里夫人在鈾堆中發現了不同於鈾地放射性質。一百多年後,Doctor Song 在設計之初就希望避免data race地go語言地應用程式中發現了很多併發漏洞。

在我心中,go語言中地併發漏洞就像釙像鐳像唯一的神話。

希望Doc Song 向偉大地居里夫人地方向不斷前進。加油,OHYEAH

2樓:Shisoft

這個和語言無關,任何併發程式都要在開發的時候在使用的語言和工具的前提下考慮清楚並解決所有安全問題,如果不知道就要用 model checking 之類的工具來做。

Go 只是提供了一種比較方便的模型而已,並不是解決併發安全和效能問題的 silver bullet。

你是怎麼看待程式語言是一種工具這句話的?

ydc 數學家抽象推理,設計演算法。工程師正確實現演算法並提供介面。對具體程式語言的依賴依次遞增。這不是什麼壞事,而是合理分工。所以對數學家,程式語言最多是輔助思考的工具,一般他們用筆。對工程師,是一種實現演算法的改bug遊戲。對碼農來說,是大的娛樂生態圈。 首先要定義工具。假如工具定義為 只要演算...

怎麼看待人的語言能力?

在人的各種智力中,語言智力被列為第一種智力。語商 LQ 是指乙個人學習 認識和掌握運用語言能力的商數。指乙個人語言的思辨能力 說話的表達能力和在語言交流中的應變能力。語言在人的一生都佔據著重要地位,是人們發展智力和社交能力的核心因素。語言能力並不是與生俱來的,而是人們通過後天學習獲得的技能。關鍵是後...

怎麼看待三體裡的維德和程心?

皮皮 仔細對比就會發現維德和史強兩個人物有重疊的部分,甚至個性上都有點雷同。觀察入微 想象大膽 劍走偏鋒 不擇手段。史強在1和2裡面都充當揭露事態變化並且改變主角命運的人,只可惜他只是個警察,如果在3裡面也繼續這樣就有點突兀了,所以就出現了同樣叼著雪茄什麼事情都敢想敢幹的維德。看到這裡,我彷彿看見維...