內(nèi)存安全編程語言可以幫助解決特定的問題,并降低內(nèi)存相關(guān)錯誤的可能性,但它們不是包羅萬象的。在一種內(nèi)存安全的語言中,你仍然可能會遇到內(nèi)存問題和錯誤。所以內(nèi)存安全語言是嵌入式開發(fā)人員可以用來解決問題的另一個工具。
嵌入式C語言編程規(guī)范和內(nèi)存管理技巧。嵌入式系統(tǒng)開發(fā)中,由于單片機的堆棧空間較小,局部變量和動態(tài)分配變量容易導致內(nèi)存溢出,因此需要在編譯期準確計算內(nèi)存占用量,并進行相應的堆??臻g大小修改。剛好我總結(jié)了一些嵌入式資料放在文章結(jié)尾,為避免這種情況的發(fā)生,全局變量是一種更好的選擇,因為可以在編譯期準確計算內(nèi)存占用量,從而避免內(nèi)存溢出。在嵌入式C語言編程中,模塊化編程是一種重要的方法。
雖然人們普遍對遷移到Rust這樣的語言感到興奮和感興趣,但在嵌入式領域,仍然存在許多挑戰(zhàn),例如:
l 培訓工程師并讓他們快速掌握一門新語言所需的時間和成本
l 如何處理遺留代碼以及遷移現(xiàn)有代碼的時間和成本
l 現(xiàn)有供應商工具鏈中的語言支持
如果開發(fā)人員注意他們正在做的事情并遵循行業(yè)最佳實踐和過程,內(nèi)存安全語言幫助開發(fā)人員避免的許多錯誤也可以通過使用C/C++來避免。讓我們研究五種可以幫助開發(fā)人員提高內(nèi)存安全性的C++技術(shù)。
技巧1——智能指針
內(nèi)存問題的一個重要原因是原始指針的使用。嵌入式開發(fā)人員都熟悉指針的使用。你可以使用它們來指向外圍存儲器和寄存器,高效地將數(shù)據(jù)傳遞給函數(shù),等等。C和早期版本的C++中的原始指針的問題是開發(fā)人員可以隨心所欲地做他們想做的事情。在許多情況下,會出現(xiàn)內(nèi)存泄漏、訪問范圍外的變量等問題。
在現(xiàn)代C++中,開發(fā)人員可以利用智能指針,包括:
l auto_ptr (在C++11中不推薦使用)
l unique_ptr
l shared_ptr
l weak_ptr
我們可以通過討論這項工作如何超出我們的范圍來討論一般概念。
你通??梢詫⒅悄苤羔樢暈榘b在類中的原始指針。智能指針有幾個用途。首先,unique_ptr可用于確保當指針超出范圍時,發(fā)生的任何內(nèi)存分配也被釋放。使用原始指針并不能保證這種可能導致內(nèi)存泄漏的行為。接下來,智能指針還要有主人翁意識。例如,unique_ptr防止復制其包含的指針。只允許基礎指針的一個所有者。如果另一個對象想要使用unique_ptr指向的資源,可以使用move語義來轉(zhuǎn)移所有權(quán)。
使用C++的嵌入式開發(fā)人員應該避免像在C中那樣使用原始指針,相反,智能指針是一種更好的做法,有助于防止導致錯誤和安全漏洞的常見內(nèi)存問題。
技巧2——避免使用動態(tài)內(nèi)存和堆
幾十年來,避免動態(tài)內(nèi)存和堆一直是基于微控制器的嵌入式系統(tǒng)的標準最佳實踐。當然,使用它們是可能的,我有時這樣做是為了證明一個觀點,但是也有可能引入與內(nèi)存相關(guān)的錯誤,比如內(nèi)存泄漏、碎片和其他潛在的問題。
使用C++的嵌入式開發(fā)人員可以通過避免動態(tài)內(nèi)存和堆來提高避免內(nèi)存問題的機會。有幾種不同的方法可以做到這一點。首先,開發(fā)者應該避免在嵌入式系統(tǒng)中使用標準模板庫(STL)。一般來說,STL使用了大量的動態(tài)內(nèi)存分配。接下來,開發(fā)人員可以禁用運行時類型信息(RTTI)。最后,禁用異常是另一種選擇。異常的內(nèi)存是以未指定的方式分配的,在大多數(shù)實現(xiàn)中是使用堆。
避免內(nèi)存分配并使用堆可以立即消除內(nèi)存泄漏、內(nèi)存不足錯誤、堆碎片等問題。
技術(shù) 3–RAII
很容易概括地說,嵌入式開發(fā)人員不應該使用動態(tài)內(nèi)存或堆。不過,最佳實踐是一種概括,有時你可能會發(fā)現(xiàn)自己處于必須這樣做的情況。例如,當必須使用動態(tài)內(nèi)存和堆時,開發(fā)人員可以通過遵循資源獲取初始化(RAII)技術(shù)來避免內(nèi)存問題。
RAII是一種技術(shù),嵌入式開發(fā)人員將對象的生命周期與其自己的資源聯(lián)系起來。這個想法很簡單。如果應用程序獲取一個資源,一個對象應該與該資源相關(guān)聯(lián),該資源調(diào)用一個初始化該資源的構(gòu)造函數(shù)。該對象在其生存期內(nèi)擁有該資源。當對象超出范圍時,析構(gòu)函數(shù)被執(zhí)行,資源和所有分配的內(nèi)存被釋放。
要考慮的其他技術(shù)
首先,熟悉一下零規(guī)則、五規(guī)則和三規(guī)則。當設計一個類時,這些規(guī)則有助于決定何時應該創(chuàng)建用戶定義的復制構(gòu)造函數(shù)、復制賦值操作符、析構(gòu)函數(shù)、移動構(gòu)造函數(shù)和移動操作符。
其次,使用靜態(tài)分析工具來查找內(nèi)存泄漏、線程問題、bug和其他潛在問題。同樣,許多靜態(tài)分析工具已經(jīng)存在,比如clang、cppcheck、valgrind和商業(yè)工具。
接下來,熟悉現(xiàn)代C++。C++語言中有很多特性,但是實際上一個嵌入式開發(fā)者只需要其中的一小部分。你可以識別出符合你需求的子集,并拋棄其他所有東西。我知道我做過,我也用c做了同樣的事情。我們的目標不是使用每種語言的特性,而是使用語言中的工具來幫助你編寫健壯的實時嵌入式軟件。
最后,關(guān)注對C++標準所做的更改。C++每三年更新一次。語言在不斷發(fā)展,新的工具也在不斷增加。安全性和內(nèi)存安全是至關(guān)重要的,我們很可能會在未來看到語言在這方面的許多改進。
結(jié)論
C++不是內(nèi)存安全的語言;然而,許多特性和技術(shù)可以用來編寫內(nèi)存安全的代碼。最終,無論你是否使用內(nèi)存安全語言,嵌入式開發(fā)人員都需要考慮他們正在做什么,以及它如何影響內(nèi)存。