chinese直男口爆体育生外卖, 99久久er热在这里只有精品99, 又色又爽又黄18禁美女裸身无遮挡, gogogo高清免费观看日本电视,私密按摩师高清版在线,人妻视频毛茸茸,91论坛 兴趣闲谈,欧美 亚洲 精品 8区,国产精品久久久久精品免费

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

克服多核系統(tǒng)中的并發(fā)錯(cuò)誤

星星科技指導(dǎo)員 ? 來(lái)源:嵌入式計(jì)算設(shè)計(jì) ? 作者:Paul Anderson ? 2022-07-04 15:06 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

由于多核架構(gòu)的復(fù)雜性、并行性,并發(fā)性挑戰(zhàn)更加復(fù)雜。新的驗(yàn)證技術(shù)可以幫助捕捉騙局。。.

多核處理器改變了游戲規(guī)則。我們只需要看看我們的智能手機(jī)就能看到它們卓越的處理能力的影響。在多核之前,處理器性能每年翻一番。隨著半導(dǎo)體技術(shù)的進(jìn)步,芯片上的晶體管數(shù)量從 1990 年的 100 萬(wàn)個(gè)增加到今天的 10 億個(gè)以上。隨著小型化的極限越來(lái)越近,業(yè)界轉(zhuǎn)向多核設(shè)計(jì)以保持性能改進(jìn)的步伐,因此現(xiàn)在四核處理器已司空見(jiàn)慣。通過(guò)并行處理器內(nèi)核倍增處理能力的能力可實(shí)現(xiàn)非凡的性能。

并發(fā)不是一個(gè)新話題,但它在多核平臺(tái)中呈現(xiàn)出一個(gè)新的維度。軟件開(kāi)發(fā)人員已經(jīng)習(xí)慣于從單個(gè)處理器內(nèi)的任務(wù)調(diào)度和上下文切換的角度來(lái)考慮并發(fā)性。然而,對(duì)于多個(gè)處理器內(nèi)核,真正的并行性開(kāi)始發(fā)揮作用:每個(gè)線程中的指令流在每個(gè)內(nèi)核上并行執(zhí)行。線程之間的通信通常使用共享內(nèi)存來(lái)實(shí)現(xiàn),并且對(duì)共享資源的訪問(wèn)同步通常是復(fù)雜性的最大來(lái)源,如果操作不正確,則是導(dǎo)致錯(cuò)誤的主要原因。

編寫一個(gè)正確的并發(fā)程序是出了名的困難,而多核架構(gòu)使它變得更加困難。由于增加了復(fù)雜性,多核平臺(tái)加劇了并發(fā)錯(cuò)誤的影響,使它們特別有害。這些錯(cuò)誤,包括競(jìng)爭(zhēng)條件、死鎖、活鎖和資源匱乏,當(dāng)它們出現(xiàn)時(shí)很難發(fā)現(xiàn),甚至更難以診斷。在單處理器上無(wú)錯(cuò)誤運(yùn)行的程序可能會(huì)出現(xiàn)潛在錯(cuò)誤,例如多核系統(tǒng)上的死鎖。并發(fā)錯(cuò)誤可能會(huì)出現(xiàn)異常癥狀,這些癥狀在觸發(fā)它們的初始事件很久之后就會(huì)出現(xiàn),并且通常難以重現(xiàn)。因?yàn)樵跍y(cè)試過(guò)程中很難找到這樣的錯(cuò)誤,多核系統(tǒng)需要一種新的驗(yàn)證方法,專門解決并發(fā)錯(cuò)誤。到目前為止,降低這些錯(cuò)誤風(fēng)險(xiǎn)的最有效方法是采用多方面的方法,包括同行代碼審查、測(cè)試,最重要的是,高級(jí)靜態(tài)分析結(jié)合了復(fù)雜的并發(fā)模型。

編程語(yǔ)言支持

釋放多核系統(tǒng)的全部性能潛力需要先進(jìn)的編程技術(shù)。由于大多數(shù)嵌入式開(kāi)發(fā)人員對(duì)多核編程比較陌生,因此引入并發(fā)錯(cuò)誤的風(fēng)險(xiǎn)非常大。今天,C 和 C++ 仍然是嵌入式系統(tǒng)最流行的編程語(yǔ)言。然而,這些語(yǔ)言的根本弱點(diǎn)之一是它們不是為并發(fā)而設(shè)計(jì)的。最新版本 C11 和 C++11 引入了對(duì)多線程的標(biāo)準(zhǔn)化支持。添加了三個(gè)特性來(lái)解決并發(fā)問(wèn)題:定義多線程程序行為的內(nèi)存模型;可以被并發(fā)線程安全訪問(wèn)的原子數(shù)據(jù)類型;以及幾個(gè)同步原語(yǔ),例如鎖和條件變量。盡管有這些改進(jìn),

與此同時(shí),Java 越來(lái)越受到嵌入式開(kāi)發(fā)人員的歡迎,如今有 28% 的人使用它,它現(xiàn)在是嵌入式系統(tǒng)第三流行的語(yǔ)言。與 C 和 C++ 相比,Java 始終在編程語(yǔ)言語(yǔ)法、源編譯器和標(biāo)準(zhǔn)庫(kù)中內(nèi)置了對(duì)多線程的支持。此外,Java 5 添加了 java.util.concurrent 庫(kù),該庫(kù)在 Java 6 和 Java 7 中進(jìn)行了擴(kuò)展,為并發(fā)和并行編程提供了廣泛的支持。

許多嵌入式設(shè)計(jì)使用 C 或 C++ 和 Java 的組合。例如,Java 在汽車應(yīng)用程序中非常流行,因?yàn)樗鼮橛|摸屏顯示器或娛樂(lè)系統(tǒng)的用戶界面編程提供了一種簡(jiǎn)單的方法。此類應(yīng)用程序可能有許多層,其中包含用 C 編寫的安全關(guān)鍵代碼,與運(yùn)行在用戶界面上的非安全關(guān)鍵 Java 代碼進(jìn)行通信。

靜態(tài)分析工具

多核平臺(tái)并發(fā)程序的最大挑戰(zhàn)可能是無(wú)法保證能找到所有并發(fā)錯(cuò)誤。實(shí)時(shí)執(zhí)行指令的相對(duì)順序是多線程程序中缺陷的主要來(lái)源。當(dāng)多個(gè)線程運(yùn)行時(shí),它們的指令執(zhí)行的相對(duì)順序取決于同時(shí)處于活動(dòng)狀態(tài)的其他線程。如果錯(cuò)誤是通過(guò)編程錯(cuò)誤引入的,非確定性交錯(cuò)可能會(huì)導(dǎo)致不可預(yù)知的結(jié)果。隨著指令數(shù)量的增加,可能的交錯(cuò)數(shù)量會(huì)大大增加,這種現(xiàn)象稱為組合爆炸。即使是最小的線程也有許多可能的交錯(cuò)?,F(xiàn)實(shí)世界的并發(fā)程序具有天文數(shù)字的合法交錯(cuò),所以測(cè)試每一個(gè)交織是不可行的。同樣,不可能使用同行代碼審查或演練來(lái)探索每條潛在的執(zhí)行路徑。這是高級(jí)靜態(tài)分析工具擅長(zhǎng)的地方。

高級(jí)靜態(tài)分析工具使用符號(hào)執(zhí)行引擎來(lái)識(shí)別程序中的潛在問(wèn)題,而無(wú)需實(shí)際運(yùn)行程序。它們的工作方式與編譯器非常相似,將源代碼作為輸入,然后對(duì)其進(jìn)行解析并將其轉(zhuǎn)換為中間表示 (IR)。編譯器會(huì)使用 IR 來(lái)生成目標(biāo)代碼,而靜態(tài)分析工具會(huì)保留 IR,也稱為模型。檢查器通過(guò)遍歷或查詢模型,對(duì)代碼進(jìn)行分析以查找常見(jiàn)缺陷、違反策略等,尋找指示缺陷的特定屬性或模式。復(fù)雜的符號(hào)執(zhí)行技術(shù)通過(guò)控制流圖探索路徑,控制流圖是一種數(shù)據(jù)結(jié)構(gòu),表示語(yǔ)句在程序中執(zhí)行的順序。算法跟蹤程序的抽象狀態(tài),并知道如何使用該狀態(tài)來(lái)排除對(duì)不可行路徑的考慮。模型的深度決定了工具的有效性。該深度基于內(nèi)置了多少程序行為知識(shí),一次可以考慮多少程序,以及它反映實(shí)際程序行為的準(zhǔn)確程度。

許多開(kāi)發(fā)人員利用流行的開(kāi)源工具來(lái)查找 Java 中的錯(cuò)誤,包括 FindBugs、PMD 和 CheckStyle。其中最廣泛使用的 FindBugs 使用靜態(tài)分析來(lái)識(shí)別 Java 程序中數(shù)百種不同類型的潛在錯(cuò)誤。FindBugs 對(duì) Java 字節(jié)碼(Java 虛擬機(jī)執(zhí)行的指令形式)進(jìn)行操作。PMD 和 CheckStyle 檢查源代碼是否符合編碼標(biāo)準(zhǔn)并檢測(cè)不良做法。

這些工具中的每一個(gè)都有其優(yōu)勢(shì)。一般來(lái)說(shuō),靜態(tài)分析工具的一個(gè)重要優(yōu)勢(shì)是它們可以在開(kāi)發(fā)早期使用,甚至在測(cè)試開(kāi)始之前就可以發(fā)現(xiàn)錯(cuò)誤。可用于 Java 的大多數(shù)靜態(tài)分析工具都是通用的,可以捕獲一系列表面問(wèn)題。

與這些開(kāi)源工具相比,有一些商業(yè)產(chǎn)品專門用于非常精確地識(shí)別 Java、C 或 C++ 中的并發(fā)問(wèn)題。這些工具包含非常深的模型,使他們能夠發(fā)現(xiàn)其他工具經(jīng)常遺漏的并發(fā)問(wèn)題。這些高級(jí)靜態(tài)分析工具中的一些最有效的工具是基于對(duì)軟件并發(fā)行為的前沿學(xué)術(shù)研究。它們通過(guò)整個(gè)程序過(guò)程間分析提供 C 和 C++ 源代碼的高級(jí)靜態(tài)分析,通常可以處理多達(dá) 1000 萬(wàn)行代碼的程序。除了查找競(jìng)爭(zhēng)條件和死鎖之外,Java 的一種商業(yè)工具還可以識(shí)別由于錯(cuò)誤使用 java.util.concurrent 提供的并發(fā)集合庫(kù)而導(dǎo)致的不可預(yù)測(cè)的結(jié)果。在協(xié)調(diào)對(duì)共享的非并發(fā)集合的訪問(wèn)時(shí),它會(huì)檢測(cè)到錯(cuò)誤的錯(cuò)誤處理或不正確的同步。此外,它還可以幫助診斷由錯(cuò)誤的 API 使用、冗余同步和不必要地使用共享可變狀態(tài)引起的性能瓶頸。

由于許多項(xiàng)目將包括 Java 和 C 或 C++,因此團(tuán)隊(duì)會(huì)發(fā)現(xiàn)在集成開(kāi)發(fā)環(huán)境 (IDE) 中使用工具更容易、更高效。有一些工具套件可用于嵌入式和托管平臺(tái)。商業(yè)版本為程序分析、程序檢查、程序理解和架構(gòu)可視化提供自動(dòng)化工作流程和強(qiáng)大工具。使用帶有目標(biāo)高級(jí)靜態(tài)分析工具的 IDE 使開(kāi)發(fā)人員能夠發(fā)現(xiàn)現(xiàn)有并發(fā)代碼的基本設(shè)計(jì)意圖,并識(shí)別新代碼何時(shí)偏離該設(shè)計(jì)。它在首次引入新的并發(fā)缺陷時(shí)提供預(yù)警,并使用尖端技術(shù)幫助開(kāi)發(fā)人員識(shí)別和理解它們。

有效的多核系統(tǒng)設(shè)計(jì)

為多核平臺(tái)開(kāi)發(fā)嵌入式應(yīng)用程序需要一種新方法。需要先進(jìn)的編程技術(shù)來(lái)利用并行處理內(nèi)核??绮⑿刑幚砥鞯某绦蚓€程交錯(cuò)創(chuàng)建了天文數(shù)字的潛在執(zhí)行路徑。這使得不可能測(cè)試或?qū)彶槊恳粋€(gè)可能的場(chǎng)景。靜態(tài)分析提供了唯一可行的方法來(lái)探索高度并發(fā)系統(tǒng)中軟件錯(cuò)誤的所有可能代碼路徑。當(dāng)與其他代碼質(zhì)量實(shí)踐(例如代碼審查和集成測(cè)試)結(jié)合使用時(shí),高級(jí)靜態(tài)分析工具可以顯著降低由于未發(fā)現(xiàn)的并發(fā)錯(cuò)誤而導(dǎo)致的現(xiàn)場(chǎng)故障風(fēng)險(xiǎn)。

審核編輯:郭婷

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • 嵌入式
    +關(guān)注

    關(guān)注

    5175

    文章

    19983

    瀏覽量

    324513
  • JAVA
    +關(guān)注

    關(guān)注

    20

    文章

    2992

    瀏覽量

    114856
  • C++
    C++
    +關(guān)注

    關(guān)注

    22

    文章

    2120

    瀏覽量

    76468
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評(píng)論

    相關(guān)推薦
    熱點(diǎn)推薦

    Nginx高并發(fā)優(yōu)化方案

    作為一名在生產(chǎn)環(huán)境摸爬滾打多年的運(yùn)維工程師,我見(jiàn)過(guò)太多因?yàn)镹ginx配置不當(dāng)導(dǎo)致的性能瓶頸。今天分享一套完整的Nginx高并發(fā)優(yōu)化方案,幫助你的系統(tǒng)從10萬(wàn)QPS突破到百萬(wàn)級(jí)別。
    的頭像 發(fā)表于 08-13 15:51 ?508次閱讀

    【老法師】多核異構(gòu)處理器M核程序的啟動(dòng)、編寫和仿真

    有很多研究單片機(jī)的小伙伴在面對(duì)多核異構(gòu)處理器時(shí),可能會(huì)對(duì)多核的啟動(dòng)流程感到困惑——因?yàn)椴皇煜CC編程和GDB調(diào)試,所以也無(wú)法確定多核異構(gòu)處理器的程序是否能像單片機(jī)那樣方便地編寫和仿真。本篇
    的頭像 發(fā)表于 08-13 09:05 ?3375次閱讀
    【老法師】<b class='flag-5'>多核</b>異構(gòu)處理器<b class='flag-5'>中</b>M核程序的啟動(dòng)、編寫和仿真

    電商API常見(jiàn)錯(cuò)誤排查指南:避免集成陷阱

    ? 在電商平臺(tái)開(kāi)發(fā),API集成是連接系統(tǒng)、實(shí)現(xiàn)數(shù)據(jù)交換的核心環(huán)節(jié)。然而,許多開(kāi)發(fā)者在集成過(guò)程中常遇到錯(cuò)誤,導(dǎo)致項(xiàng)目延遲、數(shù)據(jù)丟失或用戶體驗(yàn)下降。本文將逐步介紹常見(jiàn)錯(cuò)誤類型、排查方法以
    的頭像 發(fā)表于 07-11 14:21 ?1485次閱讀
    電商API常見(jiàn)<b class='flag-5'>錯(cuò)誤</b>排查指南:避免集成陷阱

    第三屆大會(huì)回顧第3期 | FFRT并發(fā)框架在OpenHarmony的設(shè)計(jì)與實(shí)踐

    ,特別是在多核處理器上,可以顯著提高程序的運(yùn)行速度和整體性能,從而改善用戶體驗(yàn)。OpenHarmony的FFRT并發(fā)編程模型為開(kāi)發(fā)者提供了構(gòu)建異步并發(fā)任務(wù)的能力,以更高效地開(kāi)發(fā)和管理并發(fā)
    的頭像 發(fā)表于 06-21 16:53 ?741次閱讀
    第三屆大會(huì)回顧第3期 | FFRT<b class='flag-5'>并發(fā)</b>框架在OpenHarmony<b class='flag-5'>中</b>的設(shè)計(jì)與實(shí)踐

    鴻蒙5開(kāi)發(fā)寶藏案例分享---應(yīng)用并發(fā)設(shè)計(jì)

    ?** 鴻蒙并發(fā)編程實(shí)戰(zhàn)指南:解鎖ArkTS多線程黑科技** 嘿,開(kāi)發(fā)者朋友們! 今天給大家扒一扒鴻蒙官方文檔里藏著的并發(fā)編程寶藏—— 100+實(shí)戰(zhàn)場(chǎng)景解決方案 !從金融理財(cái)?shù)接螒蜷_(kāi)發(fā),從折疊屏適配
    發(fā)表于 06-12 16:19

    原理圖和PCB設(shè)計(jì)的常見(jiàn)錯(cuò)誤

    在電子設(shè)計(jì)領(lǐng)域,原理圖和PCB設(shè)計(jì)是產(chǎn)品開(kāi)發(fā)的基石,但設(shè)計(jì)過(guò)程難免遇到各種問(wèn)題,若不及時(shí)排查可能影響電路板的性能及可靠性,本文將列出原理圖和PCB設(shè)計(jì)的常見(jiàn)錯(cuò)誤,整理成一份實(shí)用的速查清單,以供參考。
    的頭像 發(fā)表于 05-15 14:34 ?710次閱讀

    TurMass? 如何幫助解決 UWB 定位系統(tǒng)大規(guī)模終端標(biāo)簽高并發(fā)通信沖突問(wèn)題?

    在大容量定位終端數(shù)據(jù)高并發(fā)場(chǎng)景,現(xiàn)有通信技術(shù)因信號(hào)沖突、系統(tǒng)容量受限等問(wèn)題,難以滿足需求。TurMass? 通信技術(shù)通過(guò)多信道設(shè)計(jì)、時(shí)隙劃分、定位與通信一體化等創(chuàng)新方案,有效解決了高并發(fā)
    的頭像 發(fā)表于 03-17 14:38 ?627次閱讀
    TurMass? 如何幫助解決 UWB 定位<b class='flag-5'>系統(tǒng)</b>大規(guī)模終端標(biāo)簽高<b class='flag-5'>并發(fā)</b>通信沖突問(wèn)題?

    RK3568驅(qū)動(dòng)指南|第三篇-并發(fā)與競(jìng)爭(zhēng)-第19章 并發(fā)與競(jìng)爭(zhēng)實(shí)驗(yàn)

    RK3568驅(qū)動(dòng)指南|第三篇-并發(fā)與競(jìng)爭(zhēng)-第19章 并發(fā)與競(jìng)爭(zhēng)實(shí)驗(yàn)
    的頭像 發(fā)表于 02-24 16:26 ?756次閱讀
    RK3568驅(qū)動(dòng)指南|第三篇-<b class='flag-5'>并發(fā)</b>與競(jìng)爭(zhēng)-第19章 <b class='flag-5'>并發(fā)</b>與競(jìng)爭(zhēng)實(shí)驗(yàn)

    GPIO錯(cuò)誤排查與解決

    在嵌入式系統(tǒng)和微控制器編程,通用輸入輸出(GPIO)是最常見(jiàn)的接口之一。然而,在使用GPIO時(shí),我們可能會(huì)遇到各種錯(cuò)誤。 1. 理解GPIO GPIO是微控制器上的一組引腳,可以被配置為輸入或輸出
    的頭像 發(fā)表于 01-09 09:46 ?3298次閱讀

    RTOS錯(cuò)誤檢查機(jī)制

    在嵌入式應(yīng)用,有可能發(fā)生各種各樣的錯(cuò)誤,系統(tǒng)必須能夠檢測(cè)到這些錯(cuò)誤并作出適當(dāng)?shù)捻憫?yīng)。RTOS通常內(nèi)置了一些錯(cuò)誤檢查功能,用于檢測(cè)
    的頭像 發(fā)表于 01-03 14:44 ?925次閱讀

    EEPROM編程常見(jiàn)錯(cuò)誤及解決方案

    、電流過(guò)大或?qū)懭霑r(shí)序不正確等原因而損壞或不完整。 數(shù)據(jù)讀取錯(cuò)誤 : 讀取EEPROM時(shí),可能會(huì)因?yàn)樾酒瑪嗦?、短路或?nèi)部擊穿等問(wèn)題導(dǎo)致數(shù)據(jù)讀取失敗或讀取到錯(cuò)誤的數(shù)據(jù)。 位翻轉(zhuǎn)錯(cuò)誤 : 存儲(chǔ)單元
    的頭像 發(fā)表于 12-16 17:08 ?6038次閱讀

    常見(jiàn)的GND連接錯(cuò)誤及解決方案

    PCB設(shè)計(jì),如果GND網(wǎng)絡(luò)沒(méi)有正確連接,系統(tǒng)會(huì)提示“GND網(wǎng)絡(luò)未連接”的錯(cuò)誤。這可能是由于設(shè)計(jì)疏忽、布線錯(cuò)誤或軟件設(shè)置問(wèn)題導(dǎo)致的。 解決方案 : 檢查布線 :使用專業(yè)的PCB設(shè)計(jì)軟件
    的頭像 發(fā)表于 11-29 16:02 ?7880次閱讀

    SQL錯(cuò)誤代碼及解決方案

    在SQL數(shù)據(jù)庫(kù)開(kāi)發(fā)和管理,常見(jiàn)的錯(cuò)誤代碼及其解決方案可以歸納如下: 一、語(yǔ)法錯(cuò)誤(Syntax Errors) 錯(cuò)誤代碼 :無(wú)特定代碼,但通常會(huì)在
    的頭像 發(fā)表于 11-19 10:21 ?9673次閱讀

    pcb板設(shè)計(jì)的常見(jiàn)錯(cuò)誤

    印刷電路板(PCB)是電子設(shè)備不可或缺的組成部分,它負(fù)責(zé)連接電子元件并傳輸電信號(hào)。一個(gè)優(yōu)秀的PCB設(shè)計(jì)對(duì)于確保電路的性能、可靠性和成本效益至關(guān)重要。然而,在PCB設(shè)計(jì)過(guò)程,工程師可能會(huì)犯一些常見(jiàn)
    的頭像 發(fā)表于 11-04 13:58 ?1244次閱讀

    socket編程錯(cuò)誤處理技巧

    Socket編程是網(wǎng)絡(luò)編程的基礎(chǔ),它允許程序之間通過(guò)TCP/IP協(xié)議進(jìn)行通信。然而,網(wǎng)絡(luò)通信是不穩(wěn)定的,可能會(huì)遇到各種問(wèn)題,如網(wǎng)絡(luò)延遲、連接中斷、數(shù)據(jù)丟失等。 錯(cuò)誤處理的重要性 提高程序的健壯性
    的頭像 發(fā)表于 11-01 17:47 ?1889次閱讀