A Model of Parallel Deterministic Real-Time Computation
摘要：
This paper presents a model of computation based on real-time constraints and asynchronous message passing, and proves a sufficient and necessary condition for this model to be deterministic. The model is then extended with deterministic error handling, meaning that the same error yields the same consequences on the system. We consider two different error occurrence models: at a specific time, or at a specific instruction, and conclude that the "error at a specific time" model is more suitable for practical use. We proceed by presenting a concrete implementation of this model in the PharOS real-time system.
展开
DOI：
10.1109/RTSS.2012.78
被引量：
年份：
2012
IEEEXplore
(全网免费下载)
IEEE Computer Society
(全网免费下载)
IEEE Computer Society
(全网免费下载)
IEEE Computer Society
(全网免费下载)
63.84.220.100
(全网免费下载)
学术范
(全网免费下载)
通过文献互助平台发起求助，成功后即可免费获取论文全文。
相似文献
参考文献
引证文献
辅助模式
引用
文献可以批量引用啦~
欢迎点我试用！
