[發明專利]用于重啟優化的前瞻線程顆粒及其構造方法

無效

• 申請號: 200910048315.2
• 申請日: 2009-03-26
• 公開（公告）號: CN101582024A
• 公開（公告）日: 2009-11-18
• 發明（設計）人: 吳悅;唐立三;徐磊;雷超付;黎琛;楊洪斌
• 申請（專利權）人: 上海大學
• 主分類號: G06F9/38
• 分類號: G06F9/38
• 代理公司: 上海上大專利事務所（普通合伙）
• 代理人: 陸聰明

1.一種用于重啟優化的前瞻線程顆粒，它由輸入參數標識部分、執行部分、結果存儲部分組成，輸入參數標識部分由N+1個依次排列的二進制位構成，它用于標識前瞻線程顆粒是否使用了所述輸入參數標識位組對應的輸入參數；執行部分由前瞻線程中的若干程序語句構成，用于存儲所述前瞻線程顆粒的執行語句；結果存儲部分用于存儲前瞻線程顆粒的執行結果。

2.一種根據權利要求1所述的用于重啟優化的前瞻線程顆粒的構造方法，其具體操作步驟如下：

A、構造前瞻線程顆粒的符號集；

B、按照前瞻線程顆粒的符號集的生成規則，將前瞻線程中各條程序語句分配到步驟A所述的對應的前瞻線程顆粒中；

C、調整步驟B所述的前瞻線程顆粒中的程序語句的順序；

D、填寫控制前瞻線程顆粒重啟優化的結構。

3.根據權利要求2所述的用于重啟優化的前瞻線程顆粒的構造方法，其特征是，上述步驟A中的前瞻線程顆粒的符號集是由前瞻線程中的各條程序語句包含的常量符號、變量符號構成的集合；構造前瞻線程顆粒的符號集的操作步驟如下：

A1、構造以輸入參數為元素的集合的冪集；

A2、以步驟A1所述冪集中的集合為初始元素構造前瞻線程顆粒的符號集。

4.根據權利要求3所述的用于重啟優化的前瞻線程顆粒的構造方法，其特征是，上述步驟B中的前瞻線程顆粒的符號集的生成規則如下：

元素個數為0的前瞻線程顆粒的符號集由前瞻線程中的局部變量符號、局部常量符號以及僅依賴于所述局部變量符號、局部常量符號的變量符號構成；

元素個數為1的前瞻線程顆粒的符號集由所述元素以及僅依賴于所述元素的變量符號構成；

元素個數大于1的前瞻線程顆粒的符號集由同時依賴于符號集初始元素中的所有元素的變量符號構成。

5.根據權利要求4所述的用于重啟優化的前瞻線程顆粒的構造方法，其特征在于，上述步驟B中的將前瞻線程中各條程序語句分配到上述步驟A所述的對應的前瞻線程顆粒中的操作步驟如下：

B1按照線程中各條程序語句的執行順序依次分析；

B2分析當前程序語句中目標符號及其所依賴源符號；

B3按照前瞻線程顆粒的符號集的生成規則將目標符號添加到相應的前瞻線程顆粒的符號集中；

B4將步驟B2所述的程序語句添加到步驟B3所述的符號集對應的前瞻線程顆粒中；

B5判斷前瞻線程中程序語句是否已分析完畢，如果是，則本步驟完畢；否則轉步驟B1。

6.根據權利要求5所述的用于重啟優化的前瞻線程顆粒的構造方法，其特征在于，上述的步驟B2中的目標符號是指用于程序語句計算結果的變量符號；源符號是指用于計算所述的目標符號的常量符號或者變量符號。

7.根據權利要求6所述的用于重啟優化的前瞻線程顆粒的構造方法，其特征在于，上述步驟C中需要調整的前瞻線程顆粒是指調整所含程序語句的地址不連續的前瞻線程顆粒；調整所述的前瞻線程顆粒的操作步驟如下：

C1、根據前瞻線程顆粒的符號集中初始元素中元素數目由多到少依次分析；

C2、判斷所述前瞻線程顆粒是否由其符號集的真子集對應的前瞻線程顆粒中斷，如果是，則轉步驟C3；否則轉步驟C5；

C3、判斷步驟C2所述真子集中所依賴的源符號是否發生變化，如果是，則轉步驟C5；否則轉步驟C4；

C4、將所述前瞻線程顆粒被中斷部分與中斷所述前瞻線程顆粒的前瞻線程顆粒互換順序；

C5、判斷當前前瞻線程顆粒是否已調整完畢，如果是則轉步驟C1；否則轉步驟C2。

8、根據權利要求7所述的用于重啟優化的前瞻線程顆粒及其構造方法，其特征在于，上述的步驟D的填寫控制前瞻線程顆粒重啟優化的結構操作步驟如下：

D1、逐個分析已構造的前瞻線程顆粒的符號集；

D2、判斷步驟D1所述的前瞻線程顆粒是否使用了前瞻的輸入參數，如果是，則轉步驟D3，否則轉步驟D4；

D3、將步驟D1所述的結構的輸入參數標識部分的第1個二進制位置1，將前瞻的輸入參數對應的二進制位置1，將其它二進制位置0，轉步驟D1；

D4、將步驟D1所述的結構的輸入參數標識部分的所有二進制位置0，轉步驟D1。