買專利賣專利找龍圖騰，真高效！ 查專利查商標(biāo)用IPTOP,全免費(fèi)！專利年費(fèi)監(jiān)控用IP管家,真方便！

龍圖騰網(wǎng)恭喜南京大學(xué)申請(qǐng)的專利一種基于對(duì)齊空洞的內(nèi)核數(shù)據(jù)類型動(dòng)態(tài)擴(kuò)展熱補(bǔ)方法獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識(shí)產(chǎn)權(quán)局授予，授權(quán)公告號(hào)為：CN114924767B 。

龍圖騰網(wǎng)通過國家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-05-23發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請(qǐng)?zhí)?專利號(hào)為：202210485098.9，技術(shù)領(lǐng)域涉及：G06F8/65；該發(fā)明授權(quán)一種基于對(duì)齊空洞的內(nèi)核數(shù)據(jù)類型動(dòng)態(tài)擴(kuò)展熱補(bǔ)方法是由曾慶凱;郭銳設(shè)計(jì)研發(fā)完成，并于2022-05-06向國家知識(shí)產(chǎn)權(quán)局提交的專利申請(qǐng)。

本一種基于對(duì)齊空洞的內(nèi)核數(shù)據(jù)類型動(dòng)態(tài)擴(kuò)展熱補(bǔ)方法在說明書摘要公布了：本發(fā)明公開了一種基于對(duì)齊空洞的內(nèi)核數(shù)據(jù)類型擴(kuò)展熱補(bǔ)方法，包括：S1，對(duì)補(bǔ)丁文件進(jìn)行預(yù)處理，提取得到熱補(bǔ)對(duì)象有效信息；S2，根據(jù)步驟S1提取得到的輸入數(shù)據(jù)類型更新操作的描述文件，分析熱補(bǔ)目標(biāo)數(shù)據(jù)類型的內(nèi)部空洞布局，輸出類型布局定義：S3，結(jié)合步驟S1輸出的數(shù)據(jù)類型更新操作的描述文件和步驟S2輸出的空洞布局分析輸出的新類型定義，編寫熱補(bǔ)模塊程序生成熱補(bǔ)模塊；S4，熱補(bǔ)模塊的安裝和生效：將步驟S3中生成的熱補(bǔ)模塊安裝至內(nèi)核并等待更新點(diǎn)使得補(bǔ)丁內(nèi)容生效，完成熱補(bǔ)更新任務(wù)。本發(fā)明能夠利用數(shù)據(jù)對(duì)象成員內(nèi)部的空洞空間，減少了負(fù)責(zé)對(duì)擴(kuò)展空間的管理任務(wù)和訪問方式的重寫，減輕了熱補(bǔ)開發(fā)的負(fù)擔(dān)。

本發(fā)明授權(quán)一種基于對(duì)齊空洞的內(nèi)核數(shù)據(jù)類型動(dòng)態(tài)擴(kuò)展熱補(bǔ)方法在權(quán)利要求書中公布了：1.一種基于對(duì)齊空洞的內(nèi)核數(shù)據(jù)類型擴(kuò)展熱補(bǔ)方法，其特征在于，所述熱補(bǔ)方法包括以下步驟：S1，對(duì)補(bǔ)丁文件進(jìn)行預(yù)處理，提取得到熱補(bǔ)對(duì)象有效信息：從補(bǔ)丁文件中過濾掉與熱補(bǔ)無關(guān)和對(duì)熱補(bǔ)機(jī)制有影響的內(nèi)容，提取補(bǔ)丁的更新信息，將補(bǔ)丁的更新信息分為數(shù)據(jù)類型更新操作以及相應(yīng)的函數(shù)替換操作，形成相應(yīng)的描述文件；S2，根據(jù)步驟S1提取得到的輸入數(shù)據(jù)類型更新操作的描述文件，分析熱補(bǔ)目標(biāo)數(shù)據(jù)類型的內(nèi)部空洞布局，輸出類型布局定義：根據(jù)描述文件枚舉待更新的結(jié)構(gòu)名稱，通過內(nèi)核映像中提供的符號(hào)表信息查詢和對(duì)調(diào)試信息解析計(jì)算熱補(bǔ)對(duì)象內(nèi)部的空間布局，轉(zhuǎn)換為空洞的描述和定位；分析擴(kuò)展成員的空間大小與空洞空間進(jìn)行匹配，再通過對(duì)空洞進(jìn)行版本的標(biāo)記和訪問模式位的設(shè)置，形成更新后的數(shù)據(jù)類型視圖；S3，結(jié)合步驟S1輸出的數(shù)據(jù)類型更新操作的描述文件和步驟S2輸出的空洞布局分析輸出的新類型定義，編寫熱補(bǔ)模塊程序生成熱補(bǔ)模塊；編寫過程包括：針對(duì)涉及類型更新后使用新成員的函數(shù)修改其訪問的方式，通過指針類型轉(zhuǎn)換的方式重新翻譯原數(shù)據(jù)對(duì)象的布局信息，通過基地址偏移的方式完成對(duì)新成員的初始化及訪問操作；結(jié)合對(duì)象內(nèi)部在空洞分析后形成metadata標(biāo)記來選取不同的訪問模式；為熱補(bǔ)模塊的初始化處增加語義判斷來確保初始化操作的執(zhí)行順序先于訪問，同時(shí)提供開發(fā)人員訪問的公共接口和為系統(tǒng)用戶交互開放文件系統(tǒng)接口；S4，熱補(bǔ)模塊的安裝和生效：將步驟S3中生成的熱補(bǔ)模塊安裝至內(nèi)核并等待更新點(diǎn)使得補(bǔ)丁內(nèi)容生效，完成熱補(bǔ)更新任務(wù)；步驟S1中，對(duì)補(bǔ)丁文件進(jìn)行預(yù)處理，提取得到熱補(bǔ)對(duì)象有效信息的過程包括以下步驟：步驟21，輸入補(bǔ)丁文件，對(duì)單個(gè)文件的差異化進(jìn)行比較，將補(bǔ)丁文件分解為多個(gè)目標(biāo)文件并記錄每個(gè)目標(biāo)文件的路徑；步驟22，逐個(gè)判斷目標(biāo)文件是否為與當(dāng)前熱補(bǔ)無關(guān)的代碼內(nèi)容，如果是無關(guān)內(nèi)容則轉(zhuǎn)入步驟2B，否則轉(zhuǎn)入步驟23；步驟23，通過規(guī)則庫illegal_rules進(jìn)行匹配，判斷匹配路徑是否涉及包括與插樁有關(guān)以及對(duì)常駐函數(shù)的判斷的更新操作；如果匹配成功則轉(zhuǎn)入步驟2B，否則進(jìn)入步驟24；步驟24，判斷修改對(duì)象的類型，如果是類型定義則轉(zhuǎn)入步驟25，如果是函數(shù)修改則轉(zhuǎn)入步驟27；步驟25，按照對(duì)類型定義中的新增、替換和刪除成員操作對(duì)類型定義的步驟進(jìn)行分解；記錄形式為op，main_type，sub_type，sub_name，其中op代表對(duì)數(shù)據(jù)類型的新增還是刪除還是更新，main_type代表修改的父數(shù)據(jù)類型體，sub_type代表修改的成員類型，sub_name為成員名稱；步驟26，將分解后的操作并入類型操作集合patch_report.json的type_ops對(duì)象的數(shù)組內(nèi)；轉(zhuǎn)入步驟2A；步驟27，判斷是否為宏和靜態(tài)函數(shù)的修改，如果是則進(jìn)入步驟28，否則轉(zhuǎn)入步驟29；步驟28，通過人工調(diào)整宏在相應(yīng)函數(shù)內(nèi)使用的展開以及靜態(tài)函數(shù)在調(diào)用函數(shù)內(nèi)的重新定義，形成語義等價(jià)的調(diào)整；步驟29，將補(bǔ)丁中非類型的修改并入patch_report.json中的func_ops對(duì)象的數(shù)組內(nèi)；步驟2A，會(huì)補(bǔ)丁內(nèi)容進(jìn)行優(yōu)化合并形成完整的patch_report.json報(bào)告；步驟2B，判斷是否處理到補(bǔ)丁文件結(jié)尾，如果是則轉(zhuǎn)入步驟2C，否則轉(zhuǎn)到步驟22；步驟2C，輸出類型更新操作描述集合和函數(shù)更新操作集合，同時(shí)記錄存在差異化的文件名路徑。

如需購買、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請(qǐng)人或?qū)＠麢?quán)人南京大學(xué)，其通訊地址為：210023 江蘇省南京市棲霞區(qū)仙林大道163號(hào)；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。