Unix进程检查点设置关键技术

Unix进程的检查点设置是实现分布/并行系统容错、重播调试、进程迁移、系统模拟和作业切换等功能的基础。该论文主要论述UNIX进程检查点基本信息的保存与恢复、文件检查点、检查点信息的优化等关键技术,最后介绍Libckpt、Condor以及自行设计的Libcsm等检查点设置工具。     

基于ARM9嵌入式系统设计

本文以Tames公司AT91SAM9261为核心处理器,给出了嵌入式系统设计、开发思路.简要介绍了嵌入式操作系统的发展,着重分析了嵌入式系统开发环境的建立;以太网端口、USB接口、UART接口的设计方法;嵌入式系统的软件开发,文件系统的移植.     

可扩展的多周期检查点设置

提出了一种多周期检查点设置方法.它允许各个进程采用不同周期进行检查点设置.为了保证一致全局检查点的向前推进,检查点周期可以根据一个P模式进行调整.在所提出的方法中,进程可以进行组划分处理,从而用于检查点周期调整的依赖跟踪可被限定在组内,同时也将使基于时间的多周期检查点设置具有较好的可扩展性.     

基于进程拷贝的服务器容错恢复机制

永久故障恢复机制是焦点问题，提出进程拷贝（Process Copy）的思想。通过修改和扩展Linux内核功能，在操作系统级实现了进程拷贝机制，并应用该机制实现了永久故障的恢复。     

资源管理系统中基于作业检查点的自动容错

本文提出了在资源管理系统中基于作业检查点实现自动容错支持,深入分析了作业与任务检查点分离、映像文件管理、自动恢复执行等关键技术。基于BLCR在SLURM中实现了作业的自动检查点/恢复,详细介绍了实现中的关键技术难题。分析与测试表明,检查点与恢复执行功能正确,并能有效缩短大规模作业成功运行所需的时间。     

双机容错系统中最佳检查点间隔的分析

设置检查点是容错计算机系统进行故障恢复的重要手段。因为检查点间隔选择过大或过小都将使系统性能受到影响，所以检查点间隔的适当选定是系统性能优化的一个重要指标。该文针对双机容错系统，采用检查点设置与回卷恢复的方法提出了一种系统模型，利用马尔科夫链得到了最佳检查点间隔的求解等式，通过实验证实了求解等式的正确性。     

双机容错实时嵌入式系统设计与分析

为满足对安全关键领域日益增长的可靠性需求,提出一种基于松耦合多处理器体系结构的双机容错实时嵌入式系统设计方案。该方案无缝整合了计算机硬件级、操作系统级、应用级的容错技术,以达到从整体上提高系统可靠性的目的。     

基于内存缓存的异步检查点容错技术

高性能计算机系统规模越来越大,系统可靠性问题越来越严重.检查点技术是最典型的容错方法,但是因为并行文件系统的性能提高相对缓慢,数据写带宽低,传统检查点方法产生了严峻的性能问题.针对当前计算机系统计算和存储资源丰富,而并行文件系统写带宽提高相对滞后的特点,提出了基于内存缓存的异步检查点容错技术,传统的检查点技术被划分为两步:检查点文件首先被缓存在计算结点的局部内存,然后使用一个独立的帮助任务将数据拷贝到并行文件系统.利用局部内存带宽高以及帮助任务和计算任务并行执行的特点,新方法极大减小了检查点容错引入的时间开销,模拟和实际程序测试验证了异步检查点容错技术的有效性.     

基于检查点机制的容错实时调度算法CP-PRA

时间冗余作为容错的重要手段被广泛应用于安全关键实时系统中。传统容错调度算法为失败任务的重运行(Re-execute)预留了大量的空闲时间,但是重运行的使用会降低系统的资源利用率。提出了一种基于检查点机制的容错调度算法CP-PRA,通过降低错误恢复需要的时间,可以有效地提高系统的资源利用率。给出了该算法的可调度奈件,并证明了其算法的正确性。     

基于ARM-Linux的SQLite嵌入式数据库技术

首先,分析Linux下的常见数据库技术。然后,指出嵌入式系统开发中对数据库的需求特点,论述SQLite嵌入式数据库的体系结构和开发技术。最后,结合ARM Linux开发平台,讲述具体的实现方法。     

Windows NT进程检查点系统NTckpt的设计与实现

设置进程检查点是保存和恢复进程运行状态的重要技术，是实现客错、卷回调试和进程迁移的重要手段。介绍了Windows NT操作系统的进程状态，以及基于该操作系统的进程检查点系统NTckpt的实现原理。NT ckpt实现了完全一致恢复用户地址空间，保汪了地址空间中动态分配数据区域的正确恢复。     

基于ARM和嵌入式Linux的远程数据采集系统的软件设计

主要介绍了一种基于ARM和嵌入式Linux的远程数据采集系统的设计方案。阐述了系统的结构,重点介绍了软件设计中的Linux A/D驱动和Socket的编程。     

基于嵌入式Linux系统数码相框的设计与实现

数码相框作为嵌入式的典型应用,比普通的相框更灵活多变。根据数码相框的需求分析开始,采用了嵌入式Linux的Libmad音频编解码技术和FrameBuffer视频编解码技术,完成了数码相框软件的设计与开发工作。最后采用C语言编写后交叉编译、移植开发、实现了数码相框。     

嵌入式PLC系统的设计与实现

基于Linux操作系统和ARM嵌入式平台设计并实现了一种嵌入式PLC系统,详细介绍了该系统的硬件组成及开发系统、运行系统的软件设计方法。该系统已在某高校电化学工作站平台上进行了实用性测试,结果表明,该系统操作步骤简单易掌握,控制较为灵活,但仍需进一步改进其电磁兼容性和健壮性。     

基于嵌入式Linux的粘度计设计

传统的旋转式粘度计的测量方式具有许多弱点,比如使用单片机进行控制,因此主要采用黑白液晶屏,显示效果不佳,其操作采用不便捷的按键式,转速控制简单,可调的转速档位较少等。本文主要介绍了一种新型的触摸屏粘度计的设计。它采用ARM9,CPLD和触摸屏搭建硬件平台,Linux系统和QTE为软件平台,使用细分精确控制步进电机,有更好的触摸屏界面和粘度测量方法。此粘度计具有直观的彩色触摸显示屏操作,随意的转速控制,自动扫描式测量,无需电脑即可进行流变数据分析等优点。并且具有良好的可扩展性。     

基于ARM的嵌入式Linux系统构建

详细论述了在基于ARM920T核心的S3C2410平台上构建嵌入式Linux系统的过程,包括交叉开发环境的建立,引导加载程序U-Boot、Linux操作系统内核针对特定目标平台的移植,以及根文件系统的建立等。试验结果显示系统在目标平台上运行稳定、可靠,对其它嵌入式系统的开发具有参考意义。     

一种基于ARM的嵌入式用电管理系统设计

提出了一种基于ARM9的嵌入式用电管理系统,设计出采用ARM9芯片和Linux嵌入式操作系统的分布式用电管理交换机。通过二层网络拓扑构成了用电管理系统。该嵌入式系统成本低、可靠性高、功能丰富、开发方便。     

嵌入式网络视频监控系统的设计与实现

基于嵌入式的视频监控系统在工业、军事、民用领域的广泛应用,本文提出了远程监控系统的总体框架、硬件结构、软件设计以及接入Internet的解决方案。本设计选用S3C2440A为主控板,以Linux2.6为内核,利用USB摄像头采集视频数据并进行JPEG压缩编码,采用局域网进行视频传输;结果表明该系统设计合理,能够出色地完成视频的拍摄、压缩、传送和远程显示,并且视频图像连续性好、清晰度高且稳定性强。     

一个嵌入式Linux系统开发平台的构建

鉴于嵌入式产品的大量应用和Linux系统的独有的优势,嵌入式系统的开发和研究已经成为当前的一个热点。而要进行嵌入式Linux开发,其软件部分必须建立适合自身的开发平台。本文介绍了ARM处理器和Linux操作系统的特点,并结合Windows用VMware软件虚拟一个Linux操作系统作为宿主机,ARM920T处理器EP9302开发板作为目标板,对硬件结构、开发环境及开发工具进行了分析,同时提出了遇到的一些问题的解决方法,并给出一个嵌入式Linux应用程序的示例。     

航空发动机被动容错控制系统鲁棒性设计

针对航空发动机发生故障时系统的容错能力问题,设计了基于特征结构配置方法的容错控制系统。首先分析了被动容错控制的特点和优点,然后采用特征结构配置的方法,在配置系统极点的同时,还配置系统的特征向量,并对系统进行重新调节以获得整个系统在故障发生后的稳定性与可靠性,给出了特征结构配置方法的具体设计步骤。最后,针对某型航空发动机的设计工况点模拟系统发生故障,即参数发生摄动时,对所设计的容错系统鲁棒性进行了分析计算。仿真算例结果表明,所设计的容错系统具有较好的抗干扰能力,即较好的鲁棒性。