[發明專利]用于選擇程序實施方式的系統和方法

有效

• 申請號: 201580073577.8
• 申請日: 2015-01-19
• 公開（公告）號: CN107111506B
• 公開（公告）日: 2020-03-31
• 發明（設計）人: 亞歷山大·弗拉基米羅維奇·斯萊薩連科;維克多·弗拉基米羅維奇·斯米爾諾夫;亞歷山大·尼古拉耶維奇·菲利波夫;張洪波
• 申請（專利權）人: 華為技術有限公司
• 主分類號: G06F8/41
• 分類號: G06F8/41
• 代理公司: 北京同立鈞成知識產權代理有限公司 11205
• 代理人: 楊文娟;臧建明

本發明提供了一種用于選擇多種同構專業化中的一種同構專業化的裝置，包括：數據接口，用于接收供程序處理的輸入值；以及選擇模塊，用于：從多種同構專業化中選擇所述程序的一種同構專業化以對所述輸入值進行處理，所述選擇基于所述多種同構專業化中的每種同構專業化的性能指標，其中每種同構專業化在執行環境中有不同的實施方式，并且每種同構專業化在處理所述輸入值時產生相同的結果；以及提供表明所述選擇的同構專業化的消息。

技術領域

本申請涉及計算機技術領域，尤其涉及一種用于選擇程序實施方式的系統和方法。

背景技術

本發明在其一些實施例中涉及用于高級計算機程序代碼的優化編譯的系統和方法，更具體地但非唯一地，涉及用于高級計算機程序代碼的運行時優化的系統和方法。

由于程序設計員的工作效率和績效較高，所以高級語言對于源代碼的編寫變得越來越重要。編譯器將高級語言形式的抽象數據結構映射到目標機可執行指令形式的低級數據實施方式。編譯器執行優化，力圖提高目標機可執行指令的性能。

在從高級源代碼為目標執行環境生成高性能機器可執行代碼的過程中尋求更多的改進。

發明內容

本發明的目的是提供一種用于選擇同構專業化以在執行環境中執行的裝置、系統、計算機程序產品和方法。

前述和其它目標通過獨立權利要求的特征來實現。其它實施形式從從屬權利要求、描述內容和附圖中顯而易見。

根據第一方面，提供了一種用于選擇多種同構專業化中的一種同構專業化的裝置，包括：數據接口，用于接收供程序處理的輸入值；以及選擇模塊，用于：從多種同構專業化中選擇所述程序的一種同構專業化以對所述輸入值進行處理，所述選擇基于所述多種同構專業化中的每種同構專業化的性能指標，其中，每種同構專業化在執行環境中有不同的實施方式，并且每種同構專業化在處理所述輸入值時產生相同的結果；以及提供表明所述選擇的同構專業化的消息。

同構專業化的選擇基于實際接收到的輸入而動態執行，而不是一種先驗靜態選擇，這可能導致選擇一種不同的同構專業化用于程序執行并提高性能。當提供了不同值時，可為同一輸入選擇不同的同構專業化。同構數據類型和同構表示可通過一種通用方式應用到抽象數據結構，從而支持程序設計員專注于編寫高級代碼而無需考慮執行實施方式。

根據所述第一方面，在所述裝置的第一可能實施方式中，所述輸入值是多種同構數據類型中的第一數據類型；每種所述同構數據類型存儲相等的值并且可與其它所述同構數據類型互換；每種同構專業化基于所述輸入值的抽象數據類型中的一種對應同構數據類型。

數據類型和對應的同構專業化的不同實施方式不限于固有定義。應用程序設計員等可改變、定制和設計同構數據類型。

根據如上所述第一方面或根據所述第一方面的任一前述實施方式，在所述裝置的第二可能實施形式中，所述裝置還包括轉換矩陣，用于：基于所述選擇的同構專業化將所述輸入值的第一數據類型轉換為第二數據類型，以便通過所述選擇的同構專業化處理所述輸入值。

輸入數據的數據類型實施方式不限制同構專業化的選擇。(在程序實時執行期間)執行輸入數據的數據類型轉換，以通過支持使用可用的同構專業化來提高性能。

根據如上所述第一方面或根據所述第一方面的任一前述實施方式，在所述裝置的第三可能實施形式中，所述選擇模塊還用于：針對所述輸入值計算抽象指標的抽象指標值，所述抽象指標針對所述輸入值的多種同構數據類型中的每種同構數據類型具有相同的抽象指標值；以及訪問性能數據集，以基于與所述計算出的抽象指標值和所述輸入值的第一數據類型的相關性來選擇所述同構專業化。

抽象指標支持訪問性能數據集以在不受限于輸入的數據類型實施方式的情況下選擇最佳同構專業化。