[發明專利]一種基于時間自動機的軟硬件最優劃分的可視化方法

有效

• 申請號: 201410350399.6
• 申請日: 2014-07-22
• 公開（公告）號: CN104156269B
• 公開（公告）日: 2017-06-30
• 發明（設計）人: 陳銘松;黃賽杰;蒲戈光
• 申請（專利權）人: 華東師范大學
• 主分類號: G06F9/50
• 分類號: G06F9/50
• 代理公司: 上海麥其知識產權代理事務所(普通合伙)31257
• 代理人: 董紅曼

1.一種基于時間自動機的軟硬件最優劃分的可視化方法，其特征在于，包括以下步驟:

工作流建模步驟：利用圖形建模框架創建多個模塊，根據各模塊的偏序關系繪制工作流模型；

時間自動機模型設計步驟：為每個所述模塊設計時間自動機，構建所述工作流模型的時間自動機模型；

其中，所述時間自動機模型包括4個節點：等待節點、軟件執行節點、硬件執行節點和結束節點；節點之間遷移關系為每個進程P_i先處于等待節點；當P_i的所有前繼節點都已經結束時,判斷當前CPU或硬件是否空閑，若CPU空閑，那么P_i就進入軟件執行的節點；若當硬件空閑,那么P_i就進入硬件執行節點；隨后，當P_i進程在對應的軟件執行或硬件執行的時間滿足估計的執行時間時，釋放對應的軟件或硬件資源，并標記Pi進程為結束進程，進入結束節點；

資源管理步驟：通過仿真執行所述時間自動機模型，獲得單次資源分配策略下執行所述工作流模型的消耗時間；

最優化劃分實現與反饋步驟：根據所述消耗時間獲取軟件與硬件消耗時間最優的最優資源分配策略，同時在所述圖形建模框架中可視化地顯示所述最優資源分配策略下的軟硬件分配。

2.如權利要求1所述的基于時間自動機的軟硬件最優劃分的可視化方法，其特征在于，所述時間自動機模型中的節點為單個模塊內部預設的工作狀態和所述工作狀態的遷移行為，所述工作狀態包括等待、硬件執行、軟件執行和結束。

3.如權利要求2所述的基于時間自動機的軟硬件最優劃分的可視化方法，其特征在于，所述時間自動機模型進一步根據所述工作流模型獲得所述工作狀態遷移行為的觸發條件和資源約束條件。

4.如權利要求1所述的基于時間自動機的軟硬件最優劃分的可視化方法，其特征在于，通過利用所述圖形建模框架中的檢驗工具進行設計空間搜索和仿真對所述消耗時間進行排序，得到整體消耗時間最短的軟硬件分配作為最優資源分配策略。