基于同步語言模型驅(qū)動的時(shí)間可預(yù)測多線程代碼生成方法
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評論（0）
能夠提供更強(qiáng)計(jì)算能力的多核處理器將在安全關(guān)鍵系統(tǒng)中得到廣泛應(yīng)用，但是由于現(xiàn)代處理器所使用的流水線、亂序執(zhí)行、動態(tài)分支預(yù)測、Cache等性能提高機(jī)制以及多核之間的資源共享，使得系統(tǒng)的最壞執(zhí)行時(shí)間分析變得非常困難，為此，國際學(xué)術(shù)界提出時(shí)間可預(yù)測系統(tǒng)設(shè)計(jì)的思想，以降低系統(tǒng)的最壞執(zhí)行時(shí)間分析難度．已有研究主要關(guān)注硬件層次及其編譯方法的調(diào)整和優(yōu)化，而較少關(guān)注軟件層次，即，時(shí)間可預(yù)測多線程代碼的構(gòu)造方法以及到多核硬件平臺的映射．提出一種基于同步語言模型驅(qū)動的時(shí)間可預(yù)測多線程代碼生成方法，并對代碼生成器的語義保持進(jìn)行證明：提出一種基于AADL（architecture analysis and design language）的時(shí)間可預(yù)測多核體系結(jié)構(gòu)模型，作為研究的目標(biāo)平臺；最后，給出多線程代碼到多核體系結(jié)構(gòu)模型的映射方法，并給出系統(tǒng)性質(zhì)的分析框架．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
基于同步語言模型驅(qū)動的時(shí)間可預(yù)測多線程代碼生成方法下載
相關(guān)電子資料下載
- AMD EPYC 9554處理滿足高頻率、多線程所需 296
- 從多線程設(shè)計(jì)模式到對 CompletableFuture 的應(yīng)用 57
- 網(wǎng)上找不到的源碼，ESP32 AP熱點(diǎn) TCPsever 多線程控制開關(guān) 215
- 黑芝麻智能代碼生成工具榮獲DEKRA德凱ISO 26262:2018 ASIL D功能安全認(rèn)證 170
- 黑芝麻智能自動駕駛代碼生成工具榮獲ISO 26262:2018 ASIL D功能認(rèn)證 396
- 黑芝麻智能代碼生成工具喜獲DEKRA德凱ASIL D功能安全產(chǎn)品認(rèn)證 251
- 嵌入式微控制器的自動代碼生成 129
- 谷歌發(fā)布CodeGemma大語言模型，優(yōu)化代碼生成及理解 262
- 搭載中科創(chuàng)達(dá)端側(cè)智能應(yīng)用的“迅思代碼生成一體機(jī)”重磅上市 1367
- 鴻蒙OS開發(fā)實(shí)例：【ArkTS類庫多線程@Concurrent裝飾器校驗(yàn)并發(fā)函數(shù)】 336