定律-或稱法則,可以指導我們並讓我們在同伴的錯誤中學習。這篇文章中,我將介紹我每次設計或實現軟體時出現在我腦海的五大定律。其中有些和開發有關,有些和系統組織有關。它們可以幫助你成為合格的軟體工程師。
墨菲定律
凡事可能出錯,就一定出錯。”
這條定律來源於 Edward Murphy —— 一名航天工程師在 50 年代初對火箭測試失敗的回應。這條定律給我們的啟示是永遠在系統關鍵地方使用防禦性設計,因為系統某些地方總會出錯!
這條定律很容易引入軟體工程領域。當你將軟體暴露給終端使用者,他們會創造性地輸入一些出人意料的內容,使系統宕機。所以你需要讓你的軟體足夠健壯,能夠檢測並警告非預期行為。
當你在機器上執行軟體時,任何地方都有可能發生問題 —— 從硬碟上的系統到資料中心的電力供應。所以你必須確保你設計的架構在每個層級都可以應對故障。
我曾經有機會領略過幾次墨菲定律。 舉個例子,我曾經在一個批處理框架中使用字串“null”來表示空值,我並不認為這有問題,直到有個名字叫“Null”的使用者提交了一個交易訂單,我們的報表流程中斷了幾個小時…… 還有一次,在另一個專案中。當所有東西都準備好部署到生產環境了,突然 Azure 基礎設施故障導致我們執行自動化指令碼的伺服器宕機了。
現實世界中的經驗教訓提醒著我生活的艱難 —— “凡事可能出錯,就一定出錯”。 所以,心中牢記墨菲定律,設計健壯的軟體。
Knuth定律
“在(至少大部分)程式設計中,過早最佳化是萬惡之源。”
這條定律也是 Donald Knuth 的經典語錄之一,它告誡我們不要過早最佳化應用程式中的程式碼,直到必須最佳化時再最佳化。
的確,簡單易讀的原始碼可以滿足 99% 的效能需要,並能提高應用的可維護性。最開始使用簡單的解決方案也讓後期效能出現問題時更容易迭代和改進。
垃圾自動回收的程式語言中,字串的連線常常是過早最佳化的例子。在 Java 或 C# 中,String 物件是不可變的,我們學會使用其他結構動態建立字串,比如 StringBuilder。但事實上直到你分析完個應用程式前,你並不知道 String 物件建立了多少次並對效能的產生多大影響。所以首先編寫儘可能整潔的程式碼,之後在必須的時候再最佳化,往往這樣做更有意義。
然而,這條規則並不應該阻止你去學習程式語言的效能權衡和正確的資料結構。並且,正如所有其他效能問題,你在最佳化前要測量開銷。
North定律
“每一個決定都是一次權衡”
好吧,我承認這是取自 Dan North 的演講 Decisions,Decisions,它目前還不是公認的定律。 但這條語錄影響了我做的每個決定,所以我把它放在這。
開發者日復一日的生活中,我們每天都做無數個大大小小的決定。從命名變數到自動化(手動)任務,再到定義平臺架構。
這條語錄強調無論你做的選擇是什麼,你總會放棄一個或多個選項
但這不是最重要的。 最重要的是理智地做出決定,瞭解其他選項,清楚你為什麼不選擇它們。你要始終根據當前你掌握的資訊來權衡並做出決定。
但是如果後來你瞭解到新的資訊,並發現之前的決定是錯誤的,這也沒關係。關鍵是記清楚你為什麼做出那個決定,重新評估新的選項之後再做出新的理智的決定。
重複一遍
“每一個決定都是一次權衡”
所以,做出選擇並對所有選項心知肚明。
Conway定律
“系統設計的架構受限於生產設計,反映出公司組織的溝通架構”
在 60 年代,一位名叫 Melvin Conway 的工程師注意到公司組織結構影響到他們開發的系統的設計。他用一篇論文描述了這個觀點,並命名為“Conway定律”。
這條定律很適用於軟體開發領域,甚至體現到程式碼層面上。交付軟體元件的各個團隊組織結構直接影響到元件的設計。
舉個例子,一個集中式的開發者團隊會開發出各元件耦合的整體應用。另一方面,分散式的團隊會開發出單獨的(微)服務,每一部分關注點分離清晰。
這些設計沒有好壞之分,但它們都是受到團隊溝通方式的影響。在全球有大量獨立開發者的開源專案,通常是模組化和可重用庫,這就是很有說服力的例子。
如今,將大的整合應用解耦成微服務已成趨勢。這很棒,因為這可以加速交付使用專案。但你也應該牢記 Conway定律,在公司組織構建中投入與技術開發同樣多的工作。
瑣碎定律(帕金森瑣碎定律)
“組織成員投入大量精力到瑣碎的事情上。”
這條定律論點是在會議中花費的時間與事情的價值成反比。的確是這樣,人們更願意把注意力和觀點放在他們熟悉的事物上,而不是複雜的問題上。
帕金森給出一個例子,一場會議中,成員們討論兩件事:為公司建核反應堆和為員工建車棚。建反應堆是一件巨大而複雜的任務,沒有人能完全掌控全域性。他們完全信賴流程和系統專家,並很快接受了專案。
另一邊,建車棚是一般人都可以做的,每個人都可以對顏色有意見。事實上,每個會議成員都會表達自己的意見,使得建車棚的決議所花費的時間遠遠超過建反應堆的。
這條定律在軟體行業十分出名,這個故事隨後也被稱為車棚效應
舉個例子,開發者會花費更多時間到討論正確縮排或函式命名,而不是討論類的職責或應用架構。這是因為每個人都能認知幾個字元的變動,但專案架構的變動則需要巨大的認知負載
你能注意到的車棚效應的另一個例子是 Scrum 演示。不要誤會我,我喜歡演示,我認為這是一個很好的機會來面對使用者並獲得對應用程式的反饋。但通常 Scrum 演示過程中的討論會轉向瑣碎問題,而不是審視全域性。這些討論也很重要,但你應該注意權衡更重要更復雜的問題。
一旦你瞭解這種規律,你將在會議和交流中發覺這種行為。 我並不是讓你在每次討論中避免“小”問題,提高你的意識可以幫助你關注真正的問題,併為這些會議做好準備。
結論
這五條定律只是我們行業中總結出的教訓中一些例子。
隨著軟體開發經驗的增長,我們將會學會更多。