分布式实时系统双工容错技术研究

本文介绍一个高可用性的分布式实时双工系统。文中首先建立了系统模型,通过模型给出了系统高可用性的定量公式,最后着重介绍了实现双工的几种主要技术,包括机组切换、数据恢复和双工结果处理等。     

分布式实时系统中任务调度问题的研究

1 引言由于大规模集成电路的集成度越来越高,在一个系统中,要进一步大幅度提高单个计算机的性能就变得越来越困难。随着网络和通信技术的发展,现在使用一组计算机来完成一个分布式应用已经变得很普遍了。在实际应用中,采用多计算机的系统往往成为一种现实而又经济的选择。并行计算机和分布式系统的出现为高性能计算的应用开辟了广阔的天地。     

分布式实时系统数据发布机制研究与实现

由于实时系统对时间敏感,以及分布式应用本身数据源和数据用户的分散性和异构性,因此分布式实时系统的数据发布是一个需要认真研究的问题。通过对分布式实时系统的特点、数据发布时延、数据发布方案和机制等问题的分析研究,提出了一种基于中间件的分布式实时数据服务TEDS(Time-EfficiencyDataService),论述了服务构成和实现,给出了工作流程,并对其性能进行了分析。TEDS具有数据发布时延小、效率高、可部署性好、有利于减轻服务器负荷的优点,并具有良好的跨平台能力。     

分布式实时系统结构的研究

本文首先介绍了分布式实时系统的应用背景 ,论述了两种传统的分布式实时系统的体系结构 ,重点研究了两种新型结构特征 ,目前采用这种新结构的实时系统还不多 ,但实验证明这两种体系结构很适合分布式实时环境的应用     

分布式实时系统中负载平衡任务分配算法

提出了一种以系统负载平衡为目标的分布式实时系统任务分配算法。该算法首先通过对任务分组，减小系统负载，再按照一种新的目标函数，启发搜索任务分配树，来获得系统负载平衡条件下系统负载最小的任务分配方案，有效地减小了启发式搜索算法的计算复杂度。     

分布式实时系统的错误处理

研究分布式实时控制系统的错误处理。根据工程实践，提出并着重讨论了适用于分布式实时系统的运行、测试、错误信息的收集、处理和显示的设计模型和实现手段。     

分布式实时系统结构研究

首先介绍了分布式实时系统的应用背景,论述了两种传统的分布式实时系统的体系结构,重点研究了两种新型结构的特征.抽象出了分布式实时系统的特征,并提出了一个层次结构模型,该模型详细定义了每一层的功能,具有通用性和灵活性.     

分布式实时系统动态任务初始分配的两个有效算法

对一组具有到达时间T、执行时间c、截止时间d三要素的实时任务集(其中d—f≥7),其初始分配主要是指对每一处理机,选一尽可能大的任务子集,确定每一任务的实际     

分布式实时系统事件关系模型

分布式实时系统是当前计算机科学研究的一前沿领域。由于分布式实时系统本身的特点和其所嵌入环境规模的日益扩大,分布式实时系统的说明、设计、验证都很困难。系统说明是进行形式设计和验证的基础,因而必须开发出相应的系统说明方法。本文介绍了用事件关系模型来描述分布式实时系统的说明方法,其关键部分在于说明以对象为实体的事件之间的关系,利于系统形式设计与验证的实现。     

考虑切换的强实时双机系统的可靠性研究与实现

在高可靠,强实时环境中,双机系统的状态切换已成为系统实时性,可靠性的关键。该文主要提出考虑切换的强实时双机系统可靠性模型,并给出了提高强实时双机系统可靠性的方法。     

用于分布式系统的实时监控器

本文介绍一个用于分布式控制系统底层控制的实时监控器。该实时监控器除了具有通用的监控器功能之外,还具有实时通讯功能和应用程序接口,并且可用作中央控制机的远程终端。     

实时对象模型及其可预测调度研究

从实时系统建模的角度,文中给出了一种实时对象模型,该模型能够保证开发的实时系统具有可预测性,灵活性,集成性的特点,文中同时给出了分析对象能力的计算公式,并对实时对象模型行为的可预测性调度进行了讨论。     

分布式系统的时间同步算法研究及应用

实现分布式系统时间同步的方法有两种：一是将外部时间基准引入分布式系统的绝对时间同步,二是仅在分布式系统内部使用算法实现同步的相对时间同步。本文详细讨论了适用于局域网的各种时间同步算法,并对部分算法的应用结果进行了分析。     

现场总线网络中实时连接和实时通信的研究

本文针对现场总线网络的实时应用特征，采用了ＬＡＮ体系结构中的三层构造，重点研究了其ＬＬＣ子层的ＦＢＣＯＳ、ＦＢＣＬＳ、优先分配、ＲＴＶＣ和预约等问题，解决了传统ＬＡＮ所无法解决的实时连接问题，从而保证了其实时应用的可靠完成。     

关于实时设备驱动程序自动生成的研究

软件系统的自动生成是９０年代软件工程的主流．由于专用实时设备的高效管理与灵活加接是任何计算机专用实时系统不可或缺的基本功能，加之它们的类别和型号、数量和质量的与日俱增，如何克服专用外设驱动模块的易变性成为任何专用实时系统自动生成的关键．本文介绍作者在专用实时设备驱动程序自动化研究中的初步成果，重点是他们自行研制的专用实时设备驱动程序半自动生成器ＲＴＤＧ（ｒｅａｌｔｉｍｅｄｅｖｉｃｅｇｅｎｅｒａｔｏｒ）的内部构造与实现技术，以及一个经过实践考验的应用实例．此项实时系统自动生成研究过程中的阶段性成果已通过部委     

基于高并发的分布式系统幂等设计

随着数字生活不断发展,分布式系统被广泛用来解决高并发等一系列问题。为了保证数据的准确性和一致性,分布式系统需要做幂等控制。通过分析对比各服务端幂等设计方法在高并发场景下的性能表现,提出一种改进的分布式锁设计方法。该方法主要解决由于集群服务主节点宕机可能造成分布式锁失效的问题,通过探讨RedLock算法方案及争论,提出对高并发请求二次拦截的理论,并将失效的锁通过消息队列服务进行通知,实现锁失效问题的排查以及服务监测治理。经实验测试表明,该方法实现了对失效锁的拦截,在高并发场景下有良好的性能表现,为分布式系统幂等设计提供了可行性方案。     

实时分布式操作系统中共享对象通信模型的实现

与消息传递、远程过程调用和共享内存等进程间通信模型相比,在分布式存储多处理器上实现的共享对象模型能更自然、更高效地描述进程间的相互作用。它通过共享对象消除了各结点之间的物理边界,为系统提供了一种透明的分布式处理能力。这样,整个系统（包括硬件和软件）在逻辑上成为一个单系统。该模型已在仪器用弱实时分布式操作系统（ＩＯＷＲＴＤＯＳ）的全局共享对象（ＧＳＯ）层上实现。文中研究了共享对象通信模型,并详细讨论     

分布强实时系统的可预测性研究

分布强实时系统在国防、航空、航天等领域具有重要作用,可预测性是它的一个主要特点。针对一种分布强实时系统原理,分析和评测了影响强实时系统可预测性的诸延迟因素。给出了一种实时操作系统各开销的测试方法和结果。建立了分布环境下强实时任务响应时间和ＦＤＤＩ网络延迟上限的计算模型,并进行了实例分析。     

实时数据及时态知识的表示

在实时专家系统中引入时间概念后，涉及时间的知识的表示成为值得注意的问题，本文在分析一些典型事例的基础上，着重探讨以下３个问题，如时间数据的有效表示；知识中时间特征的表示；推理中知识的时间一致性检验等.