【摘要】 本發明公開了一種在IP電信網系統中實現保護倒換技術的方法。該方法中,首先在IP電信網系統中設立主數據通道,并以預置方式或動態建立方式設立備用數據通道;在正常情況下,信息流走主數據通道,一旦主數據通道發生故障,信息流立即使用備用數據
【摘要】 本發明公開了一種在微處理器用戶態隨機驗證 中實現核心態程序驗證的方法。該方法包括:a)在指令模版中 添加異常處理相關的約束;b)對指令級隨機驗證產生引擎進行 改進;c)在指令級處理器模擬器中加入核心態指令的執行機制, 設置寄存器,在系統運行核心態指令時提供正確結果;d)在指 令過濾器中加入步驟a)中所添加的異常處理相關的約束的過 濾裝置;e)在仿真環境中加入異常監測邏輯和控制寄存器更新 邏輯;f)在仿真環境提供的存儲器中預存異常處理程序。本發 明具有驗證全面、驗證效率高的優點。 【專利類型】發明申請 【申請人】中國科學院計算技術研究所 【申請人類型】科研單位 【申請人地址】100080北京市海淀區中關村科學院南路6號 【申請人地區】中國 【申請人城市】北京市 【申請人區縣】海淀區 【申請號】CN200610078226.9 【申請日】2006-05-12 【申請年份】2006 【公開公告號】CN1892616A 【公開公告日】2007-01-10 【公開公告年份】2007 【授權公告號】CN100405324C 【授權公告日】2008-07-23 【授權公告年份】2008.0 【IPC分類號】G06F11/36 【發明人】沈海華; 胡偉武 【主權項內容】1、在微處理器用戶態隨機驗證中實現核心態程序驗證的方法,包括如下 步驟: a)在指令模版中添加異常處理相關的約束,包括允許發生異常處理的類型和數 目; b)對指令級隨機驗證產生引擎進行改進,加大TLB項數,改變原有指令序列 產生終止條件,使得在指令序列最末尾的兩條指令為例外觸發指令; c)在指令級處理器模擬器中加入核心態指令的執行機制,設置寄存器,在系統 運行核心態指令時提供正確結果; d)在指令過濾器中加入步驟a)中所添加的異常處理相關的約束的過濾裝置, 包括異常處理計數器、異常類型過濾器、比較邏輯及輸出信號; e)在仿真環境中加入異常監測邏輯和控制寄存器更新邏輯; f)在仿真環境提供的存儲器中預存TLB?refill,Integer?overflow,Trap, System?Call,Breakpoint,Floating-Point?Exception異常處理程序。 : 【當前權利人】龍芯中科技術股份有限公司 【當前專利權人地址】北京市海淀區中關村環保科技示范園龍芯產業園2號樓 【統一社會信用代碼】12100000400012342E 【被引證次數】14 【被自引次數】4.0 【被他引次數】10.0 【家族引證次數】4.0 【家族被引證次數】14
未經允許不得轉載:http://m.mhvdw.cn/1776289092.html
喜歡就贊一下






