[發明專利]用于在實時操作系統的實施中識別錯誤的方法有效
| 申請號: | 201110410036.3 | 申請日: | 2011-12-09 |
| 公開(公告)號: | CN102591736A | 公開(公告)日: | 2012-07-18 |
| 發明(設計)人: | 奧托·尼塞爾 | 申請(專利權)人: | 西門子公司 |
| 主分類號: | G06F11/07 | 分類號: | G06F11/07 |
| 代理公司: | 北京康信知識產權代理有限責任公司 11240 | 代理人: | 余剛;李慧 |
| 地址: | 德國*** | 國省代碼: | 德國;DE |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 用于 實時 操作系統 實施 識別 錯誤 方法 | ||
1.一種用于在實時操作系統的實施中識別錯誤的方法,其中實時操作系統的邏輯相同的實例(106;116)在共用的虛擬化環境中的第一處理器(520)的至少兩個處理器核心(100;102)上被并行地實施,其中系統管理程序(128)監測所述實例(106;116)的并行實施,其中在執行通過所述實例(106;116)引發的硬件訪問時,通過所述系統管理程序將在對于每個實例(106;116)的所述硬件訪問時傳輸的數據相互比較,其中,
-在所述傳輸的數據之間出現差別的情況下,或者
-在單方面的通過所述實例之一引發的硬件訪問的情況下,通過所述系統管理程序(128)識別為是錯誤。
2.根據權利要求1所述的方法,其中所述硬件訪問包括存儲器訪問,其中在執行通過所述實例(106;116)引發的存儲器訪問時,所述實例訪問了共用的存儲器(120)。
3.根據權利要求2所述的方法,其中在應用對于兩個實例(106;116)的相同的虛擬化地址空間時實現所述存儲器訪問,其中所述虛擬化地址空間分配有對于每個實例(106;116)的不同的物理地址空間。
4.根據權利要求2所述的方法,其中在應用對于兩個實例(106;116)的不同的虛擬化地址空間時實現所述存儲器訪問。
5.根據權利要求4所述的方法,其中所述相應的虛擬化地址空間分配有物理地址空間,其中所述虛擬化地址空間和所述相應的物理地址空間是相同的。
6.根據權利要求2所述的方法,其中對于不同的數據類型而言,所述共用的存儲器的所屬的存儲器區域(122;124)對于所述實例(106;116)而言是不同的。
7.根據權利要求1所述的方法,其中所述通過所述實例(106;116)之一引發的硬件訪問是直接的硬件訪問或者是在應用半虛擬化的情況下通過超級調用實現的硬件訪問。
8.根據權利要求1所述的方法,其中還在第二處理器(522)上實施所述實時操作系統的至少另一個相同的實例(506;516),其中在錯誤識別的情況下將存在的錯誤通知給所述第二處理器(522)。
9.根據權利要求8所述的方法,其中通過將信號發送給所述第二處理器(522)或者通過解除與所述第二處理器(522)的通信連接(524)來實現通知所述錯誤。
10.一種具有用于執行根據前述權利要求所述的方法步驟的、能由處理器執行的指令的計算機程序產品。
11.一種用于在實時操作系統的實施中識別錯誤的裝置,其中所述裝置具有帶有至少兩個處理器核心(100;102)的第一處理器(520),其中所述裝置設計用于在共用的虛擬化環境中的所述處理器核心上并行地實施所述實時操作系統的邏輯相同的實例(106;116),其中所述裝置還具有系統管理程序(110),其中所述系統管理程序設計用于監測所述實例(106;116)的并行實施,其中所述系統管理程序還設計用于,在執行通過所述實例(106;116)引發的硬件訪問時,通過所述系統管理程序(110)將在對于每個實例的所述硬件訪問時傳輸的數據相互比較,其中所述系統管理程序(110)設計用于,
-在所述傳輸的數據之間出現差別的情況下,或者
-在單方面的通過所述實例(106;116)之一引發的硬件訪問的情況下,識別出錯誤。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于西門子公司,未經西門子公司許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201110410036.3/1.html,轉載請聲明來源鉆瓜專利網。
- 上一篇:可降解環保震源藥柱
- 下一篇:瞄準器的光纖定位結構





