微机联锁仿真系统及容错机制的设计

来源 :厦门大学 | 被引量 : 0次 | 上传用户:sky_fly2005
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本课题设计和实现了微机联锁仿真系统中的联锁机子系统和基于检测点机制的内核容错系统。微机联锁仿真系统的成功开发,为研究联锁系统安全性等问题提供了一个良好的实验环境,对于车站工作人员的岗前培训,具有较大的使用价值。检测点机制是系统容错、软件调试技术和分布式系统负载平衡的重要基础。 微机联锁仿真系统是以福州车站为原型实现的,通过自定义网络通信协议来实现各子系统间的复杂通信;采用链表与数组相结合的核心设计,使得系统可扩展性更好,算法实现更简单;复杂度为0(n)的进路搜索算法支持多路并行搜索,且通过有效的缓冲区管理,实现了多路同时模拟功能。 容错系统利用Linux操作系统提供的动态链接和可加载内核模块机制,使得容错系统运行于内核态,并充分利用其内核级实现的优势,提高了系统效率。容错系统克服了已有若干实现的缺陷,做到完全与应用程序透明,不需要修改编译应用程序,扩大了系统的应用面。在检测点文件格式的设计上,采用了可扩展的链接方式,使得数据更加紧凑有序;在文件系统方面,系统直接从内核中导出文件或目录的绝对路径名,提高了容错系统的准确性,也避免了传统wrap技术需要重新封装运行库的缺陷;在信号处理方面,内核级的实现充分利用其自身优势,绕开了信号实现机制的困扰;在内存的备份操作上,系统采用“影子脏位”算法来识别两检测点之间有无被改变的部分,实现了增量检测点,大大提高了系统的效率。
其他文献
随着计算机网络技术的发展,XML作为Web上一种新的数据发布语言,将成为Web上下一代“数据表达”和“数据交换”的统一标准。然而,时间是自然界无所不在的客观属性,所有信息都具有
电子信息的增长使得人们无法快速地找到自己真正感兴趣的内容。为了更好的组织和管理信息,研究者们引入了文本分类、特别是层次型文本分类技术。相对于层次型文本分类中的爆
Web文档往往用各种复杂的HTML标记来包装内部数据,但这种方式给应用系统直接使用Web文档中的数据带来了困难。Web信息抽取是处理海量数据且需要各种复杂算法支持的一种技术,因
近年来,光子晶体作为一种新型材料成为研究的热点,在理论和实验上均已取得不少成果。光子晶体具有“光子禁带”和“光子局域”的特性,因此具有广阔的应用前景。而具有完全带隙的
网络信息资源与经济资源一样,只有通过运用一定的管理手段对其进行合理配置,才能最大限度地为人类提供服务。为了提高网络性能,通常将同一数据的多份副本分布在网络的不同节点处
由于社会飞速发展,汽车越来越成为人们不可缺少的交通工具。据统计,仅几个发达国家,汽车的保有量已达数亿辆之多。而我国的民用汽车保有量也在迅速增长,目前已达几千万辆。车
在日新月异的Internet时代,基于Web的应用已经进入了千家万户,对各行各业都起到了不可估量的作用。特别是随着电子商务的盛行,越来越多的企业、机构接入网络,B2C、B2B的网上
集群的动态负载均衡是网络计算的关键技术,如何提高动态负载均衡的性能,一直是网络计算人员研究的一个热点。本文研究的EJB容器集群负载均衡问题,其目的就是在互联网用户数和
语义Web和Web服务是WWW发展的两个重要趋势,这两种技术的结合产生了另一个新兴的研究课题——语义Web服务。语义Web服务是指用语义Web标记语言来描述服务的语义,并结合本体的
近年来,XML在各种应用中得到了广泛的使用,Web上涌现了海量的XML数据。为了有效地加工、分析和处理XML数据,研究者们已经提出了各种XML的存储管理技术。基于关系数据库的XML数据