Aadl模型的一種調度分析方法

2023-05-03 02:22:46 1

/>把Dij置為D0j的值，把Dji置為Dj0的值；(4)、調度前所有線程都被初始化，在各自的語義圖上他們都在等待分派位置上，在到達時間圖上他們都被初始化在初始位置上，一開始的DBM的所有計時器的值被初始化0；(5)、進入調度分析的時候，先讓DBM按上述時間流逝的方法進行流逝在每個線程的每個位置上可以定義時間約束，把這些時間約束轉換成一個整體的DBM，接著把該DBM和時間流逝後的DBM求交運算，求出一個新的DBM；但當前位置集合中包含某些就緒位置或執行位置，則對這些位置先不進行時間流逝，而直接進行求交運算；(6)、每個線程實例的語義圖的每個位置都有自己的後繼邊，把後繼邊上的時間約束用DBM的形式表示，用步驟(5)求出的DBM跟每條後繼邊時間約束的DBM求交，如果求交後的DBM不為空，即說明這條後繼邊可走，就發生位置轉移；如果語義圖的當前位置是執行位置，若到等待分派位置的後繼邊可走，就會遷移到等待分派位置，如果該後繼邊有同步事件產生，即該線程運行完會觸發別的線程實例的分派；在實現這個步驟的時候，判斷該線程運行狀態到分派狀態的邊上所同步關聯的線程實例有哪些，選擇一個仍然處於等待分派位置的實例來使用，即觸發該線程實例的分派；同樣該線程的到達時間圖的當前位置的後繼邊也做以上的同樣處理，看是否發生狀態轉移；(7)、如果某個線程實例進入錯誤位置，則分析過程中止，提示「不可調度」；(8)、否則，判斷當前所有線程的位置集合是否跟以前某一時期的位置集合相同，如果是，再判斷當前的DBM是否包含於那一時期的DBM，兩個條件都符合就說明整個系統可成功調度；否則回到步驟(5)。全文摘要本發明公開了AADL模型的一種調度分析方法，包括線程的語義圖和到達時間行為圖，使得AADL模型的執行語義可抽象為一個語義圖，並將每個線程的到達行為約束用到達時間行為圖表示，還擴展了時鐘限制數據結構的操作算法，從而達到分析其調度性的目的。文檔編號G06F9/44GK101615120SQ200910060340公開日2009年12月30日申請日期2009年8月13日優先權日2009年8月13日發明者桂盛霖,蕾羅申請人:電子科技大學