微軟技術許可有限責任公司B·J·F·德斯邁特獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網獲悉微軟技術許可有限責任公司申請的專利用于代碼優化的語法圖的持續注釋獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN114041117B 。
龍圖騰網通過國家知識產權局官網在2025-08-15發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202080048722.8,技術領域涉及:G06F8/41;該發明授權用于代碼優化的語法圖的持續注釋是由B·J·F·德斯邁特設計研發完成,并于2020-03-27向國家知識產權局提交的專利申請。
本用于代碼優化的語法圖的持續注釋在說明書摘要公布了:定位并記錄優化機會以通過編譯器或解釋器增強代碼轉換。增強型轉換器掃描程序語法圖,識別子圖結構,并且注釋該圖的節點,以記錄與該節點相關聯的程序代碼實體的優化特性。子圖結構和對應注釋可以維持在與任何特定可優化程序不同的優化目錄中。優化器基于所注釋的語法圖來改進程序代碼轉換。優化特性可以指定關于執行值范圍和執行行為例如,副作用、局部或全局變量使用、IO、引用參數的代碼純度,并且哪些異常是可能的。可以使用例程名稱、哈希值和具有孔的模板來標識子圖結構,任何常數將填滿該孔。可以根據子節點的特性來推斷父節點特性。可以使用權重函數使優化候選優先化。可以插入優化器回調以遞增地評估優化特性。
本發明授權用于代碼優化的語法圖的持續注釋在權利要求書中公布了:1.一種代碼轉換優化系統,包括: 存儲器; 處理器,與所述存儲器可操作地通信,所述處理器被配置為執行步驟,所述步驟包括a遍歷程序的語法圖的至少一部分,b識別所述語法圖中的預定子圖結構,c使用優化特性注釋來注釋所識別的語法子圖結構,所述優化特性注釋指示代碼段的、與所識別的所述子圖結構相對應的功能純度的存在或缺失,以及d至少部分地基于注釋步驟的結果來執行所述程序的代碼轉換的優化;以及 其中所述存儲器包括具有條目的目錄,所述條目包括所述子圖結構的標識以及與所標識的子圖結構相關聯的所述優化特性注釋,所述條目在所述程序的所述代碼轉換之前存在并且還在執行所述程序的所述代碼轉換的所述優化之后存在。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人微軟技術許可有限責任公司,其通訊地址為:美國華盛頓州;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。