{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期-部件”:[[2023,10,22]],“日期-时间”:“2023-10-22T13:42:46Z”,“时间戳”:1697982166744},“引用-计数”:5,“发布者”:“威利”,“问题”:“5”,“许可证”:[{“开始”:{:“日期-零件”:[2007,9,5]],”日期-时间“:”09-05T00:00:00Z“,”时间戳“:118895040000},“content-version”:“vor”,“delay-in-days”:8282,“URL”:“http://\/onlinelibrary.wiley.com/termsAndConditions#vor”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},“short-container-title”:[“日本的系统和计算机”],“published-print”:{“date-parts”:[[1985,1]]},”abstract“:”摘要<\/jats:title>本文讨论了松同步三模冗余(TMR)系统中中断处理的实现问题,其中同步、大多数决策和故障诊断都是由软件执行的。还讨论了问题的解决方法。主要问题如下:(1)对于进入任务进度有一定时差的三个处理器的中断,必须保持处理器全局区域之间的一致性;(2) 处理器之间必须保持同步,因为包含同步的中断\u2010禁止周期无法识别中断,而处理器识别中断;(3) 当不同级别的中断到达处理器时,每个处理器必须一致地标识具有最高优先级的中断。为了解决这些问题,我们开发了一个多任务调度器,该调度器提供了表示全局区域访问次数的变量、表示中断\u2010禁止区域的标志以及保存接受级别记录的变量。该调度器还通过相互引用这些变量和标志来控制中断进程。该系统在SAFE系统中实现,并测量了中断处理的开销<\/jats:p>“,”DOI“:”10.1002\/scj.4690160506“,”type“:”journal-article“,”created“:{”date-parts“:[[2007,7,7]],”date-time“:”2007-07-07T10:17:19Z“,”timestamp“:1183803439000},”page“:“50-59”,“source”:“Crossref”,“is-referenced-by-count”:0,“title”:[“松散同步TMR系统中的中断处理”],“前缀”:“10.1002”,”volume“:“16”,“作者”:[{“给定”:“Tomohiro”,“family”:“Yoneda”,“sequence”:“first”,“affiliation”:[]},{“given”:“Takashi”,“family”:“Suzuoka”,“sequence”:“additional”,“affiliation”:[]},{“given”:“Yoshihiro”,“family”:“Tohma”,“sequence”:“additional”,“affiliation”:[]},“member”:“311”,“在线发布”:{“date parts”:[[2007,9,5]]},“reference”:[{“key”:“e_1_2_2_2“,”doi断言为“:”crossref”,“非结构化”:“J.H.Wensley。SIFT\u2010软件实现的容错过程。FJCC第243\u2013253页(1972年)。“,”DOI“:”10.1145\/147992.1480025“},{”key“:”e_1_2_1_3_2“,”非结构化“:”J.H.Wensley M.W.Green L.N.LevitandR.e.hostak.SIFT容错系统的设计分析与验证Proc.第二届软件工程国际会议第458\u2013469页(1976)。“},{”key“:”e_1_2_4_2“,”DOI断言“:”publisher“,”DOI“:”10.1109\/PROC.1978.11114“},{”issue“:”7“,”key“:”e_1_1_5_2“,”first page“:“737”,”article-title“:”故障诊断和系统重构\u2010具有多数投票权的容错系统“,”volume“:S.Frisonand J。H.温斯利。交互一致性及其对TMR系统设计的影响FTCS\u201012 pp.228\u2013233(1982)。“}],”container-title“:[”Systems and Computers in Japan“],”original-title”:[],”language“:”en“,”link“:[{”URL“:”https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles \/10.1002%2Fscj.4690160506“,”content-type“:”unspecified“,”content-version“:”vor“,”intended-application“:”text-mining“},”{“URL”:“”https:\/\/onlinelibrary.wiley.com/doi\/pdf\/10.1002\/scj.4690160506“,”content-type“:”unspecified“,”content-version“:”vor“,”intended-application“:”similarity-checking“}],”deposed“:{”date-parts“:[2023,10,21]],”date-time“:“2023-10-21T12:53:38Z”,”timestamp“:1697892818000},“score”:1,“resource”:{“primary”:{“URL”:“https:\/\/onlinelibrary.wiley.com/doi\/10.1002\/scj.4690160506“}},”副标题“:[],”短标题“:[],”已发布“:{”日期部分“:[[1985,1]]},“参考计数”:5,”日志发布“:}”问题“:“5”,”发布-打印“:{”日期部分“URL”:“http://\/dx.doi.org\/10.1002\/scj.4690160506”,“存档”:[“Portico”],“关系“:{},”ISSN“:[”0882-1666“,”1520-684X“],”ISSN-type“:[{”value“:”0882-1666“,”type“:”print“},{”value“:”1520-64X“,”类型“:”electronic“}],“subject”:[],“published”:{“date-parts”:[[1985,1]}}}}