个人简介
C.M.Krishna自1984年至今任教于马萨诸塞大学。他发表了关于分布式处理、实时系统和容错领域的论著,为IEEE Compouter Society 出版社编辑了两卷读物,是IEEE计算机与IEEE实时系统会议的特邀嘉宾和编辑。Krishna教授现在的研究领域为实时系统的可靠性与性能建模、容错同步、分布式实时操作系统及实时网络。
K.G.Shin是密歇根大学电子工程与计算机科学系的实时计算实验室的教授和主任。他在分布式实时计算与控制、容错计算、计算机体系、机器人技术与自动化及智能制造领域以作者和合著作身份撰写了360多篇技术论文和诸多书的章节。Shin教授是IEEE会员,曾经是1986年IEEE实时系统研讨会执行主席,1987年RTSS会议的主席,IEEE Transactions on Computers实时系统杂志1987年八月专刊的客座主编,IEEE Transactions on Parallel and Distributed System 1991-1995期间的编辑。
内容简介
本书深入浅出地描述了实时系统的框架与工作原理,全面反映了实时系统设计的各个方面的技术与最新研究成果。本书首先分析实时系统的任务与任务调度,然后详细讨论系统的软硬件设计和编程语言的使用技巧,并阐明实时数据存储和实时通信的性能问题,最后分析容错设计、可靠性评估技术和时钟步问题。在每个章节后面附有阅读建议、习题和参考文献。
本书结构清晰,理论和实际结合紧密,配以大量的例子和数据图表,具有系统性、先进型和实用性等特点。本书可以作为理工科大专院校高年级本科生和研究生关于实时系统课程的教材,也可供有关科技工作者参考或自学。
1.理论性强。对许多问题用数学语言进行了形式化描述,给出了相关的公式、定义、定理,并进行了推导或证明。本书集中了两位作者从事实时系统教学和研究工作近20年所取得的成果,同时也包含了该领域国际上许多最新的研究成果。2.可读性好。每章通过许多例题阐述了相关实时系统的设计方法和性能评价方法,分析了目前许多先进的实时系统的各个方面。因此本书不仅理论性强,同时也非常注重理论联系实际,便于读者阅读。3.注重系统设计与性能评价。全书以实时系统的设计方法和性能评价方法为主线展开,讲述了多种实时系统的设计方法和性能评价方法,同时也介绍了几种进行实时系统设计和性能评价的工具。读者学会了这些设计方法和评价工具,对研究和开发其他实时系统很有帮助。4.硬件和软件结合。大多数实时来统是由硬件和软件共同组成的,本书在分别介绍硬件部分和软件部分的工作原理、设计方法和性能分析方法的同时,也给出了在设计实时系统时软件与硬件如何做到平衡。